16:33:16.4363 [INFO] System bus created. 16:33:17.3229 [INFO] sysbus: Loading segment of 24832 bytes length at 0x0. 16:33:17.3337 [INFO] sysbus: Loading segment of 142 bytes length at 0x6100. 16:33:17.3338 [INFO] sysbus: Loading segment of 4 bytes length at 0x618E. 16:33:17.3338 [INFO] sysbus: Loading segment of 17104 bytes length at 0x20000090. 16:33:17.6291 [INFO] cpu0: Setting initial values: PC = 0xB1D, SP = 0x20004360. 16:33:17.6296 [INFO] nrf52_vbluno52: Machine started. 16:33:17.6647 [WARNING] sysbus: [cpu0: 0x5268] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6652 [WARNING] sysbus: [cpu0: 0x1E14] ReadByte from non existing peripheral at 0xF0000FE0. 16:33:17.6653 [WARNING] sysbus: [cpu0: 0x5268] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x1E14] ReadByte from non existing peripheral at 0xF0000FE0. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x5268] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x1E14] ReadByte from non existing peripheral at 0xF0000FE0. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x1E14] ReadByte from non existing peripheral at 0xF0000FE0. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x1EE8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x1EE8] ReadDoubleWord from non existing peripheral at 0x10000134. 16:33:17.6654 [WARNING] sysbus: [cpu0: 0x5268] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6655 [WARNING] sysbus: [cpu0: 0x5268] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6655 [WARNING] sysbus: [cpu0: 0x1FDE] ReadDoubleWord from non existing peripheral at 0x10000130. 16:33:17.6655 [WARNING] sysbus: [cpu0: 0x2038] ReadDoubleWord from non existing peripheral at 0x10001200. 16:33:17.6655 [WARNING] sysbus: [cpu0: 0x2044] ReadDoubleWord from non existing peripheral at 0x10001204. 16:33:17.6716 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:33:17.6728 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:33:17.6737 [WARNING] sysbus: [cpu0: 0x104C] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:33:17.6755 [WARNING] sysbus: [cpu0: 0x27E6] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:33:17.6755 [WARNING] sysbus: [cpu0: 0x27E6] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:33:17.6755 [WARNING] sysbus: [cpu0: 0x27F8] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:33:17.6784 [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:33:17.6784 [WARNING] sysbus: [cpu0: 0x179C] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 16:33:17.6784 [WARNING] sysbus: [cpu0: 0x176C] ReadDoubleWord from non existing peripheral at 0x50000718. 16:33:17.6784 [WARNING] sysbus: [cpu0: 0x176C] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 16:33:17.6785 [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:33:17.6785 [WARNING] sysbus: [cpu0: 0x174E] ReadDoubleWord from non existing peripheral at 0x50000720. 16:33:17.6785 [WARNING] sysbus: [cpu0: 0x174E] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 16:33:17.6785 [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:33:17.6785 [WARNING] sysbus: [cpu0: 0x1798] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 16:33:17.6785 [WARNING] sysbus: [cpu0: 0x1798] ReadDoubleWord from non existing peripheral at 0x50000714. 16:33:17.6785 [WARNING] sysbus: [cpu0: 0x1798] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 16:33:17.6785 [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:33:17.6786 [WARNING] sysbus: [cpu0: 0x1726] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:33:17.6793 [WARNING] sysbus: [cpu0: 0x1726] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 16:33:17.6815 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:33:17.6815 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:33:17.6817 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:33:17.6903 [WARNING] clock: Unhandled read from offset 0x414. 16:33:17.6904 [WARNING] nvic0: Unhandled read from offset 0xDFC. 16:33:17.6904 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x1000000. 16:33:17.7057 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x0. 16:33:17.7197 [INFO] uart0: [host: 0.57s (+0.57s)|virt: 0.5ms (+0.5ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:33:17.7214 [INFO] uart0: [host: 0.58s (+1.64ms)|virt: 0.5ms (+0s)] [2J[15;1HDemo Description 16:33:17.7220 [INFO] uart0: [host: 0.58s (+0.72ms)|virt: 0.5ms (+0s)] ---------------- 16:33:17.7247 [INFO] uart0: [host: 0.58s (+2.73ms)|virt: 0.6ms (+96µs)] An implementation of a solution to the Dining Philosophers 16:33:17.7282 [INFO] uart0: [host: 0.58s (+2.67ms)|virt: 0.6ms (+0s)] problem (a classic multi-thread synchronization problem). 16:33:17.7308 [INFO] uart0: [host: 0.59s (+3.43ms)|virt: 0.6ms (+0s)] This particular implementation demonstrates the usage of multiple 16:33:17.7361 [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:33:17.7377 [INFO] nrf52_vbluno52: Machine paused. 16:33:17.7414 [INFO] nrf52_vbluno52: Machine resumed. 16:33:17.7417 [INFO] uart0: [host: 0.6s (+10.83ms)|virt: 0.74ms (+0.14ms)] preemptible and cooperative threads of differing priorities, as 16:33:17.7443 [INFO] uart0: [host: 0.6s (+2.62ms)|virt: 0.74ms (+0s)] well as dynamic mutexes and thread sleeping. 16:33:17.7502 [INFO] uart0: [host: 0.6s (+5.92ms)|virt: 0.8ms (+63µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:33:17.7536 [INFO] uart0: [host: 0.61s (+3.38ms)|virt: 0.8ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:33:17.7579 [INFO] uart0: [host: 0.61s (+4.26ms)|virt: 0.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:33:17.7627 [INFO] uart0: [host: 0.62s (+4.8ms)|virt: 0.94ms (+45µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:33:17.7670 [INFO] uart0: [host: 0.62s (+4.36ms)|virt: 1ms (+55µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:33:17.7719 [INFO] uart0: [host: 0.63s (+4.86ms)|virt: 1.05ms (+50µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:33:17.7764 [INFO] uart0: [host: 0.63s (+4.5ms)|virt: 1.1ms (+50µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:33:17.7819 [INFO] uart0: [host: 0.64s (+5.57ms)|virt: 1.2ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:33:17.7864 [INFO] uart0: [host: 0.64s (+4.42ms)|virt: 1.2ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:33:17.7911 [INFO] uart0: [host: 0.65s (+4.74ms)|virt: 1.3ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:33:17.7957 [INFO] uart0: [host: 0.65s (+4.61ms)|virt: 1.3ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:33:17.8006 [INFO] uart0: [host: 0.66s (+4.94ms)|virt: 1.4ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:33:17.8151 [INFO] uart0: [host: 0.67s (+12.66ms)|virt: 39.7ms (+38.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:33:17.8185 [INFO] uart0: [host: 0.67s (+5.23ms)|virt: 39.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:33:17.8245 [INFO] uart0: [host: 0.68s (+5.99ms)|virt: 39.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:33:17.8373 [INFO] uart0: [host: 0.69s (+12.74ms)|virt: 39.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:33:17.8511 [INFO] uart0: [host: 0.71s (+13.79ms)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:33:17.8578 [INFO] uart0: [host: 0.71s (+6.74ms)|virt: 79.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:33:17.8670 [INFO] nrf52_vbluno52: Machine paused. 16:33:17.8687 [INFO] nrf52_vbluno52: Machine resumed. 16:33:17.8688 [INFO] uart0: [host: 0.72s (+11.03ms)|virt: 79.47ms (+72µs)] 16:33:17.8760 [INFO] uart0: [host: 0.73s (+7.15ms)|virt: 79.5ms (+28µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:33:17.8839 [INFO] uart0: [host: 0.74s (+7.87ms)|virt: 79.53ms (+31µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:33:17.8912 [INFO] uart0: [host: 0.75s (+7.3ms)|virt: 79.6ms (+69µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:33:17.8960 [INFO] uart0: [host: 0.75s (+4.83ms)|virt: 79.64ms (+37µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:33:17.9021 [INFO] uart0: [host: 0.76s (+5.46ms)|virt: 79.7ms (+63µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:33:17.9072 [INFO] uart0: [host: 0.76s (+5.78ms)|virt: 79.74ms (+45µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:33:17.9163 [INFO] uart0: [host: 0.77s (+9.03ms)|virt: 79.8ms (+57µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:33:17.9291 [INFO] uart0: [host: 0.78s (+12.86ms)|virt: 0.12s (+39.25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:33:17.9370 [INFO] uart0: [host: 0.79s (+6.38ms)|virt: 0.12s (+51µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:33:17.9414 [INFO] uart0: [host: 0.8s (+5.92ms)|virt: 0.12s (+99µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:33:17.9466 [INFO] uart0: [host: 0.8s (+5.15ms)|virt: 0.12s (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:33:17.9529 [INFO] uart0: [host: 0.81s (+6.27ms)|virt: 0.12s (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:33:17.9589 [INFO] uart0: [host: 0.81s (+6.07ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:33:17.9651 [INFO] uart0: [host: 0.82s (+6.22ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:33:17.9715 [INFO] uart0: [host: 0.83s (+6.35ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:33:17.9778 [INFO] uart0: [host: 0.83s (+6.35ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:33:17.9977 [INFO] uart0: [host: 0.85s (+19.91ms)|virt: 0.21s (+86.84ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:33:18.0042 [INFO] uart0: [host: 0.86s (+6.51ms)|virt: 0.21s (+58µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:33:18.0101 [INFO] uart0: [host: 0.86s (+5.89ms)|virt: 0.21s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:33:18.0203 [INFO] uart0: [host: 0.88s (+10.16ms)|virt: 0.23s (+23.65ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:33:18.0267 [INFO] uart0: [host: 0.88s (+6.44ms)|virt: 0.23s (+50µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:33:18.0388 [INFO] uart0: [host: 0.89s (+10.28ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:33:18.0460 [INFO] uart0: [host: 0.9s (+9.01ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:33:18.0544 [INFO] uart0: [host: 0.91s (+8.36ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:33:18.0711 [INFO] uart0: [host: 0.93s (+16.74ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:33:18.0781 [INFO] uart0: [host: 0.93s (+6.95ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:33:18.0852 [INFO] uart0: [host: 0.94s (+7.13ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:33:18.0933 [INFO] uart0: [host: 0.95s (+8.06ms)|virt: 0.29s (+7.84ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:33:18.0993 [INFO] uart0: [host: 0.95s (+5.9ms)|virt: 0.29s (+63µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:33:18.1000 [INFO] nrf52_vbluno52: Machine paused. 16:33:18.1023 [INFO] nrf52_vbluno52: Machine resumed. 16:33:18.1024 [INFO] uart0: [host: 0.96s (+3.2ms)|virt: 0.29s (+39µs)] 16:33:18.1089 [INFO] uart0: [host: 0.96s (+6.55ms)|virt: 0.29s (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:33:18.1235 [INFO] uart0: [host: 0.98s (+14.55ms)|virt: 0.34s (+47.56ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:33:18.1284 [INFO] uart0: [host: 0.98s (+4.88ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:33:18.1409 [INFO] uart0: [host: 1s (+12.25ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:33:18.1755 [INFO] uart0: [host: 1.03s (+34.9ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:33:18.1935 [INFO] uart0: [host: 1.05s (+18.01ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:33:18.2105 [INFO] uart0: [host: 1.07s (+16.94ms)|virt: 0.44s (+31µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:33:18.2289 [INFO] uart0: [host: 1.08s (+18.4ms)|virt: 0.49s (+47.51ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:33:18.2340 [INFO] uart0: [host: 1.09s (+5.09ms)|virt: 0.49s (+62µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:33:18.2612 [INFO] uart0: [host: 1.12s (+27.24ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:33:18.2736 [INFO] uart0: [host: 1.13s (+12.39ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:33:18.2798 [INFO] uart0: [host: 1.13s (+6.16ms)|virt: 0.58s (+43µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:33:18.2799 [INFO] nrf52_vbluno52: Machine paused. 16:33:18.3073 [INFO] nrf52_vbluno52: Disposed.