Model Ketekalan dan Replika

Model Ketekalan

Model Ketekalan ialah satu set peraturan tentang jumlah ketekalan yang akan disediakan dalam sistem teragih. Antara catatan sebelum ini, terdapat maklumat tentang pertukaran antara Kependaman dan Konsistensi dalam teori PACELC, dan mengenai jumlah konsistensi yang akan disediakan mengikut pertukaran ini.

Replikache, dibincangkan dalam post sebelum ini, juga merupakan sejenis sistem teragih. Replikache dikatakan mengikut Konsistensi Sebab.

Sumber

Konsistensi Tegas

Ketekalan yang membolehkan anda sentiasa membaca nilai dalam susunan kronologi. Sebarang bacaan yang berlaku selepas nilai ditulis akan sentiasa membaca nilai tersebut. Untuk memenuhi ini, dua syarat diperlukan. Terdapat jam global yang dikongsi oleh semua nod dan mesti disegerakkan dengannya, dan Tulis mesti dilakukan dengan segera.

w(x)a: Tulis nilai a kepada x, r(x)a: Baca nilai a daripada x

Apabila w(x)a berlaku dalam nod 1 pada masa t, dan r(x) berlaku dalam nod 2 selepas t delta (0.0000000000000001s), nod 2 mesti membaca nilai a.

Jam global mesti wujud untuk mensirikan operasi supaya operasi tidak dilakukan pada masa t yang sama, dan penulisan mesti dilakukan dengan segera supaya nilai bertulis mesti dibaca pada masa t delta.

Tetapi ini sebenarnya mustahil. Oleh itu, Konsistensi Tegas wujud sebagai teori.

Jika Konsistensi Tegas dipatuhi dalam situasi di bawah

Jawapan yang betul adalah seperti berikut.

Konsistensi Berurutan

Kata kunci teras Ketekalan Urutan ialah 'Pemesanan Global'. Semua operasi tulis/baca mesti berkelakuan seolah-olah terdapat satu urutan bersatu. Selain itu, operasi yang dilakukan oleh setiap proses (klien) mesti dilaksanakan dalam susunan tersebut.

Dalam kes di bawah, apakah nilai yang boleh dibaca oleh p3 dan p4?

Yang berikut adalah sama dengan Ketekalan Tegas, jadi Ketekalan Sequential juga berpuas hati.

Anda boleh menemui Pesanan Global di bawah, jadi Ketekalan Urutan adalah betul.

Pemesanan Global: w(x)a, r(x)a, w(x)b, r(x)b

Walau bagaimanapun, dalam kes di bawah, a ditulis sebelum b, tetapi dibaca kemudian. Dalam kes ini, Sequential Consistency tidak berpuas hati.

Konsistensi Sebab

Kausal bermaksud hubungan sebab-akibat. "Terjadi-sebelum (→)" Adalah penting untuk memahami bahawa ia adalah perhubungan.

A → B berlaku dalam kes berikut.

1. A berlaku sebelum B dalam proses yang sama (pelanggan)
2. Selepas A, mesej dihantar dan pihak yang menerima mesej melaksanakan B.
3. Jika A → B dan B → C, maka A → C.

Ketekalan Sebab ialah peraturan di mana hubungan sebab-akibat ini boleh dilihat dalam semua nod.

Kes di bawah ialah Konsisten Bersebab.

Satu-satunya hubungan "Berlaku-sebelum" yang boleh didapati di sini ialah w(x)a → r(x)a dan w(x)b → r(x)b, yang berpuas hati dengan semua proses. Tidak mengapa untuk P3 membaca b dahulu. Ini kerana kedua-dua operasi tulis adalah bebas, jadi tiada hubungan sebab-akibat bagi w(x)a → w(x)b.

Perkara berikut tidak mewujudkan Konsistensi Sebab. Sebabnya ialah terdapat hubungan sebab-akibat bagi w(x)a → w(x)c, dan c dibaca sebelum a dalam P3.

Konsisten Akhirnya

Akhirnya Ia adalah peraturan yang (akhirnya) menjadi konsisten. Pada satu ketika, apabila tiada operasi tulis dan rangkaian menjadi stabil, semua nod akhirnya akan melihat nilai yang sama. Ia adalah konvensyen yang sangat terhad.

Konsisten dalam Replika

Replikache dikatakan mengikut Konsistensi Sebab. Ini adalah Konsistensi Penyebab yang lebih kuat, jadi mari kita ketahui kemudian.

Atas ialah kandungan terperinci Model Ketekalan dan Replika. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!