КаталогИндекс раздела


Мониторы - структурная концепция операционных систем

C.A.R Hoare

The Queen's University of Belfast

Communications of the ACM, Vol. 17, No. 10. October 1974, pp. 549-557.
©Association for Computing Machinery Inc.


Эта статья разрабатывает концепцию монитора Brinch-Hansen, как метода структурирования операционной системы. Она предлагает способ синхронизации, описывает возможные требования к реализации в терминах семафоров и дает разумные правила доказательства. Иллюстрационные примеры включают в себя планировщик единственного ресурса, ограниченный буфер, сигнал тревоги, буферный пул, оптимизатор для головок диска и вариант задачи читателей и писателей.


Ключевые слова и фразы:

мониторы, операционные системы, планирование, взаимное исключение, синхронизация, реализация системы, структурное мультипрограммирование


Содержание

1. Введение
2. Интерпретация
3. Правила доказательства
4. Пример: ограниченный буфер
5. Планируемое ожидание
6. Дополнительные примеры
7. Заключение
Ссылки


КаталогИндекс раздела