Dış tutarlılık ve doğrusallaştırılabilirlik

In Anahtarı, TrueTime & CAP Teoremi Eric Brewer yazıyor:

Spanner ile ilgili ince bir şey, kilitlerden serileştirilebilirlik elde etmesidir , ancak TrueTime'dan dış tutarlılık ( lineerleştirilebilirliğe benzer ) alır [ vurgu eklenmiştir ].

Dış tutarlılığın tanımı nedir ve doğrusallaştırılabilirlikten farkı nedir?

Dış tutarlılığın sabit bir anlamı yoktur. Bu bağlamda, belgedeki bir sonraki cümlede görünen anlamı vardır:

Herhangi iki işlemler için ve (hatta dünyanın zıt taraflarında ise): eğer sonra işlemeye başlar işlemekle tamamlandıktan sonra için zaman damgası için zaman damgası büyüktür .$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

İşlemlerin (Tx) izolasyonu ve sipariş bakış açısından dış tutarlılığı düşünebilirsiniz. Tx izolasyonunda, dış tutarlılık katı serileştirilebilir izolasyona eşdeğerdir, burada 'katı' gerçek zamanlı kısıtlama kısmıdır (doğrusallaştırılabilirlikte olduğu gibi).

Bu da yine, bir sistem istemcisinin gözlemlenebilir Tx yan etkilerinin, tüm Tx'in herhangi bir eşzamanlılık olmadan tek başına gerçekleştiği ve müşteri tarafından görüldüğü gibi gerçek zamanlı siparişlerinin korunduğu bir sisteme eşdeğer olduğu anlamına gelir. Daha da önemlisi, aynı sipariş diğer ilgisiz herhangi bir müşteri tarafından görülür.

Bu blogda ayrım hakkında daha fazla bilgi edinin .