Задача об обедающих философах



(C) 2003 г. С.В. Пак, А.А. Шалыто

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Отсюда можно скачать полный текст документации в формате pdf (550 Кб)
Отсюда можно скачать приложение (25 Кб)
Исходные тексты и картинки (30 Кб)

Аннотация

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

Несмотря на наличие параллелизма в постановке задачи, в данной работе реализован так называемый «псевдопараллелизм», смысл которого состоит в том, что задача выполняется в одном потоке.

Программа реализована на языке программирования Java в виде приложения.