17:10:34.6999 [INFO] System bus created. 17:10:36.6063 [INFO] sysbus: Loading segment of 24880 bytes length at 0x0. 17:10:36.6260 [INFO] sysbus: Loading segment of 142 bytes length at 0x6130. 17:10:36.6261 [INFO] sysbus: Loading segment of 4 bytes length at 0x61BE. 17:10:36.6261 [INFO] sysbus: Loading segment of 17104 bytes length at 0x20000090. 17:10:37.1595 [INFO] cpu0: Setting initial values: PC = 0xB1D, SP = 0x20004360. 17:10:37.1607 [INFO] 96b_nitrogen: Machine started. 17:10:37.2359 [WARNING] sysbus: [cpu0: 0x529C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2386 [WARNING] sysbus: [cpu0: 0x1E48] ReadByte from non existing peripheral at 0xF0000FE0. 17:10:37.2390 [WARNING] sysbus: [cpu0: 0x529C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2391 [WARNING] sysbus: [cpu0: 0x1E48] ReadByte from non existing peripheral at 0xF0000FE0. 17:10:37.2391 [WARNING] sysbus: [cpu0: 0x529C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2392 [WARNING] sysbus: [cpu0: 0x1E48] ReadByte from non existing peripheral at 0xF0000FE0. 17:10:37.2392 [WARNING] sysbus: [cpu0: 0x1E48] ReadByte from non existing peripheral at 0xF0000FE0. 17:10:37.2393 [WARNING] sysbus: [cpu0: 0x1F1C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2393 [WARNING] sysbus: [cpu0: 0x1F1C] ReadDoubleWord from non existing peripheral at 0x10000134. 17:10:37.2393 [WARNING] sysbus: [cpu0: 0x529C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2394 [WARNING] sysbus: [cpu0: 0x529C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2394 [WARNING] sysbus: [cpu0: 0x2012] ReadDoubleWord from non existing peripheral at 0x10000130. 17:10:37.2394 [WARNING] sysbus: [cpu0: 0x206C] ReadDoubleWord from non existing peripheral at 0x10001200. 17:10:37.2394 [WARNING] sysbus: [cpu0: 0x2078] ReadDoubleWord from non existing peripheral at 0x10001204. 17:10:37.2487 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:10:37.2522 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:10:37.2536 [WARNING] sysbus: [cpu0: 0x104C] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 17:10:37.2550 [WARNING] sysbus: [cpu0: 0x281A] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 17:10:37.2550 [WARNING] sysbus: [cpu0: 0x281A] ReadDoubleWord from non existing peripheral at 0x4000617C. 17:10:37.2550 [WARNING] sysbus: [cpu0: 0x282C] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 17:10:37.2612 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [1, 4-31] when writing value 0xD. Tags: PIN (0x12), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:10:37.2612 [WARNING] sysbus: [cpu0: 0x17C8] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x2000. 17:10:37.2612 [WARNING] sysbus: [cpu0: 0x1796] ReadDoubleWord from non existing peripheral at 0x50000734. 17:10:37.2612 [WARNING] sysbus: [cpu0: 0x1796] WriteDoubleWord to non existing peripheral at 0x50000734, value 0x3. 17:10:37.2613 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [4-31] when writing value 0xF. Tags: PIN (0x10), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:10:37.2613 [WARNING] sysbus: [cpu0: 0x177A] ReadDoubleWord from non existing peripheral at 0x5000073C. 17:10:37.2613 [WARNING] sysbus: [cpu0: 0x177A] WriteDoubleWord to non existing peripheral at 0x5000073C, value 0x0. 17:10:37.2613 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [0-1, 4-31] when writing value 0xC. Tags: PIN (0x13), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:10:37.2614 [WARNING] sysbus: [cpu0: 0x17C4] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x1000. 17:10:37.2614 [WARNING] sysbus: [cpu0: 0x17C4] ReadDoubleWord from non existing peripheral at 0x50000730. 17:10:37.2614 [WARNING] sysbus: [cpu0: 0x17C4] WriteDoubleWord to non existing peripheral at 0x50000730, value 0x3. 17:10:37.2614 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [0, 4-31] when writing value 0xE. Tags: PIN (0x11), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:10:37.2614 [WARNING] sysbus: [cpu0: 0x1726] ReadDoubleWord from non existing peripheral at 0x50000738. 17:10:37.2614 [WARNING] sysbus: [cpu0: 0x1726] WriteDoubleWord to non existing peripheral at 0x50000738, value 0x0. 17:10:37.2783 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 17:10:37.2784 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 17:10:37.2788 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 17:10:37.2861 [WARNING] clock: Unhandled read from offset 0x414. 17:10:37.2862 [WARNING] nvic0: Unhandled read from offset 0xDFC. 17:10:37.2862 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x1000000. 17:10:37.3125 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x0. 17:10:37.3487 [INFO] uart0: [host: 1.13s (+1.13s)|virt: 0.5ms (+0.5ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:10:37.3673 [INFO] 96b_nitrogen: Machine paused. 17:10:37.3745 [INFO] 96b_nitrogen: Machine resumed. 17:10:37.3772 [INFO] uart0: [host: 1.16s (+28.55ms)|virt: 0.54ms (+36µs)] 17:10:37.3804 [INFO] uart0: [host: 1.16s (+3.15ms)|virt: 0.54ms (+0s)] [2J[15;1HDemo Description 17:10:37.3814 [INFO] uart0: [host: 1.17s (+1.14ms)|virt: 0.54ms (+0s)] ---------------- 17:10:37.4022 [INFO] uart0: [host: 1.19s (+20.77ms)|virt: 0.6ms (+60µs)] An implementation of a solution to the Dining Philosophers 17:10:37.4073 [INFO] uart0: [host: 1.19s (+5.03ms)|virt: 0.6ms (+0s)] problem (a classic multi-thread synchronization problem). 17:10:37.4199 [INFO] uart0: [host: 1.2s (+12.64ms)|virt: 0.6ms (+0s)] This particular implementation demonstrates the usage of multiple 17:10:37.4310 [INFO] uart0: [host: 1.21s (+7.44ms)|virt: 0.7ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 17:10:37.4333 [INFO] uart0: [host: 1.22s (+5.95ms)|virt: 0.7ms (+0s)] well as dynamic mutexes and thread sleeping. 17:10:37.4470 [INFO] uart0: [host: 1.23s (+13.65ms)|virt: 0.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:10:37.4584 [INFO] uart0: [host: 1.24s (+11.37ms)|virt: 0.8ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:10:37.4735 [INFO] uart0: [host: 1.26s (+15.16ms)|virt: 0.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:10:37.4976 [INFO] uart0: [host: 1.28s (+24.15ms)|virt: 0.94ms (+45µs)] [6;1HPhilosopher 5 [C:-2] STARVING 17:10:37.5071 [INFO] uart0: [host: 1.29s (+6.57ms)|virt: 1ms (+55µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:10:37.5254 [INFO] uart0: [host: 1.31s (+21.17ms)|virt: 1.05ms (+50µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:10:37.5420 [INFO] uart0: [host: 1.33s (+16.57ms)|virt: 1.1ms (+50µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:10:37.5716 [INFO] uart0: [host: 1.36s (+29.56ms)|virt: 1.2ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:10:37.6089 [INFO] uart0: [host: 1.39s (+37.36ms)|virt: 1.2ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:10:37.6301 [INFO] uart0: [host: 1.41s (+21.17ms)|virt: 1.3ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:10:37.6403 [INFO] uart0: [host: 1.42s (+10.25ms)|virt: 1.3ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:10:37.6636 [INFO] uart0: [host: 1.45s (+23.29ms)|virt: 1.4ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:10:37.7124 [INFO] uart0: [host: 1.5s (+48.75ms)|virt: 39.7ms (+38.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:10:37.7301 [INFO] uart0: [host: 1.51s (+17.78ms)|virt: 39.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:10:37.7427 [INFO] uart0: [host: 1.53s (+12.57ms)|virt: 39.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:10:37.7540 [INFO] uart0: [host: 1.54s (+11.27ms)|virt: 39.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:10:37.8064 [INFO] uart0: [host: 1.59s (+52.35ms)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:10:37.8208 [INFO] uart0: [host: 1.6s (+14.48ms)|virt: 79.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:10:37.8239 [INFO] 96b_nitrogen: Machine paused. 17:10:37.8293 [INFO] 96b_nitrogen: Machine resumed. 17:10:37.8295 [INFO] uart0: [host: 1.61s (+8.69ms)|virt: 79.47ms (+72µs)] 17:10:37.8509 [INFO] uart0: [host: 1.63s (+21.35ms)|virt: 79.5ms (+28µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:10:37.8602 [INFO] uart0: [host: 1.64s (+9.42ms)|virt: 79.53ms (+31µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:10:37.8707 [INFO] uart0: [host: 1.65s (+10.44ms)|virt: 79.6ms (+69µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:10:37.8798 [INFO] uart0: [host: 1.66s (+9.04ms)|virt: 79.64ms (+37µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:10:37.8886 [INFO] uart0: [host: 1.67s (+8.9ms)|virt: 79.7ms (+63µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:10:37.8974 [INFO] uart0: [host: 1.68s (+8.76ms)|virt: 79.74ms (+45µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:10:37.9082 [INFO] uart0: [host: 1.69s (+9.18ms)|virt: 79.8ms (+57µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:10:37.9427 [INFO] uart0: [host: 1.73s (+36.08ms)|virt: 0.12s (+39.25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:10:37.9533 [INFO] uart0: [host: 1.74s (+10.62ms)|virt: 0.12s (+51µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:10:37.9671 [INFO] uart0: [host: 1.75s (+13.74ms)|virt: 0.12s (+99µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:10:37.9799 [INFO] uart0: [host: 1.76s (+12.86ms)|virt: 0.12s (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:10:37.9937 [INFO] uart0: [host: 1.78s (+13.76ms)|virt: 0.12s (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:10:38.0046 [INFO] uart0: [host: 1.79s (+10.95ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:10:38.0183 [INFO] uart0: [host: 1.8s (+13.64ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:10:38.0382 [INFO] uart0: [host: 1.82s (+19.98ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:10:38.0515 [INFO] uart0: [host: 1.84s (+13.27ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:10:38.1098 [INFO] uart0: [host: 1.89s (+58.32ms)|virt: 0.21s (+86.84ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:10:38.1260 [INFO] uart0: [host: 1.91s (+16.11ms)|virt: 0.21s (+58µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:10:38.1483 [INFO] uart0: [host: 1.93s (+22.4ms)|virt: 0.21s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:10:38.1758 [INFO] uart0: [host: 1.96s (+27.47ms)|virt: 0.23s (+23.65ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:10:38.2030 [INFO] uart0: [host: 1.99s (+27.15ms)|virt: 0.23s (+50µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:10:38.2372 [INFO] uart0: [host: 2.02s (+34.26ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:10:38.2542 [INFO] uart0: [host: 2.04s (+16.98ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:10:38.2676 [INFO] uart0: [host: 2.05s (+13.39ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:10:38.2927 [INFO] uart0: [host: 2.08s (+25.05ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:10:38.3047 [INFO] uart0: [host: 2.09s (+12.1ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:10:38.3152 [INFO] uart0: [host: 2.1s (+10.46ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:10:38.3334 [INFO] uart0: [host: 2.12s (+16.43ms)|virt: 0.29s (+7.84ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:10:38.3517 [INFO] uart0: [host: 2.14s (+20ms)|virt: 0.29s (+63µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:10:38.3519 [INFO] 96b_nitrogen: Machine paused. 17:10:38.3564 [INFO] 96b_nitrogen: Machine resumed. 17:10:38.3567 [INFO] uart0: [host: 2.14s (+5.08ms)|virt: 0.29s (+39µs)] 17:10:38.3810 [INFO] uart0: [host: 2.16s (+24.25ms)|virt: 0.29s (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 17:10:38.4236 [INFO] uart0: [host: 2.21s (+42.62ms)|virt: 0.34s (+47.56ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:10:38.4490 [INFO] uart0: [host: 2.23s (+25.42ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:10:38.5063 [INFO] uart0: [host: 2.29s (+57.26ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:10:38.5556 [INFO] uart0: [host: 2.34s (+49.26ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:10:38.5813 [INFO] uart0: [host: 2.36s (+23.88ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:10:38.6061 [INFO] uart0: [host: 2.39s (+26.65ms)|virt: 0.44s (+31µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:10:38.6326 [INFO] uart0: [host: 2.42s (+26.52ms)|virt: 0.49s (+47.51ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:10:38.6444 [INFO] uart0: [host: 2.43s (+11.81ms)|virt: 0.49s (+62µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:10:38.6978 [INFO] uart0: [host: 2.48s (+53.42ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:10:38.7095 [INFO] uart0: [host: 2.49s (+11.69ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:10:38.7200 [INFO] uart0: [host: 2.5s (+10.43ms)|virt: 0.58s (+43µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:10:38.7201 [INFO] 96b_nitrogen: Machine paused. 17:10:38.7825 [INFO] 96b_nitrogen: Disposed.