In asynchronous distributed systems

In asynchronous distributed systems, absolute physical time is not important, but the temporal order of events is significant for some applications. As an example, in replicated servers, each server is a state machine whose state is modified by the inputs from its clients. In order that all replicas always remain in the same state (so that one can seamlessly switch to a different server if one crashes), all replicas must receive the inputs from clients in the same order.
The performance of a clock synchronization algorithm is determined by how close two distinct clock times can be brought, the time of convergence, and the nature of failures tolerated by such algorithms. The adjustment of clock values may have interesting side effects. For example, if a clock is advanced from 171 to 174 during an adjustment, then the time instants 172 and 173 are lost. This will affect potential events scheduled at these times. On the other hand, if the clock is turned back from 171 to 169 during adjustment, then the time instants 169 through 171 appear twice. This causes the anomaly that an event at time 170 happens before another event at time 169! A simple fix for such problems is to appropriately speed up or slow down the clock for an appropriate number of ticks (until one catches up with the other) without violating the clock monotonicity property, instead of abruptly turning the clock forward or backward.

Результаты (русский) 1:

В асинхронных распределенных системах абсолютное физическое время не является важным, но временной порядок событий имеет важное значение для некоторых приложений. В качестве примера в репликации серверов каждый сервер является конечный автомат, состояние которого изменяется входные данные от своих клиентов. Для того, чтобы все реплики всегда остаются в том же состоянии (так что можно плавно перейти на другой сервер, если один падает), все реплики должны получать входные данные от клиентов, в том же порядке.Производительность алгоритма синхронизации часов определяется, насколько близко два различных часы раза могут быть привлечены, время конвергенции и характер неудач, мириться с такими алгоритмами. Корректировка значения часов могут иметь интересные побочные эффекты. Например если часы является дополнительно от 171 до 174 во время настройки, время муляжа 172 и 173 будут потеряны. Это повлияет на потенциальных мероприятий, запланированных на эти времена. С другой стороны если часы назад от 171 до 169 во время перестройки, то время муляжа 169 – 171 появляются дважды. Это вызывает аномалии, что происходит событие во время 170 до другого события во время 169! Простое исправление таких проблем является надлежащим образом ускорить или замедлить часы для соответствующего количества тактов (пока один ловит вверх с другой) не нарушая свойства монотонности часы, вместо того, чтобы резко поворачивая часы вперед или назад.

Результаты (русский) 2:

В асинхронных распределенных системах, абсолютное физическое время не имеет значения, но временной порядок событий имеет большое значение для некоторых приложений. В качестве примера, в реплицированных серверов, каждый сервер является конечный автомат, состояние которого изменяется через входы от своих клиентов. Для того , что все реплики всегда остаются в том же состоянии (так что можно легко переключаться на другой сервер , если один падениям), все реплики должны получить входные данные от клиентов в том же порядке.
Производительность алгоритма синхронизации часов определяется насколько близко два различных время такта может быть возбужден, время сходимости, а также характер неудач допускавшейся таких алгоритмов. Корректировка значений времени может иметь интересные побочные эффекты. Например, если часы продвинут от 171 до 174 во время регулировки, то моменты времени 172 и 173 будут потеряны. Это повлияет на потенциальные мероприятия , запланированные в это время. С другой стороны, если часы отвратился от 171 до 169 во время регулировки, то моменты времени 169 через 171 появляются дважды. Это приводит к тому , что аномалия событие во время 170 происходит перед другим событием во время 169! Простое исправление для таких задач надлежащим образом ускорить или замедлить часы для соответствующего количества тиков (пока не догоняет другой) , не нарушая свойство монотонности часы, вместо того , чтобы резко поворачивая часы вперед или назад.