12:18:26.9612 [INFO] System bus created. 12:18:28.1312 [INFO] sysbus: Loading segment of 25764 bytes length at 0x0. 12:18:28.1450 [INFO] sysbus: Loading segment of 166 bytes length at 0x64A4. 12:18:28.1462 [INFO] sysbus: Loading segment of 4 bytes length at 0x654A. 12:18:28.1462 [INFO] sysbus: Loading segment of 18904 bytes length at 0x200000A8. 12:18:28.4709 [INFO] cpu0: Setting initial values: PC = 0xB49, SP = 0x20004A40. 12:18:28.4717 [INFO] ubx_evkninab1_nrf52832: Machine started. 12:18:28.5194 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5202 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 12:18:28.5206 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5207 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 12:18:28.5208 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5209 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 12:18:28.5210 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 12:18:28.5211 [WARNING] sysbus: [cpu0: 0x20D8] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5211 [WARNING] sysbus: [cpu0: 0x20D8] ReadDoubleWord from non existing peripheral at 0x10000134. 12:18:28.5212 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5213 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5213 [WARNING] sysbus: [cpu0: 0x21CE] ReadDoubleWord from non existing peripheral at 0x10000130. 12:18:28.5214 [WARNING] sysbus: [cpu0: 0x2228] ReadDoubleWord from non existing peripheral at 0x10001200. 12:18:28.5215 [WARNING] sysbus: [cpu0: 0x2234] ReadDoubleWord from non existing peripheral at 0x10001204. 12:18:28.5324 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 12:18:28.5350 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 12:18:28.5367 [WARNING] sysbus: [cpu0: 0x1114] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 12:18:28.5369 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 12:18:28.5383 [WARNING] sysbus: [cpu0: 0x29E2] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 12:18:28.5383 [WARNING] sysbus: [cpu0: 0x29E2] ReadDoubleWord from non existing peripheral at 0x4000617C. 12:18:28.5383 [WARNING] sysbus: [cpu0: 0x29F4] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 12:18:28.5440 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0, 3-31] when writing value 0x6. Tags: PIN (0x19), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:18:28.5441 [WARNING] sysbus: [cpu0: 0x18B4] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 12:18:28.5441 [WARNING] sysbus: [cpu0: 0x186E] ReadDoubleWord from non existing peripheral at 0x50000718. 12:18:28.5442 [WARNING] sysbus: [cpu0: 0x186E] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 12:18:28.5443 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [1, 3-31] when writing value 0x5. Tags: PIN (0x1A), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:18:28.5452 [WARNING] sysbus: [cpu0: 0x1852] ReadDoubleWord from non existing peripheral at 0x50000714. 12:18:28.5452 [WARNING] sysbus: [cpu0: 0x1852] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x0. 12:18:28.5453 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [5-31] when writing value 0x1F. Tags: PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:18:28.5454 [WARNING] sysbus: [cpu0: 0x18B0] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x80000000. 12:18:28.5454 [WARNING] sysbus: [cpu0: 0x18B0] ReadDoubleWord from non existing peripheral at 0x5000077C. 12:18:28.5455 [WARNING] sysbus: [cpu0: 0x18B0] WriteDoubleWord to non existing peripheral at 0x5000077C, value 0x3. 12:18:28.5456 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 12:18:28.5457 [WARNING] sysbus: [cpu0: 0x1800] ReadDoubleWord from non existing peripheral at 0x5000071C. 12:18:28.5457 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 12:18:28.5461 [WARNING] sysbus: [cpu0: 0x55DE] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 12:18:28.5462 [WARNING] sysbus: [cpu0: 0x55DE] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 12:18:28.5463 [WARNING] sysbus: [cpu0: 0x233C] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 12:18:28.5512 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 12:18:28.5513 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 12:18:28.5516 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 12:18:28.5554 [WARNING] clock: Unhandled read from offset 0x414. 12:18:28.5555 [WARNING] nvic0: Unhandled read from offset 0xDFC. 12:18:28.5555 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x1000000. 12:18:28.5716 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x0. 12:18:28.6057 [INFO] uart0: [host: 0.71s (+0.71s)|virt: 0.5ms (+0.5ms)] *** Booting Zephyr OS build 3723493f60a1 *** 12:18:28.6178 [INFO] ubx_evkninab1_nrf52832: Machine paused. 12:18:28.6230 [INFO] ubx_evkninab1_nrf52832: Machine resumed. 12:18:28.6235 [INFO] uart0: [host: 0.73s (+17.81ms)|virt: 0.55ms (+48µs)] 12:18:28.6381 [INFO] uart0: [host: 0.74s (+14.39ms)|virt: 0.55ms (+0s)] [2J[15;1HDemo Description 12:18:28.6432 [INFO] uart0: [host: 0.75s (+5.27ms)|virt: 0.55ms (+0s)] ---------------- 12:18:28.6548 [INFO] uart0: [host: 0.76s (+10.46ms)|virt: 0.6ms (+47µs)] An implementation of a solution to the Dining Philosophers 12:18:28.6704 [INFO] uart0: [host: 0.77s (+16.77ms)|virt: 0.7ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 12:18:28.6883 [INFO] uart0: [host: 0.79s (+17.88ms)|virt: 0.7ms (+0s)] This particular implementation demonstrates the usage of multiple 12:18:28.7049 [INFO] uart0: [host: 0.81s (+16.63ms)|virt: 0.8ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 12:18:28.7153 [INFO] uart0: [host: 0.82s (+10.38ms)|virt: 0.8ms (+0s)] well as dynamic mutexes and thread sleeping. 12:18:28.7357 [INFO] uart0: [host: 0.84s (+20.41ms)|virt: 0.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 12:18:28.7533 [INFO] uart0: [host: 0.86s (+17.59ms)|virt: 1ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:18:28.7774 [INFO] uart0: [host: 0.88s (+24.04ms)|virt: 1ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 12:18:28.7977 [INFO] uart0: [host: 0.9s (+20.3ms)|virt: 1.1ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 12:18:28.8253 [INFO] uart0: [host: 0.93s (+27.7ms)|virt: 1.2ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 12:18:28.8578 [INFO] uart0: [host: 0.96s (+32.42ms)|virt: 1.21ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 12:18:28.8867 [INFO] uart0: [host: 0.99s (+28.98ms)|virt: 1.3ms (+89µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:18:28.9179 [INFO] uart0: [host: 1.02s (+31.08ms)|virt: 1.4ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 12:18:28.9405 [INFO] uart0: [host: 1.04s (+22.72ms)|virt: 1.4ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 12:18:28.9625 [INFO] uart0: [host: 1.07s (+21.97ms)|virt: 1.5ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 12:18:28.9886 [INFO] uart0: [host: 1.09s (+26.08ms)|virt: 1.5ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 12:18:29.0225 [INFO] uart0: [host: 1.13s (+33.93ms)|virt: 1.6ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 12:18:29.0788 [INFO] uart0: [host: 1.18s (+56.31ms)|virt: 39.8ms (+38.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:18:29.1026 [INFO] uart0: [host: 1.21s (+23.7ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 12:18:29.1273 [INFO] uart0: [host: 1.23s (+24.75ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 12:18:29.1587 [INFO] uart0: [host: 1.26s (+31.36ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 12:18:29.2077 [INFO] uart0: [host: 1.31s (+49.01ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 12:18:29.2357 [INFO] uart0: [host: 1.34s (+28.02ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 12:18:29.2376 [INFO] ubx_evkninab1_nrf52832: Machine paused. 12:18:29.2402 [INFO] ubx_evkninab1_nrf52832: Machine resumed. 12:18:29.2405 [INFO] uart0: [host: 1.34s (+4.77ms)|virt: 79.6ms (+98µs)] 12:18:29.2647 [INFO] uart0: [host: 1.37s (+24.29ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 12:18:29.2889 [INFO] uart0: [host: 1.39s (+24.11ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:18:29.3108 [INFO] uart0: [host: 1.41s (+21.96ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 12:18:29.3334 [INFO] uart0: [host: 1.44s (+22.6ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 12:18:29.3652 [INFO] uart0: [host: 1.47s (+31.77ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 12:18:29.3958 [INFO] uart0: [host: 1.5s (+30.59ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 12:18:29.4282 [INFO] uart0: [host: 1.53s (+32.38ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 12:18:29.4960 [INFO] uart0: [host: 1.6s (+67.82ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 12:18:29.5259 [INFO] uart0: [host: 1.63s (+29.93ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:18:29.5628 [INFO] uart0: [host: 1.67s (+36.94ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 12:18:29.5934 [INFO] uart0: [host: 1.7s (+30.51ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 12:18:29.6189 [INFO] uart0: [host: 1.72s (+25.54ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:18:29.6463 [INFO] uart0: [host: 1.75s (+27.4ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 12:18:29.6757 [INFO] uart0: [host: 1.78s (+29.34ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 12:18:29.6981 [INFO] uart0: [host: 1.8s (+22.4ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 12:18:29.7222 [INFO] uart0: [host: 1.83s (+24.12ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 12:18:29.8243 [INFO] uart0: [host: 1.93s (+0.1s)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 12:18:29.8549 [INFO] uart0: [host: 1.96s (+30.62ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 12:18:29.8893 [INFO] uart0: [host: 1.99s (+34.44ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 12:18:29.9383 [INFO] uart0: [host: 2.04s (+48.99ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 12:18:29.9624 [INFO] uart0: [host: 2.07s (+24.08ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 12:18:30.0047 [INFO] uart0: [host: 2.11s (+42.28ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 12:18:30.0306 [INFO] uart0: [host: 2.13s (+25.92ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 12:18:30.0626 [INFO] uart0: [host: 2.17s (+31.98ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 12:18:30.1084 [INFO] uart0: [host: 2.21s (+45.85ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 12:18:30.1349 [INFO] uart0: [host: 2.24s (+26.46ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 12:18:30.1618 [INFO] uart0: [host: 2.27s (+26.93ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 12:18:30.2017 [INFO] uart0: [host: 2.31s (+39.93ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 12:18:30.2357 [INFO] uart0: [host: 2.34s (+33.96ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 12:18:30.2370 [INFO] ubx_evkninab1_nrf52832: Machine paused. 12:18:30.2394 [INFO] ubx_evkninab1_nrf52832: Machine resumed. 12:18:30.2395 [INFO] uart0: [host: 2.34s (+3.85ms)|virt: 0.29s (+63µs)] 12:18:30.2636 [INFO] uart0: [host: 2.37s (+24.01ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 12:18:30.3083 [INFO] uart0: [host: 2.41s (+44.74ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 12:18:30.3302 [INFO] uart0: [host: 2.43s (+21.86ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 12:18:30.3859 [INFO] uart0: [host: 2.49s (+55.73ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 12:18:30.4694 [INFO] uart0: [host: 2.57s (+83.49ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 12:18:30.5052 [INFO] uart0: [host: 2.61s (+35.77ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 12:18:30.5531 [INFO] uart0: [host: 2.66s (+47.94ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 12:18:30.6196 [INFO] uart0: [host: 2.72s (+66.42ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 12:18:30.6482 [INFO] uart0: [host: 2.75s (+28.7ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 12:18:30.7508 [INFO] uart0: [host: 2.85s (+0.1s)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 12:18:30.7859 [INFO] uart0: [host: 2.89s (+35.06ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 12:18:30.8242 [INFO] uart0: [host: 2.93s (+38.29ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 12:18:30.8243 [INFO] ubx_evkninab1_nrf52832: Machine paused. 12:18:30.8864 [INFO] ubx_evkninab1_nrf52832: Disposed.