Idempotency (eş kuvvetlilik): bir işlemi tekrarlamanın sonucu değiştirmemesi

Idempotency nedir?

Idempotency (Türkçede eş kuvvetlilik ya da tekrarlanabilirlik de denir), bir işlemin aynı girdiyle bir kez veya birçok kez çalıştırıldığında sistemde aynı sonucu bırakması özelliğidir. İşlem tekrarlansa bile etki yalnızca bir kez gerçekleşmiş gibidir. Bu özelliği taşıyan işleme idempotent denir.

Kavramın matematikteki karşılığı, bir fonksiyonu art arda uygulamanın tek uygulamayla aynı sonucu vermesidir. Yazılımda aynı fikir şöyle gündeme gelir: istek ağda kaybolduysa ya da cevap geç geldiyse istemci isteği yeniden gönderir; sunucu için bunun zarar vermemesi gerekir.

Neden gereklidir?

Dağıtık sistemlerde ağ hataları, zaman aşımları ve yeniden başlatmalar olağandır. İstemci bir isteğin sonucunu alamazsa gerçekte işlemin yapılıp yapılmadığını bilemez. Güvenli tek seçenek yeniden denemektir. İşlem idempotent değilse yeniden deneme mükerrer ödeme, mükerrer sipariş ya da yinelenen e-posta gibi sonuçlar doğurur.

Mesaj kuyruklarında da benzer durum geçerlidir. Birçok kuyruk sistemi mesajı en az bir kez teslim etme garantisi verir; yani aynı mesaj tekrar gelebilir. Alıcı tarafın bunu zararsız karşılaması idempotent tasarıma bağlıdır.

Nasıl sağlanır?

Doğal olarak idempotent işlemler vardır: "kullanıcının adresini şu değere ayarla" ifadesi kaç kez çalışırsa çalışsın aynı durumu bırakır. Ancak "bakiyeye tutar ekle" gibi artış işlemleri doğal olarak idempotent değildir. Bunları idempotent hale getiren yöntemler şunlardır:

• Idempotency anahtarı: İstemci her mantıksal işlem için benzersiz bir anahtar üretip isteğe ekler. Sunucu bu anahtarı daha önce işlediyse işlemi yeniden yapmaz, önceki sonucu döndürür.
• Benzersizlik kısıtı: Veritabanında anahtar sütununa benzersiz kısıt konur, yinelenen kayıt reddedilir.
• Üzerine yazma (upsert): Ekleme yerine, kayıt varsa güncelleyen yazma biçimi kullanılır.
• Durum makinesi: İşlemin yalnızca belirli bir durumdayken geçerli olması sağlanır; tamamlanmış işlem tekrar uygulanamaz.
• Mesaj tekilleştirme: Alıcı işlediği mesaj kimliklerini saklar ve tekrar geleni yok sayar.

Küçük bir örnek

Örneğin bir ödeme isteğinde müşteri "öde" düğmesine basar; ağ yavaşladığı için istemci cevap alamaz ve isteği tekrar gönderir. Her istek aynı idempotency anahtarını taşıyorsa sunucu ilk isteği işler ve sonucu anahtarla birlikte kaydeder. Tekrar gelen istek aynı anahtarı görünce kartı yeniden çekmez, önceki cevabı döndürür.

Anahtar saklanmasaydı müşteri kartından mükerrer tahsilat yapılabilirdi. Burada ayrıntı önemlidir: anahtar ile işlem sonucunun aynı atomik adımda kaydedilmesi gerekir; yoksa çökme anında yine boşluk oluşur.

HTTP yöntemleri ve veri hattı bağlamı

HTTP standardında bazı yöntemler tanım gereği idempotent kabul edilir: GET, PUT ve DELETE gibi. PUT aynı kaynağa aynı içeriği yazar, DELETE aynı kaynağı silmeyi hedefler. POST ise varsayılan olarak idempotent değildir; yeni kayıt oluşturur. Bu yüzden POST ile çalışan kritik uçlarda idempotency anahtarı kullanımı yaygındır.

Veri mühendisliğinde idempotency, bir veri hattı aynı gün için yeniden çalıştığında çıktıyı çoğaltmaması demektir. Hat arıza sonrası yeniden çalıştırılırken ya da geçmiş dönem yeniden yüklenirken (backfill) sonuç aynı kalmalıdır. Bunun için hedefe ekleme yerine bölüm bazlı üzerine yazma ya da anahtara göre birleştirme (merge) tercih edilir.

Yakın kavramlarla farkı

Idempotency, güvenlik (safe) kavramıyla karıştırılır. Güvenli bir işlem durumu hiç değiştirmez (okuma gibi). Idempotent işlem durumu değiştirebilir ama tekrar edildiğinde ek değişiklik yapmaz. Her güvenli işlem idempotenttir, tersi doğru değildir.

İşlem bütünlüğü (transaction) ile de aynı değildir. Transaction bir grup adımın ya hep ya hiç tamamlanmasını sağlar; idempotency ise tekrarın zararsız olmasını. Saga gibi dağıtık işlem desenlerinde her adımın tekrar çalıştırılabilmesi için idempotency zorunlu bir yapı taşıdır.

Mindset programlarında nerede karşınıza çıkar?

Idempotency ve Dağıtık Tutarlılık Desenleri eğitimi, tekrar problemi ve idempotency temelleri, idempotency anahtarı tasarımı, veritabanı seviyesinde tutarlılık, mesajlaşmada tekilleştirme, outbox ve değişiklik verisi yakalama ile mutabakat, test ve operasyon modüllerini içerir. Idempotent ve Yeniden Çalıştırılabilir Pipeline Tasarımı eğitiminde ise idempotency kavramı ve sorunlu desenler, yazma stratejileri ve anahtar tasarımı, hata kurtarma, backfill ve doğrulama işlenir.