Küresel Anlık Görüntüler ve Durum
Küresel bir anlık görüntü, dağıtık bir hesaplamanın durumunun —her bir sürecin yerel durumu ve iletimdeki mesajlar dahil— sistemi dondurmadan tutarlı bir görünümünü yakalamaktadır.
Tanım
Tutarlı bir küresel durum, yerel süreç durumlarının ve kanal içeriklerinin, tutarlı bir kesime —kaydedilen her mesaj alımı için, ilgili gönderimin de kaydedildiği bir kesime— karşılık gelen bir koleksiyonudur; böylece durum, hiçbir küresel an gözlemlenmemiş olsa bile hesaplama sırasında ortaya çıkmış olabilmektedir.
Kapsam
Bu konu, tutarlı bir küresel durum kavramını ve onu tanımlayan kesimi, Chandy-Lamport işaretleyici tabanlı anlık görüntü algoritmasını ve varsayımlarını (FIFO kanalları, güvenilir teslimat), ayrıca anlık görüntülerin sonlanma ve kilitlenme algılaması gibi kararlı özellik algılamasına ve dağıtık kontrol noktası oluşturma ve kurtarmaya uygulanmasını kapsamaktadır.
Temel sorular
- Kaydedilen küresel bir durumu imkansız değil de tutarlı kılan nedir?
- Hesaplama çalışmaya devam ederken böyle bir durum nasıl kaydedilebilir?
- Sonlanma ve kilitlenme gibi kararlı özellikler anlık görüntülerden nasıl algılanır?
Temel kuramlar
- Tutarlı kesimler
- Küresel bir durum, süreçlerin olay dizileri boyunca bir kesime karşılık gelir; kesim, tam olarak 'önce-gerçekleşti' ilişkisi altında kapalı olduğunda tutarlıdır ve kaydedilen durumda hiçbir mesajın gönderilmeden önce alınmamasını sağlar.
- Chandy-Lamport anlık görüntü algoritması
- Bir başlatıcı kendi durumunu kaydeder ve her giden kanala bir işaretleyici gönderir; her süreç, bir işaretleyiciyi ilk aldığında kendi durumunu kaydeder ve ardından diğer kanallardaki gelen mesajları, kendi işaretleyicileri gelene kadar kaydederek kanal içeriklerini yakalar.
- Kararlı özellik algılaması
- Anlık görüntüler, sistemin içinde olabileceği bir durumu yakaladığı için, bir anlık görüntüde algılanan herhangi bir kararlı özellik (sonlanma veya kilitlenme gibi, bir kez doğru olduğunda doğru kalmaya devam eden bir özellik) gerçekten geçerlidir ve bu da anlık görüntüleri genel bir algılama aracı haline getirmektedir.
Klinik önem
Anlık görüntü algoritmaları, hata kurtarma için dağıtık kontrol noktası/yeniden başlatma mekanizmalarına, modern akış işleme motorları tarafından tam olarak bir kez garantisi sağlamak için kullanılan asenkron anlık görüntüleme dahil olmak üzere, ayrıca uzun süreli hesaplamalarda kilitlenme ve sonlanma algılamasına temel oluşturmaktadır.
Tarihçe
Chandy ve Lamport'un 1985 algoritması, sistemi durdurmadan tutarlı bir küresel durumu kaydetmek için ilk pratik yöntemi sağlamıştır; Mattern ve diğerleri, temel kesim kuramını genelleştirmiş ve bu teknik daha sonra hataya dayanıklı akış işlemeye temel oluşturmuştur.
Öne çıkan isimler
- K. Mani Chandy
- Leslie Lamport
- Friedemann Mattern
İlgili konular
Temel eserler
- chandy1985
- mattern1989
- lynch1996
Sıkça sorulan sorular
- Anlık görüntü almak sistemi duraklatmayı gerektirir mi?
- Hayır. Chandy-Lamport algoritması, hesaplama devam ederken, işaretleyicileri kanallar boyunca yayarak tutarlı bir küresel durumu kaydeder; kaydedilen durum, sistemin içinde olabileceği bir durumdur, hiçbir zaman küresel olarak durdurulmamış olsa bile.