17:08:33.0613 [INFO] System bus created. 17:08:34.9238 [INFO] sysbus: Loading segment of 25200 bytes length at 0x0. 17:08:34.9399 [INFO] sysbus: Loading segment of 166 bytes length at 0x6270. 17:08:34.9400 [INFO] sysbus: Loading segment of 4 bytes length at 0x6316. 17:08:34.9401 [INFO] sysbus: Loading segment of 18840 bytes length at 0x200000A8. 17:08:35.3826 [INFO] cpu0: Setting initial values: PC = 0xB01, SP = 0x20004A00. 17:08:35.3847 [INFO] ubx_bmd360eval_nrf52811: Machine started. 17:08:35.4412 [WARNING] sysbus: [cpu0: 0x1F88] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:35.4417 [WARNING] sysbus: [cpu0: 0x532C] ReadDoubleWord from non existing peripheral at 0x10000130. 17:08:35.4422 [WARNING] sysbus: [cpu0: 0x20A8] ReadDoubleWord from non existing peripheral at 0x10001200. 17:08:35.4422 [WARNING] sysbus: [cpu0: 0x20B4] ReadDoubleWord from non existing peripheral at 0x10001204. 17:08:35.4550 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:08:35.4569 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:08:35.4602 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 17:08:35.4619 [WARNING] sysbus: [cpu0: 0x2742] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 17:08:35.4619 [WARNING] sysbus: [cpu0: 0x2742] ReadDoubleWord from non existing peripheral at 0x4000617C. 17:08:35.4620 [WARNING] sysbus: [cpu0: 0x2754] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 17:08:35.4685 [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:35.4685 [WARNING] sysbus: [cpu0: 0x1814] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 17:08:35.4685 [WARNING] sysbus: [cpu0: 0x17CE] ReadDoubleWord from non existing peripheral at 0x50000718. 17:08:35.4685 [WARNING] sysbus: [cpu0: 0x17CE] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 17:08:35.4686 [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:35.4686 [WARNING] sysbus: [cpu0: 0x17B2] ReadDoubleWord from non existing peripheral at 0x50000720. 17:08:35.4686 [WARNING] sysbus: [cpu0: 0x17B2] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 17:08:35.4686 [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:35.4687 [WARNING] sysbus: [cpu0: 0x1810] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 17:08:35.4687 [WARNING] sysbus: [cpu0: 0x17B2] ReadDoubleWord from non existing peripheral at 0x50000714. 17:08:35.4687 [WARNING] sysbus: [cpu0: 0x17B2] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 17:08:35.4687 [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:35.4687 [WARNING] sysbus: [cpu0: 0x17B2] ReadDoubleWord from non existing peripheral at 0x5000071C. 17:08:35.4688 [WARNING] sysbus: [cpu0: 0x17B2] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 17:08:35.4692 [WARNING] sysbus: [cpu0: 0x534E] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 17:08:35.4692 [WARNING] sysbus: [cpu0: 0x534E] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 17:08:35.4692 [WARNING] sysbus: [cpu0: 0x21A8] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 17:08:35.4733 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 17:08:35.4734 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 17:08:35.4751 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 17:08:35.4792 [WARNING] clock: Unhandled read from offset 0x414. 17:08:35.5214 [INFO] uart0: [host: 0.9s (+0.9s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:08:35.5363 [INFO] ubx_bmd360eval_nrf52811: Machine paused. 17:08:35.5430 [INFO] ubx_bmd360eval_nrf52811: Machine resumed. 17:08:35.5436 [INFO] uart0: [host: 0.92s (+22.26ms)|virt: 0.25ms (+47µs)] 17:08:35.5528 [INFO] uart0: [host: 0.93s (+8.97ms)|virt: 0.25ms (+0s)] [2J[15;1HDemo Description 17:08:35.5587 [INFO] uart0: [host: 0.94s (+6.1ms)|virt: 0.25ms (+0s)] ---------------- 17:08:35.5912 [INFO] uart0: [host: 0.97s (+32.44ms)|virt: 0.3ms (+48µs)] An implementation of a solution to the Dining Philosophers 17:08:35.6125 [INFO] uart0: [host: 0.99s (+21.35ms)|virt: 0.4ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 17:08:35.6351 [INFO] uart0: [host: 1.01s (+22.57ms)|virt: 0.4ms (+0s)] This particular implementation demonstrates the usage of multiple 17:08:35.6681 [INFO] uart0: [host: 1.04s (+30.57ms)|virt: 0.5ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 17:08:35.6851 [INFO] uart0: [host: 1.06s (+19.45ms)|virt: 0.5ms (+0s)] well as dynamic mutexes and thread sleeping. 17:08:35.7128 [INFO] uart0: [host: 1.09s (+27.66ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:08:35.7381 [INFO] uart0: [host: 1.12s (+25.31ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:08:35.7565 [INFO] uart0: [host: 1.14s (+18.44ms)|virt: 0.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:08:35.7762 [INFO] uart0: [host: 1.16s (+19.67ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:08:35.8037 [INFO] uart0: [host: 1.18s (+27.55ms)|virt: 0.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:08:35.8353 [INFO] uart0: [host: 1.21s (+31.58ms)|virt: 0.91ms (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:08:35.8598 [INFO] uart0: [host: 1.24s (+20.8ms)|virt: 1ms (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:08:35.8850 [INFO] uart0: [host: 1.26s (+28.9ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:08:35.9129 [INFO] uart0: [host: 1.29s (+27.88ms)|virt: 1.1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:08:35.9626 [INFO] uart0: [host: 1.34s (+49.69ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:08:36.0117 [INFO] uart0: [host: 1.39s (+49.14ms)|virt: 1.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:08:36.0645 [INFO] uart0: [host: 1.44s (+52.79ms)|virt: 1.3ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:08:36.1325 [INFO] uart0: [host: 1.51s (+67.98ms)|virt: 39.8ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:08:36.1613 [INFO] uart0: [host: 1.54s (+28.82ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:08:36.2019 [INFO] uart0: [host: 1.58s (+40.58ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:08:36.2364 [INFO] uart0: [host: 1.62s (+34.51ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:08:36.3109 [INFO] uart0: [host: 1.69s (+74.55ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:08:36.3452 [INFO] uart0: [host: 1.72s (+34.26ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:08:36.3475 [INFO] ubx_bmd360eval_nrf52811: Machine paused. 17:08:36.3568 [INFO] ubx_bmd360eval_nrf52811: Machine resumed. 17:08:36.3571 [INFO] uart0: [host: 1.74s (+11.89ms)|virt: 79.6ms (+98µs)] 17:08:36.3884 [INFO] uart0: [host: 1.77s (+30.07ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:08:36.4305 [INFO] uart0: [host: 1.81s (+43.37ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:08:36.4784 [INFO] uart0: [host: 1.86s (+47.87ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:08:36.5407 [INFO] uart0: [host: 1.92s (+62.31ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:08:36.6031 [INFO] uart0: [host: 1.98s (+62.34ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:08:36.6582 [INFO] uart0: [host: 2.04s (+55.15ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:08:36.6979 [INFO] uart0: [host: 2.08s (+39.71ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:08:36.7541 [INFO] uart0: [host: 2.13s (+56.2ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:08:36.8123 [INFO] uart0: [host: 2.19s (+58.21ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:08:36.8479 [INFO] uart0: [host: 2.23s (+35.56ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:08:36.8850 [INFO] uart0: [host: 2.26s (+37.01ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:08:36.9269 [INFO] uart0: [host: 2.31s (+42.03ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:08:36.9607 [INFO] uart0: [host: 2.34s (+33.82ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:08:36.9969 [INFO] uart0: [host: 2.38s (+35.52ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:08:37.0263 [INFO] uart0: [host: 2.41s (+30.01ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:08:37.0651 [INFO] uart0: [host: 2.44s (+38.8ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:08:37.1338 [INFO] uart0: [host: 2.51s (+68.68ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:08:37.1664 [INFO] uart0: [host: 2.55s (+32.61ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:08:37.2221 [INFO] uart0: [host: 2.6s (+55.76ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:08:37.2940 [INFO] uart0: [host: 2.67s (+71.83ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:08:37.3384 [INFO] uart0: [host: 2.72s (+44.38ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:08:37.3929 [INFO] uart0: [host: 2.77s (+54.53ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:08:37.4209 [INFO] uart0: [host: 2.8s (+28ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:08:37.4650 [INFO] uart0: [host: 2.84s (+44.14ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:08:37.5243 [INFO] uart0: [host: 2.9s (+59.28ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:08:37.5611 [INFO] uart0: [host: 2.94s (+36.84ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:08:37.6049 [INFO] uart0: [host: 2.98s (+43.74ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:08:37.6607 [INFO] uart0: [host: 3.04s (+55.8ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:08:37.6918 [INFO] uart0: [host: 3.07s (+31.15ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:08:37.6920 [INFO] ubx_bmd360eval_nrf52811: Machine paused. 17:08:37.6963 [INFO] ubx_bmd360eval_nrf52811: Machine resumed. 17:08:37.6967 [INFO] uart0: [host: 3.08s (+4.88ms)|virt: 0.29s (+63µs)] 17:08:37.7304 [INFO] uart0: [host: 3.11s (+33.66ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 17:08:37.7866 [INFO] uart0: [host: 3.17s (+56.22ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:08:37.8190 [INFO] uart0: [host: 3.2s (+32.38ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:08:37.8890 [INFO] uart0: [host: 3.27s (+70.04ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:08:37.9733 [INFO] uart0: [host: 3.35s (+84.27ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:08:38.0194 [INFO] uart0: [host: 3.4s (+46.05ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:08:38.0629 [INFO] uart0: [host: 3.44s (+43.59ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:08:38.1237 [INFO] uart0: [host: 3.5s (+60.78ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:08:38.1610 [INFO] uart0: [host: 3.54s (+37.28ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:08:38.2442 [INFO] uart0: [host: 3.62s (+83.21ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:08:38.2756 [INFO] uart0: [host: 3.65s (+31.44ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:08:38.3093 [INFO] uart0: [host: 3.69s (+33.67ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:08:38.3094 [INFO] ubx_bmd360eval_nrf52811: Machine paused. 17:08:38.3979 [INFO] ubx_bmd360eval_nrf52811: Disposed.