Исследования в области взаимоблокировок

Если на заре разработки операционных систем и был какой-нибудь предмет, на исследование которого не жалели ни сил, ни средств, так это взаимоблокировки. Причиной этому являлось то, что обнаружение взаимоблокировок — это небольшая красивая

задача из области теории графов, которую один аспирант с математическими наклонностями может разжевать за 4 года.

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

Последние работы, посвященные взаимным блокировкам, включают исследования иммунитета от взаимоблокировок (Jula et al., 2011). Основная идея этого подхода заключается в том, что приложения обнаруживают взаимоблокировки, как только они происходят, а затем сохраняют их «сигнатуры», чтобы при последующих запусках избежать подобных взаимоблокировок. В то же время есть работы (Marino et al., 2013), посвященные использованию параллельного контроля, чтобы в первую очередь обеспечить невозможность возникновения взаимоблокировок.

Другим направлением исследований является попытка вхождения во взаимоблокировки и их обнаружения. Последние работы по обнаружению взаимоблокировок были представлены Pyla и Varadarajan (2012). Работа, выполненная Cai и Chan (2012), предоставляет новую динамическую схему обнаружения взаимоблокировок, которая многократно сокращает блокировочные зависимости, в которых нет входящих или исходящих границ.

Проблема взаимной блокировки проявляется повсеместно. В работе Wu (2013) описывается система управления взаимоблокировками для автоматизированных производственных систем. Такие системы моделируются с использованием сетей Петри с целью поиска необходимых и достаточных условий для обеспечения управления взаимными блокировками.

Существует также большой объем исследований, касающихся обнаружения распределенных взаимоблокировок, особенно в высокопроизводительных вычислениях. Например, существует значительный объем работ по планированию на основе обнаружения взаимоблокировок. Wang и Lu (2013) представили алгоритм планирования рабочего процесса вычислений при ограниченных возможностях хранилищ данных. В еще одной работе (Hilbrich et al., 2013) описывается обнаружение взаимоблокировки в ходе выполнения программ для MPI. И наконец, существует огромное количество теоретических работ по обнаружению распределенных взаимоблокировок. Но мы не станем рассматривать здесь эти исследования, потому что, во-первых, они выходят за рамки тематики данной книги, а во-вторых, ни одно из них даже отдаленно не приблизилось к практическому применению в реальных системах. Их главное предназначение, похоже, состоит в обеспечении работой специалистов по теории графов, чтобы они не пошли на улицу с протянутой рукой.

6.9.

<< | >>
Источник: Э. ТАНЕНБАУМ Х. БОС. СОВРЕМЕННЫЕ ОПЕРАЦИОННЫЕ СИСТЕМ Ы 4-е ИЗДАНИЕ. 2015

Еще по теме Исследования в области взаимоблокировок:

  1. Социальные исследования как «большая наука» и исследование малых групп
  2. б) Предметная область
  3. б) Предметная область
  4. ЧЕТЫРЕ ОБЛАСТИ МОЗГА
  5. 4.1. Определение и область применения
  6. Глава 8. ENFJ «Специалисты в области пиар»
  7. В области образования
  8. В области творчества
  9. В области психологии
  10. ОБЛАСТИ ПРИМЕНЕНИЯ
  11. Полномочия в судебной области
  12. Три области самоощущения
  13. Благотворительная деятельность в области телевидения.
  14. 2.2.1. Область поиска, получения и потребления информации
  15. 14.4. Обязанности государства в области библиотечного дела