Dağıtık sistemde Saga Pattern ile eventual consistency'yi nasıl tasarlarım?

Kısa cevap: 2PC’den kaçınmanız doğru — o kilitlenir ve ölçeklenmez. Saga, tek bir atomik işlemi, her birinin bir telafi aksiyonu olduğu yerel işlemler dizisine çevirir. Sizin akışınız için orchestrator tabanlı Saga doğru tercih.

Kısa cevap

Asıl mesele şu: artık her şeyi tek transaction içinde geri alamazsınız. Bunun yerine, “bir adım bozulursa, daha önce yapılan adımları telafi et” disiplinini kurmanız lazım. Adımların taşındığı kuyruğun operasyonel tarafını Laravel queue ve Supervisor yazısında anlatmıştım.

Neden

1. Telafi, rollback değildir. İade gerçek bir işlemdir; “ileri yönde dengeleyici” bir adımdır. Bunu kabul etmek saga’nın tüm tasarımını belirler.

2. Kuyrukta retry garantidir. Aynı “stok düş” komutu iki kez gelebilir; idempotency olmadan saga ikinci denemede çift iade/çift stok üretir. Aynı disiplinin webhook tarafındaki hâlini mükerrer bildirim ve idempotency kaydında ele almıştım.

3. “İşi yap” ile “olayı yayınla” ayrı kalırsa saga ortada kalır. İş commit olur ama olay yayınlanmazsa akış hiç devam etmez.

Ne yapmalı

1. Merkezi koordinatör adımları kuyruktan sürsün. Orchestrator (Sipariş Servisi) komutları kuyruğa basar: ödemeyi rezerve et → stok düş → gönderi oluştur. Her servis işini bitirince sonucu geri bildirir. Akış tek bir yerde, açık ve okunabilir.

2. Hata olunca telafileri ters sırayla çalıştırın. Kargo adımı patlarsa orchestrator geriye doğru gider: stoğu geri artır, ödemeyi iade et.

3. Her adımı idempotent yapın. Her komuta deterministik bir saga_id + step_id koyun, işlenmişse tekrar işlemeyin.

4. Outbox pattern ile atomikliği koruyun. İşi ve olayı aynı DB’deki outbox tablosuna tek transaction’da yazın, ayrı bir relay kuyruğa taşısın.

5. Saga durumunu kalıcı tutun. Hangi adımdasınız, hangileri tamamlandı — bir tabloda saklayın ki koordinatör çökse bile kaldığı yerden devam etsin.

Sonuç: Orchestration’ı choreography’ye tercih edin; akış açık ve telafi sıralaması net. Eventual consistency’yi kabul edin: stok birkaç saniye tutarsız görünebilir, sonra mutabık olur. Mimari kararı sade.dev’de derinleştiriyorum.