17:29:29.2299 [INFO] System bus created. 17:29:30.5562 [INFO] sysbus: Loading segment of 24028 bytes length at 0x8000000. 17:29:30.5756 [INFO] sysbus: Loading segment of 174 bytes length at 0x8005DDC. 17:29:30.5756 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005E8A. 17:29:30.5757 [INFO] sysbus: Loading segment of 17872 bytes length at 0x200000B0. 17:29:30.9589 [INFO] cpu0: Setting initial values: PC = 0x8000A59, SP = 0x20004640. 17:29:30.9597 [INFO] swan_r5: Machine started. 17:29:31.0210 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:29:31.0311 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:29:31.1133 [WARNING] sysbus: [cpu0: 0x8001344] ReadDoubleWord from non existing peripheral at 0x40007080. 17:29:31.1137 [WARNING] sysbus: [cpu0: 0x8001344] WriteDoubleWord to non existing peripheral at 0x40007080, value 0x0. 17:29:31.1183 [WARNING] sysbus: [cpu0: 0x8001AA4] (tag: 'PWR_CR1') ReadDoubleWord from non existing peripheral at 0x40007000, returning 0x00000F00. 17:29:31.1185 [WARNING] sysbus: [cpu0: 0x8001AF4] ReadDoubleWord from non existing peripheral at 0x40022000. 17:29:31.1186 [WARNING] sysbus: [cpu0: 0x8001AF4] WriteDoubleWord to non existing peripheral at 0x40022000, value 0x0. 17:29:31.1187 [WARNING] sysbus: [cpu0: 0x8001AF4] ReadDoubleWord from non existing peripheral at 0x40022000. 17:29:31.1194 [WARNING] sysbus: [cpu0: 0x8000714] ReadDoubleWord from non existing peripheral at 0xE0042004. 17:29:31.1196 [WARNING] sysbus: [cpu0: 0x8000714] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x0. 17:29:31.1200 [WARNING] sysbus: [cpu0: 0x80013FA] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1201 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1220 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1221 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1249 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1249 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1294 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1294 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1294 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1295 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1295 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1295 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1296 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1296 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1297 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1297 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1298 [WARNING] sysbus: [cpu0: 0x80013F8] ReadDoubleWord from non existing peripheral at 0x40007004. 17:29:31.1298 [WARNING] sysbus: [cpu0: 0x8001402] WriteDoubleWord to non existing peripheral at 0x40007004, value 0x200. 17:29:31.1405 [WARNING] lpuart1: Unhandled read from offset 0x2C. 17:29:31.1406 [WARNING] lpuart1: Unhandled write to offset 0x2C, value 0x0. 17:29:31.1447 [WARNING] lpuart1: Unhandled write to offset 0xC. Unhandled bits: [17] when writing value 0x2B672. Tags: RESERVED (0x2). 17:29:31.1498 [WARNING] gpioe: Unhandled write to offset 0x4. Unhandled bits: [6] when writing value 0x40. Tags: OT6 (0x1). 17:29:31.1592 [INFO] lpuart1: [host: 0.71s (+0.71s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:29:31.1701 [INFO] swan_r5: Machine paused. 17:29:31.1742 [INFO] swan_r5: Machine resumed. 17:29:31.1746 [INFO] lpuart1: [host: 0.72s (+15.51ms)|virt: 0.15ms (+49µs)] 17:29:31.1764 [INFO] lpuart1: [host: 0.72s (+1.71ms)|virt: 0.15ms (+0s)] [2J[15;1HDemo Description 17:29:31.1779 [INFO] lpuart1: [host: 0.73s (+1.64ms)|virt: 0.15ms (+0s)] ---------------- 17:29:31.1799 [INFO] lpuart1: [host: 0.73s (+1.99ms)|virt: 0.2ms (+51µs)] An implementation of a solution to the Dining Philosophers 17:29:31.1827 [INFO] lpuart1: [host: 0.73s (+2.77ms)|virt: 0.2ms (+0s)] problem (a classic multi-thread synchronization problem). 17:29:31.1856 [INFO] lpuart1: [host: 0.73s (+2.91ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 17:29:31.1890 [INFO] lpuart1: [host: 0.74s (+2.82ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 17:29:31.1918 [INFO] lpuart1: [host: 0.74s (+1.73ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 17:29:31.2097 [INFO] lpuart1: [host: 0.76s (+19.46ms)|virt: 0.33ms (+32µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:29:31.2123 [INFO] lpuart1: [host: 0.76s (+2.63ms)|virt: 0.4ms (+68µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:29:31.2159 [INFO] lpuart1: [host: 0.76s (+3.61ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:29:31.2301 [INFO] lpuart1: [host: 0.78s (+14.23ms)|virt: 0.5ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:29:31.2422 [INFO] lpuart1: [host: 0.79s (+12.11ms)|virt: 0.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:29:31.2601 [INFO] lpuart1: [host: 0.81s (+17.91ms)|virt: 0.56ms (+55µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:29:31.2661 [INFO] lpuart1: [host: 0.81s (+6ms)|virt: 0.6ms (+45µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:29:31.2791 [INFO] lpuart1: [host: 0.83s (+12.97ms)|virt: 0.64ms (+39µs)] [3;1HPhilosopher 2 [P: 1] STARVING 17:29:31.2917 [INFO] lpuart1: [host: 0.84s (+12.54ms)|virt: 0.7ms (+61µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:29:31.3069 [INFO] lpuart1: [host: 0.85s (+15.28ms)|virt: 0.72ms (+24µs)] [2;1HPhilosopher 1 [P: 2] STARVING 17:29:31.3171 [INFO] lpuart1: [host: 0.86s (+10.13ms)|virt: 0.8ms (+76µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:29:31.3267 [INFO] lpuart1: [host: 0.87s (+9.63ms)|virt: 0.81ms (+8µs)] [1;1HPhilosopher 0 [P: 3] STARVING 17:29:31.3478 [INFO] lpuart1: [host: 0.9s (+21.08ms)|virt: 40.1ms (+39.29ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:29:31.3549 [INFO] lpuart1: [host: 0.9s (+7.14ms)|virt: 40.1ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:29:31.3635 [INFO] lpuart1: [host: 0.91s (+8.63ms)|virt: 40.2ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:29:31.3721 [INFO] lpuart1: [host: 0.92s (+7.85ms)|virt: 40.24ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:29:31.3882 [INFO] lpuart1: [host: 0.94s (+16.82ms)|virt: 80.11ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:29:31.3941 [INFO] lpuart1: [host: 0.94s (+5.87ms)|virt: 80.11ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:29:31.3948 [INFO] swan_r5: Machine paused. 17:29:31.3982 [INFO] swan_r5: Machine resumed. 17:29:31.3983 [INFO] lpuart1: [host: 0.95s (+4.27ms)|virt: 80.19ms (+87µs)] 17:29:31.4045 [INFO] lpuart1: [host: 0.95s (+5.48ms)|virt: 80.2ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:29:31.4109 [INFO] lpuart1: [host: 0.96s (+6.22ms)|virt: 80.24ms (+45µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:29:31.4157 [INFO] lpuart1: [host: 0.96s (+5.7ms)|virt: 80.3ms (+55µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:29:31.4200 [INFO] lpuart1: [host: 0.97s (+4.28ms)|virt: 80.33ms (+34µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:29:31.4265 [INFO] lpuart1: [host: 0.97s (+5.83ms)|virt: 80.4ms (+66µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:29:31.4309 [INFO] lpuart1: [host: 0.98s (+5.03ms)|virt: 80.42ms (+25µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:29:31.4425 [INFO] lpuart1: [host: 0.99s (+11.57ms)|virt: 80.5ms (+75µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:29:31.4712 [INFO] lpuart1: [host: 1.02s (+28.77ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:29:31.4885 [INFO] lpuart1: [host: 1.04s (+17.28ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:29:31.5018 [INFO] lpuart1: [host: 1.05s (+13.33ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:29:31.5091 [INFO] lpuart1: [host: 1.06s (+7.23ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:29:31.5169 [INFO] lpuart1: [host: 1.06s (+7.83ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:29:31.5301 [INFO] lpuart1: [host: 1.08s (+13.24ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:29:31.5423 [INFO] lpuart1: [host: 1.09s (+12.13ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:29:31.5488 [INFO] lpuart1: [host: 1.1s (+6.53ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:29:31.5600 [INFO] lpuart1: [host: 1.11s (+11.25ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:29:31.5998 [INFO] lpuart1: [host: 1.15s (+39.79ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:29:31.6073 [INFO] lpuart1: [host: 1.16s (+7.48ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:29:31.6144 [INFO] lpuart1: [host: 1.16s (+7.07ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:29:31.6259 [INFO] lpuart1: [host: 1.17s (+11.48ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:29:31.6323 [INFO] lpuart1: [host: 1.18s (+6.49ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:29:31.6543 [INFO] lpuart1: [host: 1.2s (+21.94ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:29:31.6607 [INFO] lpuart1: [host: 1.21s (+6.46ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:29:31.6672 [INFO] lpuart1: [host: 1.22s (+6.52ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:29:31.6851 [INFO] lpuart1: [host: 1.23s (+17.61ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:29:31.6908 [INFO] lpuart1: [host: 1.24s (+5.99ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:29:31.6989 [INFO] lpuart1: [host: 1.25s (+8.1ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:29:31.7089 [INFO] lpuart1: [host: 1.26s (+9.97ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:29:31.7161 [INFO] lpuart1: [host: 1.26s (+7.14ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:29:31.7162 [INFO] swan_r5: Machine paused. 17:29:31.7188 [INFO] swan_r5: Machine resumed. 17:29:31.7189 [INFO] lpuart1: [host: 1.27s (+2.84ms)|virt: 0.3s (+42µs)] 17:29:31.7245 [INFO] lpuart1: [host: 1.27s (+5.61ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 17:29:31.7407 [INFO] lpuart1: [host: 1.29s (+16.15ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:29:31.7453 [INFO] lpuart1: [host: 1.29s (+4.66ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:29:31.7627 [INFO] lpuart1: [host: 1.31s (+17.42ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:29:31.7872 [INFO] lpuart1: [host: 1.34s (+24.43ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:29:31.7929 [INFO] lpuart1: [host: 1.34s (+5.73ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:29:31.7992 [INFO] lpuart1: [host: 1.35s (+6.3ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:29:31.8140 [INFO] lpuart1: [host: 1.36s (+14.77ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:29:31.8183 [INFO] lpuart1: [host: 1.37s (+4.36ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:29:31.8395 [INFO] lpuart1: [host: 1.39s (+21.14ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:29:31.8471 [INFO] lpuart1: [host: 1.4s (+7.66ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:29:31.8530 [INFO] lpuart1: [host: 1.4s (+5.87ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:29:31.8531 [INFO] swan_r5: Machine paused. 17:29:31.8890 [INFO] swan_r5: Disposed.