17:22:56.0136 [INFO] System bus created. 17:22:56.9858 [INFO] sysbus: Loading segment of 23740 bytes length at 0x0. 17:22:56.9966 [INFO] sysbus: Loading segment of 146 bytes length at 0x5CBC. 17:22:56.9967 [INFO] sysbus: Loading segment of 4 bytes length at 0x5D4E. 17:22:56.9968 [INFO] sysbus: Loading segment of 16912 bytes length at 0x20000098. 17:22:57.2480 [INFO] cpu0: Setting initial values: PC = 0xA91, SP = 0x200042A8. 17:22:57.2495 [INFO] nrf51_blenano: Machine started. 17:22:57.2832 [WARNING] sysbus: [cpu0: 0x1B8C] ReadDoubleWord from non existing peripheral at 0xF0000FE0. 17:22:57.2903 [WARNING] sysbus: [cpu0: 0x23AC] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 17:22:57.2905 [WARNING] sysbus: [cpu0: 0x23C6] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 17:22:57.2942 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [1-2, 4-31] when writing value 0x9. Tags: PIN (0x16), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:22:57.2942 [WARNING] sysbus: [cpu0: 0x148A] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x200. 17:22:57.2943 [WARNING] sysbus: [cpu0: 0x14B6] ReadDoubleWord from non existing peripheral at 0x50000724. 17:22:57.2943 [WARNING] sysbus: [cpu0: 0x14C8] WriteDoubleWord to non existing peripheral at 0x50000724, value 0x3. 17:22:57.2943 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [2, 4-31] when writing value 0xB. Tags: PIN (0x14), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:22:57.2943 [WARNING] sysbus: [cpu0: 0x14B6] ReadDoubleWord from non existing peripheral at 0x5000072C. 17:22:57.2943 [WARNING] sysbus: [cpu0: 0x14C8] WriteDoubleWord to non existing peripheral at 0x5000072C, value 0x0. 17:22:57.2943 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [0-2, 4-31] when writing value 0x8. Tags: PIN (0x17), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:22:57.2944 [WARNING] sysbus: [cpu0: 0x148A] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x100. 17:22:57.2944 [WARNING] sysbus: [cpu0: 0x14B6] ReadDoubleWord from non existing peripheral at 0x50000720. 17:22:57.2944 [WARNING] sysbus: [cpu0: 0x14C8] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x3. 17:22:57.2944 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [0, 2, 4-31] when writing value 0xA. Tags: PIN (0x15), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 17:22:57.2944 [WARNING] sysbus: [cpu0: 0x14B6] ReadDoubleWord from non existing peripheral at 0x50000728. 17:22:57.2944 [WARNING] sysbus: [cpu0: 0x14C8] WriteDoubleWord to non existing peripheral at 0x50000728, value 0x0. 17:22:57.2974 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 17:22:57.2974 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 17:22:57.2976 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 17:22:57.3017 [WARNING] clock: Unhandled read from offset 0x414. 17:22:57.3202 [INFO] uart0: [host: 0.54s (+0.54s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 17:22:57.3304 [INFO] uart0: [host: 0.55s (+10.16ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 17:22:57.3363 [INFO] uart0: [host: 0.56s (+6.07ms)|virt: 0.1ms (+0s)] ---------------- 17:22:57.3569 [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:22:57.3593 [INFO] nrf51_blenano: Machine paused. 17:22:57.3626 [INFO] nrf51_blenano: Machine resumed. 17:22:57.3785 [INFO] uart0: [host: 0.6s (+42.17ms)|virt: 0.24ms (+0.13ms)] An implementation of a solution to the Dining Philosophers 17:22:57.4358 [INFO] uart0: [host: 0.66s (+57.29ms)|virt: 0.3ms (+63µs)] problem (a classic multi-thread synchronization problem). 17:22:57.5444 [INFO] uart0: [host: 0.77s (+0.11s)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 17:22:57.6729 [INFO] uart0: [host: 0.9s (+0.13s)|virt: 0.4ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 17:22:57.7679 [INFO] uart0: [host: 0.99s (+94.98ms)|virt: 0.4ms (+0s)] well as dynamic mutexes and thread sleeping. 17:22:57.9266 [INFO] uart0: [host: 1.15s (+0.16s)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:22:58.0503 [INFO] uart0: [host: 1.27s (+0.12s)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:22:58.1759 [INFO] uart0: [host: 1.4s (+0.13s)|virt: 0.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:22:58.3175 [INFO] uart0: [host: 1.54s (+0.14s)|virt: 0.7ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:22:58.4570 [INFO] uart0: [host: 1.68s (+0.14s)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:22:58.6195 [INFO] uart0: [host: 1.84s (+0.16s)|virt: 0.83ms (+34µs)] [4;1HPhilosopher 3 [P: 0] STARVING 17:22:58.7772 [INFO] uart0: [host: 2s (+0.16s)|virt: 0.9ms (+66µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:22:58.9469 [INFO] uart0: [host: 2.17s (+0.17s)|virt: 1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:22:59.1376 [INFO] uart0: [host: 2.36s (+0.19s)|virt: 1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:22:59.3996 [INFO] uart0: [host: 2.62s (+0.26s)|virt: 1.1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:22:59.6088 [INFO] uart0: [host: 2.83s (+0.21s)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:22:59.8198 [INFO] uart0: [host: 3.04s (+0.21s)|virt: 1.23ms (+28µs)] [1;1HPhilosopher 0 [P: 3] STARVING 17:23:00.0815 [INFO] uart0: [host: 3.3s (+0.26s)|virt: 39.7ms (+38.47ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:23:00.3981 [INFO] uart0: [host: 3.62s (+0.32s)|virt: 39.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 17:23:00.7326 [INFO] uart0: [host: 3.96s (+0.33s)|virt: 39.83ms (+30µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 17:23:01.0509 [INFO] uart0: [host: 4.27s (+0.32s)|virt: 39.9ms (+75µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 17:23:01.4562 [INFO] uart0: [host: 4.68s (+0.41s)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 17:23:01.8415 [INFO] uart0: [host: 5.06s (+0.39s)|virt: 79.5ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 17:23:01.8497 [INFO] nrf51_blenano: Machine paused. 17:23:01.8524 [INFO] nrf51_blenano: Machine resumed. 17:23:01.8525 [INFO] uart0: [host: 5.08s (+11.06ms)|virt: 79.51ms (+7µs)] 17:23:02.2351 [INFO] uart0: [host: 5.46s (+0.38s)|virt: 79.51ms (+5µs)] [5;1HPhilosopher 4 [C:-1] STARVING 17:23:02.6093 [INFO] uart0: [host: 5.83s (+0.37s)|virt: 79.6ms (+88µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:23:03.0074 [INFO] uart0: [host: 6.23s (+0.4s)|virt: 79.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 17:23:03.4567 [INFO] uart0: [host: 6.68s (+0.45s)|virt: 79.72ms (+24µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:23:03.9044 [INFO] uart0: [host: 7.13s (+0.45s)|virt: 79.8ms (+76µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 17:23:04.3722 [INFO] uart0: [host: 7.6s (+0.47s)|virt: 79.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 17:23:04.8184 [INFO] uart0: [host: 8.04s (+0.45s)|virt: 80ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 17:23:05.3234 [INFO] uart0: [host: 8.55s (+0.5s)|virt: 0.12s (+39.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 17:23:05.7756 [INFO] uart0: [host: 9s (+0.45s)|virt: 0.12s (+20µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:23:06.3092 [INFO] uart0: [host: 9.53s (+0.53s)|virt: 0.12s (+80µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 17:23:06.8507 [INFO] uart0: [host: 10.07s (+0.54s)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:23:07.4333 [INFO] uart0: [host: 10.66s (+0.58s)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:23:07.9684 [INFO] uart0: [host: 11.19s (+0.53s)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 17:23:08.5249 [INFO] uart0: [host: 11.75s (+0.56s)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:23:09.1574 [INFO] uart0: [host: 12.38s (+0.63s)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 17:23:09.7554 [INFO] uart0: [host: 12.98s (+0.6s)|virt: 0.12s (+28µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 17:23:10.3971 [INFO] uart0: [host: 13.62s (+0.64s)|virt: 0.21s (+86.77ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 17:23:11.0459 [INFO] uart0: [host: 14.27s (+0.65s)|virt: 0.21s (+12µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 17:23:11.7406 [INFO] uart0: [host: 14.96s (+0.69s)|virt: 0.21s (+88µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 17:23:12.4609 [INFO] uart0: [host: 15.68s (+0.72s)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 17:23:13.0828 [INFO] uart0: [host: 16.31s (+0.62s)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 17:23:13.8289 [INFO] uart0: [host: 17.05s (+0.75s)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 17:23:14.5761 [INFO] uart0: [host: 17.8s (+0.75s)|virt: 0.25s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 17:23:15.3146 [INFO] uart0: [host: 18.54s (+0.74s)|virt: 0.25s (+8µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 17:23:16.0433 [INFO] uart0: [host: 19.27s (+0.73s)|virt: 0.29s (+31.59ms)] [5;1HPhilosopher 4 [C:-1] STARVING 17:23:16.7266 [INFO] uart0: [host: 19.95s (+0.68s)|virt: 0.29s (+98µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 17:23:17.4748 [INFO] uart0: [host: 20.7s (+0.75s)|virt: 0.29s (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 17:23:18.1518 [INFO] uart0: [host: 21.38s (+0.68s)|virt: 0.29s (+7.8ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 17:23:18.8610 [INFO] uart0: [host: 22.08s (+0.71s)|virt: 0.29s (+7µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 17:23:18.8612 [INFO] nrf51_blenano: Machine paused. 17:23:18.8698 [INFO] nrf51_blenano: Machine resumed. 17:23:18.8737 [INFO] uart0: [host: 22.1s (+12.65ms)|virt: 0.29s (+64µs)] 17:23:19.6557 [INFO] uart0: [host: 22.88s (+0.78s)|virt: 0.29s (+29µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 17:23:20.5438 [INFO] uart0: [host: 23.77s (+0.89s)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 17:23:21.2838 [INFO] uart0: [host: 24.51s (+0.74s)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 17:23:22.0733 [INFO] uart0: [host: 25.3s (+0.79s)|virt: 0.38s (+39.7ms)] [1;1HPhilosopher 0 [P: 3] STARVING 17:23:22.9021 [INFO] uart0: [host: 26.13s (+0.83s)|virt: 0.44s (+63.42ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 17:23:23.8095 [INFO] uart0: [host: 27.03s (+0.91s)|virt: 0.44s (+76µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 17:23:24.7396 [INFO] uart0: [host: 27.96s (+0.93s)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 17:23:25.6606 [INFO] uart0: [host: 28.88s (+0.92s)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 17:23:26.4652 [INFO] uart0: [host: 29.69s (+0.8s)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 17:23:27.4319 [INFO] uart0: [host: 30.66s (+0.97s)|virt: 0.58s (+87.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 17:23:28.3914 [INFO] uart0: [host: 31.61s (+0.96s)|virt: 0.58s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 17:23:29.4120 [INFO] uart0: [host: 32.64s (+1.02s)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 17:23:29.4120 [INFO] nrf51_blenano: Machine paused. 17:23:29.4484 [INFO] nrf51_blenano: Disposed.