13:10:12.1847 [INFO] System bus created. 13:10:14.3014 [INFO] sysbus: Loaded SVD: /tmp/renode-11914/5381bd8f-60dc-4cba-be79-8c805d827382.tmp. Name: STM32F40x. Description: STM32F40x. 13:10:14.4169 [INFO] sysbus: Loading segment of 22376 bytes length at 0x8000000. 13:10:14.4359 [INFO] sysbus: Loading segment of 138 bytes length at 0x8005768. 13:10:14.4361 [INFO] sysbus: Loading segment of 4 bytes length at 0x80057F2. 13:10:14.4362 [INFO] sysbus: Loading segment of 17840 bytes length at 0x20000090. 13:10:14.9549 [INFO] cpu0: Setting initial values: PC = 0x8000A9D, SP = 0x20004600. 13:10:14.9559 [INFO] nucleo_f413zh: Machine started. 13:10:15.0345 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 13:10:15.0386 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 13:10:15.0429 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 13:10:15.0435 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 13:10:15.0436 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 13:10:15.0436 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 13:10:15.0444 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 13:10:15.0444 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 13:10:15.0445 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 13:10:15.0445 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 13:10:15.0445 [WARNING] sysbus: Write of value 0x0 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 13:10:15.0446 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 13:10:15.0515 [WARNING] rcc: Unhandled write to offset 0x0. Unhandled bits: [18] when writing value 0x40483. Tags: HSEBYP (0x1). 13:10:15.0521 [WARNING] sysbus: Read from an unimplemented register DBG:DBGMCU_CR (0xE0042004), returning a value from SVD: 0x0. 13:10:15.0522 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:DBGMCU_CR (0xE0042004) generated from SVD. 13:10:15.0690 [WARNING] usart3: Unhandled read from offset 0x14. 13:10:15.0690 [WARNING] usart3: Unhandled write to offset 0x14, value 0x0. 13:10:15.0706 [WARNING] usart6: Unhandled read from offset 0x14. 13:10:15.0706 [WARNING] usart6: Unhandled write to offset 0x14, value 0x0. 13:10:15.1030 [INFO] usart3: [host: 0.79s (+0.79s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 13:10:15.1255 [INFO] nucleo_f413zh: Machine paused. 13:10:15.1312 [INFO] nucleo_f413zh: Machine resumed. 13:10:15.1318 [INFO] usart3: [host: 0.82s (+28.91ms)|virt: 0.13ms (+29µs)] 13:10:15.1389 [INFO] usart3: [host: 0.82s (+6.87ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 13:10:15.1408 [INFO] usart3: [host: 0.83s (+2.11ms)|virt: 0.13ms (+0s)] ---------------- 13:10:15.1498 [INFO] usart3: [host: 0.84s (+9.04ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 13:10:15.1585 [INFO] usart3: [host: 0.84s (+8.66ms)|virt: 0.2ms (+71µs)] problem (a classic multi-thread synchronization problem). 13:10:15.1681 [INFO] usart3: [host: 0.85s (+9.63ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 13:10:15.1779 [INFO] usart3: [host: 0.86s (+9.72ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 13:10:15.1835 [INFO] usart3: [host: 0.87s (+5.62ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 13:10:15.2123 [INFO] usart3: [host: 0.9s (+28.84ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 13:10:15.2243 [INFO] usart3: [host: 0.91s (+12.05ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 13:10:15.2389 [INFO] usart3: [host: 0.92s (+14.44ms)|virt: 0.4ms (+88µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 13:10:15.2606 [INFO] usart3: [host: 0.95s (+21.81ms)|virt: 0.45ms (+47µs)] [6;1HPhilosopher 5 [C:-2] STARVING 13:10:15.2746 [INFO] usart3: [host: 0.96s (+14ms)|virt: 0.5ms (+53µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 13:10:15.2942 [INFO] usart3: [host: 0.98s (+19.6ms)|virt: 0.54ms (+35µs)] [4;1HPhilosopher 3 [P: 0] STARVING 13:10:15.3101 [INFO] usart3: [host: 1s (+15.92ms)|virt: 0.6ms (+65µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 13:10:15.3286 [INFO] usart3: [host: 1.01s (+18.43ms)|virt: 0.62ms (+20µs)] [3;1HPhilosopher 2 [P: 1] STARVING 13:10:15.3456 [INFO] usart3: [host: 1.03s (+17.08ms)|virt: 0.7ms (+80µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 13:10:15.3646 [INFO] usart3: [host: 1.05s (+18.97ms)|virt: 0.7ms (+4µs)] [2;1HPhilosopher 1 [P: 2] STARVING 13:10:15.3817 [INFO] usart3: [host: 1.07s (+17.07ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 13:10:15.4004 [INFO] usart3: [host: 1.09s (+18.72ms)|virt: 0.8ms (+96µs)] [1;1HPhilosopher 0 [P: 3] STARVING 13:10:15.4420 [INFO] usart3: [host: 1.13s (+41.6ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 13:10:15.4609 [INFO] usart3: [host: 1.15s (+18.94ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 13:10:15.4780 [INFO] usart3: [host: 1.16s (+17.14ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 13:10:15.4911 [INFO] usart3: [host: 1.18s (+13.04ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 13:10:15.5191 [INFO] usart3: [host: 1.2s (+27.99ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 13:10:15.5401 [INFO] usart3: [host: 1.23s (+21.05ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 13:10:15.5414 [INFO] nucleo_f413zh: Machine paused. 13:10:15.5452 [INFO] nucleo_f413zh: Machine resumed. 13:10:15.5465 [INFO] usart3: [host: 1.23s (+5.31ms)|virt: 80.09ms (+87µs)] 13:10:15.5603 [INFO] usart3: [host: 1.25s (+14.8ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 13:10:15.5808 [INFO] usart3: [host: 1.27s (+20.5ms)|virt: 80.14ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 13:10:15.5969 [INFO] usart3: [host: 1.28s (+14.71ms)|virt: 80.2ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 13:10:15.6143 [INFO] usart3: [host: 1.3s (+17.37ms)|virt: 80.23ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 13:10:15.6297 [INFO] usart3: [host: 1.32s (+16.86ms)|virt: 80.3ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 13:10:15.6501 [INFO] usart3: [host: 1.34s (+20.44ms)|virt: 80.32ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 13:10:15.6793 [INFO] usart3: [host: 1.36s (+29.16ms)|virt: 80.4ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 13:10:15.7362 [INFO] usart3: [host: 1.42s (+56.88ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 13:10:15.7588 [INFO] usart3: [host: 1.44s (+22.65ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 13:10:15.7739 [INFO] usart3: [host: 1.46s (+15.08ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 13:10:15.7899 [INFO] usart3: [host: 1.48s (+16.05ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 13:10:15.8094 [INFO] usart3: [host: 1.5s (+19.45ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 13:10:15.8242 [INFO] usart3: [host: 1.51s (+14.83ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 13:10:15.8409 [INFO] usart3: [host: 1.53s (+16.66ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 13:10:15.8567 [INFO] usart3: [host: 1.54s (+15.79ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 13:10:15.8738 [INFO] usart3: [host: 1.56s (+17.11ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 13:10:15.9751 [INFO] usart3: [host: 1.66s (+0.1s)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 13:10:16.0024 [INFO] usart3: [host: 1.69s (+27.29ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 13:10:16.0298 [INFO] usart3: [host: 1.72s (+27.35ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 13:10:16.0724 [INFO] usart3: [host: 1.76s (+42.66ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 13:10:16.0903 [INFO] usart3: [host: 1.78s (+17.84ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 13:10:16.1542 [INFO] usart3: [host: 1.84s (+63.9ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 13:10:16.1752 [INFO] usart3: [host: 1.86s (+21.06ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 13:10:16.2097 [INFO] usart3: [host: 1.9s (+34.5ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 13:10:16.2517 [INFO] usart3: [host: 1.94s (+41.97ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 13:10:16.2656 [INFO] usart3: [host: 1.95s (+13.95ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 13:10:16.2845 [INFO] usart3: [host: 1.97s (+18.91ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 13:10:16.3231 [INFO] usart3: [host: 2.01s (+38.57ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 13:10:16.3486 [INFO] usart3: [host: 2.03s (+25.17ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 13:10:16.3487 [INFO] nucleo_f413zh: Machine paused. 13:10:16.3521 [INFO] nucleo_f413zh: Machine resumed. 13:10:16.3523 [INFO] usart3: [host: 2.04s (+4.02ms)|virt: 0.3s (+42µs)] 13:10:16.3685 [INFO] usart3: [host: 2.05s (+14.97ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 13:10:16.4161 [INFO] usart3: [host: 2.1s (+48.88ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 13:10:16.4337 [INFO] usart3: [host: 2.12s (+17.54ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 13:10:16.4858 [INFO] usart3: [host: 2.17s (+52.08ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 13:10:16.5187 [INFO] usart3: [host: 2.2s (+32.93ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 13:10:16.5358 [INFO] usart3: [host: 2.22s (+17.08ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 13:10:16.5584 [INFO] usart3: [host: 2.24s (+22.6ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 13:10:16.6204 [INFO] usart3: [host: 2.31s (+61.97ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 13:10:16.6410 [INFO] usart3: [host: 2.33s (+20.64ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 13:10:16.7309 [INFO] usart3: [host: 2.42s (+89.9ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 13:10:16.7548 [INFO] usart3: [host: 2.44s (+23.92ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 13:10:16.7838 [INFO] usart3: [host: 2.47s (+28.95ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 13:10:16.7840 [INFO] nucleo_f413zh: Machine paused. 13:10:16.8708 [INFO] nucleo_f413zh: Disposed.