InfoQ’da yeni yayımlanan sunumda OpenAI mühendisi Vinoth Govindarajan, güvenilir üretim aracılarının kalıcı durum için açık sahipliğe, değişikliklerde tek sıralı yola, araçlarda sınırlı yetkiye ve kullanıcıya görünen uçta kanıta ihtiyaç duyduğunu savunuyor. Örnekleri, tutarlı görünen bir yanıtın eksik kalıcı belleği gizleyip sonraki turları yarım bağlamla bırakabildiğini gösteriyor.
Vinoth Govindarajan’ın InfoQ sunumu durum sahipliğiyle başlıyor. Bir üretim aracısı tutarlı bir yanıt gösterebilirken sonraki turun gereksindiği kalıcı bellek eksik kalabiliyor. Bu nedenle denetim katmanının oturum, iş akışı ve kalıcı bellek için tek bir yetkili sahip belirlemesi gerekiyor. Güvenilirlik, kullanıcının gördüğü sonuç ile sistemin tur sonrasında yeniden kurabildiği durum arasındaki uyumla ölçülüyor.[1]
Aynı tasarım, değişiklikleri bağımsız okumalardan ayırıyor. Bir oturumdaki değişiklikler tek ve sıralı yazma yolundan geçtiği için eşzamanlı iki olay ayrı geçmişler oluşturamıyor. Durumu değiştirmeyen okumalar birlikte sürebiliyor. Böylece aracı çevresindeki yararlı eşzamanlılık korunurken her kalıcı değişiklik, sonraki turların yükleyeceği geçmişte belirli bir yere oturuyor. Bu düzen, ilerideki turun kullanacağı durumun tek bir sıradan türemesini sağlıyor.[1]
Govindarajan, modele bir eylem önerme alanı veriyor; onaylama ve kalıcılaştırma yetkisini çevredeki denetim katmanında tutuyor. Araç erişimi, görev için tanınan yetkiyle sınırlanıyor. Son denetim, sonuç kullanıcıya görünür olduğunda yapılıyor: sistem kalıcılaştırılan eylemi kaydediyor ve ne gerçekleştiğini gösterebiliyor. Bu sıra izin, yürütme ve kanıtı aynı aracı sözleşmesine bağlıyor.[1]
