16:43:41.0200 [INFO] System bus created. 16:43:42.8939 [INFO] sysbus: Loaded SVD: /tmp/renode-9590/489d5fa7-b576-4505-89bb-987a692e0f3f.tmp. Name: STM32F40x. Description: STM32F40x. 16:43:42.9872 [INFO] sysbus: Loading segment of 22080 bytes length at 0x8000000. 16:43:43.0155 [INFO] sysbus: Loading segment of 138 bytes length at 0x8005640. 16:43:43.0159 [INFO] sysbus: Loading segment of 4 bytes length at 0x80056CA. 16:43:43.0162 [INFO] sysbus: Loading segment of 17840 bytes length at 0x20000090. 16:43:43.5426 [INFO] cpu0: Setting initial values: PC = 0x8000A89, SP = 0x20004600. 16:43:43.5455 [INFO] nucleo_f412zg: Machine started. 16:43:43.6263 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:43:43.6285 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:43:43.6359 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:43:43.6368 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:43:43.6369 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:43:43.6370 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:43:43.6384 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:43:43.6385 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:43:43.6386 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:43:43.6387 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:43:43.6388 [WARNING] sysbus: Write of value 0x0 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:43:43.6388 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:43:43.6521 [WARNING] rcc: Unhandled write to offset 0x0. Unhandled bits: [18] when writing value 0x40483. Tags: HSEBYP (0x1). 16:43:43.6522 [WARNING] sysbus: Read from an unimplemented register DBG:DBGMCU_CR (0xE0042004), returning a value from SVD: 0x0. 16:43:43.6522 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:DBGMCU_CR (0xE0042004) generated from SVD. 16:43:43.6625 [WARNING] usart3: Unhandled read from offset 0x14. 16:43:43.6625 [WARNING] usart3: Unhandled write to offset 0x14, value 0x0. 16:43:43.6629 [WARNING] usart6: Unhandled read from offset 0x14. 16:43:43.6630 [WARNING] usart6: Unhandled write to offset 0x14, value 0x0. 16:43:43.6855 [INFO] usart3: [host: 0.78s (+0.78s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:43:43.7119 [INFO] nucleo_f412zg: Machine paused. 16:43:43.7255 [INFO] nucleo_f412zg: Machine resumed. 16:43:43.7263 [INFO] usart3: [host: 0.82s (+40.83ms)|virt: 0.13ms (+27µs)] 16:43:43.7325 [INFO] usart3: [host: 0.83s (+5.94ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 16:43:43.7340 [INFO] usart3: [host: 0.83s (+1.76ms)|virt: 0.13ms (+0s)] ---------------- 16:43:43.7390 [INFO] usart3: [host: 0.83s (+4.99ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 16:43:43.7460 [INFO] usart3: [host: 0.84s (+6.97ms)|virt: 0.2ms (+73µs)] problem (a classic multi-thread synchronization problem). 16:43:43.7534 [INFO] usart3: [host: 0.85s (+7.42ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:43:43.7588 [INFO] usart3: [host: 0.85s (+5.44ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:43:43.7658 [INFO] usart3: [host: 0.86s (+7.02ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:43:43.7887 [INFO] usart3: [host: 0.88s (+22.9ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:43:43.7933 [INFO] usart3: [host: 0.89s (+4.54ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:43:43.7981 [INFO] usart3: [host: 0.89s (+4.83ms)|virt: 0.4ms (+89µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:43:43.8040 [INFO] usart3: [host: 0.9s (+5.87ms)|virt: 0.44ms (+45µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:43:43.8091 [INFO] usart3: [host: 0.9s (+5.07ms)|virt: 0.5ms (+55µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:43:43.8151 [INFO] usart3: [host: 0.91s (+6.03ms)|virt: 0.53ms (+33µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:43:43.8221 [INFO] usart3: [host: 0.92s (+7.03ms)|virt: 0.6ms (+67µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:43:43.8278 [INFO] usart3: [host: 0.92s (+5.63ms)|virt: 0.62ms (+18µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:43:43.8336 [INFO] usart3: [host: 0.93s (+5.87ms)|virt: 0.7ms (+82µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:43:43.8416 [INFO] usart3: [host: 0.94s (+7.94ms)|virt: 0.7ms (+3µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:43:43.8473 [INFO] usart3: [host: 0.94s (+5.75ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:43:43.8558 [INFO] usart3: [host: 0.95s (+8.52ms)|virt: 0.8ms (+97µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:43:43.8881 [INFO] usart3: [host: 0.98s (+30.94ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:43:43.8992 [INFO] usart3: [host: 0.99s (+12.39ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:43:43.9212 [INFO] usart3: [host: 1.02s (+21.96ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:43:43.9378 [INFO] usart3: [host: 1.03s (+16.66ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:43:43.9743 [INFO] usart3: [host: 1.07s (+36.47ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:43:43.9949 [INFO] usart3: [host: 1.09s (+20.62ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:43:43.9958 [INFO] nucleo_f412zg: Machine paused. 16:43:44.0003 [INFO] nucleo_f412zg: Machine resumed. 16:43:44.0005 [INFO] usart3: [host: 1.1s (+5.64ms)|virt: 80.09ms (+87µs)] 16:43:44.0103 [INFO] usart3: [host: 1.1s (+8.91ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:43:44.0173 [INFO] usart3: [host: 1.11s (+7.88ms)|virt: 80.14ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:43:44.0263 [INFO] usart3: [host: 1.12s (+8.37ms)|virt: 80.2ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:43:44.0333 [INFO] usart3: [host: 1.13s (+7.58ms)|virt: 80.23ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:43:44.0389 [INFO] usart3: [host: 1.13s (+5.61ms)|virt: 80.3ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:43:44.0468 [INFO] usart3: [host: 1.14s (+7.91ms)|virt: 80.32ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:43:44.0547 [INFO] usart3: [host: 1.15s (+7.85ms)|virt: 80.4ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:43:44.0845 [INFO] usart3: [host: 1.18s (+29.88ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:43:44.1101 [INFO] usart3: [host: 1.21s (+25.53ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:43:44.1168 [INFO] usart3: [host: 1.21s (+6.64ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:43:44.1371 [INFO] usart3: [host: 1.23s (+20.31ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:43:44.1510 [INFO] usart3: [host: 1.25s (+13.98ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:43:44.1574 [INFO] usart3: [host: 1.25s (+6.41ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:43:44.1655 [INFO] usart3: [host: 1.26s (+8.08ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:43:44.1733 [INFO] usart3: [host: 1.27s (+7.88ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:43:44.1802 [INFO] usart3: [host: 1.28s (+6.89ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:43:44.2261 [INFO] usart3: [host: 1.32s (+45.83ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:43:44.2436 [INFO] usart3: [host: 1.34s (+17.51ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:43:44.2618 [INFO] usart3: [host: 1.36s (+18.2ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:43:44.2824 [INFO] usart3: [host: 1.38s (+20.63ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:43:44.2885 [INFO] usart3: [host: 1.38s (+6.07ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:43:44.3077 [INFO] usart3: [host: 1.4s (+19.25ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:43:44.3156 [INFO] usart3: [host: 1.41s (+7.86ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:43:44.3250 [INFO] usart3: [host: 1.42s (+9.38ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:43:44.3426 [INFO] usart3: [host: 1.44s (+17.59ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:43:44.3504 [INFO] usart3: [host: 1.45s (+7.79ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:43:44.3599 [INFO] usart3: [host: 1.46s (+9.52ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:43:44.3747 [INFO] usart3: [host: 1.47s (+14.84ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:43:44.3834 [INFO] usart3: [host: 1.48s (+8.66ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:43:44.3835 [INFO] nucleo_f412zg: Machine paused. 16:43:44.3872 [INFO] nucleo_f412zg: Machine resumed. 16:43:44.3874 [INFO] usart3: [host: 1.48s (+4.03ms)|virt: 0.3s (+42µs)] 16:43:44.4022 [INFO] usart3: [host: 1.5s (+14.53ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:43:44.4371 [INFO] usart3: [host: 1.53s (+35.12ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:43:44.4502 [INFO] usart3: [host: 1.55s (+13.19ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:43:44.5001 [INFO] usart3: [host: 1.6s (+49.84ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:43:44.5235 [INFO] usart3: [host: 1.62s (+23.39ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:43:44.5313 [INFO] usart3: [host: 1.63s (+7.77ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:43:44.5392 [INFO] usart3: [host: 1.63s (+7.96ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:43:44.5564 [INFO] usart3: [host: 1.65s (+17.18ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:43:44.5621 [INFO] usart3: [host: 1.66s (+5.67ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:43:44.6144 [INFO] usart3: [host: 1.71s (+52.29ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:43:44.6342 [INFO] usart3: [host: 1.73s (+19.78ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:43:44.6619 [INFO] usart3: [host: 1.76s (+27.76ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:43:44.6620 [INFO] nucleo_f412zg: Machine paused. 16:43:44.7155 [INFO] nucleo_f412zg: Disposed.