16:54:12.7844 [INFO] System bus created. 16:54:13.7955 [INFO] sysbus: Loading segment of 24056 bytes length at 0x8000000. 16:54:13.8066 [INFO] sysbus: Loading segment of 160 bytes length at 0x8005DF8. 16:54:13.8066 [INFO] sysbus: Loading segment of 4 bytes length at 0x8005E98. 16:54:13.8066 [INFO] sysbus: Loading segment of 17888 bytes length at 0x240000A0. 16:54:13.8069 [INFO] sysbus: Loading segment of 16384 bytes length at 0x30004000. 16:54:14.1036 [INFO] cpu0: Setting initial values: PC = 0x8000BB1, SP = 0x24004640. 16:54:14.1043 [INFO] nucleo_h723zg: Machine started. 16:54:14.1503 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:54:14.1522 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:54:14.1547 [WARNING] sysbus: [cpu0: 0x8000828] ReadDoubleWord from non existing peripheral at 0x5802480C. 16:54:14.1549 [WARNING] sysbus: [cpu0: 0x8000828] WriteDoubleWord to non existing peripheral at 0x5802480C, value 0x2. 16:54:14.1660 [WARNING] sysbus: [cpu0: 0x800084A] ReadDoubleWord from non existing peripheral at 0x5C001000. 16:54:14.1699 [WARNING] rcc: Unhandled write to offset 0x0. Unhandled bits: [18] when writing value 0x40187. Tags: HSEBYP (0x1). 16:54:14.1699 [WARNING] sysbus: [cpu0: 0x800135E] ReadDoubleWord from non existing peripheral at 0x58024800. 16:54:14.1700 [WARNING] sysbus: [cpu0: 0x800135E] WriteDoubleWord to non existing peripheral at 0x58024800, value 0x100. 16:54:14.1702 [WARNING] rcc: Unhandled read from offset 0x28. 16:54:14.1702 [WARNING] rcc: Unhandled write to offset 0x28, value 0x2. 16:54:14.1702 [WARNING] rcc: Unhandled read from offset 0x28. 16:54:14.1702 [WARNING] rcc: Unhandled write to offset 0x28, value 0x40. 16:54:14.1702 [WARNING] rcc: Unhandled write to offset 0x2C. Unhandled bits: [1] when writing value 0x1FF0002. 16:54:14.1703 [WARNING] rcc: Unhandled read from offset 0x30. 16:54:14.1703 [WARNING] rcc: Unhandled write to offset 0x30, value 0x112. 16:54:14.1703 [WARNING] rcc: Unhandled read from offset 0x30. 16:54:14.1703 [WARNING] rcc: Unhandled write to offset 0x30, value 0x0. 16:54:14.1703 [WARNING] rcc: Unhandled read from offset 0x30. 16:54:14.1703 [WARNING] rcc: Unhandled write to offset 0x30, value 0x30000. 16:54:14.1703 [WARNING] rcc: Unhandled read from offset 0x30. 16:54:14.1703 [WARNING] rcc: Unhandled write to offset 0x30, value 0x1000000. 16:54:14.1703 [WARNING] sysbus: [cpu0: 0x8001458] ReadDoubleWord from non existing peripheral at 0x5802480C. 16:54:14.1703 [WARNING] sysbus: [cpu0: 0x8001458] WriteDoubleWord to non existing peripheral at 0x5802480C, value 0x2. 16:54:14.1704 [WARNING] rcc: Unhandled read from offset 0x18. 16:54:14.1704 [WARNING] rcc: Unhandled write to offset 0x18, value 0x0. 16:54:14.1704 [WARNING] rcc: Unhandled read from offset 0x18. 16:54:14.1704 [WARNING] rcc: Unhandled write to offset 0x18, value 0x8. 16:54:14.1704 [WARNING] rcc: Unhandled read from offset 0x1C. 16:54:14.1705 [WARNING] rcc: Unhandled write to offset 0x1C, value 0x40. 16:54:14.1705 [WARNING] rcc: Unhandled read from offset 0x1C. 16:54:14.1705 [WARNING] rcc: Unhandled write to offset 0x1C, value 0x400. 16:54:14.1705 [WARNING] rcc: Unhandled read from offset 0x18. 16:54:14.1705 [WARNING] rcc: Unhandled write to offset 0x18, value 0x40. 16:54:14.1705 [WARNING] rcc: Unhandled read from offset 0x20. 16:54:14.1705 [WARNING] rcc: Unhandled write to offset 0x20, value 0x40. 16:54:14.1705 [WARNING] sysbus: [cpu0: 0x80014EC] ReadDoubleWord from non existing peripheral at 0x5802480C. 16:54:14.1705 [WARNING] sysbus: [cpu0: 0x80014EC] WriteDoubleWord to non existing peripheral at 0x5802480C, value 0x2. 16:54:14.1716 [WARNING] sysbus: [cpu0: 0x8001C50] ReadDoubleWord from non existing peripheral at 0x5C001004. 16:54:14.1716 [WARNING] sysbus: [cpu0: 0x8001C50] WriteDoubleWord to non existing peripheral at 0x5C001004, value 0x0. 16:54:14.1720 [WARNING] rcc: Unhandled read from offset 0xE8. 16:54:14.1720 [WARNING] rcc: Unhandled write to offset 0xE8, value 0x20000. 16:54:14.1766 [WARNING] rcc: Unhandled read from offset 0x90. 16:54:14.1766 [WARNING] rcc: Unhandled write to offset 0x90, value 0x20000. 16:54:14.1766 [WARNING] rcc: Unhandled read from offset 0x90. 16:54:14.1766 [WARNING] rcc: Unhandled write to offset 0x90, value 0x0. 16:54:14.1769 [WARNING] rcc: Unhandled read from offset 0xE8. 16:54:14.1769 [WARNING] rcc: Unhandled write to offset 0xE8, value 0x40000. 16:54:14.1788 [WARNING] rcc: Unhandled read from offset 0x90. 16:54:14.1789 [WARNING] rcc: Unhandled write to offset 0x90, value 0x40000. 16:54:14.1789 [WARNING] rcc: Unhandled read from offset 0x90. 16:54:14.1789 [WARNING] rcc: Unhandled write to offset 0x90, value 0x0. 16:54:14.1852 [INFO] usart3: [host: 0.61s (+0.61s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:54:14.1865 [INFO] usart3: [host: 0.61s (+1.24ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 16:54:14.1869 [INFO] usart3: [host: 0.61s (+0.44ms)|virt: 0.1ms (+0s)] ---------------- 16:54:14.1893 [INFO] usart3: [host: 0.61s (+2.39ms)|virt: 0.1ms (+0s)] An implementation of a solution to the Dining Philosophers 16:54:14.1904 [INFO] usart3: [host: 0.61s (+1.13ms)|virt: 0.2ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 16:54:14.1917 [INFO] usart3: [host: 0.62s (+1.28ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 16:54:14.1937 [INFO] usart3: [host: 0.62s (+1.25ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:54:14.1948 [INFO] usart3: [host: 0.62s (+1.85ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 16:54:14.2030 [INFO] usart3: [host: 0.63s (+8.26ms)|virt: 0.32ms (+20µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:54:14.2065 [INFO] usart3: [host: 0.63s (+2.6ms)|virt: 0.4ms (+80µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:54:14.2089 [INFO] usart3: [host: 0.63s (+3.01ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:54:14.2113 [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. 16:54:14.2132 [INFO] nucleo_h723zg: Machine paused. 16:54:14.2174 [INFO] nucleo_h723zg: Machine resumed. 16:54:14.2200 [INFO] usart3: [host: 0.64s (+11.14ms)|virt: 0.47ms (+70µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:54:14.2228 [INFO] usart3: [host: 0.65s (+3.01ms)|virt: 0.5ms (+30µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:54:14.2272 [INFO] usart3: [host: 0.65s (+4.44ms)|virt: 0.54ms (+44µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:54:14.2303 [INFO] usart3: [host: 0.65s (+3.06ms)|virt: 0.6ms (+56µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:54:14.2343 [INFO] usart3: [host: 0.66s (+4.01ms)|virt: 0.63ms (+29µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:54:14.2382 [INFO] usart3: [host: 0.66s (+3.92ms)|virt: 0.7ms (+71µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:54:14.2425 [INFO] usart3: [host: 0.67s (+4.23ms)|virt: 0.71ms (+14µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:54:14.2457 [INFO] usart3: [host: 0.67s (+3.25ms)|virt: 0.71ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:54:14.2502 [INFO] usart3: [host: 0.67s (+4.44ms)|virt: 0.8ms (+86µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:54:14.2673 [INFO] usart3: [host: 0.69s (+17.19ms)|virt: 40.1ms (+39.3ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:54:14.2711 [INFO] usart3: [host: 0.69s (+3.72ms)|virt: 40.1ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 16:54:14.2771 [INFO] usart3: [host: 0.7s (+6ms)|virt: 40.2ms (+98µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 16:54:14.2851 [INFO] usart3: [host: 0.71s (+8.02ms)|virt: 40.24ms (+44µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 16:54:14.2952 [INFO] usart3: [host: 0.72s (+10.16ms)|virt: 80.11ms (+39.86ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 16:54:14.3002 [INFO] usart3: [host: 0.72s (+4.9ms)|virt: 80.11ms (+0s)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 16:54:14.3128 [INFO] nucleo_h723zg: Machine paused. 16:54:14.3196 [INFO] nucleo_h723zg: Machine resumed. 16:54:14.3197 [INFO] usart3: [host: 0.74s (+19.59ms)|virt: 80.19ms (+88µs)] 16:54:14.3253 [INFO] usart3: [host: 0.75s (+5.55ms)|virt: 80.2ms (+6µs)] [5;1HPhilosopher 4 [C:-1] STARVING 16:54:14.3296 [INFO] usart3: [host: 0.75s (+4.3ms)|virt: 80.25ms (+46µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:54:14.3335 [INFO] usart3: [host: 0.76s (+3.91ms)|virt: 80.3ms (+54µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:54:14.3377 [INFO] usart3: [host: 0.76s (+4.23ms)|virt: 80.34ms (+35µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:54:14.3416 [INFO] usart3: [host: 0.77s (+3.92ms)|virt: 80.4ms (+65µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 16:54:14.3458 [INFO] usart3: [host: 0.77s (+4.2ms)|virt: 80.43ms (+26µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 16:54:14.3501 [INFO] usart3: [host: 0.77s (+4.29ms)|virt: 80.5ms (+74µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 16:54:14.3587 [INFO] usart3: [host: 0.78s (+8.53ms)|virt: 0.12s (+39.61ms)] [6;1HPhilosopher 5 [C:-2] STARVING 16:54:14.3629 [INFO] usart3: [host: 0.79s (+4.24ms)|virt: 0.12s (+44µs)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:54:14.3670 [INFO] usart3: [host: 0.79s (+4.12ms)|virt: 0.12s (+48µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 150 ms ] 16:54:14.3712 [INFO] usart3: [host: 0.8s (+4.17ms)|virt: 0.12s (+43µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:54:14.3763 [INFO] usart3: [host: 0.8s (+5.13ms)|virt: 0.12s (+57µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:54:14.3806 [INFO] usart3: [host: 0.8s (+4.28ms)|virt: 0.12s (+0s)] [4;1HPhilosopher 3 [P: 0] EATING [ 125 ms ] 16:54:14.3852 [INFO] usart3: [host: 0.81s (+4.57ms)|virt: 0.12s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:54:14.3895 [INFO] usart3: [host: 0.81s (+4.33ms)|virt: 0.12s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 100 ms ] 16:54:14.3948 [INFO] usart3: [host: 0.82s (+5.26ms)|virt: 0.12s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 75 ms ] 16:54:14.4138 [INFO] usart3: [host: 0.84s (+19.05ms)|virt: 0.21s (+89.6ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 16:54:14.4188 [INFO] usart3: [host: 0.84s (+4.64ms)|virt: 0.21s (+44µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 75 ms ] 16:54:14.4247 [INFO] usart3: [host: 0.85s (+6.27ms)|virt: 0.21s (+52µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 125 ms ] 16:54:14.4398 [INFO] usart3: [host: 0.86s (+15.09ms)|virt: 0.23s (+19.9ms)] [3;1HPhilosopher 2 [P: 1] STARVING 16:54:14.4436 [INFO] usart3: [host: 0.87s (+3.75ms)|virt: 0.23s (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:54:14.4525 [INFO] usart3: [host: 0.88s (+8.89ms)|virt: 0.26s (+30ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 16:54:14.4576 [INFO] usart3: [host: 0.88s (+5.15ms)|virt: 0.26s (+0s)] [4;1HPhilosopher 3 [P: 0] THINKING [ 225 ms ] 16:54:14.4634 [INFO] usart3: [host: 0.89s (+5.82ms)|virt: 0.26s (+96µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 175 ms ] 16:54:14.4823 [INFO] usart3: [host: 0.91s (+18.88ms)|virt: 0.28s (+19.9ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:54:14.4940 [INFO] usart3: [host: 0.92s (+11.74ms)|virt: 0.28s (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:54:14.5065 [INFO] usart3: [host: 0.93s (+12.46ms)|virt: 0.28s (+97µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 275 ms ] 16:54:14.5178 [INFO] usart3: [host: 0.94s (+11.28ms)|virt: 0.3s (+19.9ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 16:54:14.5294 [INFO] usart3: [host: 0.95s (+11.62ms)|virt: 0.3s (+45µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:54:14.5304 [INFO] nucleo_h723zg: Machine paused. 16:54:14.5327 [INFO] nucleo_h723zg: Machine resumed. 16:54:14.5328 [INFO] usart3: [host: 0.96s (+3.44ms)|virt: 0.3s (+41µs)] 16:54:14.5419 [INFO] usart3: [host: 0.97s (+9.01ms)|virt: 0.3s (+11µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 100 ms ] 16:54:14.5513 [INFO] usart3: [host: 0.98s (+9.43ms)|virt: 0.35s (+49.9ms)] [2;1HPhilosopher 1 [P: 2] STARVING 16:54:14.5545 [INFO] usart3: [host: 0.98s (+3.22ms)|virt: 0.35s (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:54:14.5647 [INFO] usart3: [host: 0.99s (+10.23ms)|virt: 0.41s (+60ms)] [1;1HPhilosopher 0 [P: 3] STARVING 16:54:14.5758 [INFO] usart3: [host: 1s (+11.08ms)|virt: 0.45s (+40ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 16:54:14.5800 [INFO] usart3: [host: 1s (+4.22ms)|virt: 0.45s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 325 ms ] 16:54:14.5845 [INFO] usart3: [host: 1.01s (+4.45ms)|virt: 0.45s (+97µs)] [2;1HPhilosopher 1 [P: 2] EATING [ 225 ms ] 16:54:14.6266 [INFO] usart3: [host: 1.05s (+42.16ms)|virt: 0.5s (+49.9ms)] [4;1HPhilosopher 3 [P: 0] STARVING 16:54:14.6328 [INFO] usart3: [host: 1.06s (+6.2ms)|virt: 0.5s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:54:14.6973 [INFO] usart3: [host: 1.12s (+64.45ms)|virt: 0.57s (+70ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 16:54:14.7022 [INFO] usart3: [host: 1.13s (+4.97ms)|virt: 0.57s (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 650 ms ] 16:54:14.7073 [INFO] usart3: [host: 1.13s (+5.07ms)|virt: 0.57s (+97µs)] [6;1HPhilosopher 5 [C:-2] EATING [ 775 ms ] 16:54:14.7074 [INFO] nucleo_h723zg: Machine paused. 16:54:14.7363 [INFO] nucleo_h723zg: Disposed.