16:41:18.4201 [INFO] System bus created. 16:41:19.5072 [INFO] sysbus: Loading segment of 22668 bytes length at 0x8000000. 16:41:19.5186 [INFO] sysbus: Loading segment of 144 bytes length at 0x800588C. 16:41:19.5187 [INFO] sysbus: Loading segment of 4 bytes length at 0x800591C. 16:41:19.5187 [INFO] sysbus: Loading segment of 17840 bytes length at 0x20010090. 16:41:19.7964 [INFO] cpu0: Setting initial values: PC = 0x8000A89, SP = 0x20014600. 16:41:19.7976 [INFO] stm32f7508_dk: Machine started. 16:41:19.8422 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:41:19.8464 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:41:19.8497 [WARNING] sysbus: [cpu0: 0x8000738] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:41:19.8500 [WARNING] sysbus: [cpu0: 0x8000738] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x200. 16:41:19.8506 [WARNING] sysbus: [cpu0: 0x8001A88] ReadDoubleWord from non existing peripheral at 0x40007000. 16:41:19.8506 [WARNING] sysbus: [cpu0: 0x8001A88] ReadDoubleWord from non existing peripheral at 0x40007000. 16:41:19.8506 [WARNING] sysbus: [cpu0: 0x8001ADC] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:41:19.8507 [WARNING] sysbus: [cpu0: 0x8001ADC] WriteDoubleWord to non existing peripheral at 0x40023C00, value 0x4. 16:41:19.8507 [WARNING] sysbus: [cpu0: 0x8001ADC] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:41:19.8507 [WARNING] sysbus: [cpu0: 0x8001AF2] ReadDoubleWord from non existing peripheral at 0x40023C00. 16:41:19.8511 [WARNING] sysbus: [cpu0: 0x80012F8] ReadDoubleWord from non existing peripheral at 0x40007000. 16:41:19.8511 [WARNING] sysbus: [cpu0: 0x80012F8] WriteDoubleWord to non existing peripheral at 0x40007000, value 0x10000. 16:41:19.9142 [WARNING] sysbus: [cpu0: 0x8001320] ReadDoubleWord from non existing peripheral at 0x40007000. 16:41:19.9142 [WARNING] sysbus: [cpu0: 0x8001320] WriteDoubleWord to non existing peripheral at 0x40007000, value 0x20000. 16:41:19.9144 [WARNING] sysbus: [cpu0: 0x8000724] ReadDoubleWord from non existing peripheral at 0xE0042004. 16:41:19.9144 [WARNING] sysbus: [cpu0: 0x8000724] WriteDoubleWord to non existing peripheral at 0xE0042004, value 0x0. 16:41:19.9326 [INFO] usart1: [host: 0.68s (+0.68s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:41:19.9568 [INFO] stm32f7508_dk: Machine paused. 16:41:19.9647 [INFO] stm32f7508_dk: Machine resumed. 16:41:19.9660 [INFO] usart1: [host: 0.71s (+33.49ms)|virt: 0.13ms (+30µs)] 16:41:19.9675 [INFO] usart1: [host: 0.71s (+1.36ms)|virt: 0.13ms (+0s)] [2J[15;1HDemo Description 16:41:19.9678 [INFO] usart1: [host: 0.71s (+0.47ms)|virt: 0.13ms (+0s)] ---------------- 16:41:19.9692 [INFO] usart1: [host: 0.71s (+1.33ms)|virt: 0.13ms (+0s)] An implementation of a solution to the Dining Philosophers 16:41:19.9716 [INFO] usart1: [host: 0.71s (+2.36ms)|virt: 0.2ms (+70µs)] problem (a classic multi-thread synchronization problem). 16:41:19.9752 [INFO] usart1: [host: 0.72s (+3.64ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:41:19.9778 [INFO] usart1: [host: 0.72s (+2.57ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:41:19.9790 [INFO] usart1: [host: 0.72s (+1.28ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:41:19.9953 [INFO] usart1: [host: 0.73s (+12.46ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:19.9962 [INFO] usart1: [host: 0.74s (+3.99ms)|virt: 0.31ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:19.9990 [INFO] usart1: [host: 0.74s (+3.32ms)|virt: 0.4ms (+86µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:20.0031 [INFO] usart1: [host: 0.75s (+4.29ms)|virt: 0.45ms (+48µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:20.0070 [INFO] usart1: [host: 0.75s (+2.84ms)|virt: 0.5ms (+52µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:20.0100 [INFO] usart1: [host: 0.75s (+3.51ms)|virt: 0.54ms (+36µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:20.0125 [INFO] usart1: [host: 0.76s (+3.02ms)|virt: 0.6ms (+64µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:20.0172 [INFO] usart1: [host: 0.76s (+4.68ms)|virt: 0.62ms (+20µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:20.0220 [INFO] usart1: [host: 0.76s (+4.04ms)|virt: 0.7ms (+80µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:20.0254 [INFO] usart1: [host: 0.77s (+4.24ms)|virt: 0.7ms (+5µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:20.0298 [INFO] usart1: [host: 0.77s (+4.3ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:20.0353 [INFO] usart1: [host: 0.78s (+5.07ms)|virt: 0.8ms (+95µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:20.0464 [INFO] usart1: [host: 0.79s (+11.61ms)|virt: 40ms (+39.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:20.0511 [INFO] usart1: [host: 0.79s (+4.68ms)|virt: 40ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:41:20.0559 [INFO] usart1: [host: 0.8s (+4.83ms)|virt: 40.1ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:41:20.0607 [INFO] usart1: [host: 0.8s (+4.76ms)|virt: 40.14ms (+43µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:41:20.0817 [INFO] usart1: [host: 0.82s (+19.94ms)|virt: 80.01ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:41:20.0867 [INFO] usart1: [host: 0.83s (+6.06ms)|virt: 80.01ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:41:20.0874 [INFO] stm32f7508_dk: Machine paused. 16:41:20.0919 [INFO] stm32f7508_dk: Machine resumed. 16:41:20.0920 [INFO] usart1: [host: 0.83s (+5.33ms)|virt: 80.09ms (+87µs)] 16:41:20.0965 [INFO] usart1: [host: 0.84s (+4.48ms)|virt: 80.1ms (+7µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:20.1009 [INFO] usart1: [host: 0.84s (+4.38ms)|virt: 80.14ms (+44µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:20.1048 [INFO] usart1: [host: 0.85s (+3.94ms)|virt: 80.2ms (+56µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:41:20.1083 [INFO] usart1: [host: 0.85s (+3.5ms)|virt: 80.23ms (+33µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:20.1125 [INFO] usart1: [host: 0.86s (+4.15ms)|virt: 80.3ms (+67µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:41:20.1169 [INFO] usart1: [host: 0.86s (+4.44ms)|virt: 80.32ms (+24µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:41:20.1214 [INFO] usart1: [host: 0.86s (+4.47ms)|virt: 80.4ms (+76µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:41:20.1352 [INFO] usart1: [host: 0.88s (+13.81ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:41:20.1400 [INFO] usart1: [host: 0.88s (+4.3ms)|virt: 0.12s (+43µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:20.1440 [INFO] usart1: [host: 0.89s (+4.51ms)|virt: 0.12s (+49µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:41:20.1551 [INFO] usart1: [host: 0.9s (+9.73ms)|virt: 0.12s (+42µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:20.1595 [INFO] usart1: [host: 0.9s (+5.74ms)|virt: 0.12s (+58µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:20.1693 [INFO] usart1: [host: 0.91s (+8.48ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:41:20.1728 [INFO] usart1: [host: 0.91s (+3.68ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:20.1837 [INFO] usart1: [host: 0.93s (+12.06ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:41:20.1982 [INFO] usart1: [host: 0.94s (+14.48ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:41:20.2248 [INFO] usart1: [host: 0.97s (+26.59ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:41:20.2292 [INFO] usart1: [host: 0.97s (+4.37ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:41:20.2335 [INFO] usart1: [host: 0.98s (+4.4ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:41:20.2433 [INFO] usart1: [host: 0.99s (+9.77ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:41:20.2483 [INFO] usart1: [host: 0.99s (+5.03ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:41:20.2609 [INFO] usart1: [host: 1s (+12.54ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:41:20.2662 [INFO] usart1: [host: 1.01s (+4.85ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:41:20.2708 [INFO] usart1: [host: 1.01s (+5.1ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:41:20.2810 [INFO] usart1: [host: 1.02s (+10.15ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:41:20.2857 [INFO] usart1: [host: 1.03s (+4.68ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:41:20.2908 [INFO] usart1: [host: 1.03s (+5.15ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:41:20.3017 [INFO] usart1: [host: 1.04s (+10.92ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:41:20.3085 [INFO] usart1: [host: 1.05s (+6.75ms)|virt: 0.3s (+44µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:41:20.3086 [INFO] stm32f7508_dk: Machine paused. 16:41:20.3136 [INFO] stm32f7508_dk: Machine resumed. 16:41:20.3137 [INFO] usart1: [host: 1.06s (+5.2ms)|virt: 0.3s (+41µs)] 16:41:20.3235 [INFO] usart1: [host: 1.07s (+9.82ms)|virt: 0.3s (+12µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:41:20.3384 [INFO] usart1: [host: 1.08s (+14.92ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:41:20.3441 [INFO] usart1: [host: 1.09s (+5.72ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:41:20.3645 [INFO] usart1: [host: 1.11s (+20.41ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:41:20.3745 [INFO] usart1: [host: 1.12s (+9.94ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:41:20.3791 [INFO] usart1: [host: 1.12s (+3.37ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:41:20.3827 [INFO] usart1: [host: 1.13s (+4.89ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:41:20.4027 [INFO] usart1: [host: 1.15s (+19.97ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:41:20.4124 [INFO] usart1: [host: 1.16s (+9.68ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:41:20.4337 [INFO] usart1: [host: 1.18s (+21.28ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:41:20.4470 [INFO] usart1: [host: 1.19s (+13.33ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:41:20.4617 [INFO] usart1: [host: 1.2s (+14.7ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:41:20.4619 [INFO] stm32f7508_dk: Machine paused.