Prompt dan kasus penggunaan
Jelaskan perbedaan antara linearizability dan sequential consistency, berikan riwayat read/write tempat keduanya berbeda, dan jelaskan trade-off antara konsistensi, latensi, dan ketersediaan dalam sistem terdistribusi. Ini adalah pertanyaan lanjutan yang berguna untuk posisi system-design, backend, data, dan infrastruktur.
Ini bukan tes kosakata. Pewawancara menginginkan satu riwayat yang dapat diverifikasi yang menggabungkan nilai-nilai terbaru, urutan real-time, urutan per-klien, dan keterlambatan replika.
Apa yang dievaluasi pewawancara
- Apakah Anda menyatakan bahwa operasi linearizable tampak berlaku secara instan antara pemanggilan (invocation) dan respons.
- Apakah Anda menyatakan bahwa sequential consistency memerlukan satu urutan global yang mempertahankan urutan program dari setiap thread, tetapi bukan urutan real-time lintas thread.
- Apakah Anda dapat membuktikan perbedaannya dengan contoh tandingan (counterexample), bukan hanya mengatakan bahwa yang satu "lebih kuat".
- Apakah Anda menghubungkan model-model tersebut dengan mode baca (read modes) dan biaya dalam sistem seperti etcd.
Klarifikasi sebelum menjawab
Tanyakan apakah diskusi berkaitan dengan satu objek atau transaksi, satu klien atau banyak klien, dan apakah waktu pemanggilan dan respons diketahui. Linearizability biasanya mendeskripsikan objek konkuren; transaksi multi-objek selain itu memerlukan jaminan atomisitas dan isolasi.
Jawaban 30 detik
Linearizability memerlukan urutan global yang menghormati real-time: operasi write yang telah selesai harus terlihat oleh operasi read yang dimulai setelahnya. Sequential consistency hanya mempertahankan urutan program dari setiap thread, sehingga operasi dari thread yang berbeda dapat diurutkan ulang. Operasi read basi (stale read) setelah operasi write melanggar linearizability; ketika pemanggilan tumpang tindih, urutan global masih dapat menempatkan read lebih dulu dan memenuhi sequential consistency. Model yang lebih kuat memerlukan koordinasi lebih banyak, yang mengorbankan latensi dan ketersediaan saat partisi jaringan.
Penjelasan langkah demi langkah
Mendeskripsikan riwayat operasi
Catat waktu pemanggilan, waktu respons, thread, argumen, dan hasil untuk setiap operasi. Linearizability memilih satu titik antara setiap pemanggilan dan respons sehingga semua operasi membentuk eksekusi single-threaded yang sah dan operasi yang telah selesai mempertahankan urutan real-time-nya.
Aturan sequential consistency
Sequential consistency memerlukan satu urutan global di mana operasi setiap thread muncul dalam urutan programnya sendiri. Operasi dari thread yang berbeda dapat diurutkan ulang bahkan ketika urutan waktu nyata (wall-clock) ada, selama riwayat tersebut tidak memiliki batasan real-time yang diwajibkan.
Garis waktu contoh tandingan
Thread A: write(x=1) mengembalikan hasil; thread B kemudian memanggil read(x) dan mendapatkan 0. Untuk objek yang sama, riwayat tersebut tidak dapat dilinearisasi. Jika interval pemanggilan tumpang tindih, sistem dapat menempatkan read B sebelum write A dalam urutan global, memenuhi sequential consistency sembari melanggar urutan real-time.
~~~text Linearizable: A: write(1) ---- returns B: read() -> 1
Not linearizable: A: write(1) ---- returns B: read() -> 0
Sequentially consistent but not necessarily linearizable: A: write(1) ========= B: read() -> 0 ========= Global order may place B before A when the calls overlap. ~~~
Kontras dengan eventual consistency
Eventual consistency menjanjikan konvergensi setelah operasi write berhenti dan waktu yang cukup berlalu. Model ini mengizinkan pembacaan data basi (stale reads) dan tidak secara otomatis menyediakan read-your-writes atau monotonic reads. Linearizability memberikan semantik real-time yang lebih kuat, biasanya dengan merutekan operasi read dan write melalui leader atau kuorum.
Jawaban model
Saya mendeskripsikan linearizability sebagai ilusi dari satu salinan real-time: setiap operasi memiliki titik linearisasi antara pemanggilan dan respons, semua operasi membentuk riwayat sekuensial yang sah, dan operasi yang telah selesai mempertahankan urutan real-time-nya. Sequential consistency hanya memerlukan riwayat global yang mempertahankan urutan program dari setiap thread, sehingga urutan real-time lintas thread dapat hilang.
Jika A menulis 1 dan mengembalikan hasil sebelum B mulai membaca, B yang mengembalikan 0 melanggar linearizability. Jika interval pemanggilan tumpang tindih, read B dapat muncul sebelum write A dalam riwayat global dan tetap memenuhi sequential consistency. Pilihlah model berdasarkan kebutuhan bisnis: locks, leases, dan conditional updates sering kali memerlukan linearizability; indeks pencarian dan replika analitik dapat menerima semantik yang lebih lemah untuk latensi yang lebih rendah dan ketersediaan yang lebih tinggi.
Kesalahan umum
- Menyebut suatu sistem "strongly consistent" tanpa menentukan urutan real-time.
- Mendeskripsikan sequential consistency sebagai pengurutan waktu server alih-alih aturan urutan program per-thread.
- Mengatakan bahwa eventual consistency "pada akhirnya membaca nilai terbaru" tanpa membahas read-your-writes atau monotonic reads.
- Mengasumsikan bahwa kuorum secara otomatis berarti linearizability tanpa memeriksa apakah operasi read bergabung dalam jalur konsensus.
- Memperlakukan linearizability objek tunggal sebagai isolasi penuh untuk transaksi multi-objek.
Pertanyaan lanjutan dan jawaban
Mengapa linearizability biasanya berbiaya lebih mahal?
Operasi read mungkin memerlukan konfirmasi dari leader saat ini atau kuorum, menambahkan round trip lintas wilayah. Selama partisi jaringan, sistem mungkin menolak permintaan daripada mengembalikan hasil yang melanggar urutan real-time.
Di mana kelemahan sequential consistency?
Model ini tidak mempertahankan urutan wall-clock lintas thread. Urutan global apa pun yang mempertahankan urutan program dari setiap thread dapat dianggap sah, membuat skenario "write yang telah selesai tidak terlihat oleh read berikutnya" lebih mudah tersembunyi.
Apa saja mode baca pada etcd?
etcd mendokumentasikan jaminan linearizable secara default. Pembacaan serializable dapat mengembalikan data yang basi relatif terhadap kuorum, menukar risiko tersebut dengan latensi yang lebih rendah dan throughput yang lebih tinggi. Kaitkan mode tersebut dengan risiko bisnis alih-alih hanya menyebutkan konfigurasi secara terpisah.
Bagaimana cara menguji linearizability?
Catat waktu pemanggilan dan respons, thread, input, dan hasil, lalu cari urutan linearisasi yang sah. Suntikkan penundaan (delays), jeda proses, dan pergantian leader; pengujian yang hanya berjalan secara sekuensial tidak dapat mengungkap kegagalan penting.
Kapan eventual consistency sudah cukup?
Feed, indeks pencarian, dan laporan dapat menerima data basi yang terbatas (bounded staleness) ketika produk membuat kompromi tersebut secara eksplisit. Operasi write penting mungkin masih memerlukan read-your-writes, nomor versi, atau jalur penyegaran eksplisit.
Bagaimana cara menutup jawaban?
Mulailah dengan garis waktu, nyatakan batasan model, dan akhiri dengan jaminan bisnis beserta biaya latensi dan ketersediaannya. Hal itu menunjukkan pemahaman yang lebih dalam daripada sekadar melafalkan slogan CAP.