16:30:13.0250 [INFO] System bus created. 16:30:13.9782 [INFO] sysbus: Loading segment of 26156 bytes length at 0x0. 16:30:13.9973 [INFO] sysbus: Loading segment of 200 bytes length at 0x662C. 16:30:13.9975 [INFO] sysbus: Loading segment of 4 bytes length at 0x66F4. 16:30:13.9976 [INFO] sysbus: Loading segment of 18936 bytes length at 0x200000C8. 16:30:14.3020 [INFO] cpu0: Setting initial values: PC = 0xB6D, SP = 0x20004A80. 16:30:14.3025 [INFO] nrf52840dk_nrf52840: Machine started. 16:30:14.3451 [WARNING] sysbus: [cpu0: 0x20F4] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3451 [WARNING] sysbus: [cpu0: 0x20C0] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3455 [WARNING] sysbus: [cpu0: 0x20C0] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3455 [WARNING] sysbus: [cpu0: 0x20C0] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3455 [WARNING] sysbus: [cpu0: 0x20C0] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3456 [WARNING] sysbus: [cpu0: 0x21F0] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3456 [WARNING] sysbus: [cpu0: 0x2232] ReadDoubleWord from non existing peripheral at 0x10001200. 16:30:14.3456 [WARNING] sysbus: [cpu0: 0x223E] ReadDoubleWord from non existing peripheral at 0x10001204. 16:30:14.3530 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:30:14.3549 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:30:14.3559 [WARNING] sysbus: [cpu0: 0x1138] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:30:14.3560 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:30:14.3560 [WARNING] sysbus: [cpu0: 0x1138] ReadDoubleWord from non existing peripheral at 0x10000130. 16:30:14.3560 [WARNING] clock: Unhandled write to offset 0x580, value 0x1. 16:30:14.3569 [WARNING] sysbus: [cpu0: 0x2A5E] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:30:14.3569 [WARNING] sysbus: [cpu0: 0x2A5E] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:30:14.3569 [WARNING] sysbus: [cpu0: 0x2A70] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:30:14.3607 [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:30:14.3639 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 16:30:14.3639 [WARNING] sysbus: [cpu0: 0x1910] ReadDoubleWord from non existing peripheral at 0x50000718. 16:30:14.3639 [WARNING] sysbus: [cpu0: 0x1910] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 16:30:14.3640 [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:30:14.3640 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 16:30:14.3640 [WARNING] sysbus: [cpu0: 0x1910] ReadDoubleWord from non existing peripheral at 0x50000714. 16:30:14.3640 [WARNING] sysbus: [cpu0: 0x1910] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 16:30:14.3640 [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:30:14.3640 [WARNING] sysbus: [cpu0: 0x1910] ReadDoubleWord from non existing peripheral at 0x50000720. 16:30:14.3640 [WARNING] sysbus: [cpu0: 0x1910] WriteDoubleWord to non existing peripheral at 0x50000720, value 0xC. 16:30:14.3640 [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:30:14.3641 [WARNING] sysbus: [cpu0: 0x1910] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:30:14.3641 [WARNING] sysbus: [cpu0: 0x1910] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0xC. 16:30:14.3643 [WARNING] sysbus: [cpu0: 0x56B8] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 16:30:14.3643 [WARNING] sysbus: [cpu0: 0x56B8] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 16:30:14.3643 [WARNING] sysbus: [cpu0: 0x2338] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 16:30:14.3674 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:30:14.3674 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:30:14.3677 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:30:14.3700 [WARNING] clock: Unhandled read from offset 0x414. 16:30:14.3821 [INFO] uart0: [host: 0.62s (+0.62s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:30:14.3969 [INFO] uart0: [host: 0.63s (+9.37ms)|virt: 0.2ms (+0s)] [2J[15;1HDemo Description 16:30:14.4001 [INFO] uart0: [host: 0.64s (+8.67ms)|virt: 0.2ms (+0s)] ---------------- 16:30:14.4064 [INFO] uart0: [host: 0.64s (+6.3ms)|virt: 0.3ms (+95µs)] An implementation of a solution to the Dining Philosophers 16:30:14.4093 [WARNING] Pause on match was requested, but the matching string had already been printed when the assertion was made. Pause time will not be deterministic. 16:30:14.4108 [INFO] nrf52840dk_nrf52840: Machine paused. 16:30:14.4158 [INFO] nrf52840dk_nrf52840: Machine resumed. 16:30:14.4223 [INFO] uart0: [host: 0.66s (+15.87ms)|virt: 0.4ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 16:30:14.4286 [INFO] uart0: [host: 0.67s (+6.32ms)|virt: 0.4ms (+0s)] This particular implementation demonstrates the usage of multiple 16:30:14.4341 [INFO] uart0: [host: 0.67s (+5.48ms)|virt: 0.5ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:30:14.4386 [INFO] uart0: [host: 0.68s (+4.48ms)|virt: 0.5ms (+0s)] well as dynamic mutexes and thread sleeping. 16:30:14.4460 [INFO] uart0: [host: 0.68s (+7.44ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:30:14.4519 [INFO] uart0: [host: 0.69s (+5.83ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:30:14.4570 [INFO] uart0: [host: 0.7s (+5.13ms)|virt: 0.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:30:14.4707 [INFO] uart0: [host: 0.71s (+13.7ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:30:14.4783 [INFO] uart0: [host: 0.72s (+7.6ms)|virt: 0.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:30:14.4861 [INFO] uart0: [host: 0.72s (+7.81ms)|virt: 0.91ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:30:14.4942 [INFO] uart0: [host: 0.73s (+8.11ms)|virt: 1ms (+89µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:30:14.5024 [INFO] uart0: [host: 0.74s (+8.18ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:30:14.5156 [INFO] uart0: [host: 0.75s (+11.79ms)|virt: 1.1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:30:14.5230 [INFO] uart0: [host: 0.76s (+8.86ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:30:14.5304 [INFO] uart0: [host: 0.77s (+7.4ms)|virt: 1.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:30:14.5406 [INFO] uart0: [host: 0.78s (+10.16ms)|virt: 1.3ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:30:14.5585 [INFO] uart0: [host: 0.8s (+17.9ms)|virt: 39.8ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:30:14.5675 [INFO] uart0: [host: 0.81s (+9.03ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:30:14.5770 [INFO] uart0: [host: 0.82s (+9.49ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:30:14.5876 [INFO] uart0: [host: 0.83s (+10.52ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:30:14.6123 [INFO] uart0: [host: 0.85s (+24.72ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:30:14.6244 [INFO] uart0: [host: 0.86s (+12.11ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:30:14.6415 [INFO] nrf52840dk_nrf52840: Machine paused. 16:30:14.6482 [INFO] nrf52840dk_nrf52840: Machine resumed. 16:30:14.6485 [INFO] uart0: [host: 0.89s (+24.16ms)|virt: 79.6ms (+98µs)] 16:30:14.6584 [INFO] uart0: [host: 0.9s (+9.8ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:30:14.6674 [INFO] uart0: [host: 0.91s (+9.08ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:30:14.6756 [INFO] uart0: [host: 0.91s (+8.16ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:30:14.6840 [INFO] uart0: [host: 0.92s (+8.4ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:30:14.6920 [INFO] uart0: [host: 0.93s (+8.03ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:30:14.7003 [INFO] uart0: [host: 0.94s (+8.34ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:30:14.7087 [INFO] uart0: [host: 0.95s (+8.41ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:30:14.7282 [INFO] uart0: [host: 0.97s (+19.39ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:30:14.7368 [INFO] uart0: [host: 0.98s (+8.66ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:30:14.7457 [INFO] uart0: [host: 0.98s (+8.84ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:30:14.7546 [INFO] uart0: [host: 0.99s (+8.9ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:30:14.7636 [INFO] uart0: [host: 1s (+9.02ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:30:14.7720 [INFO] uart0: [host: 1.01s (+8.45ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:30:14.7816 [INFO] uart0: [host: 1.02s (+9.59ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:30:14.7903 [INFO] uart0: [host: 1.03s (+8.67ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:30:14.7996 [INFO] uart0: [host: 1.04s (+9.28ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:30:14.8336 [INFO] uart0: [host: 1.07s (+34.01ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:30:14.8519 [INFO] uart0: [host: 1.09s (+18.3ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:30:14.8745 [INFO] uart0: [host: 1.11s (+22.61ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:30:14.8897 [INFO] uart0: [host: 1.13s (+15.2ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:30:14.8990 [INFO] uart0: [host: 1.14s (+9.32ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:30:14.9117 [INFO] uart0: [host: 1.15s (+12.69ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:30:14.9212 [INFO] uart0: [host: 1.16s (+8.71ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:30:14.9304 [INFO] uart0: [host: 1.17s (+10.02ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:30:14.9465 [INFO] uart0: [host: 1.18s (+16.11ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:30:14.9557 [INFO] uart0: [host: 1.19s (+9.15ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:30:14.9658 [INFO] uart0: [host: 1.2s (+10.13ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:30:14.9775 [INFO] uart0: [host: 1.22s (+11.7ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:30:14.9880 [INFO] uart0: [host: 1.23s (+10.49ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:30:14.9881 [INFO] nrf52840dk_nrf52840: Machine paused. 16:30:14.9912 [INFO] nrf52840dk_nrf52840: Machine resumed. 16:30:14.9913 [INFO] uart0: [host: 1.23s (+3.3ms)|virt: 0.29s (+63µs)] 16:30:15.0007 [INFO] uart0: [host: 1.24s (+9.39ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:30:15.0168 [INFO] uart0: [host: 1.26s (+16.1ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:30:15.0247 [INFO] uart0: [host: 1.26s (+7.95ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:30:15.0397 [INFO] uart0: [host: 1.28s (+14.33ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:30:15.0597 [INFO] uart0: [host: 1.3s (+20.63ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:30:15.0701 [INFO] uart0: [host: 1.31s (+10.43ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:30:15.0823 [INFO] uart0: [host: 1.32s (+12.13ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:30:15.0970 [INFO] uart0: [host: 1.34s (+14.75ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:30:15.1055 [INFO] uart0: [host: 1.34s (+8.52ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:30:15.1313 [INFO] uart0: [host: 1.37s (+25.72ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:30:15.1401 [INFO] uart0: [host: 1.38s (+8.9ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:30:15.1555 [INFO] uart0: [host: 1.39s (+15.33ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:30:15.1556 [INFO] nrf52840dk_nrf52840: Machine paused. 16:30:15.1813 [INFO] nrf52840dk_nrf52840: Disposed.