17:11:56.7251 [INFO] System bus created. 17:11:57.7718 [INFO] sysbus: Loading segment of 25252 bytes length at 0x0. 17:11:57.7880 [INFO] sysbus: Loading segment of 166 bytes length at 0x62A4. 17:11:57.7882 [INFO] sysbus: Loading segment of 4 bytes length at 0x634A. 17:11:57.7883 [INFO] sysbus: Loading segment of 18840 bytes length at 0x200000A8. 17:11:58.0900 [INFO] cpu0: Setting initial values: PC = 0xB01, SP = 0x20004A00. 17:11:58.0906 [INFO] ubx_bmd330eval_nrf52810: Machine started. 17:11:58.1400 [WARNING] sysbus: [cpu0: 0x1FB0] ReadDoubleWord from non existing peripheral at 0x10000130. 17:11:58.1402 [WARNING] sysbus: [cpu0: 0x2076] ReadDoubleWord from non existing peripheral at 0x10000130. 17:11:58.1406 [WARNING] sysbus: [cpu0: 0x1F78] ReadDoubleWord from non existing peripheral at 0x10000130. 17:11:58.1419 [WARNING] sysbus: [cpu0: 0x20F8] ReadDoubleWord from non existing peripheral at 0x10001200. 17:11:58.1420 [WARNING] sysbus: [cpu0: 0x2104] ReadDoubleWord from non existing peripheral at 0x10001204. 17:11:58.1502 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 17:11:58.1537 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 17:11:58.1546 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 17:11:58.1558 [WARNING] sysbus: [cpu0: 0x284E] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 17:11:58.1559 [WARNING] sysbus: [cpu0: 0x284E] ReadDoubleWord from non existing peripheral at 0x4000617C. 17:11:58.1559 [WARNING] sysbus: [cpu0: 0x2860] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 17:11:58.1625 [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:11:58.1625 [WARNING] sysbus: [cpu0: 0x1814] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 17:11:58.1625 [WARNING] sysbus: [cpu0: 0x17CE] ReadDoubleWord from non existing peripheral at 0x50000718. 17:11:58.1626 [WARNING] sysbus: [cpu0: 0x17CE] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 17:11:58.1626 [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:11:58.1626 [WARNING] sysbus: [cpu0: 0x17B2] ReadDoubleWord from non existing peripheral at 0x50000720. 17:11:58.1626 [WARNING] sysbus: [cpu0: 0x17B2] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 17:11:58.1627 [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:11:58.1627 [WARNING] sysbus: [cpu0: 0x1810] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 17:11:58.1627 [WARNING] sysbus: [cpu0: 0x17B2] ReadDoubleWord from non existing peripheral at 0x50000714. 17:11:58.1627 [WARNING] sysbus: [cpu0: 0x17B2] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 17:11:58.1627 [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:11:58.1627 [WARNING] sysbus: [cpu0: 0x17B2] ReadDoubleWord from non existing peripheral at 0x5000071C. 17:11:58.1627 [WARNING] sysbus: [cpu0: 0x17B2] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 17:11:58.1632 [WARNING] sysbus: [cpu0: 0x543E] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 17:11:58.1632 [WARNING] sysbus: [cpu0: 0x543E] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 17:11:58.1633 [WARNING] sysbus: [cpu0: 0x21EC] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 17:11:58.1689 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 17:11:58.1689 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 17:11:58.1692 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 17:11:58.1751 [WARNING] clock: Unhandled read from offset 0x414. 17:11:58.1911 [INFO] uart0: [host: 0.66s (+0.66s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:11:58.1948 [INFO] uart0: [host: 0.67s (+3.64ms)|virt: 0.2ms (+0s)] [2J[15;1HDemo Description 17:11:58.1959 [INFO] uart0: [host: 0.67s (+1.24ms)|virt: 0.2ms (+0s)] ---------------- 17:11:58.2028 [INFO] uart0: [host: 0.67s (+6.8ms)|virt: 0.3ms (+95µs)] An implementation of a solution to the Dining Philosophers 17:11:58.2055 [WARNING] Pause on match was requested, but the matching string had already been printed when the assertion was made. Pause time will not be deterministic. 17:11:58.2096 [INFO] ubx_bmd330eval_nrf52810: Machine paused. 17:11:58.2154 [INFO] ubx_bmd330eval_nrf52810: Machine resumed. 17:11:58.2303 [INFO] uart0: [host: 0.7s (+27.53ms)|virt: 0.4ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 17:11:58.2405 [INFO] uart0: [host: 0.71s (+9.76ms)|virt: 0.4ms (+0s)] This particular implementation demonstrates the usage of multiple 17:11:58.2470 [INFO] uart0: [host: 0.72s (+6.93ms)|virt: 0.5ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 17:11:58.2513 [INFO] uart0: [host: 0.72s (+4.36ms)|virt: 0.5ms (+0s)] well as dynamic mutexes and thread sleeping. 17:11:58.2645 [INFO] uart0: [host: 0.74s (+13.18ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:11:58.2711 [INFO] uart0: [host: 0.74s (+6.65ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:11:58.2771 [INFO] uart0: [host: 0.75s (+5.92ms)|virt: 0.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:11:58.2847 [INFO] uart0: [host: 0.76s (+7.67ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:11:58.2939 [INFO] uart0: [host: 0.76s (+9.15ms)|virt: 0.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:11:58.3023 [INFO] uart0: [host: 0.77s (+8.45ms)|virt: 0.91ms (+10µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:11:58.3096 [INFO] uart0: [host: 0.78s (+7.28ms)|virt: 1ms (+90µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:11:58.3216 [INFO] uart0: [host: 0.79s (+11.95ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:11:58.3366 [INFO] uart0: [host: 0.81s (+14.44ms)|virt: 1.1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:11:58.3453 [INFO] uart0: [host: 0.82s (+9.3ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:11:58.3541 [INFO] uart0: [host: 0.83s (+8.8ms)|virt: 1.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:11:58.3648 [INFO] uart0: [host: 0.84s (+10.65ms)|virt: 1.3ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:11:58.3899 [INFO] uart0: [host: 0.86s (+25.14ms)|virt: 39.8ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:11:58.4080 [INFO] uart0: [host: 0.88s (+15.06ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:11:58.4198 [INFO] uart0: [host: 0.89s (+14.86ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:11:58.4313 [INFO] uart0: [host: 0.9s (+11.5ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:11:58.4560 [INFO] uart0: [host: 0.93s (+23.71ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:11:58.4705 [INFO] uart0: [host: 0.94s (+15.46ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:11:58.4808 [INFO] ubx_bmd330eval_nrf52810: Machine paused. 17:11:58.4868 [INFO] ubx_bmd330eval_nrf52810: Machine resumed. 17:11:58.4869 [INFO] uart0: [host: 0.96s (+16.49ms)|virt: 79.6ms (+98µs)] 17:11:58.5056 [INFO] uart0: [host: 0.98s (+17.4ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:11:58.5181 [INFO] uart0: [host: 0.99s (+13.68ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:11:58.5275 [INFO] uart0: [host: 1s (+7.87ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:11:58.5348 [INFO] uart0: [host: 1.01s (+8.87ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:11:58.5434 [INFO] uart0: [host: 1.01s (+8.65ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:11:58.5535 [INFO] uart0: [host: 1.02s (+9.19ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:11:58.5617 [INFO] uart0: [host: 1.03s (+9.05ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:11:58.5840 [INFO] uart0: [host: 1.06s (+22.27ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:11:58.5991 [INFO] uart0: [host: 1.07s (+15.17ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:11:58.6102 [INFO] uart0: [host: 1.08s (+11.05ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:11:58.6214 [INFO] uart0: [host: 1.09s (+11.19ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:11:58.6320 [INFO] uart0: [host: 1.1s (+10.69ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:11:58.6417 [INFO] uart0: [host: 1.11s (+9.67ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:11:58.6576 [INFO] uart0: [host: 1.13s (+15.9ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:11:58.6671 [INFO] uart0: [host: 1.14s (+9.51ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:11:58.6778 [INFO] uart0: [host: 1.15s (+10.7ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:11:58.7083 [INFO] uart0: [host: 1.18s (+30.44ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:11:58.7198 [INFO] uart0: [host: 1.19s (+11.54ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:11:58.7311 [INFO] uart0: [host: 1.2s (+11.22ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:11:58.7661 [INFO] uart0: [host: 1.24s (+34.97ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:11:58.7806 [INFO] uart0: [host: 1.25s (+14.45ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:11:58.8074 [INFO] uart0: [host: 1.28s (+26.88ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:11:58.8199 [INFO] uart0: [host: 1.29s (+10.89ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:11:58.8415 [INFO] uart0: [host: 1.31s (+23.26ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:11:58.8788 [INFO] uart0: [host: 1.35s (+37.25ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:11:58.8918 [INFO] uart0: [host: 1.36s (+11.94ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:11:58.9105 [INFO] uart0: [host: 1.38s (+19.78ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:11:58.9411 [INFO] uart0: [host: 1.41s (+30.63ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:11:58.9731 [INFO] uart0: [host: 1.44s (+31.95ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:11:58.9732 [INFO] ubx_bmd330eval_nrf52810: Machine paused. 17:11:58.9763 [INFO] ubx_bmd330eval_nrf52810: Machine resumed. 17:11:58.9765 [INFO] uart0: [host: 1.45s (+3.5ms)|virt: 0.29s (+63µs)] 17:11:58.9917 [INFO] uart0: [host: 1.46s (+15.15ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 17:11:59.0166 [INFO] uart0: [host: 1.49s (+24.4ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:11:59.0293 [INFO] uart0: [host: 1.5s (+13.27ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:11:59.0443 [INFO] uart0: [host: 1.52s (+14.93ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:11:59.0626 [INFO] uart0: [host: 1.53s (+18.35ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:11:59.0714 [INFO] uart0: [host: 1.54s (+8.83ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:11:59.0812 [INFO] uart0: [host: 1.55s (+9.73ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:11:59.1015 [INFO] uart0: [host: 1.57s (+20.29ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:11:59.1122 [INFO] uart0: [host: 1.58s (+10.3ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:11:59.1420 [INFO] uart0: [host: 1.61s (+30.21ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:11:59.1533 [INFO] uart0: [host: 1.62s (+11.24ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:11:59.1721 [INFO] uart0: [host: 1.64s (+18.87ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:11:59.1723 [INFO] ubx_bmd330eval_nrf52810: Machine paused. 17:11:59.2092 [INFO] ubx_bmd330eval_nrf52810: Disposed.