Введение в распределенные

Решение обобщенной задачи обедающих философов. В общей формулировке задача обедающих философов предполагает наличие конечного неориентированного графа G, вершины которого представляют собой процессы распределенной системы. В терминах данной задачи процессы называют "философами" и, обычно, обозначают символами u, v,
w. Два философа являются соседями тогда и только тогда, когда между ними существует ребро в графе G. Каждый из философов может находиться в одном из трех состояний: состоянии размышления, голодном состоянии и состоянии поглощения пищи. При этом возможны только переходы из состояния размышления в голодное состояние, из голодного состояния в состояние приема пищи и из состояния приема пищи вновь в состояние размышления. Важно отметить, что философ принимает пищу в течение ограниченного времени, в то время как в состоянии размышления он может находиться сколь угодно долго. Суть задачи состоит в разработке детерминированной схемы координации действий философов таким образом, чтобы ни один из философов не принимал бы пищу одновременно с любым из своих соседей. Когда два соседних философа одновременно оказываются в голодном состоянии, между ними возникает конфликт, который должен быть разрешен в пользу одного из них, т.к. только один философ сможет приступить к приему пищи. Поэтому граф G представляет собой граф конфликтов для обедающих философов.
Кроме выполнения основного требования, запрещающего соседним философам питаться одновременно, распределенный алгоритм решения задачи обедающих философов должен обладать следующими свойствами.

1. 
   Отсутствие голодания. Ни один из философов не должен вечно голодать, т.е. философ должен чередовать прием пищи и размышления.
   
2. 
   Симметричность. Все философы подчиняются одинаковым правилам и выполняют одинаковые роли при координации своих действий. Не существует каких-либо заданных извне неизменных приоритетов, установленных для философов.
   
3.