Distributed ne demek, nedir?

Etimoloji ve Dağıtık Sistemlerin Doğası

"Distributed" sözcüğü Türkçede dağıtık anlamına gelir. Bilgisayar bilimlerinin öncülerinden Leslie Lamport, dağıtık sistemleri tarihe geçen şu veciz sözüyle tanımlamıştır: "Dağıtık sistem; varlığından bile haberdar olmadığınız bir bilgisayarın çökmesinin, kendi bilgisayarınızı kullanılamaz hale getirebildiği sistemdir."

Merkezi (monolitik) mimarilerde tüm işlemler tek bir ana bellek ve işlemci üzerinde gerçekleşir. Dağıtık sistemlerde ise fiziksel olarak dünyanın farklı kıtalarındaki veri merkezlerine yayılmış yüzlerce düğüm (node), güvenilmez ağ kabloları üzerinden haberleşerek ortak bir amaca hizmet eder.

Dağıtık Hesaplamanın 8 Yanılgısı (8 Fallacies)

1990'lı yıllarda Sun Microsystems mühendisleri L. Peter Deutsch ve James Gosling, dağıtık sistem geliştiren yazılımcıların düştüğü "8 Ölümcül Yanılgı"yı sıralamıştır. Modern bulut ve mikroservis mimarilerinin tüm savunma hatları bu yanılgılara göre kurulur:

1. Ağ güvenilirdir: Gerçekte paketler kaybolur, fiber hatlar kopar, yönlendiriciler kilitlenir.
2. Gecikme (latency) sıfırdır: İki makine arasındaki ışık hızı ve ağ anahtarlama gecikmesi her zaman mevcuttur.
3. Bant genişliği sonsuzdur: Veri hacmi arttıkça ağ boruları tıkanır.
4. Ağ güvenlidir: Tüm dağıtık iletişim açık hatlardan geçer ve kriptografik koruma gerektirir.
5. Topoloji değişmez: Sunucular sürekli açılıp kapanır, IP adresleri değişir.
6. Yalnızca bir sistem yöneticisi vardır: Çoklu ekipler ve bulut sağlayıcıları işin içindedir.
7. Taşıma maliyeti sıfırdır: Serileştirme ve CPU paketleme maliyetleri göz ardı edilemez.
8. Ağ homojendir: Sistemde Linux, Windows, ARM, x86 ve farklı protokoller bir arada çalışır.

CAP Teoremi ve PACELC Modeli

Eric Brewer tarafından ortaya atılan CAP Teoremi, dağıtık veri yönetiminin temel sınırlarını çizer. Bir ağ bölünmesi (Network Partition - P) yaşandığında sistem iki seçenekten birini seçmek zorundadır:

- CP (Consistency + Partition Tolerance): Sistem tutarlılığı seçer. Verisi güncel olmayan düğümler cevap vermeyi reddeder; erişilebilirlik feda edilir (örneğin finans ve bankacılık işlemleri).
- AP (Availability + Partition Tolerance): Sistem erişilebilirliği seçer. Düğümler cevap vermeye devam eder ancak bazı kullanıcılar birkaç saniye önceki bayat veriyi görebilir (örneğin sosyal medya akışları).

Modern sistemlerde Daniel Abadi'nin PACELC Modeli kullanılır: Ağ bölündüğünde (P) Availability mi Consistency mi; sistem normal çalışırken Else (E) Latency (düşük gecikme) mi yoksa Consistency (anlık tutarlılık) mi hedeflenecektir?

Konsensüs Protokolleri: Raft ve Paxos

Birbirine güvenmeyen ve her an çökebilecek bağımsız sunucuların tek bir gerçek üzerinde anlaşabilmesi için konsensüs algoritmaları geliştirilmiştir:

- Paxos: Leslie Lamport tarafından geliştirilen, matematiksel olarak kanıtlanmış ancak pratikte uygulanması son derece karmaşık konsensüs algoritması.
- Raft: Paxos'un karmaşıklığını çözmek amacıyla Diego Ongaro ve John Ousterhout tarafından geliştirilen, insan zihnine uygun konsensüs protokolü. Lider seçimi (Leader Election), Günlük Çoğaltma (Log Replication) ve Güvenlik (Safety) durum makineleri üzerine kuruludur (etcd, Kubernetes, Consul gibi dev sistemlerin kalbinde çalışır).
- Bizans Hata Toleransı (BFT): Bazı düğümlerin kasıtlı olarak hatalı veya kötü niyetli bilgi yaydığı ortamlarda dahi konsensüsü sağlayan blokzincir protokollerinin temelidir.

Dağıtık Sistemlerde Zaman Problemi ve Çözümler

Merkezi bir bilgisayarda donanım saati tek bir gerçeği gösterir. Dağıtık sistemlerde ise sunucu saatleri fiziksel sapmalar (clock drift) gösterir ve NTP (Network Time Protocol) milisaniyelik hassasiyet için yetersizdir:

- Lamport Mantıksal Saatleri (Lamport Timestamps): Fiziksel zaman yerine "olayların oluş sırasını" tanımlar.
- Vektör Saatleri (Vector Clocks): Hangi verinin diğerinin nedeni veya sonucu olduğunu belirleyerek veri çakışmalarını tespit eder.
- Google TrueTime: Google Spanner dağıtık veritabanında kullanılan atom saatleri ve GPS antenleri kombinasyonu. Belirsizlik payını birkaç milisaniyeye indirerek küresel ölçekte ACID işlemlerini mümkün kılar.

Dağıtık Veri ve İşlem Yönetimi: Saga Deseni

Monolitik sistemlerdeki veritabanı işlemleri (ACID transactions), mikroservislerde yerini Saga Deseni (Saga Pattern) yaklaşımına bırakır. Uzun süren dağıtık adımlar iki aşamalı kilitler (2PC - Two Phase Commit) ile kilitlenmek yerine; her servisin yerel işlemini yaptığı ve bir hata anında geriye doğru Telafi Edici İşlemlerin (Compensating Transactions) tetiklendiği olay güdümlü mimariler kullanılır.

Sorular ve yanıtlar

İlgili terimler

İlgili araçlar