16:28:47.5776 [INFO] System bus created. 16:28:49.1200 [INFO] sysbus: Loaded SVD: /tmp/renode-6857/6500ef0c-303e-4da2-82d2-d60f9ede2af0.tmp. Name: STM32F40x. Description: STM32F40x. 16:28:49.1930 [INFO] sysbus: Loading segment of 22088 bytes length at 0x8000000. 16:28:49.2093 [INFO] sysbus: Loading segment of 158 bytes length at 0x8005648. 16:28:49.2095 [INFO] sysbus: Loading segment of 4 bytes length at 0x80056E6. 16:28:49.2095 [INFO] sysbus: Loading segment of 17824 bytes length at 0x200000A0. 16:28:49.6025 [INFO] cpu0: Setting initial values: PC = 0x8000A4D, SP = 0x20004600. 16:28:49.6036 [INFO] olimex_stm32_e407: Machine started. 16:28:49.6694 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:28:49.6726 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:28:49.6764 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:28:49.6770 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:28:49.6770 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:28:49.6771 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:28:49.6779 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:28:49.6780 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 16:28:49.6780 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:28:49.6781 [WARNING] sysbus: Write of value 0x4 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 16:28:49.6781 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:28:49.6782 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 16:28:49.6788 [WARNING] sysbus: Read from an unimplemented register DBG:DBGMCU_CR (0xE0042004), returning a value from SVD: 0x0. 16:28:49.6788 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:DBGMCU_CR (0xE0042004) generated from SVD. 16:28:49.6915 [WARNING] usart3: Unhandled read from offset 0x14. 16:28:49.6916 [WARNING] usart3: Unhandled write to offset 0x14, value 0x0. 16:28:49.6928 [WARNING] usart1: Unhandled read from offset 0x14. 16:28:49.6928 [WARNING] usart1: Unhandled write to offset 0x14, value 0x0. 16:28:49.6956 [WARNING] usart6: Unhandled read from offset 0x14. 16:28:49.6957 [WARNING] usart6: Unhandled write to offset 0x14, value 0x0. 16:28:49.7139 [INFO] usart1: [host: 0.59s (+0.59s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:28:49.7328 [INFO] olimex_stm32_e407: Machine paused. 16:28:49.7401 [INFO] olimex_stm32_e407: Machine resumed. 16:28:49.7406 [INFO] usart1: [host: 0.61s (+26.69ms)|virt: 0.13ms (+34µs)] 16:28:49.7502 [INFO] usart1: [host: 0.62s (+9.45ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 16:28:49.7544 [INFO] usart1: [host: 0.63s (+4.4ms)|virt: 0.13ms (+0s)] ---------------- 16:28:49.7604 [INFO] usart1: [host: 0.63s (+5.9ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 16:28:49.7665 [INFO] usart1: [host: 0.64s (+6.17ms)|virt: 0.2ms (+66µs)] problem (a classic multi-thread synchronization problem). 16:28:49.7782 [INFO] usart1: [host: 0.65s (+11.68ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:28:49.7849 [INFO] usart1: [host: 0.66s (+6.78ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:28:49.7906 [INFO] usart1: [host: 0.66s (+5.62ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 16:28:49.8074 [INFO] usart1: [host: 0.68s (+16.78ms)|virt: 0.32ms (+17µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:28:49.8180 [INFO] usart1: [host: 0.69s (+10.5ms)|virt: 0.32ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:28:49.8240 [INFO] usart1: [host: 0.7s (+6.18ms)|virt: 0.4ms (+83µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:28:49.8351 [INFO] usart1: [host: 0.71s (+11.12ms)|virt: 0.45ms (+52µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:28:49.8494 [INFO] usart1: [host: 0.72s (+14.19ms)|virt: 0.5ms (+48µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:28:49.8731 [INFO] usart1: [host: 0.75s (+23.78ms)|virt: 0.54ms (+40µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:28:49.8908 [INFO] usart1: [host: 0.76s (+17.69ms)|virt: 0.6ms (+60µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:28:49.9114 [INFO] usart1: [host: 0.78s (+20.54ms)|virt: 0.62ms (+25µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:28:49.9297 [INFO] usart1: [host: 0.8s (+18.38ms)|virt: 0.7ms (+75µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:28:49.9473 [INFO] usart1: [host: 0.82s (+17.53ms)|virt: 0.71ms (+9µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:28:49.9649 [INFO] usart1: [host: 0.84s (+17.64ms)|virt: 0.71ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:28:49.9882 [INFO] usart1: [host: 0.86s (+23.26ms)|virt: 0.8ms (+91µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:28:50.0294 [INFO] usart1: [host: 0.9s (+41.19ms)|virt: 40.1ms (+39.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:28:50.0413 [INFO] usart1: [host: 0.91s (+11.97ms)|virt: 40.1ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:28:50.0545 [INFO] usart1: [host: 0.93s (+13.16ms)|virt: 40.2ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:28:50.0708 [INFO] usart1: [host: 0.94s (+16.27ms)|virt: 40.24ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:28:50.1057 [INFO] usart1: [host: 0.98s (+34.89ms)|virt: 80.11ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:28:50.1169 [INFO] usart1: [host: 0.99s (+11.25ms)|virt: 80.11ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:28:50.1177 [INFO] olimex_stm32_e407: Machine paused. 16:28:50.1224 [INFO] olimex_stm32_e407: Machine resumed. 16:28:50.1227 [INFO] usart1: [host: 1s (+5.77ms)|virt: 80.19ms (+87µs)] 16:28:50.1328 [INFO] usart1: [host: 1.01s (+10.14ms)|virt: 80.2ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:28:50.1522 [INFO] usart1: [host: 1.02s (+19.34ms)|virt: 80.24ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:28:50.1627 [INFO] usart1: [host: 1.04s (+10.54ms)|virt: 80.3ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:28:50.1756 [INFO] usart1: [host: 1.05s (+12.96ms)|virt: 80.33ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:28:50.1875 [INFO] usart1: [host: 1.06s (+11.82ms)|virt: 80.4ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:28:50.2016 [INFO] usart1: [host: 1.07s (+14.17ms)|virt: 80.42ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:28:50.2155 [INFO] usart1: [host: 1.09s (+13.9ms)|virt: 80.5ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:28:50.2395 [INFO] usart1: [host: 1.11s (+23.91ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:28:50.2498 [INFO] usart1: [host: 1.12s (+9.29ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:28:50.2592 [INFO] usart1: [host: 1.13s (+10.42ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:28:50.2765 [INFO] usart1: [host: 1.15s (+17.29ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:28:50.2944 [INFO] usart1: [host: 1.17s (+17.93ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:28:50.3097 [INFO] usart1: [host: 1.18s (+15.3ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:28:50.3312 [INFO] usart1: [host: 1.2s (+21.47ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:28:50.3447 [INFO] usart1: [host: 1.22s (+13.51ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:28:50.3635 [INFO] usart1: [host: 1.24s (+18.88ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:28:50.4221 [INFO] usart1: [host: 1.29s (+58.57ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:28:50.4445 [INFO] usart1: [host: 1.32s (+22.41ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:28:50.4672 [INFO] usart1: [host: 1.34s (+22.64ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:28:50.4985 [INFO] usart1: [host: 1.37s (+31.3ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:28:50.5139 [INFO] usart1: [host: 1.39s (+15.41ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:28:50.5457 [INFO] usart1: [host: 1.42s (+31.85ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:28:50.5597 [INFO] usart1: [host: 1.43s (+13.99ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:28:50.5740 [INFO] usart1: [host: 1.45s (+14.29ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:28:50.6048 [INFO] usart1: [host: 1.48s (+30.74ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:28:50.6175 [INFO] usart1: [host: 1.49s (+12.71ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:28:50.6329 [INFO] usart1: [host: 1.51s (+15.43ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:28:50.6696 [INFO] usart1: [host: 1.54s (+36.66ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:28:50.6850 [INFO] usart1: [host: 1.56s (+15.47ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:28:50.6852 [INFO] olimex_stm32_e407: Machine paused. 16:28:50.6887 [INFO] olimex_stm32_e407: Machine resumed. 16:28:50.6889 [INFO] usart1: [host: 1.56s (+3.95ms)|virt: 0.3s (+42µs)] 16:28:50.7001 [INFO] usart1: [host: 1.57s (+11.18ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:28:50.7201 [INFO] usart1: [host: 1.59s (+19.96ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:28:50.7302 [INFO] usart1: [host: 1.6s (+10.06ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:28:50.7670 [INFO] usart1: [host: 1.64s (+36.88ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:28:50.7896 [INFO] usart1: [host: 1.66s (+22.48ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:28:50.8001 [INFO] usart1: [host: 1.67s (+10.52ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:28:50.8126 [INFO] usart1: [host: 1.68s (+11.38ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:28:50.8705 [INFO] usart1: [host: 1.74s (+59.07ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:28:50.8849 [INFO] usart1: [host: 1.76s (+14.43ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:28:50.9195 [INFO] usart1: [host: 1.79s (+34.56ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:28:50.9319 [INFO] usart1: [host: 1.8s (+12.35ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:28:50.9477 [INFO] usart1: [host: 1.82s (+15.9ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:28:50.9479 [INFO] olimex_stm32_e407: Machine paused. 16:28:51.0381 [INFO] olimex_stm32_e407: Disposed.