16:41:40.4980 [INFO] System bus created. 16:41:42.2371 [INFO] sysbus: Loaded SVD: /tmp/renode-9130/7543371f-107e-4978-9a66-aaa94772eed7.tmp. Name: STM32F103. Description: STM32F103. 16:41:42.3133 [INFO] sysbus: Loading segment of 19952 bytes length at 0x8000000. 16:41:42.3314 [INFO] sysbus: Loading segment of 132 bytes length at 0x8004DF0. 16:41:42.3315 [INFO] sysbus: Loading segment of 4 bytes length at 0x8004E74. 16:41:42.3315 [INFO] sysbus: Loading segment of 16968 bytes length at 0x20000088. 16:41:42.7272 [INFO] cpu0: Setting initial values: PC = 0x8000941, SP = 0x200042D0. 16:41:42.7281 [INFO] nucleo_f103rb: Machine started. 16:41:42.7885 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:41:42.7921 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:41:42.8657 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x30. 16:41:42.8664 [WARNING] sysbus: Write of value 0x32 to an unimplemented register FLASH:ACR (0x40022000) generated from SVD. 16:41:42.8664 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x30. 16:41:42.8664 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40022000), returning a value from SVD: 0x30. 16:41:42.8973 [WARNING] sysbus: Read from an unimplemented register DBG:CR (0xE0042004), returning a value from SVD: 0x0. 16:41:42.8973 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:CR (0xE0042004) generated from SVD. 16:41:42.9001 [WARNING] sysbus: Read from an unimplemented register AFIO:MAPR (0x40010004), returning a value from SVD: 0x0. 16:41:42.9001 [WARNING] sysbus: Write of value 0x7000000 to an unimplemented register AFIO:MAPR (0x40010004) generated from SVD. 16:41:42.9094 [WARNING] gpioa: Unhandled write to offset 0x0. Unhandled bits: [10-11] when writing value 0x44444944. Tags: CNF2 (0x3). 16:41:42.9095 [WARNING] gpioa: Unhandled write to offset 0x0. Unhandled bits: [10] when writing value 0x44444144. Tags: CNF2 (0x1). 16:41:42.9115 [WARNING] usart2: Unhandled read from offset 0x14. 16:41:42.9116 [WARNING] usart2: Unhandled write to offset 0x14, value 0x0. 16:41:42.9124 [WARNING] sysbus: Read from an unimplemented register AFIO:MAPR (0x40010004), returning a value from SVD: 0x0. 16:41:42.9124 [WARNING] sysbus: Write of value 0x7000000 to an unimplemented register AFIO:MAPR (0x40010004) generated from SVD. 16:41:42.9126 [WARNING] gpioa: Unhandled write to offset 0x4. Unhandled bits: [6-7] when writing value 0x44444494. Tags: CNF9 (0x3). 16:41:42.9126 [WARNING] gpioa: Unhandled write to offset 0x4. Unhandled bits: [6] when writing value 0x44444414. Tags: CNF9 (0x1). 16:41:42.9137 [WARNING] usart1: Unhandled read from offset 0x14. 16:41:42.9138 [WARNING] usart1: Unhandled write to offset 0x14, value 0x0. 16:41:42.9373 [INFO] usart2: [host: 0.69s (+0.69s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:41:42.9558 [INFO] nucleo_f103rb: Machine paused. 16:41:42.9624 [INFO] nucleo_f103rb: Machine resumed. 16:41:42.9629 [INFO] usart2: [host: 0.72s (+25.59ms)|virt: 0.11ms (+11µs)] 16:41:42.9678 [INFO] usart2: [host: 0.72s (+4.74ms)|virt: 0.11ms (+0s)] [2J[15;1HDemo Description 16:41:42.9698 [INFO] usart2: [host: 0.72s (+2.16ms)|virt: 0.11ms (+0s)] ---------------- 16:41:42.9776 [INFO] usart2: [host: 0.73s (+7.84ms)|virt: 0.11ms (+0s)] An implementation of a solution to the Dining Philosophers 16:41:42.9855 [INFO] usart2: [host: 0.74s (+7.83ms)|virt: 0.11ms (+0s)] problem (a classic multi-thread synchronization problem). 16:41:42.9927 [INFO] usart2: [host: 0.75s (+7.28ms)|virt: 0.2ms (+89µs)] This particular implementation demonstrates the usage of multiple 16:41:43.0017 [INFO] usart2: [host: 0.76s (+8.96ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:41:43.0076 [INFO] usart2: [host: 0.76s (+5.88ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:41:43.0261 [INFO] usart2: [host: 0.78s (+18.55ms)|virt: 0.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:43.0334 [INFO] usart2: [host: 0.79s (+7.24ms)|virt: 0.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:43.0416 [INFO] usart2: [host: 0.8s (+8.27ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:43.0549 [INFO] usart2: [host: 0.81s (+13.27ms)|virt: 0.42ms (+25µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:43.0667 [INFO] usart2: [host: 0.82s (+11.76ms)|virt: 0.5ms (+75µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:43.0867 [INFO] usart2: [host: 0.84s (+20.03ms)|virt: 0.51ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:43.1030 [INFO] usart2: [host: 0.86s (+16.29ms)|virt: 0.51ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:43.1210 [INFO] usart2: [host: 0.88s (+17.93ms)|virt: 0.6ms (+89µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:43.1372 [INFO] usart2: [host: 0.89s (+16.24ms)|virt: 0.6ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:43.1508 [INFO] usart2: [host: 0.91s (+13.66ms)|virt: 0.7ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:43.1649 [INFO] usart2: [host: 0.92s (+14.09ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:43.1791 [INFO] usart2: [host: 0.93s (+14.14ms)|virt: 0.8ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:43.2298 [INFO] usart2: [host: 0.98s (+50.72ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:43.2403 [INFO] usart2: [host: 1s (+10.47ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:41:43.2531 [INFO] usart2: [host: 1.01s (+12.87ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:41:43.2651 [INFO] usart2: [host: 1.02s (+11.97ms)|virt: 40.14ms (+40µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:41:43.3191 [INFO] usart2: [host: 1.07s (+53.96ms)|virt: 80.01ms (+39.87ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:41:43.3329 [INFO] usart2: [host: 1.09s (+13.85ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:41:43.3337 [INFO] nucleo_f103rb: Machine paused. 16:41:43.3371 [INFO] nucleo_f103rb: Machine resumed. 16:41:43.3373 [INFO] usart2: [host: 1.09s (+4.39ms)|virt: 80.09ms (+86µs)] 16:41:43.3485 [INFO] usart2: [host: 1.1s (+11.21ms)|virt: 80.1ms (+8µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:43.3598 [INFO] usart2: [host: 1.12s (+11.36ms)|virt: 80.14ms (+41µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:43.3695 [INFO] usart2: [host: 1.12s (+9.68ms)|virt: 80.2ms (+59µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:43.3796 [INFO] usart2: [host: 1.13s (+10.09ms)|virt: 80.23ms (+29µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:43.3894 [INFO] usart2: [host: 1.14s (+9.76ms)|virt: 80.3ms (+71µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:41:43.3997 [INFO] usart2: [host: 1.15s (+10.29ms)|virt: 80.32ms (+18µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:41:43.4114 [INFO] usart2: [host: 1.17s (+11.76ms)|virt: 80.4ms (+82µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:41:43.4377 [INFO] usart2: [host: 1.19s (+25.12ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:43.4515 [INFO] usart2: [host: 1.21s (+14.94ms)|virt: 0.12s (+42µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:43.4656 [INFO] usart2: [host: 1.22s (+14.05ms)|virt: 0.12s (+50µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:41:43.4788 [INFO] usart2: [host: 1.23s (+13.22ms)|virt: 0.12s (+40µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:43.4945 [INFO] usart2: [host: 1.25s (+15.71ms)|virt: 0.12s (+60µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:43.5077 [INFO] usart2: [host: 1.26s (+13.22ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:41:43.5216 [INFO] usart2: [host: 1.28s (+13.87ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:43.5352 [INFO] usart2: [host: 1.29s (+13.59ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:41:43.5495 [INFO] usart2: [host: 1.3s (+14.35ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:41:43.6419 [INFO] usart2: [host: 1.4s (+92.34ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:41:43.6651 [INFO] usart2: [host: 1.42s (+23.24ms)|virt: 0.21s (+43µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:41:43.6885 [INFO] usart2: [host: 1.44s (+23.41ms)|virt: 0.21s (+53µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:41:43.7266 [INFO] usart2: [host: 1.48s (+38.11ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:43.7414 [INFO] usart2: [host: 1.5s (+14.81ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:43.7956 [INFO] usart2: [host: 1.55s (+54.21ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:43.8206 [INFO] usart2: [host: 1.58s (+24.94ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:41:43.8425 [INFO] usart2: [host: 1.6s (+21.89ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:41:43.8804 [INFO] usart2: [host: 1.64s (+37.92ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:43.9019 [INFO] usart2: [host: 1.66s (+21.54ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:43.9239 [INFO] usart2: [host: 1.68s (+21.92ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:41:43.9674 [INFO] usart2: [host: 1.72s (+43.52ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:41:43.9915 [INFO] usart2: [host: 1.75s (+24.16ms)|virt: 0.3s (+43µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:43.9918 [INFO] nucleo_f103rb: Machine paused. 16:41:43.9972 [INFO] nucleo_f103rb: Machine resumed. 16:41:43.9975 [INFO] usart2: [host: 1.75s (+5.96ms)|virt: 0.3s (+40µs)] 16:41:44.0122 [INFO] usart2: [host: 1.77s (+14.78ms)|virt: 0.3s (+14µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:41:44.0497 [INFO] usart2: [host: 1.8s (+37.47ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:44.0632 [INFO] usart2: [host: 1.82s (+13.47ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:44.1202 [INFO] usart2: [host: 1.88s (+57.04ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:44.1831 [INFO] usart2: [host: 1.94s (+62.84ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:44.1989 [INFO] usart2: [host: 1.95s (+15.75ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:41:44.2219 [INFO] usart2: [host: 1.98s (+23.04ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:41:44.2732 [INFO] usart2: [host: 2.03s (+51.36ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:44.2903 [INFO] usart2: [host: 2.05s (+17.11ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:44.3698 [INFO] usart2: [host: 2.13s (+79.47ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:44.3862 [INFO] usart2: [host: 2.14s (+16.38ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:41:44.4030 [INFO] usart2: [host: 2.16s (+16.78ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:41:44.4031 [INFO] nucleo_f103rb: Machine paused. 16:41:44.5074 [INFO] nucleo_f103rb: Disposed.