| Каталог | Индекс раздела |
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. Заключение
Ссылки
| Каталог | Индекс раздела |