05 - Clock Synchronization Flashcards
Wie ist Duration definiert?
Duration bezeichnet eine Sektion der Time Line.
Hat ein Event eine Duration?
Nein, weil ein Event zu einem Zeitpunkt geschieht.
Wie ist Causality definiert?
“Wenn Ereignis e1 eine Ursache für Ereignis e2 ist, dann ist eine kleine Variation (eine Markierung) in e1 mit einer kleinen Variation in e2 verbunden, während kleine Variationen in e2 nicht unbedingt mit kleinen Variationen in e1 verbunden sind.”
Was ist bzw. verursacht einen Alarm Shower?
Ein Alarm Shower wird durch ein primary alarm event ausgelöst, welches einen shower aus secondary alarm events auslöst.
Kann das primary alarm event identifiziert werden?
Wenn die (teilweise) zeitliche Reihenfolge der Alarmereignisse festgestellt wurde, ist es möglich, ein Alarmereignis, das definitiv später als andere Alarmereignisse auftrat, als das primäre Ereignis auszuschließen. Eine präzise global time-base hilft bei der Bestimmung der Ereignis Menge, die sich in dieser definitiv-späteren Beziehung befindet.
Was ist eine Clock?
Eine Uhr ist ein Gerät, das einen Zähler enthält und diesen Zähler in regelmäßigen Abständen (Microticks) erhöht.
Wie ist die Granularität einer Clock definiert?
Granularität einer Uhr C ist die Anzahl der Mikroticks der Referenzuhr zwischen zwei beliebigen aufeinanderfolgenden Mikroticks von C.
Was ist ein Timestamp?
Bei einer Uhr und einem Event ist ein Timestamp des Events der Zustand der Uhr unmittelbar nach dem Auftreten des Events, bezeichnet mit clock(event).
Was ist Clock Drift?
Ist die Abweichung einer lokalen Uhr von der Referenzuhr.
Welche Driftrate hat eine Perfect Clock?
Eine Driftrate von 0.
Welche Driftrate hat eine Real Clock?
Driftraten von 10^−2 bis 10^−8
.
Was ist Precision?
Ist der Versatz zwischen zwei Uhren bei einem Tick.
Was ist Internal Synchronization?
Ist der Prozess der gegenseitigen Resynchronisation eines Ensembles von Uhren zur Aufrechterhaltung einer begrenzten Genauigkeit.
Was ist Accuracy?
- Der Versatz der Uhr k gegenüber der Referenzuhr Uhr z bei Tick i wird als Genauigkeit bezeichnet.
- Die Genauigkeit gibt die maximale Abweichung einer bestimmten Uhr von der externen Zeitreferenz an.
- wenn alle Uhren extern mit einer Genauigkeit A synchronisiert sind, dann ist das Ensemble auch intern mit einer Genauigkeit von höchstens 2 A synchronisiert. Das Gegenteil ist nicht der Fall.
Was ist External Synchronization?
Ist der Prozess der Resynchronisation einer Uhr mit der Referenzuhr.
Was ist Global Time und wozu dient sie?
- Wenn eine einzige Referenzuhr zur Verfügung steht, können alle Zeitmessungen mit dieser einen Uhr durchgeführt werden, die als gemeinsame “globale” Zeit dient.
- in einem verteilten System synchronisieren wir die Uhren, um eine gemeinsame Zeitvorstellung, eine “globale Zeit” im verteilten System zu erzeugen.
- eine solche globale Zeit ist jedoch ein abstrakter Begriff, der durch die Uhren in den Knoten nur angenähert werden kann.
- Es ist möglich, eine Teilmenge der Mikroticks jeder lokalen Uhr k für die Erzeugung der lokalen Implementierung eines globalen Begriffs der Zeit auszuwählen. Wir nennen einen solchen ausgewählten lokalen Mikrotick einen Makrotick (oder einen Tick) der globalen Zeit.
Was ist wenn es keine Global Time-Base gibt?
- Es gibt n unabhängige lokale Zeitreferenzen, und die Zeitstempel können nur in Beziehung gesetzt werden, wenn sie von der gleichen Uhr stammen.
- Intervallmessungen zwischen Events, die an verschiedenen Knoten beobachtet werden, sind durch den End-to-End-Delay-Jitter begrenzt.
- der Verzögerungsjitter des (ET-)Kommunikationssystems bestimmt den Jitter in den Regelkreisen - dies kann für viele Echtzeitregelungsanwendungen unannehmbar sein.
- State Estimation ist sehr schwierig, da der genaue Zeitpunkt der Messung einer Prozessvariablen nicht bekannt ist.
Was sind Anforderungen an eine Globale Time Base? (4)
- Chronoscopic behavior, i.e. no discontinuities, even at the points of resynchronization
- bekannte precision (Known precision)
- hohe Zuverlässigkeit (High dependability)
- Metrik der physikalischen Sekunde (Metric of the physical second)
Wozu dient die Reasonableness Condition?
Die Angemessenheitsbedingung stellt sicher, dass der Synchronisationsfehler auf weniger als ein Makrogranulum, d. h. die Dauer zwischen zwei Makroticks, begrenzt ist.
Was meint ein Tick Unterschied?
Wegen der Akkumulation des Synchronisationsfehlers und des Digitalisierungsfehlers ist es nicht möglich, die zeitliche Reihenfolge
zweier Events zu rekonstruieren mit dem Wissen, dass die globalen Zeitstempel um eins abweichen.
Wann ist eine Timebase dense?
Wenn Events an jedem beliebigen Punkt der Timeline auftreten können.
Was sind Konsequenzen der Grenzen der Zeitmessung?
- Wenn ein einzelnes Ereignis, das auf einer dense Timebase auftritt, von zwei Nodes des verteilten Systems beobachtet wird (z.B. um eine Redundanz in den Beobachtungen zu erreichen), dann ist ein explizites Protokoll erforderlich, um eine konsistente Sicht des Zeitpunkts des Auftretens von Events zu schaffen.
- Wenn zwei Ereignisse auf einer dense Timebase auftreten, ist es unmöglich, die zeitliche Reihenfolge der Events immer wiederherzustellen, wenn sie innerhalb eines Intervalls von 3g auftreten.
Wie wird der verteilte Zustand bei einer Sparse Time Base konsistent gemacht?
- gibt Interval of Silence mit klar definiertem distributed State des Systems
- gibt Interval of activity mit Kommunikations- oder Berechnungsaktivität
Was sind Malicious (Byzantine) Clocks?
Wenn bei drei Clocks eine Clock “absichtlich” falsch geht und den anderen Clocks jeweils eine andere Zeit mitteilt, kann nicht ermittelt werden, welche der Clocks falsch geht. Es kann erst wieder bestimmt werden, wenn die Anzahl der Clocks N größer oder gleich 3 ∗ k+1 ist, k ist die Anzahl der malicious (Byzantine) Faults.
Wie funktioniert der Central Master Algorithm?
• ein einziger Knoten (central Master) sendet periodisch seinen Zeitzähler in Synchronisationsnachrichten an die Slave-Knoten
• sobald ein Slave einen neuen Zeitwert vom Master erhält, speichert er den Stand seines
lokalen Zeitzählers als Zeitpunkt des Eingangs der Nachricht
- die Differenz zwischen der in der Synchronisationsnachricht enthaltenen Zeit des Masters und der aufgezeichneten Ankunftszeit der Nachricht beim Slave, korrigiert um die Latenzzeit des Nachrichtentransports, ist das Maß für die Abweichung zwischen den Uhren
- der Slave korrigiert seine Uhr um diese Abweichung, um sie mit der Uhr des Masters in Übereinstimmung zu bringen
In welchen drei Phasen läuft die Synchronisation von distributed Clocks typischerweise ab?
- Jeder Knoten erlangt Kenntnis über den Zustand des globalen Zeitzählers in allen anderen Knoten durch den Austausch von Nachrichten zwischen den Knoten.
- Jeder Knoten analysiert die gesammelten Informationen, um Fehler zu erkennen und führt die Konvergenzfunktion zur Berechnung eines Korrekturwertes für den lokalen globalen Zeitzähler des Knotens durch.
- Der lokale Zeitzähler des Knotens wird um den berechneten Korrekturwert angepasst.
Worin unterscheiden sich Algorithmen zur Resynchronisation von distributed Clocks? (3)
- wie sie die Zeitwerte von den anderen Knoten sammeln
- in der Art der verwendeten Konvergenzfunktion
- wie der Korrekturwert auf den Zeitzähler angewendet wird
Welche Konvergenzfunktionen kennen Sie? (4)
- Average Algorithm
- Fault-Tolerant Average (FTA)
- Fault-Tolerant Midpoint
- Interactive Consistency Algorithms
Wie funktioniert der Fault-Tolerant Algorithm?
Jeder Knoten misst die Zeitunterschiede zwischen seiner eigenen Uhr und allen anderen
Uhren und sortiert k extreme Differenzen aus, wobei k die Anzahl der byzantinischen Fehler ist, die toleriert werden sollen.
Wie funktioniert der Fault Tolerant Average Algorithm?
Das schlimmste Szenario tritt ein, wenn die byzantinische Uhr ihre (fehlerhaften) Zeitwerte an verschiedenen Knotenpunkten in einer anderen Ecke des Systems setzt.
Wie funktioniert Fault Tolerant Midpoint?
- die Messwerte sind nach ihrer Größe geordnet.
- k größte und k kleinste Werte werden aus dieser Liste gelöscht.
- der kleinste und der größte Wert werden aus den verbleibenden Werte ausgewählt.
- diese beiden Werte werden addiert und durch zwei geteilt
Was ist State Correction?
- der von der Konvergenzfunktion berechnete Korrekturterm wird sofort angewendet
- einfache Anwendung
- Nachteil: Erzeugung einer Diskontinuität in der Zeitbasis (z. B. wenn die Uhren rückwärts gestellt und derselbe Zeitsollwert zweimal erreicht wird)
Was ist Rate Correction?
• Ändern der Taktrate, um sie während des nächsten Resynchronisationsintervalls zu
verlangsamen oder zu beschleunigen
• Ändern der Anzahl der Microticks in einigen Macroticks
• der Durchschnitt der Ratenkorrekturterme aller Uhren sollte nahe bei Null liegen, um
einen Gleichtaktdrift zu vermeiden
Wie funktionieren Interactive Consistency Algorithms?
• Um das Problem des byzantinischen Fehlerfaktors zu überwinden, sendet jeder Knoten
seine Ansicht des Ensembles an alle anderen Knoten, sodass jeder Knoten die globale Sicht der Situation hat, d.h. er kann herausfinden, welcher Knoten geschummelt hat.
• Jeder Knoten nimmt diese konsistente Gesamtsicht, d.h. die Matrix der Zeitvektoren,
als Grundlage für die Berechnung des Korrekturfaktors.
• Nachteil: zusätzliche Kommunikation
Was sind kritische Parameter, die die Qualität der Global Time Base bestimmen?
- Drift offset
- delay jitter
- auftreten byrantinischer Failures ist ein seltenes Event
- der delay jitter ist am geringsten, wenn die Clock Synchronisation sehr nahe an der physikalischen Ebene erfolgt - durch die Hardware.
- verglichen mit dem delay jitter sind der algorithmische Effekte gering
Was sind Qualitäts-Attribute einer Global Time Base? (4)
- Precision: maximale Differenz zwischen den jeweiligen Ticks der Uhren eines Ensembles
- Accuracy: maximale Differenz zwischen dem Tick einer Uhr und dem zugehörigen Tick einer externen Referenzuhr
- Fault-Tolerance: Anzahl und Art der Fehler die das Clocking System tolerieren kann
• Blackout Survivability: Blackout Dauer, die toleriert wird ohne Synchronisation zu
verlieren
Was ist Blackout Survivability Interval?
Ist die Blackout-Dauer, die toleriert wird ohne die Synchronisation zu verlieren.
