За круглым столом расставлены N стульев, на каждом из которых сидит философ. В центре стола размещено блюдо с макаронами. На столе лежат N вилок, каждая из которых находится между двумя соседними тарелками. Каждый философ может находиться в двух состояниях: размышлять или есть макароны. Для того, чтобы начать есть, философу необходимы две вилки: одна в правой руке, а другая в левой. Закончив еду, философ кладет вилки на место и начинает размышлять до тех пор, пока снова не проголодается.

В этой задаче имеются две опасные ситуации: <заговор соседей> и <голодная смерть>. 
<Заговор соседей> имеет место, когда соседи слева и справа от философа строят козни. Заговорщики поочередно забирают вилки то слева, то справа от <жертвы>. Такие согласованные действия злоумышленников приводят жертву к вынужденному голоданию, так как он никогда не может воспользоваться обеими вилками.
<Голодная смерть> возникает, когда философы одновременно проголодаются и одновременно попытаются взять, например, свою левую вилку. При этом возникает тупиковая ситуация, так как никто из них не может начать есть, не имея второй вилки.

Поведение каждого философа должно моделироваться отдельным процессом или потоком. При использовании процессов, взаимодействие между процессами - философами может осуществляться через дополнительный процесс - обеденный стол, который знает информацию о наличии вилок на столе. В каждом процессе-философе должно быть реализовано несколько алгоритмов взятия вилок, причем номер алгоритма должен указываться при запуске процесса-философа:
1. Философ вначале пытается взять левую вилку, а затем, как только левая вилка оказалась у него, пытается взять правую. При этом он продолжает удерживать левую вилку, если правая недоступна. Если все философы действуют по такому алгоритму, то может возникнуть ситуация <голодная смерть>, т.е. Процессы, моделирующие философов окажутся в тупиковой ситуации (зависнут) 2. Философ выбирает первую вилку случайным образом, в остальном - все тоже самое, что и в первом алгоритме, в т.ч. возможно возникновение тупиковой ситуации, но с меньшей вероятностью, чем в первом случае.
3. Вы должны предложить и реализовать такой алгоритм поведения философов, который гарантированно не приведет к ситуациям <заговор соседей> и <голодная смерть>.

Пишу программу с "чистого листа" Создал класс философов, как быть с методами, что написать, я в тупике, подскажите какими то идеями

// kursovaya.cpp : Defines the entry point for the console application.
//

может Hand_state != value

всё уже давно написали
http://en.wikipedia.org/wiki/Dining_philosophers_problem

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

Правильно ли я подхожу к решении данной задачи, то есть создаю класс,



можно ли решить данную задачу с помочщью критических секций? Состояние вилок сделать голбальный массивом? я все понимаю о чем вы говорите, ну как это реализовать...

Это сообщение отредактировал(а) bsa - 22.10.2009, 00:30

Каждую вилку сделать mutex'ом. Его захват будет соотвествовать взятию вилки, освобождение - возврату вилки на место. Все вилки собираются в массив, из которого объект стола выделяет по 2 соседние вилки каждому объекту филисофа при его создании. Далее каждый объект филисофа запускает нить, в которой начинает брать и класть вилки в соотвествии с установками.

Увы, дедлок философов будет проявляться в дедлоке всей программы, что не есть гуд   

Что то похожее есть? 

Не совсем так. Вилки сделать типа handle и передавать в конструктор Philosopher. Создавать Philosopher должен TableManager, который будет передавать нужную пару вилок каждому объекту Philosopher.
Метод Philosopher::Phil_GetForks будет просто делать 
Или в обратном порядке, в зависимости от policy обеда

А как будет выглядить TableManager? это будет класс, или структура?
и если передавать в конструктор handle вилок, то это надо каждый раз будет пересоздавать объекы?

Это сообщение отредактировал(а) Christoph - 23.10.2009, 14:06

Класс. Он будет создавать вилки (мьютексы) в массиве, а затем создавать поштучно философов, передавая им по 2 смежных элемента из массива вилок. Так же он будет передавать политику манипулирования вилками.

Зачем каждый раз, один раз при старте всей системы.

Как то так?  не понимаю, с трудом понимаю ход действий)

Идея правильная, реализация не совсем