Логические часы
-
Определение и применение логических часов
- Логические часы фиксируют хронологические и причинно-следственные связи в распределенных системах.
- В распределенных системах могут отсутствовать физически синхронные глобальные часы.
- В приложениях, где процессы не взаимодействуют, достаточно согласования порядка событий.
-
Структура данных и протокол обновления
- Каждый процесс имеет локальное и глобальное время.
- Локальное время используется для обозначения собственных событий, глобальное — для информации о глобальном времени.
- Протокол обновления логического локального и глобального времени используется для синхронизации данных.
-
Применение логических часов
- Логические часы полезны для анализа вычислений, разработки алгоритмов и отслеживания событий.
-
Примеры алгоритмов синхронизации
- Временные метки Лэмпорта — монотонно увеличивающиеся счетчики.
- Векторные часы частично упорядочивают события в распределенной системе.
- Матричные часы расширяют векторные часы, включая информацию о взглядах других процессов.
-
Ссылки на литературу
- Распределенное системное логическое время: Роберто Бальдони и Сильвия Бономи, Римский университет Сапиенца.
- Глава 3: Логическое время: Аджай Кшемкаляни и Мукеш Сингхал, Распределенные вычисления: принципы, алгоритмы и системы, издательство Кембриджского университета.
- Распределенные системы 06: Логические часы: Пол Кржижановский, Ратгерский университет, осень 2014 года.