08:34:37 [INFO] System bus created. 08:34:38 [INFO] sysbus: Loading segment of 84696 bytes length at 0x0. 08:34:38 [INFO] cpu0: Setting initial values: PC = 0x14D5, SP = 0x7E48. 08:34:38 [INFO] ast1030_evb: Machine started. 08:34:38 [WARNING] sysbus: [cpu0: 0x10C4] ReadDoubleWord from non existing peripheral at 0x7E6E241C. 08:34:38 [WARNING] sysbus: [cpu0: 0x10C4] WriteDoubleWord to non existing peripheral at 0x7E6E241C, value 0x3E000000. 08:34:38 [WARNING] sysbus: [cpu0: 0x2C1A] WriteDoubleWord to non existing peripheral at 0x7E6E2A58, value 0x0. 08:34:38 [WARNING] sysbus: [cpu0: 0x2C00] WriteDoubleWord to non existing peripheral at 0x7E6E2A50, value 0x3FFF. 08:34:38 [WARNING] sysbus: [cpu0: 0x2C00] WriteDoubleWord to non existing peripheral at 0x7E6E2A58, value 0x1. 08:34:38 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 08:34:38 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 08:34:38 [INFO] uart5: [host: 0.55s (+0.55s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build zephyr-v3.1.0-3421-g6cfb18686e1c *** 08:34:38 [INFO] uart5: [host: 0.55s (+1.22ms)|virt: 0.11ms (+6µs)] [2J[15;1HDemo Description 08:34:38 [INFO] uart5: [host: 0.55s (+0.42ms)|virt: 0.11ms (+0s)] ---------------- 08:34:38 [INFO] uart5: [host: 0.55s (+0.79ms)|virt: 0.11ms (+0s)] An implementation of a solution to the Dining Philosophers 08:34:38 [INFO] uart5: [host: 0.55s (+0.71ms)|virt: 0.11ms (+0s)] problem (a classic multi-thread synchronization problem). 08:34:38 [INFO] uart5: [host: 0.55s (+2.17ms)|virt: 0.2ms (+94µs)] This particular implementation demonstrates the usage of multiple 08:34:38 [INFO] uart5: [host: 0.55s (+0.84ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 08:34:38 [INFO] uart5: [host: 0.55s (+0.5ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 08:34:38 [INFO] uart5: [host: 0.55s (+1.48ms)|virt: 0.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 08:34:38 [INFO] uart5: [host: 0.55s (+0.82ms)|virt: 0.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.56s (+2.32ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.56s (+1.29ms)|virt: 0.45ms (+46µs)] [6;1HPhilosopher 5 [C:-2] STARVING 08:34:38 [INFO] uart5: [host: 0.56s (+1.04ms)|virt: 0.5ms (+54µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.56s (+1.27ms)|virt: 0.55ms (+48µs)] [4;1HPhilosopher 3 [P: 0] STARVING 08:34:38 [INFO] uart5: [host: 0.56s (+1.52ms)|virt: 0.6ms (+52µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.56s (+1.21ms)|virt: 0.65ms (+48µs)] [3;1HPhilosopher 2 [P: 1] STARVING 08:34:38 [INFO] uart5: [host: 0.56s (+1.23ms)|virt: 0.7ms (+52µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.57s (+2.45ms)|virt: 0.75ms (+47µs)] [2;1HPhilosopher 1 [P: 2] STARVING 08:34:38 [INFO] uart5: [host: 0.57s (+0.99ms)|virt: 0.8ms (+53µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.57s (+0.9ms)|virt: 0.85ms (+46µs)] [1;1HPhilosopher 0 [P: 3] STARVING 08:34:38 [INFO] uart5: [host: 0.6s (+26.05ms)|virt: 12.4ms (+11.55ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.6s (+0.92ms)|virt: 12.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.6s (+1.07ms)|virt: 12.5ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.6s (+1.17ms)|virt: 12.6ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.62s (+23.83ms)|virt: 24.35ms (+11.75ms)] [5;1HPhilosopher 4 [C:-1] STARVING 08:34:38 [INFO] uart5: [host: 0.62s (+1.27ms)|virt: 24.44ms (+96µs)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.63s (+3.8ms)|virt: 24.54ms (+92µs)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.63s (+1.09ms)|virt: 24.6ms (+63µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.63s (+0.71ms)|virt: 24.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.63s (+5.14ms)|virt: 24.7ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.63s (+0.36ms)|virt: 24.7ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.64s (+0.7ms)|virt: 24.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.64s (+3.62ms)|virt: 24.85ms (+49µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.66s (+23.21ms)|virt: 36.57ms (+11.72ms)] [6;1HPhilosopher 5 [C:-2] STARVING 08:34:38 [INFO] uart5: [host: 0.66s (+1.94ms)|virt: 36.6ms (+34µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.67s (+3.59ms)|virt: 36.66ms (+62µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.67s (+2.42ms)|virt: 36.7ms (+38µs)] [4;1HPhilosopher 3 [P: 0] STARVING 08:34:38 [INFO] uart5: [host: 0.67s (+2.01ms)|virt: 36.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.67s (+2.4ms)|virt: 36.8ms (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.68s (+1.41ms)|virt: 36.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.68s (+0.78ms)|virt: 36.9ms (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.68s (+0.87ms)|virt: 37ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 25 ms ] 08:34:38 [INFO] uart5: [host: 0.7s (+26.23ms)|virt: 48.65ms (+11.65ms)] [5;1HPhilosopher 4 [C:-1] STARVING 08:34:38 [INFO] uart5: [host: 0.71s (+2.41ms)|virt: 48.75ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.71s (+1.2ms)|virt: 48.84ms (+87µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 150 ms ] 08:34:38 [INFO] uart5: [host: 0.71s (+0.89ms)|virt: 48.9ms (+64µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.71s (+0.82ms)|virt: 48.9ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 125 ms ] 08:34:38 [INFO] uart5: [host: 0.71s (+1.17ms)|virt: 49ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 08:34:38 [INFO] uart5: [host: 0.71s (+2.24ms)|virt: 49.04ms (+36µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.71s (+1.05ms)|virt: 49.1ms (+64µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 100 ms ] 08:34:38 [INFO] uart5: [host: 0.71s (+1.33ms)|virt: 49.15ms (+48µs)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.72s (+2.17ms)|virt: 49.2ms (+52µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 50 ms ] 08:34:38 [INFO] uart5: [host: 0.72s (+0.99ms)|virt: 49.3ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 75 ms ] 08:34:38 [INFO] uart5: [host: 0.77s (+50.59ms)|virt: 73.1ms (+23.8ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.77s (+0.95ms)|virt: 73.14ms (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.77s (+1ms)|virt: 73.2ms (+56µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 50 ms ] 08:34:38 [INFO] uart5: [host: 0.8s (+24.67ms)|virt: 85.12ms (+11.92ms)] [2;1HPhilosopher 1 [P: 2] STARVING 08:34:38 [INFO] uart5: [host: 0.8s (+1.26ms)|virt: 85.2ms (+81µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.82s (+27.08ms)|virt: 96.9ms (+11.7ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.83s (+2.16ms)|virt: 96.9ms (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 175 ms ] 08:34:38 [INFO] uart5: [host: 0.83s (+0.86ms)|virt: 97ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 125 ms ] 08:34:38 [INFO] uart5: [host: 0.83s (+1.07ms)|virt: 97.1ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 08:34:38 [INFO] uart5: [host: 0.85s (+23.32ms)|virt: 0.11s (+11.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 08:34:38 [INFO] uart5: [host: 0.85s (+0.66ms)|virt: 0.11s (+95µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 08:34:38 [INFO] uart5: [host: 0.87s (+21.94ms)|virt: 0.12s (+11.8ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 08:34:38 [INFO] uart5: [host: 0.87s (+0.95ms)|virt: 0.12s (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 275 ms ] 08:34:38 [INFO] uart5: [host: 0.88s (+0.78ms)|virt: 0.12s (+7µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 325 ms ] 08:34:38 [INFO] uart5: [host: 0.88s (+2.23ms)|virt: 0.12s (+93µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 225 ms ] 08:34:38 [INFO] ast1030_evb: Machine paused. 08:34:38 [INFO] ast1030_evb: Disposed.