19:30:57.2616 [INFO] System bus created. 19:30:58.8162 [INFO] sysbus: Loading segment of 23092 bytes length at 0x8000000. 19:30:58.8352 [INFO] sysbus: Loading segment of 172 bytes length at 0x8005A34. 19:30:58.8353 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005AE0. 19:30:58.8353 [INFO] sysbus: Loading segment of 17808 bytes length at 0x200000B0. 19:30:59.2224 [INFO] cpu0: Setting initial values: PC = 0x8000A59, SP = 0x20004600. 19:30:59.2231 [INFO] nucleo_l4r5zi: Machine started. 19:30:59.3071 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 19:30:59.3103 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 19:30:59.4162 [WARNING] sysbus: [cpu0: 0x8001310] ReadDoubleWord from non existing peripheral at 0x40007080. 19:30:59.4164 [WARNING] sysbus: [cpu0: 0x8001310] WriteDoubleWord to non existing peripheral at 0x40007080, value 0x0. 19:30:59.4189 [WARNING] sysbus: [cpu0: 0x8001A70] (tag: 'PWR_CR1') ReadDoubleWord from non existing peripheral at 0x40007000, returning 0x00000F00. 19:30:59.4189 [WARNING] sysbus: [cpu0: 0x8001AC0] ReadDoubleWord from non existing peripheral at 0x40022000. 19:30:59.4190 [WARNING] sysbus: [cpu0: 0x8001AC0] WriteDoubleWord to non existing peripheral at 0x40022000, value 0x0. 19:30:59.4190 [WARNING] sysbus: [cpu0: 0x8001AC0] ReadDoubleWord from non existing peripheral at 0x40022000. 19:30:59.4194 [WARNING] sysbus: [cpu0: 0x8000714] ReadDoubleWord from non existing peripheral at 0xE0042004. 19:30:59.4194 [WARNING] sysbus: [cpu0: 0x8000714] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x0. 19:30:59.4197 [WARNING] sysbus: [cpu0: 0x80013C6] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4197 [WARNING] sysbus: [cpu0: 0x80013C6] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4198 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4198 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4202 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4202 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4205 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4205 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4205 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4206 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4206 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4206 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4207 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4207 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4207 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4207 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4208 [WARNING] sysbus: [cpu0: 0x80013C4] ReadDoubleWord from non existing peripheral at 0x40007004. 19:30:59.4208 [WARNING] sysbus: [cpu0: 0x80013C4] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 19:30:59.4430 [WARNING] lpuart1: Unhandled read from offset 0x2C. 19:30:59.4430 [WARNING] lpuart1: Unhandled write to offset 0x2C, value 0x0. 19:30:59.4488 [WARNING] lpuart1: Unhandled write to offset 0xC. Unhandled bits: [17] when writing value 0x2B672. Tags: RESERVED (0x2). 19:30:59.4626 [INFO] lpuart1: [host: 0.75s (+0.75s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 19:30:59.4772 [INFO] nucleo_l4r5zi: Machine paused. 19:30:59.4855 [INFO] nucleo_l4r5zi: Machine resumed. 19:30:59.4862 [INFO] lpuart1: [host: 0.78s (+25.08ms)|virt: 0.14ms (+44µs)] 19:30:59.4908 [INFO] lpuart1: [host: 0.78s (+4.4ms)|virt: 0.14ms (+0s)] [2J[15;1HDemo Description 19:30:59.4913 [INFO] lpuart1: [host: 0.78s (+0.74ms)|virt: 0.14ms (+0s)] ---------------- 19:30:59.5031 [INFO] lpuart1: [host: 0.79s (+8.98ms)|virt: 0.14ms (+0s)] An implementation of a solution to the Dining Philosophers 19:30:59.5032 [INFO] lpuart1: [host: 0.79s (+1.76ms)|virt: 0.2ms (+56µs)] problem (a classic multi-thread synchronization problem). 19:30:59.5047 [INFO] lpuart1: [host: 0.79s (+2.67ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 19:30:59.5173 [INFO] lpuart1: [host: 0.81s (+12.52ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 19:30:59.5190 [INFO] lpuart1: [host: 0.81s (+1.76ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 19:30:59.5345 [INFO] lpuart1: [host: 0.82s (+12.94ms)|virt: 0.33ms (+28µs)] [5;1HPhilosopher 4 [C:-1] STARVING 19:30:59.5361 [INFO] lpuart1: [host: 0.83s (+4.17ms)|virt: 0.4ms (+72µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:30:59.5404 [INFO] lpuart1: [host: 0.83s (+4.3ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 19:30:59.5511 [INFO] lpuart1: [host: 0.84s (+9.88ms)|virt: 0.5ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 19:30:59.5551 [INFO] lpuart1: [host: 0.84s (+4.51ms)|virt: 0.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 19:30:59.5624 [INFO] lpuart1: [host: 0.85s (+7.58ms)|virt: 0.55ms (+51µs)] [4;1HPhilosopher 3 [P: 0] STARVING 19:30:59.5673 [INFO] lpuart1: [host: 0.86s (+4.91ms)|virt: 0.6ms (+49µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:30:59.5744 [INFO] lpuart1: [host: 0.86s (+7.06ms)|virt: 0.64ms (+35µs)] [3;1HPhilosopher 2 [P: 1] STARVING 19:30:59.5793 [INFO] lpuart1: [host: 0.87s (+4.95ms)|virt: 0.7ms (+65µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 19:30:59.5866 [INFO] lpuart1: [host: 0.88s (+7.32ms)|virt: 0.72ms (+20µs)] [2;1HPhilosopher 1 [P: 2] STARVING 19:30:59.6044 [INFO] lpuart1: [host: 0.89s (+17.71ms)|virt: 0.8ms (+80µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 19:30:59.6109 [INFO] lpuart1: [host: 0.9s (+6.53ms)|virt: 0.8ms (+4µs)] [1;1HPhilosopher 0 [P: 3] STARVING 19:30:59.6332 [INFO] lpuart1: [host: 0.92s (+22.34ms)|virt: 7.74ms (+6.94ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:30:59.6415 [INFO] lpuart1: [host: 0.93s (+8.32ms)|virt: 7.8ms (+58µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 19:30:59.6480 [INFO] lpuart1: [host: 0.94s (+6.53ms)|virt: 7.83ms (+34µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 19:30:59.6566 [INFO] lpuart1: [host: 0.95s (+8.49ms)|virt: 7.9ms (+66µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 19:30:59.6684 [INFO] lpuart1: [host: 0.96s (+11.82ms)|virt: 15.4ms (+7.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 19:30:59.6763 [INFO] lpuart1: [host: 0.97s (+7.96ms)|virt: 15.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 19:30:59.6772 [INFO] nucleo_l4r5zi: Machine paused. 19:30:59.6820 [INFO] nucleo_l4r5zi: Machine resumed. 19:30:59.6820 [INFO] lpuart1: [host: 0.97s (+5.28ms)|virt: 15.47ms (+73µs)] 19:30:59.6895 [INFO] lpuart1: [host: 0.98s (+7.85ms)|virt: 15.5ms (+27µs)] [5;1HPhilosopher 4 [C:-1] STARVING 19:30:59.6973 [INFO] lpuart1: [host: 0.99s (+7.84ms)|virt: 15.52ms (+25µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:30:59.7025 [INFO] lpuart1: [host: 0.99s (+5.24ms)|virt: 15.6ms (+75µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 19:30:59.7099 [INFO] lpuart1: [host: 1s (+7.29ms)|virt: 15.61ms (+14µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 19:30:59.7168 [INFO] lpuart1: [host: 1.01s (+6.97ms)|virt: 15.7ms (+86µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 19:30:59.7243 [INFO] lpuart1: [host: 1.01s (+7.46ms)|virt: 15.7ms (+5µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 19:30:59.7315 [INFO] lpuart1: [host: 1.02s (+7.21ms)|virt: 15.75ms (+49µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 19:30:59.7495 [INFO] lpuart1: [host: 1.04s (+17.98ms)|virt: 23.03ms (+7.27ms)] [6;1HPhilosopher 5 [C:-2] STARVING 19:30:59.7608 [INFO] lpuart1: [host: 1.05s (+11.36ms)|virt: 23.1ms (+72µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:30:59.7677 [INFO] lpuart1: [host: 1.06s (+6.92ms)|virt: 23.1ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 19:30:59.7751 [INFO] lpuart1: [host: 1.06s (+7.32ms)|virt: 23.2ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 19:30:59.7833 [INFO] lpuart1: [host: 1.07s (+8.21ms)|virt: 23.21ms (+13µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:30:59.7909 [INFO] lpuart1: [host: 1.08s (+7.6ms)|virt: 23.21ms (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 19:30:59.7984 [INFO] lpuart1: [host: 1.09s (+7.48ms)|virt: 23.3ms (+90µs)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 19:30:59.8042 [INFO] lpuart1: [host: 1.09s (+5.9ms)|virt: 23.3ms (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 19:30:59.8120 [INFO] lpuart1: [host: 1.1s (+7.75ms)|virt: 23.4ms (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 19:30:59.8276 [INFO] lpuart1: [host: 1.12s (+15.56ms)|virt: 40.21ms (+16.81ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 19:30:59.8355 [INFO] lpuart1: [host: 1.12s (+7.91ms)|virt: 40.3ms (+86µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 19:30:59.8436 [INFO] lpuart1: [host: 1.13s (+8.16ms)|virt: 40.31ms (+7µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 19:30:59.8536 [INFO] lpuart1: [host: 1.14s (+10.02ms)|virt: 44.03ms (+3.73ms)] [3;1HPhilosopher 2 [P: 1] STARVING 19:30:59.8596 [INFO] lpuart1: [host: 1.15s (+5.97ms)|virt: 44.1ms (+66µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 19:30:59.8726 [INFO] lpuart1: [host: 1.16s (+13.02ms)|virt: 49.8ms (+5.7ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 19:30:59.8803 [INFO] lpuart1: [host: 1.17s (+7.69ms)|virt: 49.8ms (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 19:30:59.8905 [INFO] lpuart1: [host: 1.18s (+10.15ms)|virt: 49.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 19:30:59.9036 [INFO] lpuart1: [host: 1.19s (+13.11ms)|virt: 53.6ms (+3.7ms)] [5;1HPhilosopher 4 [C:-1] STARVING 19:30:59.9109 [INFO] lpuart1: [host: 1.2s (+7.27ms)|virt: 53.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:30:59.9201 [INFO] lpuart1: [host: 1.21s (+7.8ms)|virt: 53.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 19:30:59.9294 [INFO] lpuart1: [host: 1.22s (+10.77ms)|virt: 57.4ms (+3.7ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 19:30:59.9385 [INFO] lpuart1: [host: 1.23s (+9.04ms)|virt: 57.45ms (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 19:30:59.9386 [INFO] nucleo_l4r5zi: Machine paused. 19:30:59.9436 [INFO] nucleo_l4r5zi: Machine resumed. 19:30:59.9438 [INFO] lpuart1: [host: 1.23s (+5.32ms)|virt: 57.49ms (+42µs)] 19:30:59.9576 [INFO] lpuart1: [host: 1.25s (+13.79ms)|virt: 57.5ms (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 19:30:59.9696 [INFO] lpuart1: [host: 1.26s (+11.88ms)|virt: 66.95ms (+9.45ms)] [2;1HPhilosopher 1 [P: 2] STARVING 19:30:59.9760 [INFO] lpuart1: [host: 1.26s (+6.56ms)|virt: 67ms (+46µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 19:30:59.9876 [INFO] lpuart1: [host: 1.28s (+11.58ms)|virt: 78.41ms (+11.41ms)] [1;1HPhilosopher 0 [P: 3] STARVING 19:31:00.0052 [INFO] lpuart1: [host: 1.29s (+17.64ms)|virt: 86.05ms (+7.64ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 19:31:00.0104 [INFO] lpuart1: [host: 1.3s (+5.19ms)|virt: 86.1ms (+47µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 19:31:00.0174 [INFO] lpuart1: [host: 1.31s (+6.92ms)|virt: 86.15ms (+46µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 19:31:00.0318 [INFO] lpuart1: [host: 1.32s (+14.42ms)|virt: 95.6ms (+9.46ms)] [4;1HPhilosopher 3 [P: 0] STARVING 19:31:00.0367 [INFO] lpuart1: [host: 1.33s (+4.99ms)|virt: 95.6ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:31:00.0481 [INFO] lpuart1: [host: 1.34s (+11.33ms)|virt: 0.11s (+13.4ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:31:00.0539 [INFO] lpuart1: [host: 1.34s (+5.78ms)|virt: 0.11s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 19:31:00.0617 [INFO] lpuart1: [host: 1.35s (+7.86ms)|virt: 0.11s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 19:31:00.0619 [INFO] nucleo_l4r5zi: Machine paused. 19:31:00.1203 [INFO] nucleo_l4r5zi: Disposed.