Modul ini membahas konsistensi data dan koordinasi antarnode pada sistem terdistribusi, mulai dari teorema CAP dan PACELC, pola konsistensi eventual beserta jaminan sesinya, lock berbasis lease dengan fencing token, posisi konsensus seperti Raft dan Paxos, hingga pengurutan peristiwa dengan jam Lamport dan hybrid logical clock. Setiap konsep disertai simulasi Python yang dapat dijalankan ulang untuk melihat tradeoff yang menyertainya. Modul ini melengkapi modul lapisan data dengan sudut pandang kebenaran data ketika beberapa salinan tersimpan di beberapa node sekaligus.
Konsistensi dan Koordinasi
CAP dan PACELC, pola konsistensi eventual, lock terdistribusi, konsensus, dan waktu pada sistem terdistribusi.
0/0 selesai
- Intuisi CAP dan PACELC
Apa yang benar-benar dibatasi teorema CAP dan PACELC pada jaringan yang bisa gagal.
- Pola Konsistensi Eventual
Read-your-writes, monotonic read, dan pengenalan vector clock untuk pengurutan.
- Lock Terdistribusi
Jebakan kebenaran lock terdistribusi dan pola lease dengan masa berlaku.
- Posisi Konsensus
Raft dan Paxos pada tingkat konsep serta kapan sistem nyata menuntut konsensus.
- Waktu dan Pengurutan
Clock skew, jam Lamport, dan hybrid logical clock untuk mengurutkan peristiwa.