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