Вопросы по лекциям (1162551), страница 2
Текст из файла (страница 2)
При решении задач по теме 2 обратить внимание на следующее.
-
Нельзя модифицировать общие переменные вне КС.
-
При наличии вложенных КС или запросов нескольких семафоров необходимо убедиться, что не могут возникнуть тупики.
-
Нельзя обращаться к семафорам и событиям обычными операторами – только посредством операций, которые определены над ними (P, V, POST, WAIT, CLEAR).
-
Нельзя освобождать свободный семафор и объявлять уже объявленное событие.
-
Определять начальные значения семафоров и событий, если они должны быть отличны от нуля (семафор занят, событие не объявлено).
При ответах на вопросы по теме 6 следовать следующему плану.
-
Определение модели консистентности.
-
Алгоритм реализации в DSM с полным размножением (много писателей и много читателей, каждый из которых имеет свою копию всех переменных). Алгоритм должен быть корректным для любой коммуникационной сети и обеспечивать высокую эффективность для конкретной сети, указанной в задаче. Описание алгоритма должно содержать ответы на следующие вопросы:
а) что делается при записи;
б) что делается при чтении;
в) когда, кому и как рассылаются значения модифицируемых переменных;
г) блокируется ли процесс на время выполнения записи или рассылки значений переменных;
д) если речь идет о моделях консистентности, связанных с синхронизацией, то указать алгоритм синхронизации (например, алгоритм входа в КС и выхода из нее). -
Оценить время работы описанного в пункте 2 алгоритма применительно к конкретной задаче.