64
правки
Изменения
→19 билет. Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для синхронного порядка
===19 билет. Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для синхронного порядка===
Алгоритм для синхронного порядка основан на иерархии процессов.
Упорядочим процессы по номеру, назовем сообщение ''большим'', если номер отправителя больше номера получателя, и ''малым'' иначе.
Процесс может быть в ''активном'' или ''пассивном состоянии''. Изначально все активны.
Процесс может отправить большое сообщение, только если он активен. После отправки он становится пассивным и не может ни отправлять, ни принимать сообщения, пока не получит от получателя ack.
Чтобы отправить сообщение большему процессу <tex>P_j</tex>, процесс <tex>P_i</tex> должен получить разрешение от <tex>P_j</tex>. <tex>P_j</tex> может разрешить только в активном состоянии. Разрешив, он становится пассивным и остается в этом состоянии, пока не получает сообщение, которое разрешил.
===20-21 билеты. Общий порядок (total order). Алгоритмы Лампорта и Скина===
