Zaman ve Küresel Durum
Zaman ve küresel durum, dağıtılmış bir sistemin olayları nasıl sıraladığı ve paylaşılan bir saat veya anlık küresel bir görünüm olmadığında kolektif durumunu nasıl değerlendirdiği ile ilgilenmektedir.
Tanım
Dağıtılmış bir sistemde olaylar, paylaşılan bir saat olmaksızın ayrı süreçlerde meydana gelmektedir; zaman ve küresel durum çalışması, sistemin olayları nedensel olarak sıralamasına ve tutarlı küresel durumları yakalamasına olanak tanıyan ilişkileri ve algoritmaları (mantıksal ve vektör saatleri, anlık görüntüler ve sıralı teslimat) sağlamaktadır.
Kapsam
Bu alan, mantıksal saatleri ve 'önce-gerçekleşti' ilişkisini, fiziksel saat senkronizasyonunu, vektör saatleri ve nedensellik ile eşzamanlılığın tespitini, tutarlı küresel anlık görüntülerin belirlenmesini ve güvenilir çok noktaya yayın için gerekli sıralama garantilerini (FIFO, nedensel, toplam) kapsamaktadır. Bu araçlar, dağıtılmış sistemlerin küresel bir saatin yokluğuna rağmen 'ne zaman' ve 'hangi durumda' olduğuna dair anlamlı ifadeler yapmasına olanak tanımaktadır.
Alt konular
Temel sorular
- Farklı süreçlerdeki olaylar, paylaşılan bir fiziksel saat olmadan nasıl sıralanabilir?
- Bir süreç, iki olayın nedensel olarak ilişkili mi yoksa eşzamanlı mı olduğunu nasıl belirleyebilir?
- Hesaplama devam ederken tutarlı bir küresel anlık görüntü nasıl kaydedilebilir?
- Nedenselliği korumak için mesaj teslimatında hangi sıralama garantilerine ihtiyaç duyulmaktadır?
Temel kuramlar
- Önce-gerçekleşti ve mantıksal saatler
- Lamport'un 'önce-gerçekleşti' ilişkisi, olaylar üzerinde kısmi bir nedensel sıralama tanımlamaktadır ve mantıksal (skaler) saatler, bu ilişkiyle tutarlı zaman damgaları atayarak birçok protokol için toplam bir sıralama oluşturmaya yeterli, saatten bağımsız bir sıralama kavramı sağlamaktadır.
- Vektör saatleri ve nedensellik
- Vektör saatleri, mantıksal saatleri genişleterek iki zaman damgasını karşılaştırmanın, bir olayın diğerinden nedensel olarak önce gelip gelmediğini veya ikisinin eşzamanlı olup olmadığını tam olarak yakalamasını sağlamakta ve hassas nedensellik takibine olanak tanımaktadır.
- Tutarlı küresel anlık görüntüler
- Chandy-Lamport anlık görüntü algoritması, sistemi durdurmadan, kanallar boyunca işaretleyiciler yayarak tutarlı bir küresel durumu (süreç durumları artı aktarımdaki mesajlar) kaydetmektedir.
Klinik önem
Mantıksal ve vektör saatleri, nedensel tutarlılığın, çoğaltılmış depolardaki çakışma tespitinin ve dağıtılmış yürütmelerin hata ayıklamasının temelini oluşturmaktadır; tutarlı anlık görüntüler ise dağıtılmış kontrol noktası oluşturma, kilitlenme ve sonlandırma tespiti ile akış işleme hata kurtarmanın temelini oluşturmaktadır.
Tarihçe
Lamport'un 1978 tarihli makalesi, bilgisayar bilimlerindeki en çok atıf yapılan sonuçlardan biri olan mantıksal zamanı ve 'önce-gerçekleşti' ilişkisini tanıtmıştır; Chandy ve Lamport, 1985'te tutarlı küresel anlık görüntüleri resmileştirmiştir; Fidge ve Mattern ise 1980'lerin sonlarında bağımsız olarak vektör saatlerini geliştirerek zaman ve durum hakkında akıl yürütmek için temel araç setini tamamlamışlardır.
Öne çıkan isimler
- Leslie Lamport
- K. Mani Chandy
- Colin Fidge
- Friedemann Mattern
İlgili konular
Temel eserler
- lamport1978
- chandy1985
- fidge1988
Sıkça sorulan sorular
- Dağıtılmış sistemler neden sadece senkronize fiziksel saatler kullanamaz?
- Fiziksel saatler sapma göstermekte ve değişken gecikmeli bir ağ üzerinde mükemmel bir şekilde senkronize edilememektedir, bu nedenle iki olayın gerçek zamanlı sıralaması belirsiz olabilmektedir. Mantıksal ve vektör saatleri ise bunun yerine doğruluk için gerçekten önemli olan nedensel sıralamayı yakalamaktadır.
- Küresel bir anlık görüntüyü 'tutarlı' yapan nedir?
- Bir anlık görüntü, bir mesajın alındığını içerdiğinde, o mesajın gönderildiğini de içeriyorsa tutarlıdır. Böyle bir durum, tek bir an küresel olarak gözlemlenmemiş olsa bile, yürütme sırasında meydana gelmiş olabilmektedir.