17:52:31.1916 [INFO] System bus created. 17:52:32.3269 [INFO] sysbus: Loading segment of 21676 bytes length at 0x8000000. 17:52:32.3427 [INFO] sysbus: Loading segment of 140 bytes length at 0x80054AC. 17:52:32.3428 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005538. 17:52:32.3428 [INFO] sysbus: Loading segment of 17776 bytes length at 0x20000090. 17:52:32.6809 [INFO] cpu0: Setting initial values: PC = 0x8000A29, SP = 0x200045C0. 17:52:32.6817 [INFO] nucleo_f207zg: Machine started. 17:52:32.7361 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:52:32.7378 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:52:32.7428 [WARNING] sysbus: [cpu0: 0x80006F4] ReadDoubleWord from non existing peripheral at 0x40023C00. 17:52:32.7431 [WARNING] sysbus: [cpu0: 0x80006F4] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x200. 17:52:32.7431 [WARNING] sysbus: [cpu0: 0x80006F4] ReadDoubleWord from non existing peripheral at 0x40023C00. 17:52:32.7432 [WARNING] sysbus: [cpu0: 0x80006F4] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x400. 17:52:32.7447 [WARNING] sysbus: [cpu0: 0x80018E0] ReadDoubleWord from non existing peripheral at 0x40023C00. 17:52:32.7448 [WARNING] sysbus: [cpu0: 0x80018E0] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x3. 17:52:32.7448 [WARNING] sysbus: [cpu0: 0x80018E0] ReadDoubleWord from non existing peripheral at 0x40023C00. 17:52:32.7449 [WARNING] sysbus: [cpu0: 0x80018E0] ReadDoubleWord from non existing peripheral at 0x40023C00. 17:52:32.7498 [WARNING] rcc: Unhandled write to offset 0x0. Unhandled bits: [18] when writing value 0x40483. Tags: HSEBYP (0x1). 17:52:32.7502 [WARNING] sysbus: [cpu0: 0x80006E0] ReadDoubleWord from non existing peripheral at 0xE0042004. 17:52:32.7503 [WARNING] sysbus: [cpu0: 0x80006E0] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x0. 17:52:32.7727 [WARNING] usart3: Unhandled read from offset 0x14. 17:52:32.7727 [WARNING] usart3: Unhandled write to offset 0x14, value 0x0. 17:52:32.7731 [WARNING] usart6: Unhandled read from offset 0x14. 17:52:32.7731 [WARNING] usart6: Unhandled write to offset 0x14, value 0x0. 17:52:32.7853 [INFO] usart3: [host: 0.69s (+0.69s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:52:32.7875 [INFO] usart3: [host: 0.7s (+2.08ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 17:52:32.7897 [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. 17:52:32.7973 [INFO] nucleo_f207zg: Machine paused. 17:52:32.8044 [INFO] nucleo_f207zg: Machine resumed. 17:52:32.8057 [INFO] usart3: [host: 0.71s (+18.28ms)|virt: 0.15ms (+50µs)] ---------------- 17:52:32.8076 [INFO] usart3: [host: 0.72s (+1.94ms)|virt: 0.15ms (+0s)] An implementation of a solution to the Dining Philosophers 17:52:32.8116 [INFO] usart3: [host: 0.72s (+3.98ms)|virt: 0.2ms (+50µs)] problem (a classic multi-thread synchronization problem). 17:52:32.8204 [INFO] usart3: [host: 0.73s (+8.78ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 17:52:32.8257 [INFO] usart3: [host: 0.73s (+5.32ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 17:52:32.8274 [INFO] usart3: [host: 0.74s (+1.73ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 17:52:32.8385 [INFO] usart3: [host: 0.75s (+11.14ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:52:32.8419 [INFO] usart3: [host: 0.75s (+3.32ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:52:32.8462 [INFO] usart3: [host: 0.76s (+4.36ms)|virt: 0.4ms (+91µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:52:32.8521 [INFO] usart3: [host: 0.76s (+5.8ms)|virt: 0.44ms (+43µs)] [6;1HPhilosopher 5 [C:-2] STARVING 17:52:32.8576 [INFO] usart3: [host: 0.77s (+4.5ms)|virt: 0.5ms (+57µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:52:32.8622 [INFO] usart3: [host: 0.77s (+4.2ms)|virt: 0.53ms (+32µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:52:32.8688 [INFO] usart3: [host: 0.78s (+6.62ms)|virt: 0.6ms (+68µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:52:32.8726 [INFO] usart3: [host: 0.78s (+4.99ms)|virt: 0.62ms (+16µs)] [3;1HPhilosopher 2 [P: 1] STARVING 17:52:32.8762 [INFO] usart3: [host: 0.79s (+3.91ms)|virt: 0.62ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:52:32.8813 [INFO] usart3: [host: 0.79s (+5.05ms)|virt: 0.7ms (+85µs)] [2;1HPhilosopher 1 [P: 2] STARVING 17:52:32.8880 [INFO] usart3: [host: 0.8s (+6.68ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:52:32.8944 [INFO] usart3: [host: 0.8s (+6.37ms)|virt: 0.8ms (+99µs)] [1;1HPhilosopher 0 [P: 3] STARVING 17:52:32.9072 [INFO] usart3: [host: 0.82s (+12.89ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:52:32.9126 [INFO] usart3: [host: 0.82s (+5.32ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:52:32.9194 [INFO] usart3: [host: 0.83s (+6.85ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:52:32.9265 [INFO] usart3: [host: 0.84s (+7.11ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:52:32.9439 [INFO] usart3: [host: 0.85s (+17.33ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:52:32.9513 [INFO] usart3: [host: 0.86s (+7.44ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:52:32.9621 [INFO] nucleo_f207zg: Machine paused. 17:52:32.9657 [INFO] nucleo_f207zg: Machine resumed. 17:52:32.9659 [INFO] usart3: [host: 0.87s (+14.6ms)|virt: 80.09ms (+87µs)] 17:52:32.9716 [INFO] usart3: [host: 0.88s (+5.71ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:52:32.9775 [INFO] usart3: [host: 0.89s (+5.44ms)|virt: 80.14ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:52:32.9808 [INFO] usart3: [host: 0.89s (+3.72ms)|virt: 80.2ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:52:32.9857 [INFO] usart3: [host: 0.89s (+4.92ms)|virt: 80.23ms (+33µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:52:32.9905 [INFO] usart3: [host: 0.9s (+4.84ms)|virt: 80.3ms (+67µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:52:32.9957 [INFO] usart3: [host: 0.9s (+5.19ms)|virt: 80.32ms (+24µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:52:33.0010 [INFO] usart3: [host: 0.91s (+5.33ms)|virt: 80.4ms (+76µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:52:33.0123 [INFO] usart3: [host: 0.92s (+11.22ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:52:33.0173 [INFO] usart3: [host: 0.93s (+5.06ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:52:33.0222 [INFO] usart3: [host: 0.93s (+4.93ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:52:33.0274 [INFO] usart3: [host: 0.94s (+5.16ms)|virt: 0.12s (+42µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:52:33.0337 [INFO] usart3: [host: 0.94s (+6.3ms)|virt: 0.12s (+58µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:52:33.0378 [INFO] usart3: [host: 0.95s (+4.12ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:52:33.0430 [INFO] usart3: [host: 0.95s (+5.17ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:52:33.0480 [INFO] usart3: [host: 0.96s (+4.99ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:52:33.0539 [INFO] usart3: [host: 0.96s (+5.91ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:52:33.0829 [INFO] usart3: [host: 0.99s (+29ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:52:33.0885 [INFO] usart3: [host: 1s (+5.62ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:52:33.0953 [INFO] usart3: [host: 1s (+6.8ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:52:33.1094 [INFO] usart3: [host: 1.02s (+14.05ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:52:33.1193 [INFO] usart3: [host: 1.03s (+9.91ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:52:33.1384 [INFO] usart3: [host: 1.05s (+19.13ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:52:33.1454 [INFO] usart3: [host: 1.05s (+7ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:52:33.1523 [INFO] usart3: [host: 1.06s (+6.9ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:52:33.1687 [INFO] usart3: [host: 1.08s (+16.42ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:52:33.1736 [INFO] usart3: [host: 1.08s (+4.85ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:52:33.1797 [INFO] usart3: [host: 1.09s (+6.11ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:52:33.1948 [INFO] usart3: [host: 1.1s (+15.08ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:52:33.2018 [INFO] usart3: [host: 1.11s (+7.02ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:52:33.2019 [INFO] nucleo_f207zg: Machine paused. 17:52:33.2051 [INFO] nucleo_f207zg: Machine resumed. 17:52:33.2052 [INFO] usart3: [host: 1.11s (+3.4ms)|virt: 0.3s (+42µs)] 17:52:33.2106 [INFO] usart3: [host: 1.12s (+5.4ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 17:52:33.2208 [INFO] usart3: [host: 1.13s (+10.21ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:52:33.2255 [INFO] usart3: [host: 1.13s (+4.7ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:52:33.2429 [INFO] usart3: [host: 1.15s (+17.45ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:52:33.2545 [INFO] usart3: [host: 1.16s (+11.61ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:52:33.2625 [INFO] usart3: [host: 1.17s (+7.96ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:52:33.2699 [INFO] usart3: [host: 1.18s (+7.45ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:52:33.2847 [INFO] usart3: [host: 1.19s (+14.75ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:52:33.2909 [INFO] usart3: [host: 1.2s (+6.2ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:52:33.3047 [INFO] usart3: [host: 1.21s (+13.81ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:52:33.3100 [INFO] usart3: [host: 1.22s (+5.29ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:52:33.3157 [INFO] usart3: [host: 1.22s (+5.68ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:52:33.3158 [INFO] nucleo_f207zg: Machine paused. 17:52:33.3470 [INFO] nucleo_f207zg: Disposed.