16:55:59.6361 [INFO] System bus created. 16:56:00.9365 [INFO] sysbus: Loaded SVD: /tmp/renode-11689/65e3cef8-6498-4f14-9b51-b6eabf56e37f.tmp. Name: STM32F103. Description: STM32F103. 16:56:01.0076 [INFO] sysbus: Loading segment of 19964 bytes length at 0x8000000. 16:56:01.0275 [INFO] sysbus: Loading segment of 146 bytes length at 0x8004DFC. 16:56:01.0277 [INFO] sysbus: Loading segment of 4 bytes length at 0x8004E8E. 16:56:01.0278 [INFO] sysbus: Loading segment of 16960 bytes length at 0x20000098. 16:56:01.4013 [INFO] cpu0: Setting initial values: PC = 0x8000961, SP = 0x200042D8. 16:56:01.4019 [INFO] stm32vl_disco: Machine started. 16:56:01.4674 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:56:01.4691 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:56:01.5494 [WARNING] sysbus: Read from an unimplemented register DBG:CR (0xE0042004), returning a value from SVD: 0x0. 16:56:01.5497 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:CR (0xE0042004) generated from SVD. 16:56:01.5558 [WARNING] sysbus: Read from an unimplemented register AFIO:MAPR (0x40010004), returning a value from SVD: 0x0. 16:56:01.5558 [WARNING] sysbus: Write of value 0x7000000 to an unimplemented register AFIO:MAPR (0x40010004) generated from SVD. 16:56:01.5656 [WARNING] gpioa: Unhandled write to offset 0x0. Unhandled bits: [10-11] when writing value 0x44444944. Tags: CNF2 (0x3). 16:56:01.5657 [WARNING] gpioa: Unhandled write to offset 0x0. Unhandled bits: [10] when writing value 0x44444144. Tags: CNF2 (0x1). 16:56:01.5669 [WARNING] usart2: Unhandled read from offset 0x14. 16:56:01.5669 [WARNING] usart2: Unhandled write to offset 0x14, value 0x0. 16:56:01.5673 [WARNING] sysbus: Read from an unimplemented register AFIO:MAPR (0x40010004), returning a value from SVD: 0x0. 16:56:01.5673 [WARNING] sysbus: Write of value 0x7000000 to an unimplemented register AFIO:MAPR (0x40010004) generated from SVD. 16:56:01.5675 [WARNING] gpiob: Unhandled write to offset 0x4. Unhandled bits: [10-11] when writing value 0x44444944. Tags: CNF10 (0x3). 16:56:01.5675 [WARNING] gpiob: Unhandled write to offset 0x4. Unhandled bits: [10] when writing value 0x44444144. Tags: CNF10 (0x1). 16:56:01.5689 [WARNING] usart3: Unhandled read from offset 0x14. 16:56:01.5690 [WARNING] usart3: Unhandled write to offset 0x14, value 0x0. 16:56:01.5690 [WARNING] sysbus: Read from an unimplemented register AFIO:MAPR (0x40010004), returning a value from SVD: 0x0. 16:56:01.5691 [WARNING] sysbus: Write of value 0x7000000 to an unimplemented register AFIO:MAPR (0x40010004) generated from SVD. 16:56:01.5691 [WARNING] gpioa: Unhandled write to offset 0x4. Unhandled bits: [6-7] when writing value 0x44444494. Tags: CNF9 (0x3). 16:56:01.5691 [WARNING] gpioa: Unhandled write to offset 0x4. Unhandled bits: [6] when writing value 0x44444414. Tags: CNF9 (0x1). 16:56:01.5714 [WARNING] usart1: Unhandled read from offset 0x14. 16:56:01.5714 [WARNING] usart1: Unhandled write to offset 0x14, value 0x0. 16:56:01.5951 [INFO] usart1: [host: 0.65s (+0.65s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:56:01.6090 [INFO] stm32vl_disco: Machine paused. 16:56:01.6141 [INFO] stm32vl_disco: Machine resumed. 16:56:01.6156 [INFO] usart1: [host: 0.67s (+20.56ms)|virt: 0.12ms (+17µs)] 16:56:01.6204 [INFO] usart1: [host: 0.68s (+4.65ms)|virt: 0.12ms (+0s)] [2J[15;1HDemo Description 16:56:01.6217 [INFO] usart1: [host: 0.68s (+1.54ms)|virt: 0.12ms (+0s)] ---------------- 16:56:01.6279 [INFO] usart1: [host: 0.68s (+5.26ms)|virt: 0.12ms (+0s)] An implementation of a solution to the Dining Philosophers 16:56:01.6331 [INFO] usart1: [host: 0.69s (+6.05ms)|virt: 0.12ms (+0s)] problem (a classic multi-thread synchronization problem). 16:56:01.6352 [INFO] usart1: [host: 0.69s (+2.15ms)|virt: 0.2ms (+83µs)] This particular implementation demonstrates the usage of multiple 16:56:01.6381 [INFO] usart1: [host: 0.69s (+2.85ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:56:01.6396 [INFO] usart1: [host: 0.69s (+1.58ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:56:01.6506 [INFO] usart1: [host: 0.71s (+10.97ms)|virt: 0.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:56:01.6545 [INFO] usart1: [host: 0.71s (+3.89ms)|virt: 0.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:56:01.6581 [INFO] usart1: [host: 0.71s (+3.55ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:56:01.6623 [INFO] usart1: [host: 0.72s (+4.23ms)|virt: 0.43ms (+31µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:56:01.6661 [INFO] usart1: [host: 0.72s (+3.84ms)|virt: 0.5ms (+69µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:56:01.6719 [INFO] usart1: [host: 0.73s (+5.74ms)|virt: 0.52ms (+17µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:56:01.6759 [INFO] usart1: [host: 0.73s (+4.01ms)|virt: 0.52ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:56:01.6813 [INFO] usart1: [host: 0.74s (+5.44ms)|virt: 0.6ms (+84µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:56:01.6863 [INFO] usart1: [host: 0.74s (+5.04ms)|virt: 0.6ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:56:01.6922 [INFO] usart1: [host: 0.75s (+4.86ms)|virt: 0.7ms (+99µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:56:01.6966 [INFO] usart1: [host: 0.75s (+5.34ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:56:01.7023 [INFO] usart1: [host: 0.76s (+5.71ms)|virt: 0.8ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:56:01.7255 [INFO] usart1: [host: 0.78s (+23.23ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:56:01.7376 [INFO] usart1: [host: 0.79s (+12.12ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:56:01.7437 [INFO] usart1: [host: 0.8s (+6.12ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:56:01.7497 [INFO] usart1: [host: 0.81s (+6.02ms)|virt: 40.14ms (+40µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:56:01.7646 [INFO] usart1: [host: 0.82s (+14.8ms)|virt: 80.01ms (+39.87ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:56:01.7710 [INFO] usart1: [host: 0.83s (+6.44ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:56:01.7743 [INFO] stm32vl_disco: Machine paused. 16:56:01.7767 [INFO] stm32vl_disco: Machine resumed. 16:56:01.7768 [INFO] usart1: [host: 0.83s (+5.84ms)|virt: 80.09ms (+86µs)] 16:56:01.7821 [INFO] usart1: [host: 0.84s (+5.21ms)|virt: 80.1ms (+8µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:56:01.7871 [INFO] usart1: [host: 0.84s (+5.02ms)|virt: 80.14ms (+41µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:56:01.7918 [INFO] usart1: [host: 0.85s (+4.73ms)|virt: 80.2ms (+59µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:56:01.7958 [INFO] usart1: [host: 0.85s (+4.01ms)|virt: 80.23ms (+28µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:56:01.8009 [INFO] usart1: [host: 0.86s (+5.12ms)|virt: 80.3ms (+72µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:56:01.8063 [INFO] usart1: [host: 0.86s (+5.35ms)|virt: 80.32ms (+18µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:56:01.8118 [INFO] usart1: [host: 0.87s (+5.51ms)|virt: 80.4ms (+82µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:56:01.8276 [INFO] usart1: [host: 0.88s (+15.8ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:56:01.8320 [INFO] usart1: [host: 0.89s (+4.43ms)|virt: 0.12s (+42µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:56:01.8372 [INFO] usart1: [host: 0.89s (+5.21ms)|virt: 0.12s (+50µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:56:01.8417 [INFO] usart1: [host: 0.9s (+4.43ms)|virt: 0.12s (+40µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:56:01.8485 [INFO] usart1: [host: 0.9s (+6.82ms)|virt: 0.12s (+60µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:56:01.8527 [INFO] usart1: [host: 0.91s (+4.25ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:56:01.8583 [INFO] usart1: [host: 0.91s (+5.56ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:56:01.8640 [INFO] usart1: [host: 0.92s (+5.69ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:56:01.8698 [INFO] usart1: [host: 0.93s (+5.85ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:56:01.8938 [INFO] usart1: [host: 0.95s (+23.96ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:56:01.9014 [INFO] usart1: [host: 0.96s (+7.58ms)|virt: 0.21s (+43µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:56:01.9079 [INFO] usart1: [host: 0.96s (+6.54ms)|virt: 0.21s (+53µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:56:01.9177 [INFO] usart1: [host: 0.97s (+9.74ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:56:01.9233 [INFO] usart1: [host: 0.98s (+5.68ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:56:01.9456 [INFO] usart1: [host: 1s (+22.26ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:56:01.9509 [INFO] usart1: [host: 1.01s (+5.3ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:56:01.9576 [INFO] usart1: [host: 1.01s (+6.72ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:56:01.9713 [INFO] usart1: [host: 1.03s (+13.65ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:56:01.9765 [INFO] usart1: [host: 1.03s (+5.26ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:56:01.9828 [INFO] usart1: [host: 1.04s (+6.29ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:56:01.9937 [INFO] usart1: [host: 1.05s (+10.85ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:56:02.0001 [INFO] usart1: [host: 1.06s (+6.4ms)|virt: 0.3s (+43µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:56:02.0002 [INFO] stm32vl_disco: Machine paused. 16:56:02.0040 [INFO] stm32vl_disco: Machine resumed. 16:56:02.0041 [INFO] usart1: [host: 1.06s (+4.06ms)|virt: 0.3s (+40µs)] 16:56:02.0099 [INFO] usart1: [host: 1.06s (+5.46ms)|virt: 0.3s (+14µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:56:02.0243 [INFO] usart1: [host: 1.08s (+14.72ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:56:02.0283 [INFO] usart1: [host: 1.08s (+4.04ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:56:02.0419 [INFO] usart1: [host: 1.1s (+13.48ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:56:02.0535 [INFO] usart1: [host: 1.11s (+11.61ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:56:02.0590 [INFO] usart1: [host: 1.11s (+5.56ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:56:02.0635 [INFO] usart1: [host: 1.12s (+4.54ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:56:02.0820 [INFO] usart1: [host: 1.14s (+18.42ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:56:02.0876 [INFO] usart1: [host: 1.14s (+5.59ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:56:02.1182 [INFO] usart1: [host: 1.17s (+30.58ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:56:02.1254 [INFO] usart1: [host: 1.18s (+7.29ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:56:02.1324 [INFO] usart1: [host: 1.19s (+6.95ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:56:02.1325 [INFO] stm32vl_disco: Machine paused. 16:56:02.1739 [INFO] stm32vl_disco: Disposed.