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