16:31:53.7690 [INFO] System bus created. 16:31:54.7272 [INFO] sysbus: Loading segment of 28320 bytes length at 0x0. 16:31:54.7414 [INFO] sysbus: Loading segment of 280 bytes length at 0x6EA0. 16:31:54.7414 [INFO] sysbus: Loading segment of 4 bytes length at 0x6FB8. 16:31:54.7415 [INFO] sysbus: Loading segment of 20264 bytes length at 0x20000118. 16:31:55.0086 [INFO] cpu0: Setting initial values: PC = 0xB6D, SP = 0x20004BC0. 16:31:55.0092 [INFO] we_proteus3ev_nrf52840: Machine started. 16:31:55.0624 [WARNING] sysbus: [cpu0: 0x22A0] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0624 [WARNING] sysbus: [cpu0: 0x226C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0641 [WARNING] sysbus: [cpu0: 0x226C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0641 [WARNING] sysbus: [cpu0: 0x226C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0641 [WARNING] sysbus: [cpu0: 0x226C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0641 [WARNING] sysbus: [cpu0: 0x239C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0642 [WARNING] sysbus: [cpu0: 0x23DE] ReadDoubleWord from non existing peripheral at 0x10001200. 16:31:55.0642 [WARNING] sysbus: [cpu0: 0x23EA] ReadDoubleWord from non existing peripheral at 0x10001204. 16:31:55.0775 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:31:55.0796 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:31:55.0823 [WARNING] sysbus: [cpu0: 0x1138] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:31:55.0824 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:31:55.0824 [WARNING] sysbus: [cpu0: 0x1138] ReadDoubleWord from non existing peripheral at 0x10000130. 16:31:55.0825 [WARNING] clock: Unhandled write to offset 0x580, value 0x1. 16:31:55.0841 [WARNING] sysbus: [cpu0: 0x2C9A] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:31:55.0842 [WARNING] sysbus: [cpu0: 0x2C9A] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:31:55.0842 [WARNING] sysbus: [cpu0: 0x2CAC] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:31:55.0895 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0-2, 4, 6-31] when writing value 0x28. Tags: PIN (0x17), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:31:55.0895 [WARNING] sysbus: [cpu0: 0x1A08] WriteDoubleWord to non existing peripheral at 0x50000808, value 0x100. 16:31:55.0895 [WARNING] sysbus: [cpu0: 0x19CC] ReadDoubleWord from non existing peripheral at 0x50000A20. 16:31:55.0896 [WARNING] sysbus: [cpu0: 0x19CC] WriteDoubleWord to non existing peripheral at 0x50000A20, value 0x3. 16:31:55.0896 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [2, 4-31] when writing value 0xB. Tags: PIN (0x14), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:31:55.0928 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [11] when writing value 0x800. Tags: RESERVED (0x1). 16:31:55.0928 [WARNING] sysbus: [cpu0: 0x19CE] ReadDoubleWord from non existing peripheral at 0x5000072C. 16:31:55.0928 [WARNING] sysbus: [cpu0: 0x19CE] WriteDoubleWord to non existing peripheral at 0x5000072C, value 0x3. 16:31:55.0928 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [1-2, 4, 6-31] when writing value 0x29. Tags: PIN (0x16), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:31:55.0928 [WARNING] sysbus: [cpu0: 0x19C8] ReadDoubleWord from non existing peripheral at 0x50000A24. 16:31:55.0928 [WARNING] sysbus: [cpu0: 0x19C8] WriteDoubleWord to non existing peripheral at 0x50000A24, value 0xC. 16:31:55.0929 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [0-1, 4-31] when writing value 0xC. Tags: PIN (0x13), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:31:55.0929 [WARNING] sysbus: [cpu0: 0x1A22] ReadDoubleWord from non existing peripheral at 0x50000730. 16:31:55.0929 [WARNING] sysbus: [cpu0: 0x1A22] WriteDoubleWord to non existing peripheral at 0x50000730, value 0xC. 16:31:55.0931 [WARNING] sysbus: [cpu0: 0x5D74] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 16:31:55.0931 [WARNING] sysbus: [cpu0: 0x5D74] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 16:31:55.0931 [WARNING] sysbus: [cpu0: 0x24E4] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 16:31:55.0965 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:31:55.0965 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:31:55.0967 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:31:55.0999 [WARNING] clock: Unhandled read from offset 0x414. 16:31:55.1049 [WARNING] clock: Unhandled read from offset 0x10C. 16:31:55.1054 [WARNING] clock: Unhandled write to offset 0x10C, value 0x0. 16:31:55.1054 [WARNING] clock: Unhandled read from offset 0x10C. 16:31:55.1054 [WARNING] clock: Unhandled write to offset 0xC34, value 0x2. 16:31:55.1054 [WARNING] clock: Unhandled write to offset 0x10, value 0x1. 16:31:55.1054 [WARNING] clock: Unhandled write to offset 0x304. Unhandled bits: [3] when writing value 0x8. Tags: DONE (0x1). 16:31:55.1055 [WARNING] clock: Unhandled read from offset 0x10C. 16:31:55.1066 [WARNING] sysbus: [cpu0: 0x1B4C] WriteDoubleWord to non existing peripheral at 0x4000C304, value 0x1. 16:31:55.1166 [INFO] uart0: [host: 0.61s (+0.61s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:31:55.1276 [INFO] we_proteus3ev_nrf52840: Machine paused. 16:31:55.1331 [INFO] we_proteus3ev_nrf52840: Machine resumed. 16:31:55.1337 [INFO] uart0: [host: 0.63s (+17ms)|virt: 0.23ms (+27µs)] 16:31:55.1404 [INFO] uart0: [host: 0.63s (+6.84ms)|virt: 0.23ms (+0s)] [2J[15;1HDemo Description 16:31:55.1478 [INFO] uart0: [host: 0.64s (+7.39ms)|virt: 0.23ms (+0s)] ---------------- 16:31:55.1590 [INFO] uart0: [host: 0.65s (+11.21ms)|virt: 0.3ms (+73µs)] An implementation of a solution to the Dining Philosophers 16:31:55.1652 [INFO] uart0: [host: 0.66s (+6.16ms)|virt: 0.3ms (+0s)] problem (a classic multi-thread synchronization problem). 16:31:55.1798 [INFO] uart0: [host: 0.67s (+12.42ms)|virt: 0.4ms (+0.1ms)] This particular implementation demonstrates the usage of multiple 16:31:55.1912 [INFO] uart0: [host: 0.68s (+13.57ms)|virt: 0.4ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:31:55.1973 [INFO] uart0: [host: 0.69s (+6.16ms)|virt: 0.5ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 16:31:55.2051 [INFO] uart0: [host: 0.7s (+7.42ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:31:55.2111 [INFO] uart0: [host: 0.7s (+6.4ms)|virt: 0.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:31:55.2242 [INFO] uart0: [host: 0.72s (+13.05ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:31:55.2343 [INFO] uart0: [host: 0.73s (+10.15ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:31:55.2425 [INFO] uart0: [host: 0.73s (+8.14ms)|virt: 0.8ms (+0s)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:31:55.2527 [INFO] uart0: [host: 0.74s (+10.26ms)|virt: 0.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:31:55.2653 [INFO] uart0: [host: 0.76s (+12.5ms)|virt: 1ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:31:55.2790 [INFO] uart0: [host: 0.77s (+13.25ms)|virt: 1.01ms (+12µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:31:55.2864 [INFO] uart0: [host: 0.78s (+7.88ms)|virt: 1.1ms (+88µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:31:55.2955 [INFO] uart0: [host: 0.79s (+9.16ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:31:55.3034 [INFO] uart0: [host: 0.8s (+7.9ms)|virt: 1.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:31:55.3134 [INFO] uart0: [host: 0.81s (+9.98ms)|virt: 1.3ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:31:55.3336 [INFO] uart0: [host: 0.83s (+20.15ms)|virt: 39.8ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:31:55.3437 [INFO] uart0: [host: 0.84s (+10.09ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:31:55.3543 [INFO] uart0: [host: 0.85s (+10.61ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:31:55.3648 [INFO] uart0: [host: 0.86s (+10.56ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:31:55.3860 [INFO] uart0: [host: 0.88s (+20.78ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:31:55.3957 [INFO] uart0: [host: 0.89s (+10.07ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:31:55.3964 [INFO] we_proteus3ev_nrf52840: Machine paused. 16:31:55.4013 [INFO] we_proteus3ev_nrf52840: Machine resumed. 16:31:55.4014 [INFO] uart0: [host: 0.89s (+5.72ms)|virt: 79.6ms (+98µs)] 16:31:55.4110 [INFO] uart0: [host: 0.9s (+9.62ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:31:55.4198 [INFO] uart0: [host: 0.91s (+8.81ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:31:55.4278 [INFO] uart0: [host: 0.92s (+8.02ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:31:55.4370 [INFO] uart0: [host: 0.93s (+9.15ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:31:55.4462 [INFO] uart0: [host: 0.94s (+8.6ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:31:55.4548 [INFO] uart0: [host: 0.95s (+9.25ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:31:55.4639 [INFO] uart0: [host: 0.96s (+9.05ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:31:55.4896 [INFO] uart0: [host: 0.98s (+25.67ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:31:55.4968 [INFO] uart0: [host: 0.99s (+7.2ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:31:55.5061 [INFO] uart0: [host: 1s (+9.35ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:31:55.5155 [INFO] uart0: [host: 1.01s (+9.37ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:31:55.5259 [INFO] uart0: [host: 1.02s (+10.38ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:31:55.5394 [INFO] uart0: [host: 1.03s (+13.5ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:31:55.5556 [INFO] uart0: [host: 1.05s (+16.21ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:31:55.5666 [INFO] uart0: [host: 1.06s (+10.95ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:31:55.5868 [INFO] uart0: [host: 1.08s (+20.25ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:31:55.6304 [INFO] uart0: [host: 1.12s (+43.62ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:31:55.6415 [INFO] uart0: [host: 1.13s (+11.06ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:31:55.6554 [INFO] uart0: [host: 1.15s (+13.89ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:31:55.6757 [INFO] uart0: [host: 1.17s (+20.37ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:31:55.6923 [INFO] uart0: [host: 1.18s (+16.27ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:31:55.7284 [INFO] uart0: [host: 1.22s (+36.4ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:31:55.7402 [INFO] uart0: [host: 1.23s (+11.82ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:31:55.7553 [INFO] uart0: [host: 1.25s (+15.12ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:31:55.7763 [INFO] uart0: [host: 1.27s (+20.96ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:31:55.7857 [INFO] uart0: [host: 1.28s (+9.37ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:31:55.7959 [INFO] uart0: [host: 1.29s (+10.19ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:31:55.8098 [INFO] uart0: [host: 1.3s (+13.92ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:31:55.8197 [INFO] uart0: [host: 1.31s (+9.88ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:31:55.8204 [INFO] we_proteus3ev_nrf52840: Machine paused. 16:31:55.8230 [INFO] we_proteus3ev_nrf52840: Machine resumed. 16:31:55.8233 [INFO] uart0: [host: 1.32s (+3.68ms)|virt: 0.29s (+63µs)] 16:31:55.8367 [INFO] uart0: [host: 1.33s (+13.38ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:31:55.8551 [INFO] uart0: [host: 1.35s (+18.41ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:31:55.8635 [INFO] uart0: [host: 1.36s (+8.37ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:31:55.8840 [INFO] uart0: [host: 1.38s (+20.5ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:31:55.9020 [INFO] uart0: [host: 1.39s (+17.53ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:31:55.9118 [INFO] uart0: [host: 1.4s (+10.27ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:31:55.9240 [INFO] uart0: [host: 1.42s (+12.22ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:31:55.9461 [INFO] uart0: [host: 1.44s (+22.05ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:31:55.9599 [INFO] uart0: [host: 1.45s (+13.78ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:31:55.9908 [INFO] uart0: [host: 1.48s (+30.97ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:31:56.0037 [INFO] uart0: [host: 1.5s (+12.86ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:31:56.0161 [INFO] uart0: [host: 1.51s (+12.37ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:31:56.0161 [INFO] we_proteus3ev_nrf52840: Machine paused.