16:59:49.5832 [INFO] System bus created. 16:59:51.1071 [INFO] sysbus: Loaded SVD: /tmp/renode-13390/c3e406ca-0341-40f0-8ddc-438a30d4c5b9.tmp. Name: STM32F40x. Description: STM32F40x. 16:59:51.1956 [INFO] sysbus: Loading segment of 21964 bytes length at 0x8000000. 16:59:51.2130 [INFO] sysbus: Loading segment of 140 bytes length at 0x80055CC. 16:59:51.2131 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005658. 16:59:51.2131 [INFO] sysbus: Loading segment of 17840 bytes length at 0x20000090. 16:59:51.6408 [INFO] cpu0: Setting initial values: PC = 0x8000A4D, SP = 0x20004600. 16:59:51.6418 [INFO] black_f407ve: Machine started. 16:59:51.7042 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:59:51.7073 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:59:51.7110 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:59:51.7115 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:59:51.7115 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:59:51.7116 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:59:51.7123 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:59:51.7123 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:59:51.7123 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:59:51.7136 [WARNING] sysbus: Write of value 0x4 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:59:51.7137 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:59:51.7137 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:59:51.7141 [WARNING] sysbus: Read from an unimplemented register DBG:DBGMCU_CR (0xE0042004), returning a value from SVD: 0x0. 16:59:51.7141 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:DBGMCU_CR (0xE0042004) generated from SVD. 16:59:51.7238 [WARNING] usart2: Unhandled read from offset 0x14. 16:59:51.7238 [WARNING] usart2: Unhandled write to offset 0x14, value 0x0. 16:59:51.7247 [WARNING] usart1: Unhandled read from offset 0x14. 16:59:51.7247 [WARNING] usart1: Unhandled write to offset 0x14, value 0x0. 16:59:51.7422 [INFO] usart1: [host: 0.62s (+0.62s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:59:51.7454 [INFO] usart1: [host: 0.63s (+3.09ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 16:59:51.7468 [INFO] usart1: [host: 0.63s (+1.56ms)|virt: 0.1ms (+0s)] ---------------- 16:59:51.7525 [WARNING] Pause on match was requested, but the matching string had already been printed when the assertion was made. Pause time will not be deterministic. 16:59:51.7547 [INFO] black_f407ve: Machine paused. 16:59:51.7615 [INFO] black_f407ve: Machine resumed. 16:59:51.7642 [INFO] usart1: [host: 0.65s (+17.46ms)|virt: 0.17ms (+68µs)] An implementation of a solution to the Dining Philosophers 16:59:51.7702 [INFO] usart1: [host: 0.65s (+5.97ms)|virt: 0.2ms (+32µs)] problem (a classic multi-thread synchronization problem). 16:59:51.7765 [INFO] usart1: [host: 0.66s (+6.26ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:59:51.7877 [INFO] usart1: [host: 0.67s (+11.19ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:59:51.7930 [INFO] usart1: [host: 0.67s (+5.38ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:59:51.8182 [INFO] usart1: [host: 0.69s (+19.25ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:59:51.8205 [INFO] usart1: [host: 0.7s (+7.41ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:59:51.8281 [INFO] usart1: [host: 0.71s (+8.4ms)|virt: 0.4ms (+89µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:59:51.8433 [INFO] usart1: [host: 0.73s (+15.14ms)|virt: 0.44ms (+45µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:59:51.8543 [INFO] usart1: [host: 0.74s (+11ms)|virt: 0.5ms (+55µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:59:51.8731 [INFO] usart1: [host: 0.75s (+17.51ms)|virt: 0.53ms (+34µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:59:51.8901 [INFO] usart1: [host: 0.77s (+18.32ms)|virt: 0.6ms (+66µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:59:51.9097 [INFO] usart1: [host: 0.79s (+19.61ms)|virt: 0.62ms (+19µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:59:51.9242 [INFO] usart1: [host: 0.81s (+14.52ms)|virt: 0.7ms (+81µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:59:51.9359 [INFO] usart1: [host: 0.82s (+11.7ms)|virt: 0.7ms (+3µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:59:51.9454 [INFO] usart1: [host: 0.83s (+9.45ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:59:51.9578 [INFO] usart1: [host: 0.84s (+12.42ms)|virt: 0.8ms (+97µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:59:51.9860 [INFO] usart1: [host: 0.87s (+28.17ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:59:51.9973 [INFO] usart1: [host: 0.88s (+11.31ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:59:52.0140 [INFO] usart1: [host: 0.9s (+16.7ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:59:52.0314 [INFO] usart1: [host: 0.91s (+16.2ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:59:52.0822 [INFO] usart1: [host: 0.96s (+52.06ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:59:52.1034 [INFO] usart1: [host: 0.99s (+21.14ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:59:52.1146 [INFO] black_f407ve: Machine paused. 16:59:52.1196 [INFO] black_f407ve: Machine resumed. 16:59:52.1198 [INFO] usart1: [host: 1s (+16.35ms)|virt: 80.09ms (+87µs)] 16:59:52.1332 [INFO] usart1: [host: 1.02s (+13.53ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:59:52.1488 [INFO] usart1: [host: 1.03s (+15.55ms)|virt: 80.14ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:59:52.1595 [INFO] usart1: [host: 1.04s (+10.68ms)|virt: 80.2ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:59:52.1739 [INFO] usart1: [host: 1.06s (+14.42ms)|virt: 80.23ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:59:52.1899 [INFO] usart1: [host: 1.07s (+15.99ms)|virt: 80.3ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:59:52.2055 [INFO] usart1: [host: 1.09s (+15.65ms)|virt: 80.32ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:59:52.2217 [INFO] usart1: [host: 1.1s (+16.17ms)|virt: 80.4ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:59:52.2681 [INFO] usart1: [host: 1.15s (+46.38ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:59:52.2898 [INFO] usart1: [host: 1.17s (+21.71ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:59:52.3088 [INFO] usart1: [host: 1.19s (+18.96ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:59:52.3266 [INFO] usart1: [host: 1.21s (+17.89ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:59:52.3490 [INFO] usart1: [host: 1.23s (+22.33ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:59:52.3651 [INFO] usart1: [host: 1.25s (+16.11ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:59:52.3831 [INFO] usart1: [host: 1.26s (+18.01ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:59:52.3991 [INFO] usart1: [host: 1.28s (+16.02ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:59:52.4184 [INFO] usart1: [host: 1.3s (+19.26ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:59:52.4900 [INFO] usart1: [host: 1.37s (+71.59ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:59:52.5044 [INFO] usart1: [host: 1.39s (+14.38ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:59:52.5179 [INFO] usart1: [host: 1.4s (+13.56ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:59:52.5449 [INFO] usart1: [host: 1.43s (+26.98ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:59:52.5580 [INFO] usart1: [host: 1.44s (+13.1ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:59:52.5919 [INFO] usart1: [host: 1.47s (+33.92ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:59:52.6081 [INFO] usart1: [host: 1.49s (+16.23ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:59:52.6224 [INFO] usart1: [host: 1.5s (+13.96ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:59:52.6558 [INFO] usart1: [host: 1.54s (+33.65ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:59:52.6692 [INFO] usart1: [host: 1.55s (+10.68ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:59:52.6829 [INFO] usart1: [host: 1.56s (+16.46ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:59:52.7240 [INFO] usart1: [host: 1.61s (+41.13ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:59:52.7483 [INFO] usart1: [host: 1.63s (+24.27ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:59:52.7486 [INFO] black_f407ve: Machine paused. 16:59:52.7531 [INFO] black_f407ve: Machine resumed. 16:59:52.7533 [INFO] usart1: [host: 1.64s (+5.03ms)|virt: 0.3s (+42µs)] 16:59:52.7652 [INFO] usart1: [host: 1.65s (+11.91ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:59:52.7923 [INFO] usart1: [host: 1.67s (+27.05ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:59:52.8020 [INFO] usart1: [host: 1.68s (+9.74ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:59:52.8501 [INFO] usart1: [host: 1.73s (+48.09ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:59:52.9082 [INFO] usart1: [host: 1.79s (+58.05ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:59:52.9273 [INFO] usart1: [host: 1.81s (+19.15ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:59:52.9478 [INFO] usart1: [host: 1.83s (+20.43ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:59:52.9949 [INFO] usart1: [host: 1.88s (+47.15ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:59:53.0096 [INFO] usart1: [host: 1.89s (+14.71ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:59:53.0573 [INFO] usart1: [host: 1.94s (+47.65ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:59:53.0734 [INFO] usart1: [host: 1.96s (+16.14ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:59:53.0908 [INFO] usart1: [host: 1.97s (+17.36ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:59:53.0909 [INFO] black_f407ve: Machine paused. 16:59:53.1766 [INFO] black_f407ve: Disposed.