19:27:42.8820 [INFO] System bus created. 19:27:44.0944 [INFO] sysbus: Loaded SVD: /tmp/renode-7014/630cb2f2-c01b-4596-8ce2-ce622849ee1c.tmp. Name: STM32F40x. Description: STM32F40x. 19:27:44.1623 [INFO] sysbus: Loading segment of 22456 bytes length at 0x8000000. 19:27:44.1818 [INFO] sysbus: Loading segment of 128 bytes length at 0x80057B8. 19:27:44.1820 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005838. 19:27:44.1821 [INFO] sysbus: Loading segment of 17792 bytes length at 0x20000080. 19:27:44.5280 [INFO] cpu0: Setting initial values: PC = 0x8000A5D, SP = 0x200045C0. 19:27:44.5289 [INFO] stm32f411e_disco: Machine started. 19:27:44.5823 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 19:27:44.5852 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 19:27:44.5904 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 19:27:44.5909 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 19:27:44.5909 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 19:27:44.5909 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 19:27:44.5918 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 19:27:44.5918 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 19:27:44.5918 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 19:27:44.5918 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 19:27:44.5918 [WARNING] sysbus: Write of value 0x0 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 19:27:44.5919 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 19:27:44.5927 [WARNING] sysbus: Read from an unimplemented register DBG:DBGMCU_CR (0xE0042004), returning a value from SVD: 0x0. 19:27:44.5927 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:DBGMCU_CR (0xE0042004) generated from SVD. 19:27:44.6036 [WARNING] usart2: Unhandled read from offset 0x14. 19:27:44.6036 [WARNING] usart2: Unhandled write to offset 0x14, value 0x0. 19:27:44.6203 [INFO] usart2: [host: 0.52s (+0.52s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 19:27:44.6252 [INFO] usart2: [host: 0.52s (+4.76ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 19:27:44.6270 [INFO] usart2: [host: 0.53s (+1.94ms)|virt: 0.1ms (+0s)] ---------------- 19:27:44.6352 [INFO] usart2: [host: 0.53s (+8.26ms)|virt: 0.1ms (+0s)] An implementation of a solution to the Dining Philosophers 19:27:44.6388 [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. 19:27:44.6406 [INFO] stm32f411e_disco: Machine paused. 19:27:44.6462 [INFO] stm32f411e_disco: Machine resumed. 19:27:44.6508 [INFO] usart2: [host: 0.55s (+15.6ms)|virt: 0.2ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 19:27:44.6577 [INFO] usart2: [host: 0.56s (+6.89ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 19:27:44.6630 [INFO] usart2: [host: 0.56s (+5.3ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 19:27:44.6767 [INFO] usart2: [host: 0.58s (+13.65ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 19:27:44.6925 [INFO] usart2: [host: 0.59s (+15.8ms)|virt: 0.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 19:27:44.6997 [INFO] usart2: [host: 0.6s (+7.19ms)|virt: 0.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:27:44.7063 [INFO] usart2: [host: 0.6s (+6.65ms)|virt: 0.4ms (+96µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 19:27:44.7168 [INFO] usart2: [host: 0.62s (+10.45ms)|virt: 0.44ms (+38µs)] [6;1HPhilosopher 5 [C:-2] STARVING 19:27:44.7261 [INFO] usart2: [host: 0.62s (+9.29ms)|virt: 0.5ms (+62µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 19:27:44.7387 [INFO] usart2: [host: 0.64s (+12.6ms)|virt: 0.53ms (+27µs)] [4;1HPhilosopher 3 [P: 0] STARVING 19:27:44.7515 [INFO] usart2: [host: 0.65s (+12.87ms)|virt: 0.6ms (+73µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:27:44.7657 [INFO] usart2: [host: 0.66s (+14.14ms)|virt: 0.61ms (+11µs)] [3;1HPhilosopher 2 [P: 1] STARVING 19:27:44.7779 [INFO] usart2: [host: 0.68s (+12.25ms)|virt: 0.61ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 19:27:44.7929 [INFO] usart2: [host: 0.69s (+14.92ms)|virt: 0.7ms (+89µs)] [2;1HPhilosopher 1 [P: 2] STARVING 19:27:44.8046 [INFO] usart2: [host: 0.7s (+11.76ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 19:27:44.8178 [INFO] usart2: [host: 0.72s (+13.14ms)|virt: 0.8ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 19:27:44.8465 [INFO] usart2: [host: 0.75s (+28.79ms)|virt: 9.2ms (+8.4ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:27:44.8584 [INFO] usart2: [host: 0.76s (+10.1ms)|virt: 9.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 19:27:44.8645 [INFO] usart2: [host: 0.76s (+7.88ms)|virt: 9.3ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 19:27:44.8785 [INFO] usart2: [host: 0.78s (+14ms)|virt: 9.31ms (+11µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 19:27:44.8968 [INFO] usart2: [host: 0.8s (+18.25ms)|virt: 18.34ms (+9.03ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 19:27:44.9092 [INFO] usart2: [host: 0.81s (+12.42ms)|virt: 18.4ms (+58µs)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 19:27:44.9186 [INFO] stm32f411e_disco: Machine paused. 19:27:44.9217 [INFO] stm32f411e_disco: Machine resumed. 19:27:44.9219 [INFO] usart2: [host: 0.82s (+12.74ms)|virt: 18.43ms (+29µs)] 19:27:44.9311 [INFO] usart2: [host: 0.83s (+9.14ms)|virt: 18.43ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 19:27:44.9409 [INFO] usart2: [host: 0.84s (+9.78ms)|virt: 18.5ms (+68µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:27:44.9482 [INFO] usart2: [host: 0.85s (+7.3ms)|virt: 18.5ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 19:27:44.9559 [INFO] usart2: [host: 0.85s (+7.7ms)|virt: 18.6ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 19:27:44.9633 [INFO] usart2: [host: 0.86s (+7.48ms)|virt: 18.6ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 19:27:44.9729 [INFO] usart2: [host: 0.87s (+9.52ms)|virt: 18.7ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 19:27:44.9817 [INFO] usart2: [host: 0.88s (+8.81ms)|virt: 18.71ms (+10µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 19:27:44.9943 [INFO] usart2: [host: 0.89s (+12.68ms)|virt: 27.51ms (+8.8ms)] [6;1HPhilosopher 5 [C:-2] STARVING 19:27:45.0037 [INFO] usart2: [host: 0.9s (+9.37ms)|virt: 27.56ms (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:27:45.0125 [INFO] usart2: [host: 0.91s (+8.84ms)|virt: 27.6ms (+45µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 19:27:45.0226 [INFO] usart2: [host: 0.92s (+10.06ms)|virt: 27.65ms (+47µs)] [4;1HPhilosopher 3 [P: 0] STARVING 19:27:45.0382 [INFO] usart2: [host: 0.94s (+15.53ms)|virt: 27.7ms (+53µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:27:45.0489 [INFO] usart2: [host: 0.95s (+10.81ms)|virt: 27.7ms (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 19:27:45.0623 [INFO] usart2: [host: 0.96s (+13.4ms)|virt: 27.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 19:27:45.0747 [INFO] usart2: [host: 0.97s (+12.4ms)|virt: 27.8ms (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 19:27:45.0875 [INFO] usart2: [host: 0.99s (+12.72ms)|virt: 27.9ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 19:27:45.1077 [INFO] usart2: [host: 1.01s (+20.26ms)|virt: 48.14ms (+20.24ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 19:27:45.1178 [INFO] usart2: [host: 1.02s (+10.06ms)|virt: 48.2ms (+64µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 19:27:45.1329 [INFO] usart2: [host: 1.03s (+15.11ms)|virt: 48.23ms (+29µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 19:27:45.1493 [INFO] usart2: [host: 1.05s (+16.38ms)|virt: 52.72ms (+4.49ms)] [3;1HPhilosopher 2 [P: 1] STARVING 19:27:45.1620 [INFO] usart2: [host: 1.06s (+12.71ms)|virt: 52.8ms (+80µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 19:27:45.1822 [INFO] usart2: [host: 1.08s (+20.21ms)|virt: 59.6ms (+6.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 19:27:45.1963 [INFO] usart2: [host: 1.09s (+14.07ms)|virt: 59.6ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 19:27:45.2085 [INFO] usart2: [host: 1.11s (+12.25ms)|virt: 59.7ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 19:27:45.2223 [INFO] usart2: [host: 1.12s (+13.72ms)|virt: 64.2ms (+4.5ms)] [5;1HPhilosopher 4 [C:-1] STARVING 19:27:45.2347 [INFO] usart2: [host: 1.13s (+12.41ms)|virt: 64.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:27:45.2474 [INFO] usart2: [host: 1.15s (+12.76ms)|virt: 64.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 19:27:45.2657 [INFO] usart2: [host: 1.16s (+18.28ms)|virt: 68.8ms (+4.5ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 19:27:45.2792 [INFO] usart2: [host: 1.18s (+13.52ms)|virt: 68.81ms (+7µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 19:27:45.2794 [INFO] stm32f411e_disco: Machine paused. 19:27:45.2825 [INFO] stm32f411e_disco: Machine resumed. 19:27:45.2826 [INFO] usart2: [host: 1.18s (+3.38ms)|virt: 68.85ms (+42µs)] 19:27:45.2932 [INFO] usart2: [host: 1.19s (+10.59ms)|virt: 68.85ms (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 19:27:45.3132 [INFO] usart2: [host: 1.21s (+19.96ms)|virt: 80.22ms (+11.37ms)] [2;1HPhilosopher 1 [P: 2] STARVING 19:27:45.3221 [INFO] usart2: [host: 1.22s (+8.96ms)|virt: 80.3ms (+76µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 19:27:45.3417 [INFO] usart2: [host: 1.24s (+19.56ms)|virt: 94ms (+13.7ms)] [1;1HPhilosopher 0 [P: 3] STARVING 19:27:45.3577 [INFO] usart2: [host: 1.26s (+15.99ms)|virt: 0.1s (+9.14ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 19:27:45.3663 [INFO] usart2: [host: 1.26s (+8.62ms)|virt: 0.1s (+57µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 19:27:45.3763 [INFO] usart2: [host: 1.27s (+9.98ms)|virt: 0.1s (+36µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 19:27:45.3962 [INFO] usart2: [host: 1.29s (+19.88ms)|virt: 0.11s (+11.37ms)] [4;1HPhilosopher 3 [P: 0] STARVING 19:27:45.4065 [INFO] usart2: [host: 1.31s (+10.34ms)|virt: 0.11s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:27:45.4297 [INFO] usart2: [host: 1.33s (+23.19ms)|virt: 0.13s (+16.04ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:27:45.4417 [INFO] usart2: [host: 1.34s (+12.04ms)|virt: 0.13s (+53µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 19:27:45.4551 [INFO] usart2: [host: 1.35s (+13.36ms)|virt: 0.13s (+40µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 19:27:45.4561 [INFO] stm32f411e_disco: Machine paused. 19:27:45.5090 [INFO] stm32f411e_disco: Disposed.