16:36:19.5302 [INFO] System bus created. 16:36:20.5936 [INFO] sysbus: Loaded SVD: /tmp/renode-9262/e070c950-f40b-453e-a227-fab6b1948cb6.tmp. Name: STM32G474xx. Description: STM32G474xx. 16:36:20.6710 [INFO] sysbus: Loading segment of 22584 bytes length at 0x8000000. 16:36:20.6825 [INFO] sysbus: Loading segment of 136 bytes length at 0x8005838. 16:36:20.6826 [INFO] sysbus: Loading segment of 4 bytes length at 0x80058C0. 16:36:20.6826 [INFO] sysbus: Loading segment of 17784 bytes length at 0x20000088. 16:36:20.9928 [INFO] cpu0: Setting initial values: PC = 0x8000AC1, SP = 0x200045C0. 16:36:20.9933 [INFO] nucleo_g474re: Machine started. 16:36:21.0348 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:36:21.0360 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:36:21.0388 [WARNING] sysbus: Read from an unimplemented register DBGMCU:CR (0xE0042004), returning a value from SVD: 0x0. 16:36:21.0391 [WARNING] sysbus: Write of value 0x1 to an unimplemented register DBGMCU:CR (0xE0042004) generated from SVD. 16:36:21.0882 [WARNING] sysbus: Read from an unimplemented register PWR:CR3 (0x40007008), returning a value from SVD: 0x8000. 16:36:21.0882 [WARNING] sysbus: Write of value 0xC000 to an unimplemented register PWR:CR3 (0x40007008) generated from SVD. 16:36:21.0935 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x600. 16:36:21.0936 [WARNING] sysbus: Write of value 0x602 to an unimplemented register FLASH:ACR (0x40022000) generated from SVD. 16:36:21.0936 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x600. 16:36:21.0936 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x600. 16:36:21.1119 [WARNING] sysbus: Read from an unimplemented register PWR:CR5 (0x40007080), returning a value from SVD: 0x100. 16:36:21.1119 [WARNING] sysbus: Write of value 0x0 to an unimplemented register PWR:CR5 (0x40007080) generated from SVD. 16:36:21.1121 [WARNING] sysbus: Read from an unimplemented register DBGMCU:CR (0xE0042004), returning a value from SVD: 0x0. 16:36:21.1122 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBGMCU:CR (0xE0042004) generated from SVD. 16:36:21.1224 [WARNING] lpuart1: Unhandled read from offset 0x2C. 16:36:21.1224 [WARNING] lpuart1: Unhandled write to offset 0x2C, value 0x0. 16:36:21.1262 [WARNING] lpuart1: Unhandled write to offset 0xC. Unhandled bits: [16, 18] when writing value 0x5C3B2. Tags: RESERVED (0x5). 16:36:21.1365 [INFO] lpuart1: [host: 0.54s (+0.54s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:36:21.1461 [INFO] nucleo_g474re: Machine paused. 16:36:21.1504 [INFO] nucleo_g474re: Machine resumed. 16:36:21.1509 [INFO] lpuart1: [host: 0.55s (+14.44ms)|virt: 0.13ms (+29µs)] 16:36:21.1540 [INFO] lpuart1: [host: 0.55s (+2.95ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 16:36:21.1567 [INFO] lpuart1: [host: 0.56s (+2.89ms)|virt: 0.13ms (+0s)] ---------------- 16:36:21.1607 [INFO] lpuart1: [host: 0.56s (+3.99ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 16:36:21.1623 [INFO] lpuart1: [host: 0.56s (+1.57ms)|virt: 0.2ms (+71µs)] problem (a classic multi-thread synchronization problem). 16:36:21.1638 [INFO] lpuart1: [host: 0.56s (+1.58ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:36:21.1666 [INFO] lpuart1: [host: 0.57s (+2.33ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:36:21.1674 [INFO] lpuart1: [host: 0.57s (+1.21ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:36:21.1775 [INFO] lpuart1: [host: 0.58s (+9.71ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:36:21.1799 [INFO] lpuart1: [host: 0.58s (+2.77ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:36:21.1877 [INFO] lpuart1: [host: 0.59s (+7.83ms)|virt: 0.4ms (+88µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:36:21.1948 [INFO] lpuart1: [host: 0.6s (+7.04ms)|virt: 0.45ms (+46µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:36:21.1978 [INFO] lpuart1: [host: 0.6s (+3.01ms)|virt: 0.5ms (+54µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:36:21.2017 [INFO] lpuart1: [host: 0.6s (+3.95ms)|virt: 0.54ms (+35µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:36:21.2081 [INFO] lpuart1: [host: 0.61s (+4.47ms)|virt: 0.6ms (+65µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:36:21.2099 [INFO] lpuart1: [host: 0.61s (+3.74ms)|virt: 0.62ms (+19µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:36:21.2160 [INFO] lpuart1: [host: 0.61s (+4.19ms)|virt: 0.7ms (+81µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:36:21.2202 [INFO] lpuart1: [host: 0.62s (+6.06ms)|virt: 0.7ms (+4µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:36:21.2291 [INFO] lpuart1: [host: 0.63s (+8.94ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:36:21.2380 [INFO] lpuart1: [host: 0.64s (+8.87ms)|virt: 0.8ms (+96µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:36:21.2547 [INFO] lpuart1: [host: 0.66s (+16.69ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:36:21.2608 [INFO] lpuart1: [host: 0.66s (+6.19ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:36:21.2704 [INFO] lpuart1: [host: 0.67s (+9.6ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:36:21.2747 [INFO] lpuart1: [host: 0.68s (+4.27ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:36:21.2907 [INFO] lpuart1: [host: 0.69s (+16.02ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:36:21.2956 [INFO] lpuart1: [host: 0.7s (+4.86ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:36:21.2981 [INFO] nucleo_g474re: Machine paused. 16:36:21.3002 [INFO] nucleo_g474re: Machine resumed. 16:36:21.3003 [INFO] lpuart1: [host: 0.7s (+4.68ms)|virt: 80.09ms (+87µs)] 16:36:21.3074 [INFO] lpuart1: [host: 0.71s (+5.25ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:36:21.3131 [INFO] lpuart1: [host: 0.71s (+6.16ms)|virt: 80.14ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:36:21.3178 [INFO] lpuart1: [host: 0.72s (+4.19ms)|virt: 80.2ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:36:21.3215 [INFO] lpuart1: [host: 0.72s (+4.79ms)|virt: 80.23ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:36:21.3239 [INFO] lpuart1: [host: 0.72s (+3.21ms)|virt: 80.3ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:36:21.3280 [INFO] lpuart1: [host: 0.73s (+4.13ms)|virt: 80.32ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:36:21.3322 [INFO] lpuart1: [host: 0.73s (+4.24ms)|virt: 80.4ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:36:21.3489 [INFO] lpuart1: [host: 0.75s (+16.63ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:36:21.3530 [INFO] lpuart1: [host: 0.75s (+4.1ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:36:21.3571 [INFO] lpuart1: [host: 0.76s (+4.11ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:36:21.3614 [INFO] lpuart1: [host: 0.76s (+4.33ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:36:21.3661 [INFO] lpuart1: [host: 0.77s (+4.72ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:36:21.3705 [INFO] lpuart1: [host: 0.77s (+4.36ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:36:21.3755 [INFO] lpuart1: [host: 0.78s (+4.96ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:36:21.3799 [INFO] lpuart1: [host: 0.78s (+4.46ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:36:21.3848 [INFO] lpuart1: [host: 0.79s (+4.84ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:36:21.4004 [INFO] lpuart1: [host: 0.8s (+15.68ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:36:21.4052 [INFO] lpuart1: [host: 0.81s (+4.79ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:36:21.4112 [INFO] lpuart1: [host: 0.81s (+5.98ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:36:21.4217 [INFO] lpuart1: [host: 0.82s (+10.53ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:36:21.4318 [INFO] lpuart1: [host: 0.83s (+10.07ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:36:21.4462 [INFO] lpuart1: [host: 0.85s (+14.36ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:36:21.4567 [INFO] lpuart1: [host: 0.86s (+10.48ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:36:21.4623 [INFO] lpuart1: [host: 0.86s (+4.88ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:36:21.4690 [INFO] lpuart1: [host: 0.87s (+7.46ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:36:21.4764 [INFO] lpuart1: [host: 0.88s (+7.35ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:36:21.4852 [INFO] lpuart1: [host: 0.89s (+8.84ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:36:21.4926 [INFO] lpuart1: [host: 0.89s (+7.45ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:36:21.4978 [INFO] lpuart1: [host: 0.9s (+5.17ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:36:21.4979 [INFO] nucleo_g474re: Machine paused. 16:36:21.5006 [INFO] nucleo_g474re: Machine resumed. 16:36:21.5007 [INFO] lpuart1: [host: 0.9s (+2.9ms)|virt: 0.3s (+42µs)] 16:36:21.5123 [INFO] lpuart1: [host: 0.91s (+11.57ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:36:21.5306 [INFO] lpuart1: [host: 0.93s (+17.54ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:36:21.5362 [INFO] lpuart1: [host: 0.94s (+6.41ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:36:21.5472 [INFO] lpuart1: [host: 0.95s (+10.96ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:36:21.5585 [INFO] lpuart1: [host: 0.96s (+10.99ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:36:21.5632 [INFO] lpuart1: [host: 0.96s (+5.01ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:36:21.5724 [INFO] lpuart1: [host: 0.97s (+8.79ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:36:21.5919 [INFO] lpuart1: [host: 0.99s (+19.93ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:36:21.6020 [INFO] lpuart1: [host: 1s (+10.08ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:36:21.6276 [INFO] lpuart1: [host: 1.03s (+25.62ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:36:21.6321 [INFO] lpuart1: [host: 1.03s (+4.52ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:36:21.6371 [INFO] lpuart1: [host: 1.04s (+5.02ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:36:21.6373 [INFO] nucleo_g474re: Machine paused. 16:36:21.6650 [INFO] nucleo_g474re: Disposed.