Elementare Systemkomponenten:

Transkript

1 Elementare Systemkomponenten: Zeitsynchronisation Verteilten Systemen (Time Service) VSS1-Time-1

2 Zeit und Koordination: Einführung Grundsätzliche Alternativen: externe Synchronisation interne Synchronisation ( mit / ohne externer Synchronisation ) Algorithmen, die sich auf Uhrensynchronisation stützen: - Konsistenz verteilter Daten (Timestamps für die Serialisierung von Transaktionen) - Authentifizierung von Requests - Elimination von duplizierten Updates,... Probleme in verteilten Systemen: - Synchronisation nur über Netzwerkkommunikation - endliche Übertragungsgeschwindigkeit - variable Übertragungszeiten,... VSS1-Time-2

3 Synchronisation physischer Uhren Synchronisation physischer Uhren Zeitabweichung ( clock drift ) bei Uhren auf Quarzkristallbasis die Oszillatoren sind Objekt physischer Veränderungen in derselben Uhr ändert sich die Oszillationsfrequenz mit der Temperatur Netzwerk Abweichungsraten sind etwa 10-6 (d.h. 1 s pro s, also etwa pro 11,6 Tage) VSS1-Time-3

4 Synchronisation physischer Uhren Koordinierte Universalzeit (Coordinated Universal Time) Uhren mit atomischen Oszillatoren (Abweichung ) Internationale atomische Zeit (International Atomic Time) seit 1967 Standard Astronomische Zeit basiert auf die Rotation der Erde um ihre Achse und um die Sonne Periode der Rotation wächst ununterbrochen (Reibung, atmosphärische Effekte u.a.) Astronomische und atomische Zeit driften auseinander Coordinated Universal Time (UTC) ist internationaler Standard, basierend auf atomischer Zeit, sog. leap second wird gelegentlich addiert oder subtrahiert UTC - Signale werden synchronisiert und von Radiostationen und Satelliten ausgestrahlt - Genauigkeit bei Radiostationen: 0,1-10 ms - Genauigkeit bei Satelliten: ca. 0,1 ms Computer können mit diesen Signalen synchronisiert werden, aber: - Empfänger sind relativ zu Workstations teuer (insb. bei Satellitenempfängern) - Genauigkeit von 10 ms unzureichend bei z.b. 10 Mio. Anweisungen pro Sekunde + Kompensation von Zeitabweichungen die Zeit des Time-Servers (UTC) ist möglicherweise: - größer (Lösung: die Uhr heraufsetzen) - kleiner (Lösung: die Uhr verlangsamen durch Soft- oder Hardware) --- aber: nicht abrupt!! VSS1-Time-4

5 Uhrensynchronisation mittels Time Server Wie spät ist es? m r P m t Zeitangabe Time server,s VSS1-Time-5

6 Synchronisation physischer Uhren Cristian s - Methode für Uhrensynchronisation - Synchronisation mit Time-Server - T syn = t + T trans,, wo t die Zeit des Servers und T trans die Übertragungszeit von S nach P ist; aber: T trans variiert andere Prozesse konkurrieren mit S und P andere Nachrichten konkurrieren mit m t im Netz diese Faktoren sind unvorhersehbar und schwer messbar - Grundsätzlich gilt: T trans = min + x, wo min die Übertragungszeit ist, falls kein anderer Prozess ausgeführt wird und keine weiteren Nachrichten im Netz sind. x > 0. - Der Time-Server kann mit einem UTC-Empfänger ausgestattet werden. - Vernachlässigt Probleme von Server-Ausfällen - Vorschlag: Der Time-Service wird von einer Gruppe von Time-Servern realisiert, Client sendet einen Multicast-Request und wird mit der ersten Antwort synchronisiert. - Bewusst falsche und böswilligen Zeitangaben werden nicht berücksichtigt. VSS1-Time-6

7 Synchronisation physischer Uhren Der Berkeley-Algorithmus Algorithmus für interne Synchronisation für Gruppe von Berkeley-UNIX-Computern Master-Slaves-Organisation: - Master kontaktiert die Slaves periodisch - Slaves senden ihre lokalen Zeiten zurück - Master schätzt die Zeiten durch Betrachtung der Übertragungszeiten und bildet Durchschnitt. - Zeiten, die von einem Nominalintervall abweichen, werden nicht berücksichtigt (fault-tolerant average). - Master sendet dann einen individuellen Korrekturwert (positiv oder negativ) an jeden einzelnen Slave zurück. Beim Absturz des Masters wird ein bisheriger Slave als neuer Master ausgewählt. Experiment (Gusella und Zatti): - 15 Computer im Bereich von ms synchronisiert. - Abweichungsrate der Uhren 2* maximale Übertragungszeit mit 10 ms angenommen. VSS1-Time-7

