16:27:30.9799 [INFO] System bus created. 16:27:32.3572 [INFO] sysbus: Loading segment of 26052 bytes length at 0x0. 16:27:32.3767 [INFO] sysbus: Loading segment of 200 bytes length at 0x65C4. 16:27:32.3784 [INFO] sysbus: Loading segment of 4 bytes length at 0x668C. 16:27:32.3786 [INFO] sysbus: Loading segment of 18936 bytes length at 0x200000C8. 16:27:32.7472 [INFO] cpu0: Setting initial values: PC = 0xB6D, SP = 0x20004A80. 16:27:32.7495 [INFO] nrf21540dk_nrf52840: Machine started. 16:27:32.7996 [WARNING] sysbus: [cpu0: 0x208C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:27:32.7997 [WARNING] sysbus: [cpu0: 0x2058] ReadDoubleWord from non existing peripheral at 0x10000130. 16:27:32.8004 [WARNING] sysbus: [cpu0: 0x2058] ReadDoubleWord from non existing peripheral at 0x10000130. 16:27:32.8004 [WARNING] sysbus: [cpu0: 0x2058] ReadDoubleWord from non existing peripheral at 0x10000130. 16:27:32.8004 [WARNING] sysbus: [cpu0: 0x2058] ReadDoubleWord from non existing peripheral at 0x10000130. 16:27:32.8004 [WARNING] sysbus: [cpu0: 0x2188] ReadDoubleWord from non existing peripheral at 0x10000130. 16:27:32.8005 [WARNING] sysbus: [cpu0: 0x21CA] ReadDoubleWord from non existing peripheral at 0x10001200. 16:27:32.8017 [WARNING] sysbus: [cpu0: 0x21D6] ReadDoubleWord from non existing peripheral at 0x10001204. 16:27:32.8121 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:27:32.8152 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:27:32.8171 [WARNING] sysbus: [cpu0: 0x1138] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:27:32.8172 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:27:32.8188 [WARNING] sysbus: [cpu0: 0x29F6] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:27:32.8188 [WARNING] sysbus: [cpu0: 0x29F6] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:27:32.8188 [WARNING] sysbus: [cpu0: 0x2A08] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:27:32.8248 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0, 3-31] when writing value 0x6. Tags: PIN (0x19), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:27:32.8298 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 16:27:32.8299 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000718. 16:27:32.8299 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 16:27:32.8300 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [1, 3-31] when writing value 0x5. Tags: PIN (0x1A), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:27:32.8300 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 16:27:32.8300 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000714. 16:27:32.8300 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 16:27:32.8300 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [0-2, 4-31] when writing value 0x8. Tags: PIN (0x17), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:27:32.8301 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000720. 16:27:32.8301 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000720, value 0xC. 16:27:32.8301 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:27:32.8301 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:27:32.8302 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0xC. 16:27:32.8306 [WARNING] sysbus: [cpu0: 0x5650] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 16:27:32.8306 [WARNING] sysbus: [cpu0: 0x5650] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 16:27:32.8306 [WARNING] sysbus: [cpu0: 0x22D0] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 16:27:32.8344 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:27:32.8345 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:27:32.8348 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:27:32.8397 [WARNING] clock: Unhandled read from offset 0x414. 16:27:32.8782 [INFO] uart0: [host: 0.8s (+0.8s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:27:32.8918 [INFO] nrf21540dk_nrf52840: Machine paused. 16:27:32.8978 [INFO] nrf21540dk_nrf52840: Machine resumed. 16:27:32.8984 [INFO] uart0: [host: 0.82s (+20.3ms)|virt: 0.25ms (+48µs)] 16:27:32.9141 [INFO] uart0: [host: 0.83s (+15.55ms)|virt: 0.25ms (+0s)] [2J[15;1HDemo Description 16:27:32.9222 [INFO] uart0: [host: 0.84s (+8.24ms)|virt: 0.25ms (+0s)] ---------------- 16:27:32.9473 [INFO] uart0: [host: 0.87s (+25.03ms)|virt: 0.3ms (+47µs)] An implementation of a solution to the Dining Philosophers 16:27:32.9694 [INFO] uart0: [host: 0.89s (+22.11ms)|virt: 0.4ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 16:27:32.9926 [INFO] uart0: [host: 0.91s (+23.21ms)|virt: 0.4ms (+0s)] This particular implementation demonstrates the usage of multiple 16:27:33.0208 [INFO] uart0: [host: 0.94s (+28.15ms)|virt: 0.5ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:27:33.0408 [INFO] uart0: [host: 0.96s (+20.01ms)|virt: 0.5ms (+0s)] well as dynamic mutexes and thread sleeping. 16:27:33.0736 [INFO] uart0: [host: 0.99s (+32.83ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:27:33.0934 [INFO] uart0: [host: 1.01s (+19.78ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:27:33.1260 [INFO] uart0: [host: 1.04s (+32.58ms)|virt: 0.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:27:33.1677 [INFO] uart0: [host: 1.09s (+41.71ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:27:33.1950 [INFO] uart0: [host: 1.11s (+27.33ms)|virt: 0.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:27:33.2195 [INFO] uart0: [host: 1.14s (+24.53ms)|virt: 0.91ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:27:33.2534 [INFO] uart0: [host: 1.17s (+33.92ms)|virt: 1ms (+89µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:27:33.2893 [INFO] uart0: [host: 1.21s (+35.84ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:27:33.3173 [INFO] uart0: [host: 1.24s (+28.03ms)|virt: 1.1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:27:33.3399 [INFO] uart0: [host: 1.26s (+22.63ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:27:33.3614 [INFO] uart0: [host: 1.28s (+21.46ms)|virt: 1.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:27:33.3844 [INFO] uart0: [host: 1.3s (+22.95ms)|virt: 1.3ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:27:33.4368 [INFO] uart0: [host: 1.36s (+52.42ms)|virt: 39.8ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:27:33.4617 [INFO] uart0: [host: 1.38s (+24.86ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:27:33.4928 [INFO] uart0: [host: 1.41s (+31.13ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:27:33.5225 [INFO] uart0: [host: 1.44s (+29.72ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:27:33.5869 [INFO] uart0: [host: 1.51s (+64.41ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:27:33.6196 [INFO] uart0: [host: 1.54s (+32.65ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:27:33.6203 [INFO] nrf21540dk_nrf52840: Machine paused. 16:27:33.6252 [INFO] nrf21540dk_nrf52840: Machine resumed. 16:27:33.6253 [INFO] uart0: [host: 1.54s (+5.76ms)|virt: 79.6ms (+98µs)] 16:27:33.6483 [INFO] uart0: [host: 1.57s (+23.04ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:27:33.6731 [INFO] uart0: [host: 1.59s (+24.76ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:27:33.6962 [INFO] uart0: [host: 1.61s (+23.08ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:27:33.7196 [INFO] uart0: [host: 1.64s (+23.41ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:27:33.7502 [INFO] uart0: [host: 1.67s (+30.62ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:27:33.7896 [INFO] uart0: [host: 1.71s (+39.35ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:27:33.8209 [INFO] uart0: [host: 1.74s (+31.39ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:27:33.8730 [INFO] uart0: [host: 1.79s (+52.03ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:27:33.9058 [INFO] uart0: [host: 1.82s (+32.81ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:27:33.9369 [INFO] uart0: [host: 1.86s (+31.07ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:27:33.9654 [INFO] uart0: [host: 1.88s (+28.42ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:27:33.9941 [INFO] uart0: [host: 1.91s (+28.84ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:27:34.0216 [INFO] uart0: [host: 1.94s (+27.47ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:27:34.0567 [INFO] uart0: [host: 1.98s (+35.1ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:27:34.0825 [INFO] uart0: [host: 2s (+25.73ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:27:34.1129 [INFO] uart0: [host: 2.03s (+30.44ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:27:34.2231 [INFO] uart0: [host: 2.14s (+0.11s)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:27:34.2584 [INFO] uart0: [host: 2.18s (+35.37ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:27:34.2952 [INFO] uart0: [host: 2.21s (+36.76ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:27:34.3402 [INFO] uart0: [host: 2.26s (+44.96ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:27:34.3742 [INFO] uart0: [host: 2.29s (+34.1ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:27:34.4180 [INFO] uart0: [host: 2.34s (+43.79ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:27:34.4494 [INFO] uart0: [host: 2.37s (+31.39ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:27:34.4729 [INFO] uart0: [host: 2.39s (+23.51ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:27:34.5356 [INFO] uart0: [host: 2.45s (+62.63ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:27:34.5655 [INFO] uart0: [host: 2.48s (+29.95ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:27:34.5968 [INFO] uart0: [host: 2.52s (+31.34ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:27:34.6375 [INFO] uart0: [host: 2.56s (+40.63ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:27:34.6731 [INFO] uart0: [host: 2.59s (+35.57ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:27:34.6732 [INFO] nrf21540dk_nrf52840: Machine paused. 16:27:34.6760 [INFO] nrf21540dk_nrf52840: Machine resumed. 16:27:34.6763 [INFO] uart0: [host: 2.59s (+3.24ms)|virt: 0.29s (+63µs)] 16:27:34.7003 [INFO] uart0: [host: 2.62s (+24.02ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:27:34.7432 [INFO] uart0: [host: 2.66s (+40.47ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:27:34.7674 [INFO] uart0: [host: 2.69s (+26.58ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:27:34.8261 [INFO] uart0: [host: 2.74s (+58.76ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:27:34.8956 [INFO] uart0: [host: 2.81s (+69.46ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:27:34.9274 [INFO] uart0: [host: 2.85s (+31.78ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:27:34.9599 [INFO] uart0: [host: 2.88s (+32.6ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:27:35.0197 [INFO] uart0: [host: 2.94s (+59.74ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:27:35.0438 [INFO] uart0: [host: 2.96s (+24.11ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:27:35.1234 [INFO] uart0: [host: 3.04s (+79.59ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:27:35.1550 [INFO] uart0: [host: 3.07s (+31.59ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:27:35.1829 [INFO] uart0: [host: 3.1s (+27.94ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:27:35.1830 [INFO] nrf21540dk_nrf52840: Machine paused. 16:27:35.2406 [INFO] nrf21540dk_nrf52840: Disposed.