master-degree-notes/Concurrent Systems/notes/4c - Dining Philosophers.md

7 lines
360 B
Markdown

The first real practical example of a concurrent system.
- $N$ philosophers seated around a circular table
- one chopstick between each pair of philosophers
- a philosophers must pick up its two nearest chopsticks in order to eat
- a philosopher must pick up first one chopstick, then the second one, not both at once
![[Pasted image 20250317100456.png|100]]