Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
По РИС 1-14.docx
Скачиваний:
4
Добавлен:
01.05.2025
Размер:
29 Кб
Скачать
☆

13.Логические часы в рис. Векторные отметки времени.

Проблема состоит в том, что отметки времени Лампорта не в состоянии уловить причинно-следственную связь. Причинно-следственная связь может быть соблюдена посредством векторных отметок времени).Векторная отметка времени VT{а) присвоенная событию а, имеет следующее свойство: если VT{а) < VT(b) для события б, значит, событие а является причинно предшествующим событию б. Векторные отметки времени создаются путем приписыванию каждому процессу Р, вектора V с перечисленными ниже свойствами. Vi[i] — это число событий, которые произошли с процессом Рi, к настоящему времени. Если Vi[j] = ky то процесс Рi знает, что с процессом Рj, произошло k событий. Первое свойство поддерживается путем увеличения Vi[i] на единицу при каждом новом событии, происходящем в процессе Рj. Второе свойство поддерживается вложением векторов в посылаемые сообщения. Так, когда процесс Рi посылает

сообщение m, он пересылает вместе с ним и его текущий вектор как отметку времени vt. отметка времени vt в сообщении т говорит получателю, сколько событий в других процессах должны предварять m и с каким из них у сообщения т может быть причинно-следственная связь.

14.Глобальное состояние распределенной системы.

Глобальное состояние распределенной системы включает в себя локальные состояния каждого процесса вместе с находящимися в пути сообщениями (то есть посланными,но еще не доставленными). В случае распределенной БД в него могут входить только те записи, из которых складывается часть БД, а временные записи, используемые для вычислений, можно исключить. Знание глобального состояния распределенной системы может быть полезно по многим причинам. Так, например, если известно, что локальные вычисления

прекратились и ни одного сообщения в пути нет, ясно, что система перешла в состояние прекращения всяческой деятельности. Анализируя глобальное состояние, можно заключить, что мы либо зашли в тупик, либо распределенные вычисления были корректно завершены. В простом способе непосредственный записи глобального состояния распределенной системы, вводится понятие распределенного снимка состояния, отражающего состояние, в котором находилась

РС. Важным его свойством является то, что он отражает непротиворечивое глобальное состояние.

если в снимке записано, что процесс Р получил сообщение от процесса Q, то там также должно быть записано, что процесс Q послал это сообщение. В противном случае снимок состояния содержал бы записи о сообщениях, которые были приняты, но никогда никем не посылались. Тем не менее допустима обратная ситуация, когда процесс Q послал сообщение, а процесс Р его еще не получил.