Mantıksal ve Fiziksel Saatler
Mantıksal saatler, olayları gerçek zamana atıfta bulunmaksızın nedensellik temelinde sıralamaktadır; fiziksel saat senkronizasyonu ise, ayrı makinelerin gerçek zamanlı saatlerini kaymaya rağmen birbirine yakın tutmaktadır.
Tanım
Mantıksal bir saat, her olaya, her süreç boyunca monoton olan ve iletişimde artan, nedensel sırayı yakalayan bir tam sayı zaman damgası atamaktadır; fiziksel saat senkronizasyonu ise, makinelerin donanım saatlerini yaklaşık olarak aynı gerçek zamanı gösterecek şekilde ayarlama sürecidir.
Kapsam
Bu konu, Lamport'un mantıksal (skaler) saatlerini ve bu saatlerin dikkate aldığı 'önce-gerçekleşti' (happened-before) ilişkisini, mantıksal zaman damgalarından tam bir sıralamanın oluşturulmasını ve fiziksel saat senkronizasyonunu—kaymayı sınırlama, ofseti tahmin etmek için zaman damgalarını değiş tokuş etme ve pratikte kullanılan algoritmaları (Cristian'ın yöntemi, Berkeley algoritması, NTP) içermektedir. Nedensel mantıksal zamanın ne zaman yeterli olduğunu ve gerçek zamanın ne zaman gerçekten gerekli olduğunu karşılaştırmaktadır.
Temel sorular
- Zaman damgaları, nedensel 'önce-gerçekleşti' (happened-before) ilişkisini dikkate alacak şekilde nasıl atanabilir?
- Mantıksal saatlerden olaylar üzerinde tutarlı bir tam sıralama nasıl oluşturulur?
- Değişken ağ gecikmesi ve kayma göz önüne alındığında fiziksel saatler ne kadar yakın senkronize edilebilir?
Temel kuramlar
- Lamport mantıksal saatleri
- Her süreç, her olayda artırılan ve mesajlarla taşınan bir sayaç tutmaktadır; ortaya çıkan zaman damgaları 'önce-gerçekleşti' ilişkisini dikkate almakta ve süreç tanımlayıcısı ile çözülen beraberlikler, nedensellikle tutarlı bir tam sıralama sağlamaktadır.
- Olasılıksal ve gidiş-dönüş senkronizasyonu
- Cristian'ın yöntemi, gidiş-dönüş süresini ölçerek ve simetrik gecikme varsayarak uzak bir saati tahmin etmekte ve bir ağ üzerinden elde edilebilecek senkronizasyon hatası üzerinde olasılıksal sınırlar sağlamaktadır.
- Ağ Zaman Protokolü
- NTP, zaman sunucularını katmanlı bir hiyerarşi halinde düzenlemekte ve tekrarlanan ofset ölçümlerinin istatistiksel filtrelemesini kullanarak internet genelindeki saatleri milisaniyeler içinde hizalamaktadır.
Klinik önem
Mantıksal saatler, çoğaltılmış depolarda ve mesaj kuyruklarında işlemleri duvar saati zamanına güvenmeksizin sıralamaktadır; fiziksel senkronizasyon ise, zaman damgası sıralı veritabanlarının, dağıtılmış izlemenin ve sınırlı saat hatasına bağlı güvenlik protokollerinin temelini oluşturmaktadır.
Tarihçe
Lamport'un 1978 tarihli mantıksal saat makalesi, dağıtılmış sistemlerde zamanı fiziksel bir kavramdan ziyade nedensel bir kavram olarak yeniden tanımlamıştır; buna paralel olarak, Cristian ve diğerleri olasılıksal senkronizasyonu geliştirmiş ve Mills'in NTP'si, internet saatlerini hizalı tutmak için standart mekanizma haline gelmiştir.
Tartışmalar
- İşlemleri sıralamak için mantıksal ve fiziksel zaman karşılaştırması
- Mantıksal saatler, donanım saatlerine güvenmeksizin nedensel doğruluğu garanti etmektedir ancak olayları gerçek zamanla ilişkilendirememektedir; fiziksel saatler ise, kaymanın mesaj gecikmesini aştığı durumlarda yanlış sıralama riskiyle gerçek zamanlı akıl yürütmeyi mümkün kılmakta, bu da hibrit yaklaşımları teşvik etmektedir.
Öne çıkan isimler
- Leslie Lamport
- Flaviu Cristian
- David Mills
İlgili konular
Temel eserler
- lamport1978
- mills1991
- cristian1989
Sıkça sorulan sorular
- Eğer a'nın Lamport zaman damgası b'den küçükse, a, b'den önce mi gerçekleşmiştir?
- Mutlaka değil—daha küçük bir zaman damgası 'önce-gerçekleşti' ile tutarlıdır ancak bunu ima etmez, çünkü eşzamanlı olaylar sıralı zaman damgaları alabilir. Nedenselliği kesin olarak belirlemek için skaler mantıksal saatler değil, vektör saatler gereklidir.