19:19:55.7548 [INFO] System bus created. 19:19:56.9408 [INFO] sysbus: Loading segment of 26036 bytes length at 0x0. 19:19:56.9544 [INFO] sysbus: Loading segment of 218 bytes length at 0x65B4. 19:19:56.9546 [INFO] sysbus: Loading segment of 4 bytes length at 0x668E. 19:19:56.9547 [INFO] sysbus: Loading segment of 18912 bytes length at 0x200000E0. 19:19:57.3132 [INFO] cpu0: Setting initial values: PC = 0xB6D, SP = 0x20004A80. 19:19:57.3139 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine started. 19:19:57.3656 [WARNING] sysbus: [cpu0: 0x2074] ReadDoubleWord from non existing peripheral at 0x10000130. 19:19:57.3657 [WARNING] sysbus: [cpu0: 0x212E] ReadDoubleWord from non existing peripheral at 0x10000130. 19:19:57.3658 [WARNING] sysbus: [cpu0: 0x2154] ReadDoubleWord from non existing peripheral at 0x10001200. 19:19:57.3658 [WARNING] sysbus: [cpu0: 0x2160] ReadDoubleWord from non existing peripheral at 0x10001204. 19:19:57.3864 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 19:19:57.3888 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 19:19:57.3930 [WARNING] sysbus: [cpu0: 0x1138] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 19:19:57.3932 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 19:19:57.3969 [WARNING] sysbus: [cpu0: 0x28A6] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 19:19:57.3970 [WARNING] sysbus: [cpu0: 0x28A6] ReadDoubleWord from non existing peripheral at 0x4000617C. 19:19:57.3971 [WARNING] sysbus: [cpu0: 0x28B8] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 19:19:57.4023 [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). 19:19:57.4064 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 19:19:57.4065 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000718. 19:19:57.4066 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 19:19:57.4067 [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). 19:19:57.4068 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [5] when writing value 0x20. Tags: RESERVED (0x2). 19:19:57.4069 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000714. 19:19:57.4069 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 19:19:57.4070 [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). 19:19:57.4071 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000720. 19:19:57.4080 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000720, value 0xC. 19:19:57.4081 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:19:57.4082 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x5000071C. 19:19:57.4082 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0xC. 19:19:57.4087 [WARNING] sysbus: [cpu0: 0x553C] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 19:19:57.4087 [WARNING] sysbus: [cpu0: 0x553C] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 19:19:57.4088 [WARNING] sysbus: [cpu0: 0x2248] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 19:19:57.4106 [WARNING] uart1: Unhandled write to offset 0x514. Unhandled bits: [1-4, 6-31] when writing value 0x21. Tags: PIN (0x1E), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:19:57.4107 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000A04. 19:19:57.4108 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000A04, value 0xC. 19:19:57.4108 [WARNING] uart1: Unhandled write to offset 0x50C. Unhandled bits: [0, 2-4, 6-31] when writing value 0x22. Tags: PIN (0x1D), RESERVED (0x1FFFFFF), CONNECT (0x1). 19:19:57.4109 [WARNING] sysbus: [cpu0: 0x1912] WriteDoubleWord to non existing peripheral at 0x50000808, value 0x4. 19:19:57.4110 [WARNING] sysbus: [cpu0: 0x18C6] ReadDoubleWord from non existing peripheral at 0x50000A08. 19:19:57.4110 [WARNING] sysbus: [cpu0: 0x18C6] WriteDoubleWord to non existing peripheral at 0x50000A08, value 0x3. 19:19:57.4112 [WARNING] sysbus: [cpu0: 0x553C] WriteDoubleWord to non existing peripheral at 0x4001F5A0, value 0x40028120. 19:19:57.4112 [WARNING] sysbus: [cpu0: 0x553C] WriteDoubleWord to non existing peripheral at 0x4001F5A4, value 0x4002800C. 19:19:57.4113 [WARNING] sysbus: [cpu0: 0x2248] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x40000. 19:19:57.4147 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 19:19:57.4148 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 19:19:57.4151 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 19:19:57.4201 [WARNING] clock: Unhandled read from offset 0x414. 19:19:57.4485 [INFO] uart0: [host: 0.79s (+0.79s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build 3723493f60a1 *** 19:19:57.4616 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine paused. 19:19:57.4662 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine resumed. 19:19:57.4667 [INFO] uart0: [host: 0.81s (+18.21ms)|virt: 0.25ms (+48µs)] 19:19:57.4709 [INFO] uart0: [host: 0.81s (+4.05ms)|virt: 0.25ms (+0s)] [2J[15;1HDemo Description 19:19:57.4732 [INFO] uart0: [host: 0.82s (+2.47ms)|virt: 0.25ms (+0s)] ---------------- 19:19:57.4785 [INFO] uart0: [host: 0.82s (+5.25ms)|virt: 0.3ms (+47µs)] An implementation of a solution to the Dining Philosophers 19:19:57.4928 [INFO] uart0: [host: 0.84s (+14.27ms)|virt: 0.4ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 19:19:57.5051 [INFO] uart0: [host: 0.85s (+11.44ms)|virt: 0.4ms (+0s)] This particular implementation demonstrates the usage of multiple 19:19:57.5153 [INFO] uart0: [host: 0.86s (+9.13ms)|virt: 0.5ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 19:19:57.5200 [INFO] uart0: [host: 0.86s (+6.02ms)|virt: 0.5ms (+0s)] well as dynamic mutexes and thread sleeping. 19:19:57.5335 [INFO] uart0: [host: 0.88s (+14.21ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 19:19:57.5416 [INFO] uart0: [host: 0.88s (+8.1ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:19:57.5540 [INFO] uart0: [host: 0.9s (+12.36ms)|virt: 0.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 19:19:57.5697 [INFO] uart0: [host: 0.91s (+15.72ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 19:19:57.5788 [INFO] uart0: [host: 0.92s (+9.03ms)|virt: 0.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 19:19:57.5890 [INFO] uart0: [host: 0.93s (+10.27ms)|virt: 0.91ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 19:19:57.6005 [INFO] uart0: [host: 0.94s (+11.5ms)|virt: 1ms (+89µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:19:57.6173 [INFO] uart0: [host: 0.96s (+16.77ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 19:19:57.6416 [INFO] uart0: [host: 0.98s (+24.26ms)|virt: 1.1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 19:19:57.6623 [INFO] uart0: [host: 1.01s (+20.73ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 19:19:57.6819 [INFO] uart0: [host: 1.03s (+19.6ms)|virt: 1.2ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 19:19:57.6991 [INFO] uart0: [host: 1.04s (+17.2ms)|virt: 1.3ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 19:19:57.7256 [INFO] uart0: [host: 1.07s (+26.51ms)|virt: 39.8ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:19:57.7366 [INFO] uart0: [host: 1.08s (+11.06ms)|virt: 39.9ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 19:19:57.7486 [INFO] uart0: [host: 1.09s (+11.96ms)|virt: 39.92ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 19:19:57.7603 [INFO] uart0: [host: 1.1s (+11.66ms)|virt: 40ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 19:19:57.8017 [INFO] uart0: [host: 1.14s (+38.83ms)|virt: 79.5ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 19:19:57.8115 [INFO] uart0: [host: 1.15s (+12.42ms)|virt: 79.5ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 19:19:57.8122 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine paused. 19:19:57.8180 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine resumed. 19:19:57.8182 [INFO] uart0: [host: 1.16s (+6.7ms)|virt: 79.6ms (+98µs)] 19:19:57.8371 [INFO] uart0: [host: 1.18s (+18.92ms)|virt: 79.6ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 19:19:57.8475 [INFO] uart0: [host: 1.19s (+10.37ms)|virt: 79.7ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:19:57.8568 [INFO] uart0: [host: 1.2s (+9.32ms)|virt: 79.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 19:19:57.8669 [INFO] uart0: [host: 1.21s (+10.1ms)|virt: 79.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 19:19:57.8757 [INFO] uart0: [host: 1.22s (+8.81ms)|virt: 79.9ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 19:19:57.8859 [INFO] uart0: [host: 1.23s (+10.18ms)|virt: 80ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 19:19:57.8967 [INFO] uart0: [host: 1.24s (+10.83ms)|virt: 80.01ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 19:19:57.9197 [INFO] uart0: [host: 1.26s (+22.92ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 19:19:57.9300 [INFO] uart0: [host: 1.27s (+10.3ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:19:57.9472 [INFO] uart0: [host: 1.29s (+17.16ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 19:19:57.9632 [INFO] uart0: [host: 1.31s (+16.05ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 19:19:57.9744 [INFO] uart0: [host: 1.32s (+11.22ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:19:57.9840 [INFO] uart0: [host: 1.33s (+9.57ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 19:19:57.9962 [INFO] uart0: [host: 1.34s (+12.18ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 19:19:58.0086 [INFO] uart0: [host: 1.35s (+12.48ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 19:19:58.0239 [INFO] uart0: [host: 1.37s (+15.15ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 19:19:58.0595 [INFO] uart0: [host: 1.4s (+35.74ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 19:19:58.0758 [INFO] uart0: [host: 1.42s (+16.29ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 19:19:58.0879 [INFO] uart0: [host: 1.43s (+11.26ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 19:19:58.1051 [INFO] uart0: [host: 1.45s (+18.03ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 19:19:58.1245 [INFO] uart0: [host: 1.47s (+19.39ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 19:19:58.1413 [INFO] uart0: [host: 1.48s (+16.83ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 19:19:58.1532 [INFO] uart0: [host: 1.5s (+11.92ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 19:19:58.1649 [INFO] uart0: [host: 1.51s (+11.67ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 19:19:58.1829 [INFO] uart0: [host: 1.53s (+17.99ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 19:19:58.1937 [INFO] uart0: [host: 1.54s (+10.82ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 19:19:58.2056 [INFO] uart0: [host: 1.55s (+11.88ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 19:19:58.2247 [INFO] uart0: [host: 1.57s (+19.09ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 19:19:58.2405 [INFO] uart0: [host: 1.58s (+15.51ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 19:19:58.2405 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine paused. 19:19:58.2444 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine resumed. 19:19:58.2458 [INFO] uart0: [host: 1.59s (+4.43ms)|virt: 0.29s (+63µs)] 19:19:58.2574 [INFO] uart0: [host: 1.6s (+12.81ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 19:19:58.2777 [INFO] uart0: [host: 1.62s (+20.24ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 19:19:58.2882 [INFO] uart0: [host: 1.63s (+10.47ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 19:19:58.3303 [INFO] uart0: [host: 1.67s (+41.84ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 19:19:58.3676 [INFO] uart0: [host: 1.71s (+37.56ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 19:19:58.3845 [INFO] uart0: [host: 1.73s (+16.97ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 19:19:58.3948 [INFO] uart0: [host: 1.74s (+10.32ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 19:19:58.4319 [INFO] uart0: [host: 1.78s (+37.1ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 19:19:58.4708 [INFO] uart0: [host: 1.81s (+38.86ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 19:19:58.5216 [INFO] uart0: [host: 1.86s (+50.8ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 19:19:58.5338 [INFO] uart0: [host: 1.88s (+12.17ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 19:19:58.5466 [INFO] uart0: [host: 1.89s (+12.76ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 19:19:58.5466 [INFO] raytac_mdbt50q_db_33_nrf52833: Machine paused. 19:19:58.5816 [INFO] raytac_mdbt50q_db_33_nrf52833: Disposed.