Eşzamanlama

bae’in eşzamanlaması coven’in eşzamanlamasıdır: bae tablolarını ve blob’larını bildirir, gerisini coven yapar. Bu sayfa, mekaniğin bae’e uygulanışıdır; coven’in kendi belgeleri her parçayı ayrıntılı açıklar.

Yakalama

coven SQLite bağlantısının sahibidir, bu yüzden bae’in kaydettiği her yazma onun içinden geçer. Eşzamanlanan tabloları değiştiren bir işlem kaydedildiğinde coven, aynı işlemde her satır değişikliğini dokunduğu sütunlarla birlikte kaydeder; böylece kaydedilmiş bir değişiklik, uygulama bir an sonra çökse bile asla kaybolmaz. Diff yok, dirty flag yok: yakalama bağlantının özelliğidir ve bir yazma kaçırılamaz. Değişiklik aygıtta bekler ve yalnızca gönderilirken şifrelenip imzalanır, bu yüzden yazmak anahtar ya da ağ gerektirmez.

Dizi

Bir kitaplığın bulut evindeki bütün geçmişi tek numaralı bir nesne dizisidir. Her biri bir aygıtın değişiklik grubunu, bir yönetici girdisini, bir üyeye mühürlenmiş bir anahtarı veya bir snapshot duyurusunu tutar. Her aygıt onları sırayla uygular ve hiçbirini atlamaz, böylece her aygıt neyin ne zaman olduğunda anlaşır. Bir aygıt sonraki nesneyi ancak öncekilerin hepsini uyguladıktan sonra ekler.

Bir eşzamanlama geçişi, aygıtın uyguladığı son nesneden itibaren biri eksik olana kadar ileri okur, her birinin imzasını denetleyip uygular, bu aygıtın bekleyen değişikliklerini tek yeni bir nesne olarak gönderir, sonra yeni durumun gerektirdiği işi yapar: erişimi paylaşmak veya kaldırmak, snapshot almak, eski geçmişi silmek. Sakin bir kitaplık üzerindeki geçiş, boyutu ne olursa olsun iki istek tutar.

Geçişler yerel değişikliklerden sonra, boşta zamanlayıcıyla ve Şimdi Eşzamanla ile hemen çalışır. Hatalar tek bir geri çekilme takvimiyle yeniden denenir ve ilerleyemeyen her şey neyi beklediğini söyler; bae bunu eşzamanlama durum satırında gösterir.

Birleştirme

İki aygıtın ayrı kalırken aynı kitaplığı düzenlemesi olağan durumdur, istisna değil. Değişiklikleri buluştuğunda:

• Farklı satırlara veya farklı sütunlara yapılan düzenlemeler birlikte uygulanır. Dizüstünde bir sürümün yılını, masaüstünde label’ını düzenlemek ikisini de verir.
• Aynı satırın aynı sütununa yapılan düzenlemeler zaman damgasına göre sıralanır: sonraki düzenleme kazanır, belirlenimlidir ve her aygıtta aynıdır.
• Silmeler eşzamanlı düzenlemelere üstün gelir: o arada silinmiş bir satıra yapılan düzenleme, ne zaman ulaşırsa ulaşsın kaybeder; bu yüzden bir aygıtta silinen sürüm, aynı aralıkta başka aygıtta düzenlenmiş olsa bile silinmiş kalır.

coven yerine başkası geçen her değeri kayıp değer olarak tutar; bae hiçbirini göstermez ve hiçbirini atmaz, bu yüzden çakışma UI’ı yoktur. Her aygıt herhangi bir varış sırasından aynı sonuca yakınsar.

Snapshot’lar

Katılan veya geri yüklenen aygıt geçmişi baştan oynatmaz. Aygıtlar snapshot alır, yani kitaplığın dizideki bir noktadaki tam durumunu; kitaplığın ve her özel çemberin bir snapshot’ı olduğunda ondan önceki geçmiş silinir. Yeni bir aygıt en son snapshot’ı yükler, sonra yalnızca ondan sonra geleni uygular. Saklanan geçmişten daha uzun süre uzakta kalan bir aygıt da aynısını yapar ve gönderilmemiş düzenlemelerini korur.

Şema sürümleri

bae’in şeması tek bir geçiştir ve bir aygıtın gönderdiği her değişiklik, yapıldığı şema sürümünü kaydeder. Kendi şemasından daha yeni bir şemadan gelen değişikliğe ulaşan aygıt orada durur, uygulama güncellenene kadar ötesinde hiçbir şey uygulamaz; hiçbir şey kaybolmaz ve yanlış uygulanmaz.

Şema sürümünden daha kaba olan uyumluluk çağıdır: her ikiliye işlenen sabit coven revizyonu. İki derleme yalnızca aynı çağ içinde eşzamanlar; coven wire-format kırılması yeni bir çağ ve her uygulamada major sürüm artışıdır. 1.0 öncesinde her derleme çağ sıfırdır ve biçimler geçişsiz değişir.

Sağlayıcı ne görür

Sağlayıcı şifreli değişiklikleri, snapshot’ları, üyelik kayıtlarını ve dosyaları saklar; nesneleri sayabilir, boyutları ve zamanlamayı gözleyebilir ve her nesneyi hangi hesabın yazdığını görebilir, ama içeriklerin hiçbirini okuyamaz. Bir aygıtın çektiği her nesne, veritabanına dokunmadan önce imza ve üyelik açısından doğrulanır: depolama güvenilmeyen düz bir posta kutusudur. Şifreleme ve Kimlik ve üyelik bölümlerine bakın.