8 Network Time Protocol Network Time Protocol (NTP) Definiert Time-Service-Architektur und -Protokoll für 1 verbundene Netzwerke. Standard für Uhren-Synchronisation im Internet. Design und Eigenschaften: - UTC-Synchronisation mit statistischen Techniken für Datenfilterung, Zuverlässiger Dienst, auch bei andauerndem Verlust der Konnektivität, Clients können ausreichend oft re-synchronisieren, - skalierbar für große Anzahl von Klienten, - Schutz gegen zufällige und böswillige Störungen (Authentifizierungstechniken). NTP-Service wird von einem Netzwerk von Servern im Internet realisiert: - primäre Server werden direkt mit UTC-Sendern synchronisiert, - sekundäre Server werden mit primären Servern synchronisiert, - logische Hierarchie (synchronisation subnet), - verschiedene Stufen (strata), - primäre Server befinden sich auf Stufe (stratum) 1 (root), - sekundäre Server werden mit der nächsthöheren Stufe synchronisiert, - Workstations sind auf der niedrigsten Stufe angesiedelt. VSS1-Time-8

9 Network Time Protocol NTP-Server synchronisieren in einem der drei Synchronisationsmodi: - Multicast: für Hochgeschwindigkeits-LAN s (niedrige Genauigkeit), - Procedure-Call: ähnlich dem Christian-Algorithmus (wenn höhere Genauigkeit erwünscht oder Multicast nicht durch Hardware unterstützt wird, benachbarte LAN s), - Symmetrischer Modus: Synchronisation für Master-Server in LAN s, falls höchste Genauigkeit verlangt wird (Austausch von zusätzlichen Zeitinformationen). In allen Modi wird mit UDP/IP kommuniziert. In Procedure-Call- und symmetrischem Modus paarweiser Nachrichtenaustausch: - Jede Nachricht enthält 3 Zeitstempel (time stamps): die lokalen Zeiten des Sendens und Empfangens der vorherigen Nachricht & die lokale Zeit des Sendens der aktuellen Nachricht. - Der Empfänger notiert die Empfangszeit. Server B T i-2 T i-1 Zeit m m Server A T i-3 T i Im symmetrischen Modus kann die Verzögerung nicht unbeträchtlich sein. Nachrichten können verloren gehen, aber die drei Time stamps bleiben gültig. Zeit VSS1-Time-9

10 Network Time Protocol Für jedes Nachrichtenpaar wird berechnet: - Offset o i : Schätzung des aktuellen Offsets zwischen beiden Uhren, - Delay d i : Die gesamte Übertragungszeit für beide Nachrichten. Es seien: o das tatsächliche Offset zwischen A und B, t und t die aktuellen Übertragungszeiten für beliebige Nachrichtenpaare m und m. Dann: T i-2 = T i-3 + t +o und T i = T i-1 + t -o Substitution: a = T i-2 -T i-3 und b = T i-1 -T i führt zu: d i = t + t = a - b o = o i + (t + t)/2 mit o i = (a + b)/2 Durch die Tatsache, dass t, t > 0, kann gezeigt werden, dass o i -d i /2 < o < o i + d i /2. Daraus folgt: o i ist Schätzung des Offsets und d i ist die Genauigkeit dieser Schätzung. Datenfilterung-Algorithmus mit sukzessiven Paaren <o i,d i >: - statistische Größe Filter Dispersion (Maß für Qualität der Schätzung) wird berechnet, -die 8 häufigsten Paaren werden aufbewahrt, - der Wert von o i, der dem kleinsten Wert von d i entspricht, wird für die Schätzung von o herangezogen. NTP-Server bilden Paare mit mehreren Partnern. - Datenfilterung und Partner-Selektion basierend auf minimaler Synchronisation Dispersion = Summe (Filter Dispersions mit Root) > Best Effort - Dienst (d.h. keine Garantie möglich!) VSS1-Time-10

11 Logische Zeit und logische Uhren Happened-before -Relation für Prozesse (Causal Ordering oder Potential Causal Ordering) p 1 a b m 1 p 2 c d m 2 physische Zeit p 3 e f HB1: Wenn Prozess p: x y, dann x y. HB2: Für jede Nachricht m gilt: send(m) rcv(m). HB3: Wenn x, y und z Ereignisse sind, dann gilt: wenn x y und y z, dann x z. aber : a II e (concurrent) p VSS1-Time-11

12 Logische Uhren Logische Zeit und logische Uhren monoton steigender Software-Zähler grundsätzlich: kein direkter Bezug zu physischer Uhr 1 2 p 1 p 2 p 3 a e b m c d m 2 5 f physische Zeit LC1: Vor jedem Ereignis in p wird C p inkrementiert : C p := C p + 1 LC2: a) Wenn p m sendet, dann enthält m auch t = C p (piggyback). b) Beim Empfang von (m, t) berechnet qc q := max (C q, t) und wendet dann LC1 an bevor rec(m) seinen time-stamp bekommt. Anm.: (a b) => (C(a) C(b)) - aber nicht notwendig auch umgekehrt! VSS1-Time-12