16:41:57.6875 [INFO] System bus created. 16:41:58.7584 [INFO] sysbus: Loading segment of 25764 bytes length at 0x0. 16:41:58.7700 [INFO] sysbus: Loading segment of 166 bytes length at 0x64A4. 16:41:58.7701 [INFO] sysbus: Loading segment of 4 bytes length at 0x654A. 16:41:58.7701 [INFO] sysbus: Loading segment of 18904 bytes length at 0x200000A8. 16:41:59.0645 [INFO] cpu0: Setting initial values: PC = 0xB49, SP = 0x20004A40. 16:41:59.0653 [INFO] ubx_bmd300eval_nrf52832: Machine started. 16:41:59.1042 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1049 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 16:41:59.1050 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1050 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 16:41:59.1051 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1051 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 16:41:59.1051 [WARNING] sysbus: [cpu0: 0x2004] ReadByte from non existing peripheral at 0xF0000FE0. 16:41:59.1051 [WARNING] sysbus: [cpu0: 0x20D8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1051 [WARNING] sysbus: [cpu0: 0x20D8] ReadDoubleWord from non existing peripheral at 0x10000134. 16:41:59.1052 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1052 [WARNING] sysbus: [cpu0: 0x55BC] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1052 [WARNING] sysbus: [cpu0: 0x21CE] ReadDoubleWord from non existing peripheral at 0x10000130. 16:41:59.1052 [WARNING] sysbus: [cpu0: 0x2228] ReadDoubleWord from non existing peripheral at 0x10001200. 16:41:59.1052 [WARNING] sysbus: [cpu0: 0x2234] ReadDoubleWord from non existing peripheral at 0x10001204. 16:41:59.1139 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:41:59.1153 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:41:59.1164 [WARNING] sysbus: [cpu0: 0x1114] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:41:59.1164 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:41:59.1183 [WARNING] sysbus: [cpu0: 0x29E2] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:41:59.1183 [WARNING] sysbus: [cpu0: 0x29E2] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:41:59.1184 [WARNING] sysbus: [cpu0: 0x29F4] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:41:59.1217 [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). 16:41:59.1217 [WARNING] sysbus: [cpu0: 0x18B4] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 16:41:59.1218 [WARNING] sysbus: [cpu0: 0x186E] ReadDoubleWord from non existing peripheral at 0x50000718. 16:41:59.1218 [WARNING] sysbus: [cpu0: 0x186E] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 16:41:59.1218 [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). 16:41:59.1218 [WARNING] sysbus: [cpu0: 0x1852] ReadDoubleWord from non existing peripheral at 0x50000720. 16:41:59.1218 [WARNING] sysbus: [cpu0: 0x1852] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 16:41:59.1218 [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). 16:41:59.1219 [WARNING] sysbus: [cpu0: 0x18B0] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 16:41:59.1219 [WARNING] sysbus: [cpu0: 0x18B0] ReadDoubleWord from non existing peripheral at 0x50000714. 16:41:59.1219 [WARNING] sysbus: [cpu0: 0x18B0] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 16:41:59.1219 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:41:59.1219 [WARNING] sysbus: [cpu0: 0x1800] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:41:59.1219 [WARNING] sysbus: [cpu0: 0x1800] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 16:41:59.1230 [WARNING] sysbus: [cpu0: 0x55DE] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 16:41:59.1230 [WARNING] sysbus: [cpu0: 0x55DE] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 16:41:59.1230 [WARNING] sysbus: [cpu0: 0x233C] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 16:41:59.1258 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:41:59.1258 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:41:59.1260 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:41:59.1297 [WARNING] clock: Unhandled read from offset 0x414. 16:41:59.1298 [WARNING] nvic0: Unhandled read from offset 0xDFC. 16:41:59.1298 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x1000000. 16:41:59.1430 [WARNING] nvic0: Unhandled write to offset 0xDFC, value 0x0. 16:41:59.1710 [INFO] uart0: [host: 0.64s (+0.64s)|virt: 0.5ms (+0.5ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:41:59.1820 [INFO] ubx_bmd300eval_nrf52832: Machine paused. 16:41:59.1868 [INFO] ubx_bmd300eval_nrf52832: Machine resumed. 16:41:59.1873 [INFO] uart0: [host: 0.65s (+16.52ms)|virt: 0.55ms (+48µs)] 16:41:59.1911 [INFO] uart0: [host: 0.66s (+3.81ms)|virt: 0.55ms (+0s)] [2J[15;1HDemo Description 16:41:59.1934 [INFO] uart0: [host: 0.66s (+2.39ms)|virt: 0.55ms (+0s)] ---------------- 16:41:59.2041 [INFO] uart0: [host: 0.67s (+8.94ms)|virt: 0.6ms (+47µs)] An implementation of a solution to the Dining Philosophers 16:41:59.2121 [INFO] uart0: [host: 0.68s (+9.71ms)|virt: 0.7ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 16:41:59.2229 [INFO] uart0: [host: 0.69s (+8.71ms)|virt: 0.7ms (+0s)] This particular implementation demonstrates the usage of multiple 16:41:59.2351 [INFO] uart0: [host: 0.7s (+13.57ms)|virt: 0.8ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:41:59.2406 [INFO] uart0: [host: 0.71s (+6.24ms)|virt: 0.8ms (+0s)] well as dynamic mutexes and thread sleeping. 16:41:59.2523 [INFO] uart0: [host: 0.72s (+11.67ms)|virt: 0.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:59.2678 [INFO] uart0: [host: 0.73s (+13.1ms)|virt: 1ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:59.2730 [INFO] uart0: [host: 0.74s (+7.62ms)|virt: 1ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:59.2833 [INFO] uart0: [host: 0.75s (+9.9ms)|virt: 1.1ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:59.2932 [INFO] uart0: [host: 0.76s (+10.24ms)|virt: 1.2ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:59.3047 [INFO] uart0: [host: 0.77s (+11.53ms)|virt: 1.21ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:59.3225 [INFO] uart0: [host: 0.79s (+17.8ms)|virt: 1.3ms (+89µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:59.3342 [INFO] uart0: [host: 0.8s (+11.64ms)|virt: 1.4ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:59.3439 [INFO] uart0: [host: 0.81s (+9.75ms)|virt: 1.4ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:59.3660 [INFO] uart0: [host: 0.83s (+22.13ms)|virt: 1.5ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:59.3880 [INFO] uart0: [host: 0.86s (+21.98ms)|virt: 1.5ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:59.4081 [INFO] uart0: [host: 0.88s (+20.06ms)|virt: 1.6ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:59.4416 [INFO] uart0: [host: 0.91s (+33.5ms)|virt: 39.8ms (+38.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:59.4556 [INFO] uart0: [host: 0.92s (+14.06ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:41:59.4703 [INFO] uart0: [host: 0.94s (+13.87ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:41:59.4854 [INFO] uart0: [host: 0.95s (+15.94ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:41:59.5252 [INFO] uart0: [host: 0.99s (+39.76ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:41:59.5602 [INFO] uart0: [host: 1.03s (+35.01ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:41:59.5610 [INFO] ubx_bmd300eval_nrf52832: Machine paused. 16:41:59.5646 [INFO] ubx_bmd300eval_nrf52832: Machine resumed. 16:41:59.5647 [INFO] uart0: [host: 1.03s (+4.55ms)|virt: 79.6ms (+98µs)] 16:41:59.5853 [INFO] uart0: [host: 1.05s (+20.55ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:59.6013 [INFO] uart0: [host: 1.07s (+16.01ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:59.6127 [INFO] uart0: [host: 1.08s (+11.36ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:59.6251 [INFO] uart0: [host: 1.09s (+10.89ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:59.6353 [INFO] uart0: [host: 1.1s (+10.99ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:41:59.6474 [INFO] uart0: [host: 1.12s (+12.89ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:41:59.6594 [INFO] uart0: [host: 1.13s (+11.44ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:41:59.6790 [INFO] uart0: [host: 1.15s (+20.1ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:59.6903 [INFO] uart0: [host: 1.16s (+11.35ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:59.7042 [INFO] uart0: [host: 1.17s (+13.86ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:41:59.7155 [INFO] uart0: [host: 1.18s (+11.34ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:59.7340 [INFO] uart0: [host: 1.2s (+18.43ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:59.7545 [INFO] uart0: [host: 1.22s (+20.54ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:41:59.7757 [INFO] uart0: [host: 1.24s (+21.24ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:59.7898 [INFO] uart0: [host: 1.26s (+14.09ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:41:59.8027 [INFO] uart0: [host: 1.27s (+12.9ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:41:59.8315 [INFO] uart0: [host: 1.3s (+28.75ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:41:59.8622 [INFO] uart0: [host: 1.33s (+30.75ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:41:59.8992 [INFO] uart0: [host: 1.37s (+36.99ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:41:59.9264 [INFO] uart0: [host: 1.39s (+27.17ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:59.9381 [INFO] uart0: [host: 1.41s (+11.65ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:59.9660 [INFO] uart0: [host: 1.43s (+27.91ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:42:00.0034 [INFO] uart0: [host: 1.47s (+36.6ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:42:00.0305 [INFO] uart0: [host: 1.5s (+27.9ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:42:00.0543 [INFO] uart0: [host: 1.52s (+23.8ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:42:00.0695 [INFO] uart0: [host: 1.54s (+15.22ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:42:00.0870 [INFO] uart0: [host: 1.55s (+16.79ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:42:00.1017 [INFO] uart0: [host: 1.57s (+15.46ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:42:00.1147 [INFO] uart0: [host: 1.58s (+12.96ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:42:00.1148 [INFO] ubx_bmd300eval_nrf52832: Machine paused. 16:42:00.1206 [INFO] ubx_bmd300eval_nrf52832: Machine resumed. 16:42:00.1207 [INFO] uart0: [host: 1.59s (+6.02ms)|virt: 0.29s (+63µs)] 16:42:00.1341 [INFO] uart0: [host: 1.6s (+13.34ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:42:00.1716 [INFO] uart0: [host: 1.64s (+37.56ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:42:00.1828 [INFO] uart0: [host: 1.65s (+11.2ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:42:00.2009 [INFO] uart0: [host: 1.67s (+18.09ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:42:00.2238 [INFO] uart0: [host: 1.69s (+22.87ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:42:00.2356 [INFO] uart0: [host: 1.7s (+11.82ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:42:00.2539 [INFO] uart0: [host: 1.72s (+18.34ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:42:00.2763 [INFO] uart0: [host: 1.74s (+22.33ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:42:00.2930 [INFO] uart0: [host: 1.76s (+15.89ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:42:00.3268 [INFO] uart0: [host: 1.79s (+34.66ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:42:00.3387 [INFO] uart0: [host: 1.81s (+11.87ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:42:00.3520 [INFO] uart0: [host: 1.82s (+13.27ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:42:00.3521 [INFO] ubx_bmd300eval_nrf52832: Machine paused. 16:42:00.3854 [INFO] ubx_bmd300eval_nrf52832: Disposed.