16:49:12.8637 [INFO] System bus created. 16:49:13.8260 [INFO] sysbus: Loading segment of 20520 bytes length at 0x8000000. 16:49:13.8374 [INFO] sysbus: Loading segment of 118 bytes length at 0x8005028. 16:49:13.8374 [INFO] sysbus: Loading segment of 4 bytes length at 0x800509E. 16:49:13.8375 [INFO] sysbus: Loading segment of 14992 bytes length at 0x20000078. 16:49:14.0940 [INFO] cpu0: Setting initial values: PC = 0x80007D5, SP = 0x20003B08. 16:49:14.0946 [INFO] nucleo_g031k8: Machine started. 16:49:14.1882 [WARNING] sysbus: [cpu0: 0x8001864] ReadDoubleWord from non existing peripheral at 0x40022000. 16:49:14.1885 [WARNING] sysbus: [cpu0: 0x8001864] WriteDoubleWord to non existing peripheral at 0x40022000, value 0x2. 16:49:14.1885 [WARNING] sysbus: [cpu0: 0x8001864] ReadDoubleWord from non existing peripheral at 0x40022000. 16:49:14.1885 [WARNING] sysbus: [cpu0: 0x8001878] ReadDoubleWord from non existing peripheral at 0x40022000. 16:49:14.2041 [WARNING] sysbus: [cpu0: 0x8000694] ReadDoubleWord from non existing peripheral at 0x40015804. 16:49:14.2041 [WARNING] sysbus: [cpu0: 0x8000694] WriteDoubleWord to non existing peripheral at 0x40015804, value 0x0. 16:49:14.2382 [INFO] usart2: [host: 0.63s (+0.63s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:49:14.2482 [INFO] nucleo_g031k8: Machine paused. 16:49:14.2540 [INFO] nucleo_g031k8: Machine resumed. 16:49:14.2551 [INFO] usart2: [host: 0.64s (+16.93ms)|virt: 0.13ms (+33µs)] 16:49:14.2617 [INFO] usart2: [host: 0.65s (+6.47ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 16:49:14.2658 [INFO] usart2: [host: 0.65s (+4.23ms)|virt: 0.13ms (+0s)] ---------------- 16:49:14.2845 [INFO] usart2: [host: 0.67s (+18.71ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 16:49:14.3187 [INFO] usart2: [host: 0.71s (+34.17ms)|virt: 0.2ms (+67µs)] problem (a classic multi-thread synchronization problem). 16:49:14.3731 [INFO] usart2: [host: 0.76s (+54.36ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:49:14.4603 [INFO] usart2: [host: 0.85s (+87.22ms)|virt: 0.3ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:49:14.5187 [INFO] usart2: [host: 0.91s (+58.41ms)|virt: 0.3ms (+0s)] well as dynamic mutexes and thread sleeping. 16:49:14.6564 [INFO] usart2: [host: 1.04s (+0.14s)|virt: 0.35ms (+48µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:49:14.7594 [INFO] usart2: [host: 1.15s (+0.1s)|virt: 0.4ms (+52µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:49:14.8703 [INFO] usart2: [host: 1.26s (+0.11s)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:49:15.0382 [INFO] usart2: [host: 1.43s (+0.17s)|virt: 0.5ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:49:15.1668 [INFO] usart2: [host: 1.55s (+0.13s)|virt: 0.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:49:15.3218 [INFO] usart2: [host: 1.71s (+0.16s)|virt: 0.6ms (+99µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:49:15.4693 [INFO] usart2: [host: 1.86s (+0.15s)|virt: 0.6ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:49:15.6239 [INFO] usart2: [host: 2.01s (+0.16s)|virt: 0.7ms (+98µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:49:15.7961 [INFO] usart2: [host: 2.18s (+0.17s)|virt: 0.7ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:49:15.9853 [INFO] usart2: [host: 2.37s (+0.19s)|virt: 0.8ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:49:16.1635 [INFO] usart2: [host: 2.55s (+0.18s)|virt: 0.8ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:49:16.3675 [INFO] usart2: [host: 2.76s (+0.2s)|virt: 0.9ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:49:16.6017 [INFO] usart2: [host: 2.99s (+0.23s)|virt: 40ms (+39.1ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:49:16.8571 [INFO] usart2: [host: 3.25s (+0.26s)|virt: 40.1ms (+97µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:49:17.1268 [INFO] usart2: [host: 3.51s (+0.27s)|virt: 40.11ms (+11µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:49:17.4239 [INFO] usart2: [host: 3.81s (+0.3s)|virt: 40.2ms (+89µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:49:17.6955 [INFO] usart2: [host: 4.08s (+0.27s)|virt: 80.01ms (+39.81ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:49:17.9624 [INFO] usart2: [host: 4.35s (+0.27s)|virt: 80.1ms (+93µs)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:49:17.9633 [INFO] nucleo_g031k8: Machine paused. 16:49:17.9696 [INFO] nucleo_g031k8: Machine resumed. 16:49:17.9698 [INFO] usart2: [host: 4.36s (+7.36ms)|virt: 80.11ms (+8µs)] 16:49:18.2698 [INFO] usart2: [host: 4.66s (+0.3s)|virt: 80.11ms (+5µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:49:18.5909 [INFO] usart2: [host: 4.98s (+0.32s)|virt: 80.2ms (+87µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:49:18.8653 [INFO] usart2: [host: 5.25s (+0.27s)|virt: 80.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:49:19.2092 [INFO] usart2: [host: 5.6s (+0.34s)|virt: 80.3ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:49:19.5731 [INFO] usart2: [host: 5.96s (+0.36s)|virt: 80.3ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:49:19.9262 [INFO] usart2: [host: 6.31s (+0.35s)|virt: 80.4ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:49:20.2827 [INFO] usart2: [host: 6.67s (+0.36s)|virt: 80.44ms (+36µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:49:20.6575 [INFO] usart2: [host: 7.05s (+0.37s)|virt: 0.12s (+39.57ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:49:20.9977 [INFO] usart2: [host: 7.39s (+0.34s)|virt: 0.12s (+90µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:49:21.3460 [INFO] usart2: [host: 7.73s (+0.35s)|virt: 0.12s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:49:21.7746 [INFO] usart2: [host: 8.16s (+0.43s)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:49:22.1677 [INFO] usart2: [host: 8.56s (+0.39s)|virt: 0.12s (+23µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:49:22.5983 [INFO] usart2: [host: 8.99s (+0.43s)|virt: 0.12s (+77µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:49:23.0393 [INFO] usart2: [host: 9.43s (+0.44s)|virt: 0.12s (+31µs)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:49:23.4742 [INFO] usart2: [host: 9.86s (+0.43s)|virt: 0.12s (+69µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:49:23.9376 [INFO] usart2: [host: 10.33s (+0.46s)|virt: 0.12s (+40µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:49:24.4275 [INFO] usart2: [host: 10.82s (+0.49s)|virt: 0.21s (+89.56ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:49:24.8737 [INFO] usart2: [host: 11.26s (+0.45s)|virt: 0.21s (+95µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:49:25.4260 [INFO] usart2: [host: 11.81s (+0.55s)|virt: 0.21s (+14µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:49:25.9507 [INFO] usart2: [host: 12.34s (+0.52s)|virt: 0.23s (+19.89ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:49:26.3610 [INFO] usart2: [host: 12.75s (+0.41s)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:49:26.9259 [INFO] usart2: [host: 13.31s (+0.56s)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:49:27.4672 [INFO] usart2: [host: 13.86s (+0.54s)|virt: 0.26s (+95µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:49:28.0586 [INFO] usart2: [host: 14.45s (+0.59s)|virt: 0.26s (+16µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:49:28.5958 [INFO] usart2: [host: 14.98s (+0.54s)|virt: 0.28s (+19.89ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:49:29.1007 [INFO] usart2: [host: 15.49s (+0.5s)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:49:29.6493 [INFO] usart2: [host: 16.04s (+0.55s)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:49:30.1954 [INFO] usart2: [host: 16.58s (+0.55s)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:49:30.7452 [INFO] usart2: [host: 17.13s (+0.55s)|virt: 0.3s (+97µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:49:30.7452 [INFO] nucleo_g031k8: Machine paused. 16:49:30.7513 [INFO] nucleo_g031k8: Machine resumed. 16:49:30.7516 [INFO] usart2: [host: 17.14s (+6.57ms)|virt: 0.3s (+0s)] 16:49:31.3402 [INFO] usart2: [host: 17.73s (+0.59s)|virt: 0.3s (+4µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:49:31.9446 [INFO] usart2: [host: 18.33s (+0.6s)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:49:32.4624 [INFO] usart2: [host: 18.85s (+0.52s)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:49:33.0459 [INFO] usart2: [host: 19.43s (+0.58s)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:49:33.6291 [INFO] usart2: [host: 20.02s (+0.58s)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:49:34.3108 [INFO] usart2: [host: 20.7s (+0.68s)|virt: 0.45s (+96µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:49:34.9860 [INFO] usart2: [host: 21.37s (+0.67s)|virt: 0.45s (+16µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:49:35.6294 [INFO] usart2: [host: 22.02s (+0.64s)|virt: 0.5s (+49.89ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:49:36.2176 [INFO] usart2: [host: 22.61s (+0.59s)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:49:36.9269 [INFO] usart2: [host: 23.31s (+0.71s)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:49:37.5899 [INFO] usart2: [host: 23.98s (+0.66s)|virt: 0.57s (+97µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:49:38.3461 [INFO] usart2: [host: 24.73s (+0.76s)|virt: 0.57s (+16µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:49:38.3461 [INFO] nucleo_g031k8: Machine paused. 16:49:38.3803 [INFO] nucleo_g031k8: Disposed.