Синхронизация реального масштаба времени.
В автоматизированных системах реального масштаба времени производится обязательная синхронизация всех ЭВМ с единым временем, данную проблему решает служба времени, распределенная по всем ЭВМ системы. Если одна из ЭВМ системы имеет приемник сигналов общемирового времени, то такая ЭВМ называется сервер единого времени.
Задача службы времени заключается в синхронизации системных часов всех ЭВМ системы с сервером единого времени.
Если два процесса хотят гарантировать синхронность своей взаимной работы не хуже чем на время «дельта» , то синхронизация часов процессов должна производиться не реже, чем через каждое «дельта» делить на два «ро» единиц времени.
Для синхронизации системных часов используются два алгоритма:
Алгоритм Кристиана . Периодически не реже чем через каждые «дельта» делить на два «ро» единиц времени, каждая ЭВМ посылает серверу единого времени запрос о точном времени. Сервер так быстро как это возможно отвечает сообщением, содержащим значение точного времени.
Алгоритм Беркли. Сервер единого времени периодически опрашивает системные часы каждой ЭВМ сети и предлагает им установить их системные часы на новое время.
Синхронизация процессов
Для процессов не критичных к использованию общемирового времени используется синхронизация называемая логические часы Лампорта.
Логические часы Лампорта . Любое пересылаемое сообщение содержит в своём заголовке информацию о времени отправки по системным часам ЭВМ-отправителем. Если при доставке сообщение системные часы ЭВМ-получателя показывают время более раннее, чем время отправки, получатель быстро подводит часы таким образом, чтобы они показывали время на единицу большее времени отправки. С целью упорядочивания одновременно происходящих событий и значению времени справа через точку добавляется номер процесса. Причинно-следственная связь между процессами может быть соблюдена посредством векторных отметок времени.
