14.7. Задачи
14.1. В
подразделе раздела 14.1, посвященном
стратегиям переноса процессов,
описывается
методика очистки страниц.
а.
На
какую другую стратегию похожа очистка
страниц с точки зрения той машины,
с которой переносится процесс?
б.
На
какую другую стратегию похожа очистка
страниц с точки зрения той машины,
на которую переносится процесс?
14.2.
В примере, приведенном на рис. 14.9, все
четыре процесса размещают сообщения
а и q
в
порядке (а, q),
даже
если сообщение q
будет
получено перед сообщением
а.
Выполните
описанный алгоритм самостоятельно и
убедитесь в правильности этого
утверждения.
14.3. а. Докажите что
алгоритм, приведенный в [RICA81],
обеспечивает взаимоисключение.
б.
Если сообщения поступают не в том
порядке, в котором они были отправлены,
этот алгоритм не гарантирует, что
критические разделы будут выполняться
в том же порядке, в котором они были
запрошены. Может ли в этой
ситуации возникнуть голодание?
14.4.
С какой целью в алгоритме взаимоисключений,
в котором используется передача
маркера, применяются временные метки?
Совпадает ли эта цель с целью
применения меток в алгоритме распределенной
очереди?
14.5.
Рассмотрим алгоритм взаимоисключений,
в котором используется передача маркера.
Докажите, что этот алгоритм:
а)
гарантирует
взаимоисключение;
б)
позволяет
избежать взаимоблокировок;
в ) беспристрастен.
14.6.
Объясните,
почему вторую строку второй части
алгоритма, приведенного в листинге
14.1, нельзя просто записать как "request(j)
= t".
