16:53:31.8576 [INFO] System bus created. 16:53:32.9315 [INFO] sysbus: Loading segment of 23788 bytes length at 0x0. 16:53:32.9462 [INFO] sysbus: Loading segment of 146 bytes length at 0x5CEC. 16:53:32.9463 [INFO] sysbus: Loading segment of 4 bytes length at 0x5D7E. 16:53:32.9463 [INFO] sysbus: Loading segment of 16912 bytes length at 0x20000098. 16:53:33.2783 [INFO] cpu0: Setting initial values: PC = 0xA91, SP = 0x200042A8. 16:53:33.2790 [INFO] nrf51_vbluno51: Machine started. 16:53:33.3275 [WARNING] sysbus: [cpu0: 0x1BBC] ReadDoubleWord from non existing peripheral at 0xF0000FE0. 16:53:33.3460 [WARNING] sysbus: [cpu0: 0x23DC] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 16:53:33.3463 [WARNING] sysbus: [cpu0: 0x23F6] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 16:53:33.3512 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0, 2, 4-31] when writing value 0xA. Tags: PIN (0x15), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:53:33.3512 [WARNING] sysbus: [cpu0: 0x1494] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x400. 16:53:33.3512 [WARNING] sysbus: [cpu0: 0x14DE] ReadDoubleWord from non existing peripheral at 0x50000728. 16:53:33.3512 [WARNING] sysbus: [cpu0: 0x14F8] WriteDoubleWord to non existing peripheral at 0x50000728, value 0x3. 16:53:33.3513 [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). 16:53:33.3513 [WARNING] sysbus: [cpu0: 0x14DE] ReadDoubleWord from non existing peripheral at 0x5000072C. 16:53:33.3513 [WARNING] sysbus: [cpu0: 0x14F8] WriteDoubleWord to non existing peripheral at 0x5000072C, value 0x0. 16:53:33.3513 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [0-1, 4-31] when writing value 0xC. Tags: PIN (0x13), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:53:33.3513 [WARNING] sysbus: [cpu0: 0x1494] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x1000. 16:53:33.3513 [WARNING] sysbus: [cpu0: 0x14DE] ReadDoubleWord from non existing peripheral at 0x50000730. 16:53:33.3514 [WARNING] sysbus: [cpu0: 0x14F8] WriteDoubleWord to non existing peripheral at 0x50000730, value 0x3. 16:53:33.3514 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [1, 4-31] when writing value 0xD. Tags: PIN (0x12), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 16:53:33.3514 [WARNING] sysbus: [cpu0: 0x14DE] ReadDoubleWord from non existing peripheral at 0x50000734. 16:53:33.3514 [WARNING] sysbus: [cpu0: 0x14F8] WriteDoubleWord to non existing peripheral at 0x50000734, value 0x0. 16:53:33.3544 [WARNING] rtc1: Unhandled write to offset 0x308. Unhandled bits: [1] when writing value 0xF0003. Tags: OVRFLW (0x1). 16:53:33.3544 [WARNING] rtc1: Unhandled write to offset 0x348. Unhandled bits: [0-1] when writing value 0xF0003. 16:53:33.3547 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 16:53:33.3603 [WARNING] clock: Unhandled read from offset 0x414. 16:53:33.3979 [INFO] uart0: [host: 0.71s (+0.71s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:53:33.4102 [INFO] nrf51_vbluno51: Machine paused. 16:53:33.4160 [INFO] nrf51_vbluno51: Machine resumed. 16:53:33.4164 [INFO] uart0: [host: 0.73s (+18.51ms)|virt: 0.15ms (+50µs)] 16:53:33.4301 [INFO] uart0: [host: 0.74s (+13.51ms)|virt: 0.15ms (+0s)] [2J[15;1HDemo Description 16:53:33.4390 [INFO] uart0: [host: 0.75s (+9.17ms)|virt: 0.15ms (+0s)] ---------------- 16:53:33.4753 [INFO] uart0: [host: 0.79s (+36.27ms)|virt: 0.2ms (+46µs)] An implementation of a solution to the Dining Philosophers 16:53:33.5348 [INFO] uart0: [host: 0.85s (+59.5ms)|virt: 0.3ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 16:53:33.6488 [INFO] uart0: [host: 0.96s (+0.11s)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 16:53:33.8066 [INFO] uart0: [host: 1.12s (+0.16s)|virt: 0.4ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 16:53:33.9272 [INFO] uart0: [host: 1.24s (+0.12s)|virt: 0.4ms (+0s)] well as dynamic mutexes and thread sleeping. 16:53:34.1218 [INFO] uart0: [host: 1.43s (+0.19s)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:53:34.2817 [INFO] uart0: [host: 1.59s (+0.16s)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:53:34.4360 [INFO] uart0: [host: 1.75s (+0.15s)|virt: 0.6ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:53:34.6579 [INFO] uart0: [host: 1.97s (+0.22s)|virt: 0.7ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:53:34.8692 [INFO] uart0: [host: 2.18s (+0.21s)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:53:35.1209 [INFO] uart0: [host: 2.43s (+0.25s)|virt: 0.83ms (+34µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:53:35.3962 [INFO] uart0: [host: 2.71s (+0.28s)|virt: 0.9ms (+66µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:53:35.6542 [INFO] uart0: [host: 2.97s (+0.26s)|virt: 1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:53:35.9200 [INFO] uart0: [host: 3.23s (+0.27s)|virt: 1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:53:36.2068 [INFO] uart0: [host: 3.52s (+0.29s)|virt: 1.1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:53:36.5236 [INFO] uart0: [host: 3.84s (+0.32s)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:53:36.8282 [INFO] uart0: [host: 4.14s (+0.3s)|virt: 1.23ms (+29µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:53:37.2159 [INFO] uart0: [host: 4.53s (+0.39s)|virt: 39.7ms (+38.47ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:53:37.5783 [INFO] uart0: [host: 4.89s (+0.36s)|virt: 39.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:53:37.9532 [INFO] uart0: [host: 5.27s (+0.37s)|virt: 39.83ms (+30µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:53:38.3438 [INFO] uart0: [host: 5.66s (+0.39s)|virt: 39.9ms (+75µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:53:38.7972 [INFO] uart0: [host: 6.11s (+0.45s)|virt: 79.4ms (+39.5ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:53:39.2314 [INFO] uart0: [host: 6.54s (+0.43s)|virt: 79.5ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:53:39.2349 [INFO] nrf51_vbluno51: Machine paused. 16:53:39.2382 [INFO] nrf51_vbluno51: Machine resumed. 16:53:39.2383 [INFO] uart0: [host: 6.55s (+6.94ms)|virt: 79.51ms (+7µs)] 16:53:39.6664 [INFO] uart0: [host: 6.98s (+0.43s)|virt: 79.51ms (+5µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:53:40.1280 [INFO] uart0: [host: 7.44s (+0.46s)|virt: 79.6ms (+88µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:53:40.5534 [INFO] uart0: [host: 7.87s (+0.43s)|virt: 79.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:53:41.0705 [INFO] uart0: [host: 8.38s (+0.52s)|virt: 79.72ms (+24µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:53:41.6087 [INFO] uart0: [host: 8.92s (+0.54s)|virt: 79.8ms (+76µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:53:42.1188 [INFO] uart0: [host: 9.43s (+0.51s)|virt: 79.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:53:42.6275 [INFO] uart0: [host: 9.94s (+0.51s)|virt: 80ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:53:43.1799 [INFO] uart0: [host: 10.49s (+0.55s)|virt: 0.12s (+39.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:53:43.7272 [INFO] uart0: [host: 11.04s (+0.55s)|virt: 0.12s (+20µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:53:44.3215 [INFO] uart0: [host: 11.63s (+0.59s)|virt: 0.12s (+80µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:53:44.9102 [INFO] uart0: [host: 12.22s (+0.59s)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:53:45.5434 [INFO] uart0: [host: 12.86s (+0.63s)|virt: 0.12s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:53:46.1409 [INFO] uart0: [host: 13.45s (+0.6s)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:53:46.7706 [INFO] uart0: [host: 14.08s (+0.63s)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:53:47.4086 [INFO] uart0: [host: 14.72s (+0.64s)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:53:48.1453 [INFO] uart0: [host: 15.46s (+0.74s)|virt: 0.12s (+28µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:53:48.9135 [INFO] uart0: [host: 16.23s (+0.77s)|virt: 0.21s (+86.77ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:53:49.6511 [INFO] uart0: [host: 16.96s (+0.74s)|virt: 0.21s (+12µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:53:50.4306 [INFO] uart0: [host: 17.74s (+0.78s)|virt: 0.21s (+88µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:53:51.1543 [INFO] uart0: [host: 18.47s (+0.72s)|virt: 0.23s (+23.7ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:53:51.9021 [INFO] uart0: [host: 19.21s (+0.75s)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:53:52.6985 [INFO] uart0: [host: 20.01s (+0.8s)|virt: 0.25s (+23.8ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:53:53.5076 [INFO] uart0: [host: 20.82s (+0.81s)|virt: 0.25s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:53:54.3946 [INFO] uart0: [host: 21.71s (+0.89s)|virt: 0.25s (+8µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:53:55.2537 [INFO] uart0: [host: 22.57s (+0.86s)|virt: 0.29s (+31.59ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:53:56.0034 [INFO] uart0: [host: 23.32s (+0.75s)|virt: 0.29s (+98µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:53:56.8378 [INFO] uart0: [host: 24.15s (+0.83s)|virt: 0.29s (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:53:57.7256 [INFO] uart0: [host: 25.04s (+0.89s)|virt: 0.29s (+7.8ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:53:58.6264 [INFO] uart0: [host: 25.94s (+0.9s)|virt: 0.29s (+7µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:53:58.6266 [INFO] nrf51_vbluno51: Machine paused. 16:53:58.6310 [INFO] nrf51_vbluno51: Machine resumed. 16:53:58.6311 [INFO] uart0: [host: 25.94s (+4.79ms)|virt: 0.29s (+64µs)] 16:53:59.5912 [INFO] uart0: [host: 26.9s (+0.96s)|virt: 0.29s (+29µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 75 ms ] 16:54:00.5685 [INFO] uart0: [host: 27.88s (+0.98s)|virt: 0.34s (+47.5ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:54:01.5278 [INFO] uart0: [host: 28.84s (+0.96s)|virt: 0.34s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:54:02.4801 [INFO] uart0: [host: 29.79s (+0.95s)|virt: 0.38s (+39.7ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:54:03.5378 [INFO] uart0: [host: 30.85s (+1.06s)|virt: 0.44s (+63.42ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:54:04.5361 [INFO] uart0: [host: 31.85s (+1s)|virt: 0.44s (+76µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:54:05.5969 [INFO] uart0: [host: 32.91s (+1.06s)|virt: 0.44s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:54:06.4999 [INFO] uart0: [host: 33.81s (+0.9s)|virt: 0.49s (+47.5ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:54:07.4503 [INFO] uart0: [host: 34.76s (+0.95s)|virt: 0.49s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:54:08.5416 [INFO] uart0: [host: 35.85s (+1.09s)|virt: 0.58s (+87.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:54:09.6003 [INFO] uart0: [host: 36.91s (+1.06s)|virt: 0.58s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:54:10.6884 [INFO] uart0: [host: 38s (+1.09s)|virt: 0.58s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:54:10.6885 [INFO] nrf51_vbluno51: Machine paused. 16:54:10.7352 [INFO] nrf51_vbluno51: Disposed.