17:24:47.3772 [INFO] System bus created. 17:24:48.3167 [INFO] sysbus: Loading segment of 22768 bytes length at 0x8000000. 17:24:48.3317 [INFO] sysbus: Loading segment of 124 bytes length at 0x80058F0. 17:24:48.3318 [INFO] sysbus: Loading segment of 4 bytes length at 0x800596C. 17:24:48.3318 [INFO] sysbus: Loading segment of 17856 bytes length at 0x20000080. 17:24:48.6033 [INFO] cpu0: Setting initial values: PC = 0x8000A45, SP = 0x20004600. 17:24:48.6038 [INFO] stm32f3_seco_d23: Machine started. 17:24:48.6436 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:24:48.6449 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:24:48.6478 [WARNING] sysbus: [cpu0: 0x80006F4] ReadDoubleWord from non existing peripheral at 0xE0042004. 17:24:48.6480 [WARNING] sysbus: [cpu0: 0x80006F4] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x1. 17:24:48.7034 [WARNING] sysbus: [cpu0: 0x80019BE] ReadDoubleWord from non existing peripheral at 0x40022000. 17:24:48.7035 [WARNING] sysbus: [cpu0: 0x80019BE] WriteDoubleWord to non existing peripheral at 0x40022000, value 0x2. 17:24:48.7035 [WARNING] sysbus: [cpu0: 0x80019BE] ReadDoubleWord from non existing peripheral at 0x40022000. 17:24:48.7035 [WARNING] sysbus: [cpu0: 0x80019BE] ReadDoubleWord from non existing peripheral at 0x40022000. 17:24:48.7209 [WARNING] sysbus: [cpu0: 0x80006E0] ReadDoubleWord from non existing peripheral at 0xE0042004. 17:24:48.7210 [WARNING] sysbus: [cpu0: 0x80006E0] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x0. 17:24:48.7560 [INFO] usart1: [host: 0.69s (+0.69s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:24:48.7665 [INFO] stm32f3_seco_d23: Machine paused. 17:24:48.7710 [INFO] stm32f3_seco_d23: Machine resumed. 17:24:48.7714 [INFO] usart1: [host: 0.7s (+15.43ms)|virt: 0.13ms (+31µs)] 17:24:48.7752 [INFO] usart1: [host: 0.7s (+3.7ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 17:24:48.7762 [INFO] usart1: [host: 0.71s (+1.16ms)|virt: 0.13ms (+0s)] ---------------- 17:24:48.7804 [INFO] usart1: [host: 0.71s (+4.14ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 17:24:48.7847 [INFO] usart1: [host: 0.71s (+4.32ms)|virt: 0.2ms (+69µs)] problem (a classic multi-thread synchronization problem). 17:24:48.7895 [INFO] usart1: [host: 0.72s (+4.78ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 17:24:48.7953 [INFO] usart1: [host: 0.72s (+4.54ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 17:24:48.7954 [INFO] usart1: [host: 0.72s (+1.1ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 17:24:48.8039 [INFO] usart1: [host: 0.73s (+8.74ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:24:48.8065 [INFO] usart1: [host: 0.74s (+2.58ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:24:48.8103 [INFO] usart1: [host: 0.74s (+2.5ms)|virt: 0.4ms (+86µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:24:48.8134 [INFO] usart1: [host: 0.74s (+4.42ms)|virt: 0.45ms (+48µs)] [6;1HPhilosopher 5 [C:-2] STARVING 17:24:48.8165 [INFO] usart1: [host: 0.75s (+3.12ms)|virt: 0.5ms (+52µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:24:48.8209 [INFO] usart1: [host: 0.75s (+4.41ms)|virt: 0.54ms (+37µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:24:48.8239 [INFO] usart1: [host: 0.75s (+3ms)|virt: 0.6ms (+63µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:24:48.8279 [INFO] usart1: [host: 0.76s (+3.99ms)|virt: 0.62ms (+21µs)] [3;1HPhilosopher 2 [P: 1] STARVING 17:24:48.8317 [INFO] usart1: [host: 0.76s (+3.79ms)|virt: 0.7ms (+79µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:24:48.8358 [INFO] usart1: [host: 0.77s (+4.14ms)|virt: 0.71ms (+6µs)] [2;1HPhilosopher 1 [P: 2] STARVING 17:24:48.8391 [INFO] usart1: [host: 0.77s (+3.28ms)|virt: 0.71ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:24:48.8434 [INFO] usart1: [host: 0.77s (+4.32ms)|virt: 0.8ms (+94µs)] [1;1HPhilosopher 0 [P: 3] STARVING 17:24:48.8530 [INFO] usart1: [host: 0.78s (+9.59ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:24:48.8586 [INFO] usart1: [host: 0.79s (+4.24ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:24:48.8641 [INFO] usart1: [host: 0.79s (+6.89ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:24:48.8693 [INFO] usart1: [host: 0.8s (+5.11ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:24:48.8864 [INFO] usart1: [host: 0.82s (+17.15ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:24:48.8906 [INFO] usart1: [host: 0.82s (+4.19ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:24:48.8912 [INFO] stm32f3_seco_d23: Machine paused. 17:24:48.8946 [INFO] stm32f3_seco_d23: Machine resumed. 17:24:48.8947 [INFO] usart1: [host: 0.82s (+4.13ms)|virt: 80.09ms (+87µs)] 17:24:48.9026 [INFO] usart1: [host: 0.83s (+7.89ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:24:48.9062 [INFO] usart1: [host: 0.84s (+3.53ms)|virt: 80.14ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:24:48.9112 [INFO] usart1: [host: 0.84s (+5.09ms)|virt: 80.2ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:24:48.9157 [INFO] usart1: [host: 0.84s (+3.19ms)|virt: 80.23ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:24:48.9184 [INFO] usart1: [host: 0.85s (+3.25ms)|virt: 80.3ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:24:48.9221 [INFO] usart1: [host: 0.85s (+4.39ms)|virt: 80.32ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:24:48.9266 [INFO] usart1: [host: 0.86s (+4.15ms)|virt: 80.4ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:24:48.9341 [INFO] usart1: [host: 0.86s (+7.87ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:24:48.9384 [INFO] usart1: [host: 0.87s (+3.43ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:24:48.9415 [INFO] usart1: [host: 0.87s (+4.02ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:24:48.9451 [INFO] usart1: [host: 0.87s (+3.61ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:24:48.9500 [INFO] usart1: [host: 0.88s (+4.81ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:24:48.9540 [INFO] usart1: [host: 0.88s (+4.01ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:24:48.9585 [INFO] usart1: [host: 0.89s (+4.49ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:24:48.9629 [INFO] usart1: [host: 0.89s (+4.4ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:24:48.9682 [INFO] usart1: [host: 0.9s (+5.3ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:24:48.9822 [INFO] usart1: [host: 0.91s (+14.02ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:24:48.9866 [INFO] usart1: [host: 0.92s (+4.45ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:24:48.9912 [INFO] usart1: [host: 0.92s (+4.58ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:24:48.9977 [INFO] usart1: [host: 0.93s (+6.44ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:24:49.0021 [INFO] usart1: [host: 0.93s (+4.43ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:24:49.0157 [INFO] usart1: [host: 0.94s (+13.57ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:24:49.0205 [INFO] usart1: [host: 0.95s (+4.86ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:24:49.0258 [INFO] usart1: [host: 0.95s (+5.25ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:24:49.0346 [INFO] usart1: [host: 0.96s (+8.84ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:24:49.0394 [INFO] usart1: [host: 0.97s (+4.77ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:24:49.0443 [INFO] usart1: [host: 0.97s (+4.88ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:24:49.0530 [INFO] usart1: [host: 0.98s (+8.72ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:24:49.0580 [INFO] usart1: [host: 0.99s (+5.02ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:24:49.0581 [INFO] stm32f3_seco_d23: Machine paused. 17:24:49.0609 [INFO] stm32f3_seco_d23: Machine resumed. 17:24:49.0610 [INFO] usart1: [host: 0.99s (+2.98ms)|virt: 0.3s (+42µs)] 17:24:49.0652 [INFO] usart1: [host: 0.99s (+4.19ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 17:24:49.0747 [INFO] usart1: [host: 1s (+9.5ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:24:49.0803 [INFO] usart1: [host: 1.01s (+5.61ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:24:49.0907 [INFO] usart1: [host: 1.02s (+10.4ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:24:49.0995 [INFO] usart1: [host: 1.03s (+8.81ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:24:49.1034 [INFO] usart1: [host: 1.03s (+3.96ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:24:49.1077 [INFO] usart1: [host: 1.04s (+4.27ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:24:49.1239 [INFO] usart1: [host: 1.05s (+16.2ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:24:49.1279 [INFO] usart1: [host: 1.06s (+3.97ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:24:49.1909 [INFO] usart1: [host: 1.12s (+63ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:24:49.1953 [INFO] usart1: [host: 1.12s (+4.44ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:24:49.2000 [INFO] usart1: [host: 1.13s (+4.62ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:24:49.2001 [INFO] stm32f3_seco_d23: Machine paused. 17:24:49.2249 [INFO] stm32f3_seco_d23: Disposed.