17:08:50.6271 [INFO] System bus created. 17:08:51.9186 [INFO] sysbus: Loading segment of 25536 bytes length at 0x0. 17:08:51.9328 [INFO] sysbus: Loading segment of 166 bytes length at 0x63C0. 17:08:51.9329 [INFO] sysbus: Loading segment of 4 bytes length at 0x6466. 17:08:51.9329 [INFO] sysbus: Loading segment of 17688 bytes length at 0x200000A8. 17:08:52.2862 [INFO] cpu0: Setting initial values: PC = 0xB01, SP = 0x20004580. 17:08:52.2881 [INFO] nrf52dk_nrf52810: Machine started. 17:08:52.3368 [WARNING] sysbus: [cpu0: 0x1FDC] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3372 [WARNING] sysbus: [cpu0: 0x1F70] ReadByte from non existing peripheral at 0xF0000FE0. 17:08:52.3376 [WARNING] sysbus: [cpu0: 0x5540] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3379 [WARNING] sysbus: [cpu0: 0x1F70] ReadByte from non existing peripheral at 0xF0000FE0. 17:08:52.3379 [WARNING] sysbus: [cpu0: 0x5540] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3380 [WARNING] sysbus: [cpu0: 0x1F70] ReadByte from non existing peripheral at 0xF0000FE0. 17:08:52.3380 [WARNING] sysbus: [cpu0: 0x1F70] ReadByte from non existing peripheral at 0xF0000FE0. 17:08:52.3380 [WARNING] sysbus: [cpu0: 0x208A] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3381 [WARNING] sysbus: [cpu0: 0x208A] ReadDoubleWord from non existing peripheral at 0x10000134. 17:08:52.3381 [WARNING] sysbus: [cpu0: 0x2152] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3381 [WARNING] sysbus: [cpu0: 0x5540] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3381 [WARNING] sysbus: [cpu0: 0x2198] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3381 [WARNING] sysbus: [cpu0: 0x21C2] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3398 [WARNING] sysbus: [cpu0: 0x1F9E] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:52.3399 [WARNING] sysbus: [cpu0: 0x1F9E] ReadDoubleWord from non existing peripheral at 0x10000134. 17:08:52.3399 [WARNING] sysbus: [cpu0: 0x2240] ReadDoubleWord from non existing peripheral at 0x10001200. 17:08:52.3399 [WARNING] sysbus: [cpu0: 0x224C] ReadDoubleWord from non existing peripheral at 0x10001204. 17:08:52.3399 [WARNING] sysbus: [cpu0: 0x2284] ReadDoubleWord from non existing peripheral at 0x1000120C. 17:08:52.3483 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:08:52.3502 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:08:52.3532 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 17:08:52.3546 [WARNING] sysbus: [cpu0: 0x29BE] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 17:08:52.3546 [WARNING] sysbus: [cpu0: 0x29BE] ReadDoubleWord from non existing peripheral at 0x4000617C. 17:08:52.3546 [WARNING] sysbus: [cpu0: 0x29D0] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 17:08:52.3607 [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). 17:08:52.3608 [WARNING] sysbus: [cpu0: 0x1802] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 17:08:52.3608 [WARNING] sysbus: [cpu0: 0x17C6] ReadDoubleWord from non existing peripheral at 0x50000718. 17:08:52.3608 [WARNING] sysbus: [cpu0: 0x17C6] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 17:08:52.3608 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [0-2, 4-31] when writing value 0x8. Tags: PIN (0x17), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:08:52.3609 [WARNING] sysbus: [cpu0: 0x17AA] ReadDoubleWord from non existing peripheral at 0x50000720. 17:08:52.3609 [WARNING] sysbus: [cpu0: 0x17AA] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 17:08:52.3609 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [1, 3-31] when writing value 0x5. Tags: PIN (0x1A), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:08:52.3609 [WARNING] sysbus: [cpu0: 0x1802] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 17:08:52.3610 [WARNING] sysbus: [cpu0: 0x17AA] ReadDoubleWord from non existing peripheral at 0x50000714. 17:08:52.3610 [WARNING] sysbus: [cpu0: 0x17AA] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 17:08:52.3610 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:08:52.3610 [WARNING] sysbus: [cpu0: 0x17AA] ReadDoubleWord from non existing peripheral at 0x5000071C. 17:08:52.3610 [WARNING] sysbus: [cpu0: 0x17AA] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 17:08:52.3613 [WARNING] sysbus: [cpu0: 0x556C] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 17:08:52.3614 [WARNING] sysbus: [cpu0: 0x556C] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 17:08:52.3614 [WARNING] sysbus: [cpu0: 0x235C] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 17:08:52.3653 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 17:08:52.3653 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 17:08:52.3657 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 17:08:52.3709 [WARNING] clock: Unhandled read from offset 0x414. 17:08:52.4056 [INFO] uart0: [host: 0.74s (+0.74s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:08:52.4191 [INFO] nrf52dk_nrf52810: Machine paused. 17:08:52.4239 [INFO] nrf52dk_nrf52810: Machine resumed. 17:08:52.4243 [INFO] uart0: [host: 0.76s (+18.85ms)|virt: 0.15ms (+47µs)] 17:08:52.4344 [INFO] uart0: [host: 0.77s (+9.92ms)|virt: 0.15ms (+0s)] [2J[15;1HDemo Description 17:08:52.4408 [INFO] uart0: [host: 0.78s (+6.6ms)|virt: 0.15ms (+0s)] ---------------- 17:08:52.4591 [INFO] uart0: [host: 0.8s (+18.32ms)|virt: 0.2ms (+48µs)] An implementation of a solution to the Dining Philosophers 17:08:52.4793 [INFO] uart0: [host: 0.82s (+20.2ms)|virt: 0.3ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 17:08:52.5039 [INFO] uart0: [host: 0.84s (+22.05ms)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 17:08:52.5212 [INFO] uart0: [host: 0.86s (+19.81ms)|virt: 0.4ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 17:08:52.5527 [INFO] uart0: [host: 0.89s (+31.45ms)|virt: 0.4ms (+0s)] well as dynamic mutexes and thread sleeping. 17:08:52.5991 [INFO] uart0: [host: 0.94s (+46.44ms)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:08:52.6341 [INFO] uart0: [host: 0.97s (+35.05ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:08:52.6647 [INFO] uart0: [host: 1s (+30.52ms)|virt: 0.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:08:52.6946 [INFO] uart0: [host: 1.03s (+29.89ms)|virt: 0.7ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:08:52.7213 [INFO] uart0: [host: 1.06s (+26.72ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:08:52.7508 [INFO] uart0: [host: 1.09s (+29.5ms)|virt: 0.81ms (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:08:52.7800 [INFO] uart0: [host: 1.12s (+29.23ms)|virt: 0.9ms (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:08:52.8099 [INFO] uart0: [host: 1.15s (+29.93ms)|virt: 1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:08:52.8377 [INFO] uart0: [host: 1.18s (+27.72ms)|virt: 1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:08:52.8701 [INFO] uart0: [host: 1.21s (+32.41ms)|virt: 1.1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:08:52.9020 [INFO] uart0: [host: 1.24s (+31.92ms)|virt: 1.1ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:08:52.9359 [INFO] uart0: [host: 1.27s (+32.76ms)|virt: 1.2ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:08:52.9855 [INFO] uart0: [host: 1.32s (+50.74ms)|virt: 39.7ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:08:53.0162 [INFO] uart0: [host: 1.35s (+30.65ms)|virt: 39.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:08:53.0404 [INFO] uart0: [host: 1.38s (+24.23ms)|virt: 39.82ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:08:53.0644 [INFO] uart0: [host: 1.4s (+24.01ms)|virt: 39.9ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:08:53.1177 [INFO] uart0: [host: 1.46s (+53.34ms)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:08:53.1524 [INFO] uart0: [host: 1.49s (+34.67ms)|virt: 79.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:08:53.1531 [INFO] nrf52dk_nrf52810: Machine paused. 17:08:53.1558 [INFO] nrf52dk_nrf52810: Machine resumed. 17:08:53.1561 [INFO] uart0: [host: 1.49s (+3.73ms)|virt: 79.5ms (+98µs)] 17:08:53.1794 [INFO] uart0: [host: 1.52s (+23.23ms)|virt: 79.5ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:08:53.2018 [INFO] uart0: [host: 1.54s (+22.42ms)|virt: 79.6ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:08:53.2227 [INFO] uart0: [host: 1.56s (+20.93ms)|virt: 79.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:08:53.2456 [INFO] uart0: [host: 1.58s (+22.85ms)|virt: 79.7ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:08:53.2715 [INFO] uart0: [host: 1.61s (+25.93ms)|virt: 79.8ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:08:53.3018 [INFO] uart0: [host: 1.64s (+30.3ms)|virt: 79.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:08:53.3290 [INFO] uart0: [host: 1.67s (+27.26ms)|virt: 79.91ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:08:53.3746 [INFO] uart0: [host: 1.71s (+45.56ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:08:53.4032 [INFO] uart0: [host: 1.74s (+28.62ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:08:53.4248 [INFO] uart0: [host: 1.76s (+21.58ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:08:53.4472 [INFO] uart0: [host: 1.78s (+22.4ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:08:53.4770 [INFO] uart0: [host: 1.81s (+29.84ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:08:53.4985 [INFO] uart0: [host: 1.84s (+21.47ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:08:53.5201 [INFO] uart0: [host: 1.86s (+21.63ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:08:53.5520 [INFO] uart0: [host: 1.89s (+31.9ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:08:53.5862 [INFO] uart0: [host: 1.92s (+34.17ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:08:53.6677 [INFO] uart0: [host: 2.01s (+81.48ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:08:53.6896 [INFO] uart0: [host: 2.03s (+21.9ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:08:53.7125 [INFO] uart0: [host: 2.05s (+22.86ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:08:53.7466 [INFO] uart0: [host: 2.08s (+34.14ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:08:53.7744 [INFO] uart0: [host: 2.11s (+27.8ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:08:53.8095 [INFO] uart0: [host: 2.15s (+35.06ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:08:53.8327 [INFO] uart0: [host: 2.17s (+23.24ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:08:53.8598 [INFO] uart0: [host: 2.2s (+27.11ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:08:53.8996 [INFO] uart0: [host: 2.24s (+39.82ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:08:53.9253 [INFO] uart0: [host: 2.26s (+25.65ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:08:53.9556 [INFO] uart0: [host: 2.29s (+30.4ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:08:53.9887 [INFO] uart0: [host: 2.33s (+33.08ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:08:54.0226 [INFO] uart0: [host: 2.36s (+33.87ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:08:54.0228 [INFO] nrf52dk_nrf52810: Machine paused. 17:08:54.0303 [INFO] nrf52dk_nrf52810: Machine resumed. 17:08:54.0306 [INFO] uart0: [host: 2.37s (+7.98ms)|virt: 0.29s (+63µs)] 17:08:54.0544 [INFO] uart0: [host: 2.39s (+23.77ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 17:08:54.0961 [INFO] uart0: [host: 2.43s (+41.79ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:08:54.1176 [INFO] uart0: [host: 2.46s (+21.43ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:08:54.1561 [INFO] uart0: [host: 2.49s (+38.55ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:08:54.2134 [INFO] uart0: [host: 2.55s (+57.29ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:08:54.2449 [INFO] uart0: [host: 2.58s (+31.49ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:08:54.2691 [INFO] uart0: [host: 2.61s (+24.17ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:08:54.3211 [INFO] uart0: [host: 2.66s (+52.04ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:08:54.3484 [INFO] uart0: [host: 2.69s (+26.68ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:08:54.4093 [INFO] uart0: [host: 2.75s (+61.53ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:08:54.4354 [INFO] uart0: [host: 2.77s (+26.07ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:08:54.4705 [INFO] uart0: [host: 2.81s (+35.05ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:08:54.4706 [INFO] nrf52dk_nrf52810: Machine paused. 17:08:54.5439 [INFO] nrf52dk_nrf52810: Disposed.