Konsistensi eksternal vs linierabilitas

Dalam Spanner, TrueTime & The CAP Theorem , Eric Brewer menulis:

Satu hal yang halus tentang Spanner adalah bahwa hal itu akan serializability dari kunci, tapi itu akan konsistensi eksternal (mirip dengan linearizability ) dari TrueTime [ penekanan ditambahkan ].

Apa definisi konsistensi eksternal , dan apa bedanya dengan linierabilitas ?

Konsistensi eksternal tidak memiliki makna tetap. Dalam konteks ini, ia memiliki makna yang muncul dalam kalimat berikutnya dalam dokumen:

Untuk dua transaksi apa pun, dan (bahkan jika di sisi yang berlawanan dari dunia): jika mulai berkomitmen setelah selesai melakukan, maka stempel waktu untuk lebih besar daripada stempel waktu untuk .$T_1$$T_2$$T_2$$T_1$$T_2$$T_1$

Anda dapat berpikir tentang konsistensi eksternal dari isolasi transaksi (Tx) dan sudut pandang urutan. Dalam isolasi Tx berbicara konsistensi eksternal setara dengan isolasi serializable ketat, di mana 'ketat' adalah bagian kendala real-time (seperti dalam linierabilitas).

Sekali lagi itu semua berarti bahwa bagi klien sistem, efek samping Tx yang dapat diamati setara dengan sistem, di mana semua Tx terjadi secara terpisah tanpa konkurensi dan di mana pemesanan waktu nyata mereka, seperti yang terlihat oleh klien, dipertahankan. Lebih penting lagi, pemesanan yang sama ini dilihat oleh klien lain yang tidak terkait.

Baca lebih lanjut tentang perbedaan di blog ini .