18:58:58.3744 [INFO] System bus created. 18:58:59.7651 [INFO] sysbus: Loaded SVD: /tmp/renode-6079/f814890b-6f82-42e4-9c83-3e9931841edd.tmp. Name: STM32F40x. Description: STM32F40x. 18:58:59.8459 [INFO] sysbus: Loading segment of 22028 bytes length at 0x8000000. 18:58:59.8638 [INFO] sysbus: Loading segment of 120 bytes length at 0x800560C. 18:58:59.8639 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005684. 18:58:59.8639 [INFO] sysbus: Loading segment of 17800 bytes length at 0x20000078. 18:59:00.2436 [INFO] cpu0: Setting initial values: PC = 0x8000A89, SP = 0x200045C0. 18:59:00.2455 [INFO] 96b_argonkey: Machine started. 18:59:00.3306 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 18:59:00.3343 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 18:59:00.3371 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 18:59:00.3390 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 18:59:00.3390 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 18:59:00.3390 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 18:59:00.3396 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 18:59:00.3396 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 18:59:00.3396 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 18:59:00.3396 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 18:59:00.3396 [WARNING] sysbus: Write of value 0x0 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 18:59:00.3396 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 18:59:00.3475 [WARNING] rcc: Unhandled write to offset 0x4. Unhandled bits: [28] when writing value 0x38403008. Tags: RESERVED (0x1). 18:59:00.3476 [WARNING] sysbus: Read from an unimplemented register DBG:DBGMCU_CR (0xE0042004), returning a value from SVD: 0x0. 18:59:00.3476 [WARNING] sysbus: Write of value 0x0 to an unimplemented register DBG:DBGMCU_CR (0xE0042004) generated from SVD. 18:59:00.3654 [WARNING] usart1: Unhandled read from offset 0x14. 18:59:00.3655 [WARNING] usart1: Unhandled write to offset 0x14, value 0x0. 18:59:00.3834 [INFO] usart1: [host: 0.61s (+0.61s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 18:59:00.4095 [INFO] 96b_argonkey: Machine paused. 18:59:00.4167 [INFO] 96b_argonkey: Machine resumed. 18:59:00.4173 [INFO] usart1: [host: 0.64s (+33.92ms)|virt: 0.12ms (+21µs)] 18:59:00.4213 [INFO] usart1: [host: 0.65s (+3.88ms)|virt: 0.12ms (+0s)] [2J[15;1HDemo Description 18:59:00.4220 [INFO] usart1: [host: 0.65s (+0.86ms)|virt: 0.12ms (+0s)] ---------------- 18:59:00.4243 [INFO] usart1: [host: 0.65s (+2.34ms)|virt: 0.12ms (+0s)] An implementation of a solution to the Dining Philosophers 18:59:00.4267 [INFO] usart1: [host: 0.65s (+2.41ms)|virt: 0.2ms (+79µs)] problem (a classic multi-thread synchronization problem). 18:59:00.4309 [INFO] usart1: [host: 0.66s (+4.1ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 18:59:00.4357 [INFO] usart1: [host: 0.66s (+4.89ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 18:59:00.4390 [INFO] usart1: [host: 0.67s (+3.15ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 18:59:00.4578 [INFO] usart1: [host: 0.68s (+16.88ms)|virt: 0.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 18:59:00.4683 [INFO] usart1: [host: 0.69s (+11.64ms)|virt: 0.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 18:59:00.4726 [INFO] usart1: [host: 0.7s (+2.77ms)|virt: 0.4ms (+96µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 18:59:00.4777 [INFO] usart1: [host: 0.7s (+7.52ms)|virt: 0.44ms (+39µs)] [6;1HPhilosopher 5 [C:-2] STARVING 18:59:00.4827 [INFO] usart1: [host: 0.71s (+5.02ms)|virt: 0.5ms (+61µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 18:59:00.4903 [INFO] usart1: [host: 0.72s (+5.64ms)|virt: 0.53ms (+27µs)] [4;1HPhilosopher 3 [P: 0] STARVING 18:59:00.4932 [INFO] usart1: [host: 0.72s (+4.83ms)|virt: 0.6ms (+73µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 18:59:00.5004 [INFO] usart1: [host: 0.73s (+7.2ms)|virt: 0.61ms (+12µs)] [3;1HPhilosopher 2 [P: 1] STARVING 18:59:00.5054 [INFO] usart1: [host: 0.73s (+5ms)|virt: 0.61ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 18:59:00.5125 [INFO] usart1: [host: 0.74s (+7.12ms)|virt: 0.7ms (+88µs)] [2;1HPhilosopher 1 [P: 2] STARVING 18:59:00.5179 [INFO] usart1: [host: 0.74s (+5.35ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 18:59:00.5271 [INFO] usart1: [host: 0.75s (+9.21ms)|virt: 0.8ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 18:59:00.5386 [INFO] usart1: [host: 0.77s (+11.54ms)|virt: 8.02ms (+7.22ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 18:59:00.5462 [INFO] usart1: [host: 0.77s (+7.6ms)|virt: 8.1ms (+78µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 18:59:00.5559 [INFO] usart1: [host: 0.78s (+9.65ms)|virt: 8.11ms (+14µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 18:59:00.5645 [INFO] usart1: [host: 0.79s (+8.62ms)|virt: 8.2ms (+86µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 18:59:00.5764 [INFO] usart1: [host: 0.8s (+11.91ms)|virt: 16.05ms (+7.85ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 18:59:00.5851 [INFO] usart1: [host: 0.81s (+8.65ms)|virt: 16.1ms (+54µs)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 18:59:00.5859 [INFO] 96b_argonkey: Machine paused. 18:59:00.5927 [INFO] 96b_argonkey: Machine resumed. 18:59:00.5929 [INFO] usart1: [host: 0.82s (+7.82ms)|virt: 16.13ms (+33µs)] 18:59:00.6077 [INFO] usart1: [host: 0.83s (+14.86ms)|virt: 16.14ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 18:59:00.6244 [INFO] usart1: [host: 0.85s (+16.67ms)|virt: 16.2ms (+64µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 18:59:00.6303 [INFO] usart1: [host: 0.86s (+5.89ms)|virt: 16.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 18:59:00.6367 [INFO] usart1: [host: 0.86s (+6.42ms)|virt: 16.3ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 18:59:00.6429 [INFO] usart1: [host: 0.87s (+6.22ms)|virt: 16.3ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 18:59:00.6496 [INFO] usart1: [host: 0.88s (+6.66ms)|virt: 16.4ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 18:59:00.6560 [INFO] usart1: [host: 0.88s (+6.4ms)|virt: 16.41ms (+14µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 18:59:00.6638 [INFO] usart1: [host: 0.89s (+7.82ms)|virt: 24.1ms (+7.69ms)] [6;1HPhilosopher 5 [C:-2] STARVING 18:59:00.6702 [INFO] usart1: [host: 0.9s (+6.34ms)|virt: 24.11ms (+11µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 18:59:00.6808 [INFO] usart1: [host: 0.91s (+10.63ms)|virt: 24.11ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 18:59:00.6911 [INFO] usart1: [host: 0.92s (+7.45ms)|virt: 24.2ms (+92µs)] [4;1HPhilosopher 3 [P: 0] STARVING 18:59:00.6962 [INFO] usart1: [host: 0.92s (+7.95ms)|virt: 24.25ms (+50µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 18:59:00.7032 [INFO] usart1: [host: 0.93s (+7ms)|virt: 24.3ms (+47µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 18:59:00.7106 [INFO] usart1: [host: 0.94s (+7.41ms)|virt: 24.34ms (+43µs)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 18:59:00.7180 [INFO] usart1: [host: 0.94s (+7.33ms)|virt: 24.4ms (+57µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 18:59:00.7261 [INFO] usart1: [host: 0.95s (+8.16ms)|virt: 24.44ms (+35µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 18:59:00.7403 [INFO] usart1: [host: 0.97s (+14.26ms)|virt: 42.11ms (+17.67ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 18:59:00.7475 [INFO] usart1: [host: 0.97s (+7.12ms)|virt: 42.15ms (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 18:59:00.7550 [INFO] usart1: [host: 0.98s (+7.51ms)|virt: 42.2ms (+49µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 18:59:00.7651 [INFO] usart1: [host: 0.99s (+10.07ms)|virt: 46.12ms (+3.92ms)] [3;1HPhilosopher 2 [P: 1] STARVING 18:59:00.7707 [INFO] usart1: [host: 1s (+5.69ms)|virt: 46.2ms (+81µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 18:59:00.7816 [INFO] usart1: [host: 1.01s (+10.82ms)|virt: 52.13ms (+5.93ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 18:59:00.7891 [INFO] usart1: [host: 1.02s (+7.54ms)|virt: 52.2ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 18:59:00.7958 [INFO] usart1: [host: 1.02s (+6.71ms)|virt: 52.23ms (+26µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 18:59:00.8066 [INFO] usart1: [host: 1.03s (+10.74ms)|virt: 56.14ms (+3.92ms)] [5;1HPhilosopher 4 [C:-1] STARVING 18:59:00.8140 [INFO] usart1: [host: 1.04s (+7.45ms)|virt: 56.2ms (+57µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 18:59:00.8213 [INFO] usart1: [host: 1.05s (+7.27ms)|virt: 56.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 18:59:00.8319 [INFO] usart1: [host: 1.06s (+10.64ms)|virt: 60.15ms (+3.95ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 18:59:00.8399 [INFO] usart1: [host: 1.07s (+7.94ms)|virt: 60.2ms (+47µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 18:59:00.8400 [INFO] 96b_argonkey: Machine paused. 18:59:00.8458 [INFO] 96b_argonkey: Machine resumed. 18:59:00.8460 [INFO] usart1: [host: 1.07s (+6.14ms)|virt: 60.24ms (+39µs)] 18:59:00.8616 [INFO] usart1: [host: 1.09s (+13.7ms)|virt: 60.24ms (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 18:59:00.8838 [INFO] usart1: [host: 1.11s (+24.11ms)|virt: 70.2ms (+9.96ms)] [2;1HPhilosopher 1 [P: 2] STARVING 18:59:00.8902 [INFO] usart1: [host: 1.12s (+6.36ms)|virt: 70.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 18:59:00.9011 [INFO] usart1: [host: 1.13s (+10.92ms)|virt: 82.21ms (+12.01ms)] [1;1HPhilosopher 0 [P: 3] STARVING 18:59:00.9119 [INFO] usart1: [host: 1.14s (+8.32ms)|virt: 90.23ms (+8.02ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 18:59:00.9158 [INFO] usart1: [host: 1.14s (+6.41ms)|virt: 90.3ms (+72µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 18:59:00.9227 [INFO] usart1: [host: 1.15s (+6.86ms)|virt: 90.32ms (+21µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 18:59:00.9316 [INFO] usart1: [host: 1.16s (+8.88ms)|virt: 0.1s (+9.93ms)] [4;1HPhilosopher 3 [P: 0] STARVING 18:59:00.9378 [INFO] usart1: [host: 1.16s (+6.28ms)|virt: 0.1s (+46µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 18:59:00.9598 [INFO] usart1: [host: 1.19s (+21.95ms)|virt: 0.11s (+14ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 18:59:00.9751 [INFO] usart1: [host: 1.2s (+15.29ms)|virt: 0.11s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 18:59:00.9922 [INFO] usart1: [host: 1.22s (+17.06ms)|virt: 0.11s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 18:59:00.9923 [INFO] 96b_argonkey: Machine paused. 18:59:01.0477 [INFO] 96b_argonkey: Disposed.