Создается пять процессов (по одному на философа).
Процессы разделяют пять переменных (вилок).
Каждый процесс находится только в двух состояниях - либо он "размышляет", либо "ест спагетти".
Чтобы начать "есть", процесс должен взять "две вилки" (захватить две переменные).
Закончив "еду", процесс освобождает захваченные переменные и начинает "размышлять" до тех пор, пока снова "проголодается".