16:41:32.1072 [INFO] System bus created. 16:41:33.2989 [INFO] sysbus: Loading segment of 25208 bytes length at 0x0. 16:41:33.3139 [INFO] sysbus: Loading segment of 176 bytes length at 0x6278. 16:41:33.3140 [INFO] sysbus: Loading segment of 4 bytes length at 0x6328. 16:41:33.3141 [INFO] sysbus: Loading segment of 17120 bytes length at 0x200000B0. 16:41:33.6451 [INFO] cpu0: Setting initial values: PC = 0xB41, SP = 0x20004390. 16:41:33.6459 [INFO] nrf52840_papyr: Machine started. 16:41:33.6947 [WARNING] sysbus: [cpu0: 0x1EFC] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:33.6948 [WARNING] sysbus: [cpu0: 0x1EC8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:33.6955 [WARNING] sysbus: [cpu0: 0x1EC8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:33.6956 [WARNING] sysbus: [cpu0: 0x1EC8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:33.6957 [WARNING] sysbus: [cpu0: 0x1EC8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:33.6958 [WARNING] sysbus: [cpu0: 0x1FF8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:33.6958 [WARNING] sysbus: [cpu0: 0x203A] ReadDoubleWord from non existing peripheral at 0x10001200. 16:41:33.6959 [WARNING] sysbus: [cpu0: 0x2046] ReadDoubleWord from non existing peripheral at 0x10001204. 16:41:33.7076 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:41:33.7106 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:41:33.7128 [WARNING] sysbus: [cpu0: 0x1070] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:41:33.7129 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:41:33.7146 [WARNING] sysbus: [cpu0: 0x285A] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:41:33.7147 [WARNING] sysbus: [cpu0: 0x285A] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:41:33.7148 [WARNING] sysbus: [cpu0: 0x286C] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:41:33.7205 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0-2, 4-31] when writing value 0x8. Tags: PIN (0x17), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:41:33.7254 [WARNING] sysbus: [cpu0: 0x1800] ReadDoubleWord from non existing peripheral at 0x50000720. 16:41:33.7255 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x3. 16:41:33.7256 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:41:33.7257 [WARNING] sysbus: [cpu0: 0x1800] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:41:33.7257 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 16:41:33.7305 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:41:33.7306 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:41:33.7309 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:41:33.7359 [WARNING] clock: Unhandled read from offset 0x414. 16:41:33.7654 [INFO] uart0: [host: 0.7s (+0.7s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:41:33.7781 [INFO] nrf52840_papyr: Machine paused. 16:41:33.7836 [INFO] nrf52840_papyr: Machine resumed. 16:41:33.7841 [INFO] uart0: [host: 0.72s (+18.7ms)|virt: 0.14ms (+37µs)] 16:41:33.7916 [INFO] uart0: [host: 0.73s (+7.41ms)|virt: 0.14ms (+0s)] [2J[15;1HDemo Description 16:41:33.7942 [INFO] uart0: [host: 0.73s (+2.73ms)|virt: 0.14ms (+0s)] ---------------- 16:41:33.8053 [INFO] uart0: [host: 0.74s (+11.13ms)|virt: 0.2ms (+59µs)] An implementation of a solution to the Dining Philosophers 16:41:33.8150 [INFO] uart0: [host: 0.75s (+9.63ms)|virt: 0.2ms (+0s)] problem (a classic multi-thread synchronization problem). 16:41:33.8277 [INFO] uart0: [host: 0.77s (+12.71ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:41:33.8381 [INFO] uart0: [host: 0.78s (+10.4ms)|virt: 0.3ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:41:33.8471 [INFO] uart0: [host: 0.78s (+8.99ms)|virt: 0.3ms (+0s)] well as dynamic mutexes and thread sleeping. 16:41:33.8628 [INFO] uart0: [host: 0.8s (+14.71ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:33.8732 [INFO] uart0: [host: 0.81s (+11.38ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:33.8854 [INFO] uart0: [host: 0.82s (+12.24ms)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:33.8989 [INFO] uart0: [host: 0.84s (+13.53ms)|virt: 0.55ms (+45µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:33.9113 [INFO] uart0: [host: 0.85s (+12.35ms)|virt: 0.6ms (+55µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:33.9248 [INFO] uart0: [host: 0.86s (+13.56ms)|virt: 0.65ms (+50µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:33.9372 [INFO] uart0: [host: 0.87s (+12.34ms)|virt: 0.7ms (+50µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:33.9505 [INFO] uart0: [host: 0.89s (+13.32ms)|virt: 0.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:33.9635 [INFO] uart0: [host: 0.9s (+12.94ms)|virt: 0.8ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:33.9811 [INFO] uart0: [host: 0.92s (+17.64ms)|virt: 0.9ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:34.0011 [INFO] uart0: [host: 0.94s (+19.99ms)|virt: 0.9ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:34.0242 [INFO] uart0: [host: 0.96s (+23.13ms)|virt: 1ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:34.0760 [INFO] uart0: [host: 1.01s (+51.77ms)|virt: 39.7ms (+38.7ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:34.0931 [INFO] uart0: [host: 1.03s (+17.16ms)|virt: 39.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:41:34.1104 [INFO] uart0: [host: 1.05s (+17.25ms)|virt: 39.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:41:34.1273 [INFO] uart0: [host: 1.06s (+16.91ms)|virt: 39.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:41:34.1799 [INFO] uart0: [host: 1.12s (+52.64ms)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:41:34.1986 [INFO] uart0: [host: 1.14s (+18.68ms)|virt: 79.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:41:34.1994 [INFO] nrf52840_papyr: Machine paused. 16:41:34.2031 [INFO] nrf52840_papyr: Machine resumed. 16:41:34.2033 [INFO] uart0: [host: 1.14s (+4.68ms)|virt: 79.47ms (+72µs)] 16:41:34.2186 [INFO] uart0: [host: 1.16s (+15.26ms)|virt: 79.5ms (+28µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:34.2334 [INFO] uart0: [host: 1.17s (+14.87ms)|virt: 79.53ms (+31µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:34.2475 [INFO] uart0: [host: 1.19s (+14.05ms)|virt: 79.6ms (+69µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:34.2624 [INFO] uart0: [host: 1.2s (+14.98ms)|virt: 79.64ms (+37µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:34.2769 [INFO] uart0: [host: 1.21s (+14.44ms)|virt: 79.7ms (+63µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:41:34.2920 [INFO] uart0: [host: 1.23s (+15.1ms)|virt: 79.74ms (+45µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:41:34.3077 [INFO] uart0: [host: 1.25s (+15.66ms)|virt: 79.8ms (+57µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:41:34.3507 [INFO] uart0: [host: 1.29s (+43ms)|virt: 0.12s (+39.25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:34.3664 [INFO] uart0: [host: 1.3s (+15.78ms)|virt: 0.12s (+51µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:34.3830 [INFO] uart0: [host: 1.32s (+16.58ms)|virt: 0.12s (+99µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:41:34.4018 [INFO] uart0: [host: 1.34s (+18.79ms)|virt: 0.12s (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:34.4226 [INFO] uart0: [host: 1.36s (+20.84ms)|virt: 0.12s (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:34.4399 [INFO] uart0: [host: 1.38s (+17.21ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:41:34.4603 [INFO] uart0: [host: 1.4s (+19.55ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:34.4831 [INFO] uart0: [host: 1.42s (+22.66ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:41:34.5015 [INFO] uart0: [host: 1.44s (+19.44ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:41:34.5676 [INFO] uart0: [host: 1.51s (+66.09ms)|virt: 0.21s (+86.84ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:41:34.5900 [INFO] uart0: [host: 1.53s (+22.38ms)|virt: 0.21s (+58µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:41:34.6127 [INFO] uart0: [host: 1.55s (+22.68ms)|virt: 0.21s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:41:34.6436 [INFO] uart0: [host: 1.58s (+30.97ms)|virt: 0.23s (+23.65ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:34.6618 [INFO] uart0: [host: 1.6s (+18.17ms)|virt: 0.23s (+50µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:34.6938 [INFO] uart0: [host: 1.63s (+31.96ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:34.7174 [INFO] uart0: [host: 1.66s (+23.61ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:41:34.7419 [INFO] uart0: [host: 1.68s (+24.5ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:41:34.7781 [INFO] uart0: [host: 1.72s (+36.24ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:34.8005 [INFO] uart0: [host: 1.74s (+22.34ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:34.8238 [INFO] uart0: [host: 1.76s (+23.37ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:41:34.8470 [INFO] uart0: [host: 1.78s (+23.2ms)|virt: 0.29s (+7.84ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:41:34.8640 [INFO] uart0: [host: 1.8s (+16.95ms)|virt: 0.29s (+63µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:34.8641 [INFO] nrf52840_papyr: Machine paused. 16:41:34.8680 [INFO] nrf52840_papyr: Machine resumed. 16:41:34.8682 [INFO] uart0: [host: 1.81s (+4.21ms)|virt: 0.29s (+39µs)] 16:41:34.8848 [INFO] uart0: [host: 1.82s (+16.59ms)|virt: 0.29s (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:41:34.9209 [INFO] uart0: [host: 1.86s (+36.08ms)|virt: 0.34s (+47.56ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:34.9350 [INFO] uart0: [host: 1.87s (+14.13ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:34.9647 [INFO] uart0: [host: 1.9s (+29.75ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:35.0277 [INFO] uart0: [host: 1.97s (+62.94ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:35.0445 [INFO] uart0: [host: 1.98s (+16.8ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:41:35.0609 [INFO] uart0: [host: 2s (+16.44ms)|virt: 0.44s (+31µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:41:35.1108 [INFO] uart0: [host: 2.05s (+49.82ms)|virt: 0.49s (+47.51ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:35.1244 [INFO] uart0: [host: 2.06s (+13.69ms)|virt: 0.49s (+62µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:35.2046 [INFO] uart0: [host: 2.14s (+80.14ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:35.2216 [INFO] uart0: [host: 2.16s (+17.05ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:41:35.2464 [INFO] uart0: [host: 2.18s (+24.79ms)|virt: 0.58s (+43µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:41:35.2466 [INFO] nrf52840_papyr: Machine paused. 16:41:35.3277 [INFO] nrf52840_papyr: Disposed.