16:25:24.2634 [INFO] System bus created. 16:25:26.0543 [INFO] sysbus: Loaded SVD: /tmp/renode-5840/cfc3d687-b7f0-49b3-a341-8953b0eeb2e7.tmp. Name: STM32F103. Description: STM32F103. 16:25:26.1800 [INFO] sysbus: Loading segment of 20868 bytes length at 0x8000000. 16:25:26.2140 [INFO] sysbus: Loading segment of 122 bytes length at 0x8005184. 16:25:26.2141 [INFO] sysbus: Loading segment of 4 bytes length at 0x80051FE. 16:25:26.2141 [INFO] sysbus: Loading segment of 16968 bytes length at 0x20000080. 16:25:26.7501 [INFO] cpu0: Setting initial values: PC = 0x80009A5, SP = 0x200042C8. 16:25:26.7508 [INFO] stm3210c_eval: Machine started. 16:25:26.8212 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:25:26.8230 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:25:26.9520 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x30. 16:25:26.9528 [WARNING] sysbus: Write of value 0x32 to an unimplemented register FLASH:ACR (0x40022000) generated from SVD. 16:25:26.9528 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x30. 16:25:26.9528 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x30. 16:25:26.9973 [WARNING] sysbus: Read from an unimplemented register DBG:CR (0xE0042004), returning a value from SVD: 0x0. 16:25:26.9974 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:CR (0xE0042004) generated from SVD. 16:25:26.9984 [WARNING] sysbus: Read from an unimplemented register AFIO:MAPR (0x40010004), returning a value from SVD: 0x0. 16:25:26.9984 [WARNING] sysbus: Write of value 0x7000008 to an unimplemented register AFIO:MAPR (0x40010004) generated from SVD. 16:25:27.0209 [WARNING] gpiod: Unhandled write to offset 0x0. Unhandled bits: [22-23] when writing value 0x44944444. Tags: CNF5 (0x3). 16:25:27.0214 [WARNING] gpiod: Unhandled write to offset 0x0. Unhandled bits: [22] when writing value 0x44144444. Tags: CNF5 (0x1). 16:25:27.0268 [WARNING] usart2: Unhandled read from offset 0x14. 16:25:27.0268 [WARNING] usart2: Unhandled write to offset 0x14, value 0x0. 16:25:27.0519 [INFO] usart2: [host: 0.98s (+0.98s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:25:27.0678 [INFO] stm3210c_eval: Machine paused. 16:25:27.0750 [INFO] stm3210c_eval: Machine resumed. 16:25:27.0758 [INFO] usart2: [host: 1.01s (+23.8ms)|virt: 0.11ms (+8µs)] 16:25:27.0812 [INFO] usart2: [host: 1.01s (+5.61ms)|virt: 0.11ms (+0s)] [2J[15;1HDemo Description 16:25:27.0822 [INFO] usart2: [host: 1.01s (+1.01ms)|virt: 0.11ms (+0s)] ---------------- 16:25:27.0873 [INFO] usart2: [host: 1.02s (+5.01ms)|virt: 0.11ms (+0s)] An implementation of a solution to the Dining Philosophers 16:25:27.0935 [INFO] usart2: [host: 1.03s (+6.19ms)|virt: 0.11ms (+0s)] problem (a classic multi-thread synchronization problem). 16:25:27.0963 [INFO] usart2: [host: 1.03s (+2.88ms)|virt: 0.2ms (+92µs)] This particular implementation demonstrates the usage of multiple 16:25:27.1006 [INFO] usart2: [host: 1.03s (+4.3ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:25:27.1026 [INFO] usart2: [host: 1.03s (+2.05ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:25:27.1296 [INFO] usart2: [host: 1.06s (+26.92ms)|virt: 0.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:25:27.1362 [INFO] usart2: [host: 1.07s (+6.62ms)|virt: 0.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:25:27.1531 [INFO] usart2: [host: 1.09s (+16.82ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:25:27.1656 [INFO] usart2: [host: 1.1s (+12.61ms)|virt: 0.42ms (+22µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:25:27.1727 [INFO] usart2: [host: 1.1s (+7ms)|virt: 0.5ms (+78µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:25:27.1904 [INFO] usart2: [host: 1.12s (+17.71ms)|virt: 0.51ms (+8µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:25:27.2013 [INFO] usart2: [host: 1.13s (+10.95ms)|virt: 0.51ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:25:27.2215 [INFO] usart2: [host: 1.15s (+20.13ms)|virt: 0.6ms (+92µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:25:27.2364 [INFO] usart2: [host: 1.17s (+14.9ms)|virt: 0.6ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:25:27.2546 [INFO] usart2: [host: 1.19s (+18.26ms)|virt: 0.7ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:25:27.2729 [INFO] usart2: [host: 1.21s (+18.32ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:25:27.2899 [INFO] usart2: [host: 1.22s (+16.93ms)|virt: 0.76ms (+57µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:25:27.3224 [INFO] usart2: [host: 1.25s (+32.59ms)|virt: 40ms (+39.25ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:25:27.3291 [INFO] usart2: [host: 1.26s (+6.67ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:25:27.3376 [INFO] usart2: [host: 1.27s (+8.47ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:25:27.3460 [INFO] usart2: [host: 1.28s (+8.42ms)|virt: 40.14ms (+40µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:25:27.3633 [INFO] usart2: [host: 1.3s (+17.23ms)|virt: 80.01ms (+39.87ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:25:27.3698 [INFO] usart2: [host: 1.3s (+6.58ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:25:27.3713 [INFO] stm3210c_eval: Machine paused. 16:25:27.3759 [INFO] stm3210c_eval: Machine resumed. 16:25:27.3761 [INFO] usart2: [host: 1.31s (+6.3ms)|virt: 80.09ms (+86µs)] 16:25:27.3926 [INFO] usart2: [host: 1.32s (+16.51ms)|virt: 80.1ms (+8µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:25:27.4051 [INFO] usart2: [host: 1.34s (+12.45ms)|virt: 80.14ms (+41µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:25:27.4104 [INFO] usart2: [host: 1.34s (+5.3ms)|virt: 80.2ms (+59µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:25:27.4172 [INFO] usart2: [host: 1.35s (+6.83ms)|virt: 80.23ms (+29µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:25:27.4239 [INFO] usart2: [host: 1.36s (+6.76ms)|virt: 80.3ms (+71µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:25:27.4312 [INFO] usart2: [host: 1.36s (+7.22ms)|virt: 80.32ms (+18µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:25:27.4390 [INFO] usart2: [host: 1.37s (+7.77ms)|virt: 80.4ms (+82µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:25:27.4619 [INFO] usart2: [host: 1.39s (+22.89ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:25:27.4777 [INFO] usart2: [host: 1.41s (+15.88ms)|virt: 0.12s (+42µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:25:27.4920 [INFO] usart2: [host: 1.42s (+14.2ms)|virt: 0.12s (+50µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:25:27.5075 [INFO] usart2: [host: 1.44s (+15.54ms)|virt: 0.12s (+40µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:25:27.5254 [INFO] usart2: [host: 1.46s (+17.91ms)|virt: 0.12s (+60µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:25:27.5389 [INFO] usart2: [host: 1.47s (+13.4ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:25:27.5561 [INFO] usart2: [host: 1.49s (+17.28ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:25:27.5733 [INFO] usart2: [host: 1.51s (+17.17ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:25:27.5893 [INFO] usart2: [host: 1.52s (+16ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:25:27.6438 [INFO] usart2: [host: 1.58s (+54.55ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:25:27.6602 [INFO] usart2: [host: 1.59s (+16.41ms)|virt: 0.21s (+43µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:25:27.6769 [INFO] usart2: [host: 1.61s (+16.66ms)|virt: 0.21s (+53µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:25:27.6977 [INFO] usart2: [host: 1.63s (+20.82ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:25:27.7070 [INFO] usart2: [host: 1.64s (+9.32ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:25:27.7252 [INFO] usart2: [host: 1.66s (+18.17ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:25:27.7358 [INFO] usart2: [host: 1.67s (+10.68ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:25:27.7479 [INFO] usart2: [host: 1.68s (+12.09ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:25:27.7724 [INFO] usart2: [host: 1.7s (+24.43ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:25:27.7886 [INFO] usart2: [host: 1.72s (+16.22ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:25:27.8077 [INFO] usart2: [host: 1.74s (+19.05ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:25:27.8377 [INFO] usart2: [host: 1.77s (+30.02ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:25:27.8551 [INFO] usart2: [host: 1.79s (+17.39ms)|virt: 0.3s (+43µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:25:27.8553 [INFO] stm3210c_eval: Machine paused. 16:25:27.8608 [INFO] stm3210c_eval: Machine resumed. 16:25:27.8609 [INFO] usart2: [host: 1.79s (+5.9ms)|virt: 0.3s (+40µs)] 16:25:27.8710 [INFO] usart2: [host: 1.8s (+10.05ms)|virt: 0.3s (+14µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:25:27.9005 [INFO] usart2: [host: 1.83s (+29.44ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:25:27.9123 [INFO] usart2: [host: 1.84s (+11.86ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:25:27.9295 [INFO] usart2: [host: 1.86s (+17.21ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:25:27.9459 [INFO] usart2: [host: 1.88s (+16.33ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:25:27.9513 [INFO] usart2: [host: 1.88s (+5.5ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:25:27.9587 [INFO] usart2: [host: 1.89s (+7.37ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:25:27.9907 [INFO] usart2: [host: 1.92s (+31.95ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:25:28.0088 [INFO] usart2: [host: 1.94s (+18.15ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:25:28.0511 [INFO] usart2: [host: 1.98s (+42.29ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:25:28.0594 [INFO] usart2: [host: 1.99s (+8.33ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:25:28.0669 [INFO] usart2: [host: 2s (+7.44ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:25:28.0670 [INFO] stm3210c_eval: Machine paused. 16:25:28.1063 [INFO] stm3210c_eval: Disposed.