16:25:27.9952 [INFO] System bus created. 16:25:28.9298 [INFO] sysbus: Loading segment of 23020 bytes length at 0x8000000. 16:25:28.9390 [INFO] sysbus: Loading segment of 144 bytes length at 0x80059EC. 16:25:28.9391 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005A7C. 16:25:28.9391 [INFO] sysbus: Loading segment of 17840 bytes length at 0x20020090. 16:25:29.2198 [INFO] cpu0: Setting initial values: PC = 0x8000AB9, SP = 0x20024600. 16:25:29.2202 [INFO] stm32f769i_disco: Machine started. 16:25:29.2641 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:25:29.2660 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:25:29.2682 [WARNING] sysbus: [cpu0: 0x8000768] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:25:29.2690 [WARNING] sysbus: [cpu0: 0x8000768] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x200. 16:25:29.2694 [WARNING] sysbus: [cpu0: 0x8001AA4] ReadDoubleWord from non existing peripheral at 0x40007000. 16:25:29.2695 [WARNING] sysbus: [cpu0: 0x8001AA4] ReadDoubleWord from non existing peripheral at 0x40007000. 16:25:29.2695 [WARNING] sysbus: [cpu0: 0x8001AF8] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:25:29.2695 [WARNING] sysbus: [cpu0: 0x8001AF8] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x4. 16:25:29.2695 [WARNING] sysbus: [cpu0: 0x8001AF8] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:25:29.2695 [WARNING] sysbus: [cpu0: 0x8001B0E] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:25:29.2697 [WARNING] sysbus: [cpu0: 0x8001310] ReadDoubleWord from non existing peripheral at 0x40007000. 16:25:29.2697 [WARNING] sysbus: [cpu0: 0x8001310] WriteDoubleWord to non existing peripheral at 0x40007000, value 0x10000. 16:25:29.3229 [WARNING] sysbus: [cpu0: 0x8001338] ReadDoubleWord from non existing peripheral at 0x40007000. 16:25:29.3230 [WARNING] sysbus: [cpu0: 0x8001338] WriteDoubleWord to non existing peripheral at 0x40007000, value 0x20000. 16:25:29.3232 [WARNING] sysbus: [cpu0: 0x8000754] ReadDoubleWord from non existing peripheral at 0xE0042004. 16:25:29.3233 [WARNING] sysbus: [cpu0: 0x8000754] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x0. 16:25:29.3445 [INFO] usart1: [host: 0.63s (+0.63s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:25:29.3583 [INFO] stm32f769i_disco: Machine paused. 16:25:29.3614 [INFO] stm32f769i_disco: Machine resumed. 16:25:29.3618 [INFO] usart1: [host: 0.64s (+17.29ms)|virt: 0.13ms (+33µs)] 16:25:29.3630 [INFO] usart1: [host: 0.64s (+1.22ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 16:25:29.3642 [INFO] usart1: [host: 0.65s (+1.28ms)|virt: 0.13ms (+0s)] ---------------- 16:25:29.3654 [INFO] usart1: [host: 0.65s (+1.24ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 16:25:29.3701 [INFO] usart1: [host: 0.65s (+4.63ms)|virt: 0.2ms (+67µs)] problem (a classic multi-thread synchronization problem). 16:25:29.3715 [INFO] usart1: [host: 0.65s (+1.46ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:25:29.3736 [INFO] usart1: [host: 0.65s (+2.06ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:25:29.3755 [INFO] usart1: [host: 0.66s (+1.91ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 16:25:29.3839 [INFO] usart1: [host: 0.66s (+7.26ms)|virt: 0.32ms (+16µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:25:29.3855 [INFO] usart1: [host: 0.67s (+2.75ms)|virt: 0.32ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:25:29.3887 [INFO] usart1: [host: 0.67s (+3.13ms)|virt: 0.4ms (+84µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:25:29.3919 [INFO] usart1: [host: 0.67s (+3.24ms)|virt: 0.45ms (+50µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:25:29.3952 [INFO] usart1: [host: 0.68s (+3.34ms)|virt: 0.5ms (+50µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:25:29.3987 [INFO] usart1: [host: 0.68s (+3.47ms)|virt: 0.54ms (+38µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:25:29.4022 [INFO] usart1: [host: 0.68s (+3.47ms)|virt: 0.6ms (+62µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:25:29.4053 [INFO] usart1: [host: 0.69s (+3.16ms)|virt: 0.62ms (+23µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:25:29.4089 [INFO] usart1: [host: 0.69s (+3.56ms)|virt: 0.7ms (+77µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:25:29.4128 [INFO] usart1: [host: 0.69s (+3.96ms)|virt: 0.71ms (+7µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:25:29.4160 [INFO] usart1: [host: 0.7s (+3.14ms)|virt: 0.71ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:25:29.4202 [INFO] usart1: [host: 0.7s (+4.17ms)|virt: 0.8ms (+93µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:25:29.4315 [INFO] usart1: [host: 0.71s (+11.37ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:25:29.4358 [INFO] usart1: [host: 0.72s (+4.24ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:25:29.4404 [INFO] usart1: [host: 0.72s (+4.62ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:25:29.4449 [INFO] usart1: [host: 0.73s (+4.46ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:25:29.4562 [INFO] usart1: [host: 0.74s (+11.37ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:25:29.4606 [INFO] usart1: [host: 0.74s (+4.38ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:25:29.4618 [INFO] stm32f769i_disco: Machine paused. 16:25:29.4669 [INFO] stm32f769i_disco: Machine resumed. 16:25:29.4669 [INFO] usart1: [host: 0.75s (+6.34ms)|virt: 80.09ms (+87µs)] 16:25:29.4702 [INFO] usart1: [host: 0.75s (+3.29ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:25:29.4755 [INFO] usart1: [host: 0.76s (+5.21ms)|virt: 80.14ms (+44µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:25:29.4790 [INFO] usart1: [host: 0.76s (+3.56ms)|virt: 80.2ms (+56µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:25:29.4828 [INFO] usart1: [host: 0.76s (+3.79ms)|virt: 80.23ms (+33µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:25:29.4866 [INFO] usart1: [host: 0.77s (+3.82ms)|virt: 80.3ms (+67µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:25:29.4906 [INFO] usart1: [host: 0.77s (+4.01ms)|virt: 80.32ms (+24µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:25:29.4947 [INFO] usart1: [host: 0.78s (+4.06ms)|virt: 80.4ms (+76µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:25:29.5043 [INFO] usart1: [host: 0.79s (+9.62ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:25:29.5084 [INFO] usart1: [host: 0.79s (+4.1ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:25:29.5124 [INFO] usart1: [host: 0.79s (+3.93ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:25:29.5165 [INFO] usart1: [host: 0.8s (+4.16ms)|virt: 0.12s (+42µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:25:29.5209 [INFO] usart1: [host: 0.8s (+4.4ms)|virt: 0.12s (+58µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:25:29.5247 [INFO] usart1: [host: 0.81s (+3.84ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:25:29.5289 [INFO] usart1: [host: 0.81s (+4.2ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:25:29.5331 [INFO] usart1: [host: 0.81s (+4.14ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:25:29.5375 [INFO] usart1: [host: 0.82s (+4.38ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:25:29.5515 [INFO] usart1: [host: 0.83s (+14.07ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:25:29.5558 [INFO] usart1: [host: 0.84s (+4.31ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:25:29.5601 [INFO] usart1: [host: 0.84s (+4.25ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:25:29.5670 [INFO] usart1: [host: 0.85s (+6.91ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:25:29.5713 [INFO] usart1: [host: 0.85s (+4.28ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:25:29.5798 [INFO] usart1: [host: 0.86s (+8.55ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:25:29.5849 [INFO] usart1: [host: 0.87s (+5.03ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:25:29.5895 [INFO] usart1: [host: 0.87s (+4.66ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:25:29.5985 [INFO] usart1: [host: 0.88s (+8.94ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:25:29.6028 [INFO] usart1: [host: 0.88s (+4.35ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:25:29.6074 [INFO] usart1: [host: 0.89s (+4.58ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:25:29.6158 [INFO] usart1: [host: 0.9s (+8.39ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:25:29.6227 [INFO] usart1: [host: 0.9s (+6.88ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:25:29.6228 [INFO] stm32f769i_disco: Machine paused. 16:25:29.6249 [INFO] stm32f769i_disco: Machine resumed. 16:25:29.6250 [INFO] usart1: [host: 0.91s (+2.36ms)|virt: 0.3s (+41µs)] 16:25:29.6297 [INFO] usart1: [host: 0.91s (+4.68ms)|virt: 0.3s (+12µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:25:29.6393 [INFO] usart1: [host: 0.92s (+8.14ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:25:29.6459 [INFO] usart1: [host: 0.93s (+8.07ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:25:29.6621 [INFO] usart1: [host: 0.94s (+16.18ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:25:29.6925 [INFO] usart1: [host: 0.97s (+30.44ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:25:29.6965 [INFO] usart1: [host: 0.98s (+4.01ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:25:29.7011 [INFO] usart1: [host: 0.98s (+4.24ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:25:29.7422 [INFO] usart1: [host: 1.02s (+41.38ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:25:29.7478 [INFO] usart1: [host: 1.03s (+5.61ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:25:29.8105 [INFO] usart1: [host: 1.09s (+62.76ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:25:29.8158 [INFO] usart1: [host: 1.1s (+5.25ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:25:29.8300 [INFO] usart1: [host: 1.11s (+14.17ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:25:29.8300 [INFO] stm32f769i_disco: Machine paused. 16:25:29.8547 [INFO] stm32f769i_disco: Disposed.