10:56:34.2174 [INFO] System bus created. 10:56:35.7155 [INFO] sysbus: Loading segment of 14280 bytes length at 0x8000000. 10:56:35.7302 [INFO] sysbus: Loading segment of 102 bytes length at 0x80037C8. 10:56:35.7303 [INFO] sysbus: Loading segment of 4 bytes length at 0x800382E. 10:56:35.7304 [INFO] sysbus: Loading segment of 17184 bytes length at 0x20000000. 10:56:36.0397 [INFO] cpu0: Setting initial values: PC = 0x8000F91, SP = 0x20004320. 10:56:36.0413 [INFO] legend: Machine started. 10:56:36.1276 [WARNING] sysbus: [cpu0: 0x8000CDE] ReadDoubleWord from non existing peripheral at 0x40010000. 10:56:36.1283 [WARNING] sysbus: [cpu0: 0x8000CDE] WriteDoubleWord to non existing peripheral at 0x40010000, value 0x3. 10:56:36.2268 [WARNING] sysbus: [cpu0: 0x8001A6A] ReadDoubleWord from non existing peripheral at 0x40022000. 10:56:36.2269 [WARNING] sysbus: [cpu0: 0x8001A6A] WriteDoubleWord to non existing peripheral at 0x40022000, value 0x1. 10:56:36.2269 [WARNING] sysbus: [cpu0: 0x8001A6A] ReadDoubleWord from non existing peripheral at 0x40022000. 10:56:36.2270 [WARNING] sysbus: [cpu0: 0x8001A86] ReadDoubleWord from non existing peripheral at 0x40022000. 10:56:36.2681 [WARNING] gpioa: Unhandled write to offset 0x24. Unhandled bits: [4] when writing value 0x10. Tags: AFSEL9 (0x1). 10:56:36.2718 [WARNING] gpioa: Unhandled write to offset 0x24. Unhandled bits: [8] when writing value 0x100. Tags: AFSEL10 (0x1). 10:56:36.2949 [INFO] usart1: [host: 0.82s (+0.82s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 38f554ef4f99 *** 10:56:36.3109 [INFO] usart1: [host: 0.83s (+16.05ms)|virt: 0.14ms (+36µs)] [2J[15;1HDemo Description 10:56:36.3149 [INFO] usart1: [host: 0.84s (+3.86ms)|virt: 0.14ms (+0s)] ---------------- 10:56:36.3313 [INFO] usart1: [host: 0.85s (+16.48ms)|virt: 0.14ms (+0s)] An implementation of a solution to the Dining Philosophers 10:56:36.3460 [INFO] usart1: [host: 0.87s (+14.73ms)|virt: 0.2ms (+64µs)] problem (a classic multi-thread synchronization problem). 10:56:36.3622 [INFO] usart1: [host: 0.88s (+16.16ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 10:56:36.3777 [INFO] usart1: [host: 0.9s (+15.51ms)|virt: 0.3ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 10:56:36.3905 [INFO] usart1: [host: 0.91s (+12.83ms)|virt: 0.3ms (+0s)] well as dynamic mutexes and thread sleeping. 10:56:36.4145 [INFO] usart1: [host: 0.94s (+23.98ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:56:36.4345 [INFO] usart1: [host: 0.96s (+20.06ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:56:36.4559 [INFO] usart1: [host: 0.98s (+21.34ms)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:56:36.4820 [INFO] usart1: [host: 1s (+26.07ms)|virt: 0.6ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:56:36.5024 [INFO] usart1: [host: 1.02s (+20.4ms)|virt: 0.6ms (+0s)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:56:36.5296 [INFO] usart1: [host: 1.05s (+27.22ms)|virt: 0.7ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:56:36.5513 [INFO] usart1: [host: 1.07s (+21.72ms)|virt: 0.7ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:56:36.5776 [INFO] usart1: [host: 1.1s (+26.28ms)|virt: 0.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 10:56:36.6010 [INFO] usart1: [host: 1.12s (+23.42ms)|virt: 0.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:56:36.6263 [INFO] usart1: [host: 1.15s (+25.32ms)|virt: 0.91ms (+14µs)] [2;1HPhilosopher 1 [P: 2] STARVING 10:56:36.6514 [INFO] usart1: [host: 1.17s (+25.05ms)|virt: 1ms (+86µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:56:36.6796 [INFO] usart1: [host: 1.2s (+28.23ms)|virt: 1.03ms (+35µs)] [1;1HPhilosopher 0 [P: 3] STARVING 10:56:36.7252 [INFO] usart1: [host: 1.25s (+45.57ms)|virt: 4.7ms (+3.66ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:56:36.7570 [INFO] usart1: [host: 1.28s (+31.88ms)|virt: 4.8ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:56:36.7933 [INFO] usart1: [host: 1.31s (+36.3ms)|virt: 4.83ms (+27µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 10:56:36.8286 [INFO] usart1: [host: 1.35s (+35.27ms)|virt: 4.9ms (+76µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:56:36.8799 [INFO] usart1: [host: 1.4s (+51.27ms)|virt: 9.3ms (+4.4ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 10:56:36.9212 [INFO] usart1: [host: 1.44s (+41.3ms)|virt: 9.4ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 10:56:36.9802 [INFO] usart1: [host: 1.5s (+58.97ms)|virt: 9.41ms (+14µs)] [5;1HPhilosopher 4 [C:-1] STARVING 10:56:37.0309 [INFO] usart1: [host: 1.55s (+50.73ms)|virt: 9.5ms (+86µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:56:37.0778 [INFO] usart1: [host: 1.6s (+46.96ms)|virt: 9.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:56:37.1248 [INFO] usart1: [host: 1.65s (+46.91ms)|virt: 9.62ms (+17µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:56:37.1679 [INFO] usart1: [host: 1.69s (+43.17ms)|virt: 9.7ms (+83µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 10:56:37.2164 [INFO] usart1: [host: 1.74s (+48.5ms)|virt: 9.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 10:56:37.2607 [INFO] usart1: [host: 1.78s (+44.28ms)|virt: 9.83ms (+30µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 10:56:37.3136 [INFO] usart1: [host: 1.83s (+52.9ms)|virt: 13.9ms (+4.07ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:56:37.3624 [INFO] usart1: [host: 1.88s (+48.81ms)|virt: 13.92ms (+25µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:56:37.4109 [INFO] usart1: [host: 1.93s (+48.52ms)|virt: 14ms (+75µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 10:56:37.4666 [INFO] usart1: [host: 1.99s (+55.64ms)|virt: 14.1ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:56:37.5178 [INFO] usart1: [host: 2.04s (+51.2ms)|virt: 14.13ms (+33µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:56:37.5598 [INFO] usart1: [host: 2.08s (+42.05ms)|virt: 14.2ms (+67µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 10:56:37.6068 [INFO] usart1: [host: 2.13s (+46.99ms)|virt: 14.3ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:56:37.6638 [INFO] usart1: [host: 2.18s (+56.94ms)|virt: 14.4ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 10:56:37.7191 [INFO] usart1: [host: 2.24s (+55.34ms)|virt: 14.41ms (+12µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 10:56:37.7971 [INFO] usart1: [host: 2.32s (+78.04ms)|virt: 24.2ms (+9.79ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 10:56:37.8638 [INFO] usart1: [host: 2.38s (+66.67ms)|virt: 24.3ms (+0.1ms)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 10:56:37.9252 [INFO] usart1: [host: 2.45s (+61.35ms)|virt: 24.31ms (+10µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 10:56:37.9977 [INFO] usart1: [host: 2.52s (+72.56ms)|virt: 26.5ms (+2.19ms)] [3;1HPhilosopher 2 [P: 1] STARVING 10:56:38.0478 [INFO] usart1: [host: 2.57s (+50.11ms)|virt: 26.5ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:56:38.1095 [INFO] usart1: [host: 2.63s (+61.66ms)|virt: 29.9ms (+3.4ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:56:38.1602 [INFO] usart1: [host: 2.68s (+50.76ms)|virt: 30ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 10:56:38.2251 [INFO] usart1: [host: 2.75s (+64.88ms)|virt: 30.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 10:56:38.2869 [INFO] usart1: [host: 2.81s (+61.81ms)|virt: 32.2ms (+2.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:56:38.3361 [INFO] usart1: [host: 2.86s (+49.16ms)|virt: 32.3ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:56:38.4091 [INFO] usart1: [host: 2.93s (+73ms)|virt: 32.3ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 10:56:38.5336 [INFO] usart1: [host: 3.05s (+0.12s)|virt: 34.5ms (+2.2ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 10:56:38.6405 [INFO] usart1: [host: 3.16s (+0.11s)|virt: 34.6ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:56:38.8938 [INFO] usart1: [host: 3.41s (+0.25s)|virt: 34.61ms (+9µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 10:56:38.9921 [INFO] usart1: [host: 3.51s (+98.35ms)|virt: 40.21ms (+5.6ms)] [2;1HPhilosopher 1 [P: 2] STARVING 10:56:39.0615 [INFO] usart1: [host: 3.58s (+69.42ms)|virt: 40.3ms (+86µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:56:39.1693 [INFO] usart1: [host: 3.69s (+0.11s)|virt: 47.1ms (+6.8ms)] [1;1HPhilosopher 0 [P: 3] STARVING 10:56:39.2618 [INFO] usart1: [host: 3.78s (+92.45ms)|virt: 51.7ms (+4.6ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:56:39.4037 [INFO] usart1: [host: 3.92s (+0.14s)|virt: 51.8ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 10:56:39.5360 [INFO] usart1: [host: 4.06s (+0.13s)|virt: 51.82ms (+16µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 10:56:39.6309 [INFO] usart1: [host: 4.15s (+94.99ms)|virt: 57.4ms (+5.59ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:56:39.7013 [INFO] usart1: [host: 4.22s (+70.37ms)|virt: 57.5ms (+96µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:56:39.8316 [INFO] usart1: [host: 4.35s (+0.13s)|virt: 65.43ms (+7.93ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:56:39.9678 [INFO] usart1: [host: 4.49s (+0.14s)|virt: 65.5ms (+74µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 10:56:40.0658 [INFO] usart1: [host: 4.58s (+95.36ms)|virt: 65.6ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 10:56:40.0935 [INFO] legend: Machine paused. 10:56:40.1017 [INFO] legend: Disposed.