10:58:24 [INFO] System bus created. 10:58:26 [INFO] sysbus: Loading segment of 18628 bytes length at 0x0. 10:58:26 [INFO] sysbus: Loading segment of 140 bytes length at 0x48C4. 10:58:26 [INFO] sysbus: Loading segment of 9232 bytes length at 0x20000090. 10:58:26 [INFO] cpu0: Setting initial values: PC = 0x1449, SP = 0x20001BA0. 10:58:26 [INFO] nrf51_ble400: Machine started. 10:58:26 [WARNING] sysbus: [cpu0: 0x22D4] ReadDoubleWord from non existing peripheral at 0xF0000FE0. 10:58:26 [WARNING] sysbus: [cpu0: 0x2A14] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 10:58:26 [WARNING] sysbus: [cpu0: 0x2A14] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 10:58:26 [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). 10:58:26 [WARNING] sysbus: [cpu0: 0x2246] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x200. 10:58:26 [WARNING] sysbus: [cpu0: 0x40BC] WriteDoubleWord to non existing peripheral at 0x50000724, value 0x3. 10:58:26 [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). 10:58:26 [WARNING] sysbus: [cpu0: 0x40B0] WriteDoubleWord to non existing peripheral at 0x5000072C, value 0x0. 10:58:26 [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). 10:58:26 [WARNING] sysbus: [cpu0: 0x224C] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x100. 10:58:26 [WARNING] sysbus: [cpu0: 0x40B0] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x3. 10:58:26 [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). 10:58:26 [WARNING] sysbus: [cpu0: 0x40B0] WriteDoubleWord to non existing peripheral at 0x50000728, value 0x0. 10:58:26 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 10:58:26 [WARNING] clock: Unhandled read from offset 0x414. 10:58:26 [INFO] uart0: [host: 0.59s (+0.59s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build zephyr-v3.1.0-2265-g62f19cc6b3d4 *** 10:58:26 [INFO] uart0: [host: 0.59s (+2.55ms)|virt: 0.2ms (+97µs)] [2J[15;1HDemo Description 10:58:26 [INFO] uart0: [host: 0.59s (+1.03ms)|virt: 0.2ms (+0s)] ---------------- 10:58:26 [INFO] uart0: [host: 0.6s (+4.14ms)|virt: 0.2ms (+0s)] An implementation of a solution to the Dining Philosophers 10:58:26 [INFO] uart0: [host: 0.6s (+3.17ms)|virt: 0.3ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 10:58:26 [INFO] uart0: [host: 0.61s (+4.48ms)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 10:58:26 [INFO] uart0: [host: 0.61s (+5.3ms)|virt: 0.4ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 10:58:26 [INFO] uart0: [host: 0.61s (+4.33ms)|virt: 0.4ms (+0s)] well as dynamic mutexes and thread sleeping. 10:58:26 [INFO] uart0: [host: 0.62s (+4.84ms)|virt: 0.52ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:58:26 [INFO] uart0: [host: 0.62s (+2.38ms)|virt: 0.6ms (+84µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.63s (+4.15ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.63s (+4.98ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:58:26 [INFO] uart0: [host: 0.64s (+3.98ms)|virt: 0.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.64s (+5.56ms)|virt: 1ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:58:26 [INFO] uart0: [host: 0.65s (+5.07ms)|virt: 1ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.65s (+4.21ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 10:58:26 [INFO] uart0: [host: 0.65s (+4.8ms)|virt: 1.2ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.66s (+5.32ms)|virt: 1.3ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 10:58:26 [INFO] uart0: [host: 0.66s (+2.79ms)|virt: 1.4ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.67s (+2.42ms)|virt: 1.41ms (+9µs)] [1;1HPhilosopher 0 [P: 3] STARVING 10:58:26 [INFO] uart0: [host: 0.72s (+52.89ms)|virt: 26.2ms (+24.79ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 0.72s (+3.1ms)|virt: 26.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.73s (+4.72ms)|virt: 26.4ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.73s (+4.77ms)|virt: 26.5ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.77s (+44.1ms)|virt: 51.8ms (+25.3ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:58:26 [INFO] uart0: [host: 0.78s (+5.01ms)|virt: 51.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 0.78s (+4.46ms)|virt: 52ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.79s (+7.4ms)|virt: 52.1ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.8s (+6.34ms)|virt: 52.2ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.8s (+5.32ms)|virt: 52.21ms (+11µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 0.81s (+6.79ms)|virt: 52.3ms (+89µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.82s (+6.48ms)|virt: 52.4ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.82s (+6.35ms)|virt: 52.5ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.88s (+54.78ms)|virt: 77.5ms (+25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:58:26 [INFO] uart0: [host: 0.88s (+6.38ms)|virt: 77.7ms (+0.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 0.89s (+6.64ms)|virt: 77.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.9s (+5.54ms)|virt: 77.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:58:26 [INFO] uart0: [host: 0.9s (+6.83ms)|virt: 77.91ms (+12µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 0.91s (+6.58ms)|virt: 78ms (+88µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.91s (+5.24ms)|virt: 78.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 0.92s (+6.5ms)|virt: 78.2ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] THINKING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.93s (+6.55ms)|virt: 78.3ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 25 ms ] 10:58:26 [INFO] uart0: [host: 0.98s (+56.7ms)|virt: 0.1s (+25ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:58:26 [INFO] uart0: [host: 0.99s (+6.06ms)|virt: 0.1s (+0.2ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 1s (+6.93ms)|virt: 0.1s (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 150 ms ] 10:58:26 [INFO] uart0: [host: 1s (+6.74ms)|virt: 0.1s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 1.01s (+5.44ms)|virt: 0.1s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] THINKING [ 125 ms ] 10:58:26 [INFO] uart0: [host: 1.01s (+4.24ms)|virt: 0.1s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 10:58:26 [INFO] uart0: [host: 1.02s (+4.46ms)|virt: 0.1s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 1.02s (+3.16ms)|virt: 0.1s (+0s)] [3;1HPhilosopher 2 [P: 1] EATING [ 100 ms ] 10:58:26 [INFO] uart0: [host: 1.03s (+4.43ms)|virt: 0.1s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 1.03s (+3.41ms)|virt: 0.1s (+95µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 50 ms ] 10:58:26 [INFO] uart0: [host: 1.04s (+6.54ms)|virt: 0.1s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 75 ms ] 10:58:26 [INFO] uart0: [host: 1.12s (+86.08ms)|virt: 0.16s (+50.8ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 10:58:26 [INFO] uart0: [host: 1.13s (+3.24ms)|virt: 0.16s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:58:26 [INFO] uart0: [host: 1.13s (+4.51ms)|virt: 0.16s (+3µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 50 ms ] 10:58:27 [INFO] uart0: [host: 1.18s (+45.98ms)|virt: 0.18s (+25.4ms)] [2;1HPhilosopher 1 [P: 2] STARVING 10:58:27 [INFO] uart0: [host: 1.18s (+5.11ms)|virt: 0.18s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:58:27 [INFO] uart0: [host: 1.23s (+47.06ms)|virt: 0.21s (+25.2ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:58:27 [INFO] uart0: [host: 1.23s (+4.67ms)|virt: 0.21s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 175 ms ] 10:58:27 [INFO] uart0: [host: 1.24s (+3.97ms)|virt: 0.21s (+0.11ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 125 ms ] 10:58:27 [INFO] uart0: [host: 1.24s (+5.78ms)|virt: 0.21s (+0.29ms)] [1;1HPhilosopher 0 [P: 3] STARVING 10:58:27 [INFO] uart0: [host: 1.29s (+45.22ms)|virt: 0.23s (+24.6ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:58:27 [INFO] uart0: [host: 1.29s (+3.7ms)|virt: 0.23s (+96µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:58:27 [INFO] uart0: [host: 1.34s (+51.5ms)|virt: 0.26s (+25.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:58:27 [INFO] uart0: [host: 1.35s (+11.08ms)|virt: 0.26s (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 275 ms ] 10:58:27 [INFO] uart0: [host: 1.36s (+3.91ms)|virt: 0.26s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 325 ms ] 10:58:27 [INFO] uart0: [host: 1.36s (+2.4ms)|virt: 0.26s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 225 ms ] 10:58:27 [INFO] nrf51_ble400: Machine paused. 10:58:27 [INFO] nrf51_ble400: Disposed.