Czas w systemach rozproszonych: dlaczego nie ma jednego „teraz”?

W 1905 roku Albert Einstein opublikował teorię względności, z której wynika, że nie ma uniwersalnego 'teraz'. Ta zasada staje się kluczowa w kontekście systemów rozproszonych, gdzie różne serwisy operują na zegarach, które nie są idealnie zsynchronizowane. Przykład serwisu, który rejestruje czas o 14:23:00.412, a następnie notuje płatność przed złożeniem zamówienia, ilustruje, jak drobne różnice w pomiarze czasu mogą prowadzić do poważnych błędów w logice systemu. W takiej sytuacji nie ma miejsca na błąd w oprogramowaniu czy awarię sprzętu — to po prostu kwestia różnic w zegarach.

Większość systemów rozproszonych opiera się na protokole NTP, który zapewnia, że zegary są 'prawie' zsynchronizowane, co w rzeczywistości oznacza, że różnice mogą wynosić od 1 do 100 milisekund. To, co dla wielu zastosowań może być wystarczające, w kontekście ustalania kolejności zdarzeń czy audytów, staje się problematyczne. W przypadku transakcji rozproszonych, gdzie kluczowe jest ustalenie, co wydarzyło się wcześniej, takie różnice mogą prowadzić do poważnych konsekwencji.

Dodatkowo, zjawisko dryfu zegara oraz asymetryczne opóźnienia sieciowe sprawiają, że nawet serwery, które były tymczasowo odłączone, mogą mieć zegary, które skaczą w czasie. NTP koryguje te różnice, ale następuje to stopniowo, co oznacza, że przez pewien czas zegar jest świadomie błędny. Założenie, że znaczenie ma kolejność znaczników czasowych, jest w systemach rozproszonych błędne i nie jest to marginalny problem — to domyślna sytuacja.

W kontekście teorii względności, nie ma sensu szukać 'prawdziwego' czasu. Zamiast tego, należy zdefiniować ramy czasowe, w których operuje dany system. Oznacza to, że twierdzenia typu 'A zdarzyło się przed B' muszą być precyzyjnie określone, według kogo. Systemy rozproszone muszą przyjąć podobne zasady. Kluczowe pytanie brzmi: nie 'kiedy to się wydarzyło?', ale 'z perspektywy którego serwisu?'.