16:45:38.8511 [INFO] System bus created. 16:45:40.5200 [INFO] sysbus: Loading segment of 25812 bytes length at 0x1000. 16:45:40.5459 [INFO] sysbus: Loading segment of 200 bytes length at 0x74D4. 16:45:40.5461 [INFO] sysbus: Loading segment of 4 bytes length at 0x759C. 16:45:40.5463 [INFO] sysbus: Loading segment of 17720 bytes length at 0x200000C8. 16:45:41.0505 [INFO] cpu0: Setting initial values: PC = 0x1B6D, SP = 0x200045C0. 16:45:41.0513 [INFO] nrf52840_mdk_usb_dongle: Machine started. 16:45:41.1218 [WARNING] sysbus: [cpu0: 0x302C] ReadDoubleWord from non existing peripheral at 0x10000130. 16:45:41.1219 [WARNING] sysbus: [cpu0: 0x2FF8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:45:41.1225 [WARNING] sysbus: [cpu0: 0x2FF8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:45:41.1242 [WARNING] sysbus: [cpu0: 0x2FF8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:45:41.1243 [WARNING] sysbus: [cpu0: 0x2FF8] ReadDoubleWord from non existing peripheral at 0x10000130. 16:45:41.1243 [WARNING] sysbus: [cpu0: 0x3128] ReadDoubleWord from non existing peripheral at 0x10000130. 16:45:41.1243 [WARNING] sysbus: [cpu0: 0x316A] ReadDoubleWord from non existing peripheral at 0x1000120C. 16:45:41.1243 [WARNING] sysbus: [cpu0: 0x31A0] ReadDoubleWord from non existing peripheral at 0x10001200. 16:45:41.1244 [WARNING] sysbus: [cpu0: 0x31A8] ReadDoubleWord from non existing peripheral at 0x10001204. 16:45:41.1357 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:45:41.1379 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:45:41.1424 [WARNING] sysbus: [cpu0: 0x2138] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 16:45:41.1425 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 16:45:41.1443 [WARNING] sysbus: [cpu0: 0x39A2] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:45:41.1443 [WARNING] sysbus: [cpu0: 0x39A2] ReadDoubleWord from non existing peripheral at 0x4000617C. 16:45:41.1450 [WARNING] sysbus: [cpu0: 0x39B4] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:45:41.1526 [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:45:41.1563 [WARNING] gpio1: Unhandled write to offset 0x208. Unhandled bits: [6] when writing value 0x40. Tags: RESERVED (0x4). 16:45:41.1563 [WARNING] sysbus: [cpu0: 0x283E] ReadDoubleWord from non existing peripheral at 0x50000718. 16:45:41.1564 [WARNING] sysbus: [cpu0: 0x283E] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 16:45:41.1564 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:45:41.1564 [WARNING] sysbus: [cpu0: 0x2892] ReadDoubleWord from non existing peripheral at 0x5000071C. 16:45:41.1564 [WARNING] sysbus: [cpu0: 0x2892] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 16:45:41.1583 [WARNING] sysbus: [cpu0: 0x6594] WriteDoubleWord to non existing peripheral at 0x4001F5A8, value 0x40002120. 16:45:41.1583 [WARNING] sysbus: [cpu0: 0x6594] WriteDoubleWord to non existing peripheral at 0x4001F5AC, value 0x4000200C. 16:45:41.1584 [WARNING] sysbus: [cpu0: 0x327C] WriteDoubleWord to non existing peripheral at 0x4001F504, value 0x80000. 16:45:41.1669 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:45:41.1670 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:45:41.1676 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:45:41.1766 [WARNING] clock: Unhandled read from offset 0x414. 16:45:41.2156 [INFO] uart0: [host: 1.09s (+1.09s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:45:41.2399 [INFO] nrf52840_mdk_usb_dongle: Machine paused. 16:45:41.2520 [INFO] nrf52840_mdk_usb_dongle: Machine resumed. 16:45:41.2529 [INFO] uart0: [host: 1.12s (+37.44ms)|virt: 0.15ms (+48µs)] 16:45:41.2624 [INFO] uart0: [host: 1.13s (+9.23ms)|virt: 0.15ms (+0s)] [2J[15;1HDemo Description 16:45:41.2639 [INFO] uart0: [host: 1.14s (+1.74ms)|virt: 0.15ms (+0s)] ---------------- 16:45:41.2747 [INFO] uart0: [host: 1.15s (+10.77ms)|virt: 0.2ms (+47µs)] An implementation of a solution to the Dining Philosophers 16:45:41.2942 [INFO] uart0: [host: 1.17s (+19.46ms)|virt: 0.3ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 16:45:41.3146 [INFO] uart0: [host: 1.18s (+15.35ms)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 16:45:41.3240 [INFO] uart0: [host: 1.2s (+14.1ms)|virt: 0.4ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:45:41.3333 [INFO] uart0: [host: 1.2s (+5.71ms)|virt: 0.4ms (+0s)] well as dynamic mutexes and thread sleeping. 16:45:41.3421 [INFO] uart0: [host: 1.21s (+12.73ms)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:45:41.3591 [INFO] uart0: [host: 1.23s (+17.02ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:45:41.3943 [INFO] uart0: [host: 1.27s (+35.14ms)|virt: 0.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:45:41.4161 [INFO] uart0: [host: 1.29s (+21.82ms)|virt: 0.7ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:45:41.4490 [INFO] uart0: [host: 1.32s (+32.97ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:45:41.4629 [INFO] uart0: [host: 1.33s (+13.87ms)|virt: 0.81ms (+11µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:45:41.4726 [INFO] uart0: [host: 1.34s (+9.68ms)|virt: 0.9ms (+89µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:45:41.4846 [INFO] uart0: [host: 1.36s (+12.03ms)|virt: 1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:45:41.4961 [INFO] uart0: [host: 1.37s (+11.46ms)|virt: 1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:45:41.5102 [INFO] uart0: [host: 1.38s (+14.09ms)|virt: 1.1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:45:41.5280 [INFO] uart0: [host: 1.4s (+17.83ms)|virt: 1.1ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:45:41.5416 [INFO] uart0: [host: 1.41s (+13.59ms)|virt: 1.2ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:45:41.6110 [INFO] uart0: [host: 1.48s (+69.43ms)|virt: 39.7ms (+38.5ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:45:41.6461 [INFO] uart0: [host: 1.52s (+35.03ms)|virt: 39.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:45:41.6794 [INFO] uart0: [host: 1.55s (+33.39ms)|virt: 39.82ms (+19µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:45:41.6980 [INFO] uart0: [host: 1.57s (+17.26ms)|virt: 39.9ms (+81µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:45:41.7458 [INFO] uart0: [host: 1.62s (+49.09ms)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:45:41.7708 [INFO] uart0: [host: 1.64s (+24.94ms)|virt: 79.4ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:45:41.7741 [INFO] nrf52840_mdk_usb_dongle: Machine paused. 16:45:41.7777 [INFO] nrf52840_mdk_usb_dongle: Machine resumed. 16:45:41.7780 [INFO] uart0: [host: 1.65s (+7.27ms)|virt: 79.5ms (+98µs)] 16:45:41.8026 [INFO] uart0: [host: 1.67s (+24.61ms)|virt: 79.5ms (+3µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:45:41.8218 [INFO] uart0: [host: 1.69s (+19.16ms)|virt: 79.6ms (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:45:41.8328 [INFO] uart0: [host: 1.7s (+11.01ms)|virt: 79.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:45:41.8470 [INFO] uart0: [host: 1.72s (+14.23ms)|virt: 79.7ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:45:41.8608 [INFO] uart0: [host: 1.73s (+13.83ms)|virt: 79.8ms (+97µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:45:41.8741 [INFO] uart0: [host: 1.75s (+13.31ms)|virt: 79.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:45:41.8879 [INFO] uart0: [host: 1.76s (+12.3ms)|virt: 79.91ms (+7µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:45:41.9245 [INFO] uart0: [host: 1.8s (+38ms)|virt: 0.12s (+39.19ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:45:41.9405 [INFO] uart0: [host: 1.81s (+16ms)|virt: 0.12s (+15µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:45:41.9542 [INFO] uart0: [host: 1.83s (+13.77ms)|virt: 0.12s (+85µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:45:41.9684 [INFO] uart0: [host: 1.84s (+12.95ms)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:45:41.9816 [INFO] uart0: [host: 1.85s (+14.43ms)|virt: 0.12s (+21µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:45:41.9954 [INFO] uart0: [host: 1.87s (+13.8ms)|virt: 0.12s (+79µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:45:42.0100 [INFO] uart0: [host: 1.88s (+14.58ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:45:42.0244 [INFO] uart0: [host: 1.9s (+14.36ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:45:42.0417 [INFO] uart0: [host: 1.91s (+17.39ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:45:42.1083 [INFO] uart0: [host: 1.98s (+66.5ms)|virt: 0.21s (+86.8ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:45:42.1447 [INFO] uart0: [host: 2.02s (+36.46ms)|virt: 0.21s (+8µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:45:42.1629 [INFO] uart0: [host: 2.03s (+18.22ms)|virt: 0.21s (+92µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:45:42.1863 [INFO] uart0: [host: 2.06s (+23.36ms)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:45:42.2031 [INFO] uart0: [host: 2.08s (+16.78ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:45:42.2266 [INFO] uart0: [host: 2.1s (+23.52ms)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:45:42.2423 [INFO] uart0: [host: 2.11s (+14.45ms)|virt: 0.25s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:45:42.2792 [INFO] uart0: [host: 2.15s (+38.21ms)|virt: 0.25s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:45:42.3059 [INFO] uart0: [host: 2.18s (+26.67ms)|virt: 0.29s (+31.6ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:45:42.3231 [INFO] uart0: [host: 2.2s (+17.21ms)|virt: 0.29s (+99µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:45:42.3390 [INFO] uart0: [host: 2.21s (+15.6ms)|virt: 0.29s (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:45:42.3608 [INFO] uart0: [host: 2.23s (+22.01ms)|virt: 0.29s (+7.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:45:42.3765 [INFO] uart0: [host: 2.25s (+15.79ms)|virt: 0.29s (+3µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:45:42.3767 [INFO] nrf52840_mdk_usb_dongle: Machine paused. 16:45:42.3829 [INFO] nrf52840_mdk_usb_dongle: Machine resumed. 16:45:42.3829 [INFO] uart0: [host: 2.25s (+3.38ms)|virt: 0.29s (+63µs)] 16:45:42.4067 [INFO] uart0: [host: 2.28s (+26.74ms)|virt: 0.29s (+34µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:45:42.4441 [INFO] uart0: [host: 2.32s (+37.45ms)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:45:42.4618 [INFO] uart0: [host: 2.33s (+13.69ms)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:45:42.4852 [INFO] uart0: [host: 2.36s (+27.36ms)|virt: 0.38s (+39.63ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:45:42.5194 [INFO] uart0: [host: 2.39s (+34.17ms)|virt: 0.44s (+63.49ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:45:42.5349 [INFO] uart0: [host: 2.41s (+15.59ms)|virt: 0.44s (+78µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:45:42.5721 [INFO] uart0: [host: 2.44s (+37.16ms)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:45:42.6009 [INFO] uart0: [host: 2.47s (+28.8ms)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:45:42.6190 [INFO] uart0: [host: 2.49s (+17.81ms)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:45:42.6570 [INFO] uart0: [host: 2.53s (+38.24ms)|virt: 0.58s (+87.23ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:45:42.6759 [INFO] uart0: [host: 2.55s (+18.97ms)|virt: 0.58s (+67µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:45:42.6922 [INFO] uart0: [host: 2.56s (+16.28ms)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:45:42.6923 [INFO] nrf52840_mdk_usb_dongle: Machine paused. 16:45:42.7508 [INFO] nrf52840_mdk_usb_dongle: Disposed.