Perintah dan konteks
Sebuah layanan mereplikasi pesanan, inventaris, atau konten sosial di seluruh wilayah. Pewawancara menanyakan mengapa partisi menciptakan pilihan konsistensi versus ketersediaan dan mengapa operasi normal tetap menciptakan pilihan konsistensi versus latensi. Jawaban yang kuat menghubungkan model tersebut dengan janji pengguna, jalur baca/tulis, dan pengujian yang terukur.
Apa yang sedang diuji oleh pewawancara
Mereka ingin melihat apakah Anda memisahkan kondisi kegagalan CAP dari kondisi operasi normal PACELC, mendefinisikan model konsistensi yang tepat, dan menghubungkan round trip lintas wilayah, koordinasi, stale reads, dan risiko bisnis. Hanya melafalkan empat huruf atau menetapkan label permanen ke database tidak menyelesaikan perancangan.
Pertanyaan klarifikasi untuk diajukan terlebih dahulu
- Apakah kita memerlukan linearizability, session consistency, atau bounded staleness?
- Apakah target latensi berada pada p95 atau p99, dan berapa anggaran baca serta tulisnya?
- Operasi pesanan mana yang boleh diantrekan atau dicoba ulang, dan mana yang harus langsung gagal?
- Wilayah mana saja yang menampung replika, dan apakah ada round trip lintas wilayah pada jalur pengguna?
- Haruskah konflik digabungkan secara otomatis, dikompensasi, atau ditinjau secara manual?
Kerangka kerja jawaban 30 detik
PACELC berbunyi: jika ada Partisi (Partition), pilih antara Ketersediaan (Availability) dan Konsistensi (Consistency); Selain itu (Else), tanpa partisi, pilih antara Latensi (Latency) dan Konsistensi (Consistency). CAP berfokus pada jaminan selama partisi; PACELC menambahkan biaya koordinasi replikasi sehari-hari. Saya akan mendefinisikan anggaran konsistensi dan latensi, memilih koordinasi kuorum atau replika bounded-stale per operasi pesanan, lalu memvalidasi janji tersebut dengan latihan partisi, latensi lintas wilayah, dan pemulihan.
Pembahasan mendalam langkah demi langkah
Langkah 1: Uraikan keempat huruf tersebut
P adalah kegagalan komunikasi atau penundaan yang tidak dapat diterima antar-node; A berarti permintaan menerima respons sesuai kontrak; C adalah jaminan konsistensi yang dinyatakan sistem; E adalah kasus normal tanpa partisi; L adalah latensi respons yang lebih rendah. PACELC adalah kerangka kerja analisis untuk desain sistem terplikasi, bukan protokol jaringan baru.
Langkah 2: Tangani cabang partisi terlebih dahulu
Misalkan Tokyo dan Singapura tidak dapat berkomunikasi. Jika keduanya menerima pengurangan inventaris yang berlawanan dan langsung berhasil, konsistensi yang kuat tidak dapat dipertahankan. Hanya mengizinkan satu sisi untuk menulis, atau menolak permintaan yang tidak pasti, mengorbankan sebagian ketersediaan. Pembayaran, inventaris, dan keunikan biasanya melindungi konsistensi; penghitung sosial dapat mentolerir keusangan (staleness) sementara.
Langkah 3: Jelaskan cabang latensi normal
Bahkan setelah jaringan normal, pembacaan yang berkonsistensi kuat lintas wilayah mungkin menunggu konfirmasi jarak jauh, kuorum, atau commit log, yang menambah latensi round-trip. Replika lokal menurunkan p99 tetapi dapat mengembalikan versi yang lebih lama. Trade-off ini ada setiap hari; CAP tidak boleh digambarkan seolah-olah menyatakan konsistensi tidak memiliki biaya di luar partisi.
Langkah 4: Pilih per permintaan, bukan per label produk
Layanan yang sama dapat merutekan penulisan inventaris melalui koordinasi sinkron dan pembacaan detail produk ke replika lokal. Data yang sama dapat mengekspos jaminan pembacaan yang berbeda berdasarkan tenant atau endpoint. Dokumentasikan versi, batasan keusangan (staleness bounds), perilaku batas waktu (timeout), dan semantik percobaan ulang untuk setiap jalur daripada menyebut seluruh produk sebagai CP atau AP.
if partition:
protect_invariants_or_return_retryable_error()
else:
choose_remote_confirmation_or_bounded_staleness()Langkah 5: Ubah biaya bisnis menjadi kontrak
Pesanan dapat ditampilkan sebagai sedang diproses, tetapi pembayaran tidak boleh ditagih dua kali; daftar rekomendasi boleh basi selama beberapa detik. Setiap operasi memerlukan kunci idempotensi, kondisi versi, atau peristiwa konflik. Jika pembacaan berlatensi rendah melebihi anggaran keusangannya, kembalikan status eksplisit atau gunakan replika otoritatif.
Langkah 6: Pilih sinyal observabilitas
Lacak latensi p50, p95, dan p99, rasio pembacaan basi (stale-read ratio), kelambatan versi (version lag), batas waktu koordinasi, jumlah konflik, keberhasilan percobaan ulang, dan durasi pemulihan. Pisahkan metrik berdasarkan jenis operasi sehingga pembacaan berisiko rendah tidak menyembunyikan kegagalan penulisan inventaris.
Langkah 7: Tutup loop dengan latihan kegagalan
Injeksi kehilangan jaringan satu arah, penundaan lintas wilayah, pesan duplikat, dan pemulihan parsial. Periksa respons, catatan idempotensi, antrean konflik, dan akuntansi kompensasi. Setelah pemulihan, verifikasi urutan pemutaran ulang log, konvergensi versi, dan status yang terlihat oleh pengguna; gunakan hasilnya untuk menyesuaikan anggaran konsistensi dan latensi.
Contoh jawaban yang kuat
Saya akan menjelaskan kedua cabang PACELC: selama partisi kita melindungi konsistensi atau respons yang tersedia; selama operasi normal kita melindungi konsistensi atau latensi rendah. Untuk pengurangan inventaris, saya akan menggunakan koordinasi sinkron dengan kunci idempotensi dan mengembalikan status yang dapat dicoba ulang saat konfirmasi tidak tersedia. Untuk deskripsi produk dan rekomendasi, saya akan mengizinkan pembacaan lokal bounded-stale. Setiap API akan menyatakan model konsistensi, target p99, dan batas keusangannya. Kami akan memantau batas waktu, kelambatan versi, dan konflik, lalu menjalankan latihan partisi dan pemulihan untuk membuktikan bahwa pengguna tidak dapat ditagih dua kali atau melihat status inventaris yang mustahil.
Kesalahan umum
Kesalahan: memperlakukan PACELC sebagai empat kategori permanen
PACELC adalah sudut pandang trade-off. Suatu sistem dapat mengubah kebijakan berdasarkan endpoint, tenant, atau fase kegagalan, sehingga huruf-huruf tersebut bukanlah properti produk permanen.
Kesalahan: mengatakan E hanya ada setelah pemulihan
E berarti fase operasi normal tanpa partisi jaringan. Setiap konfirmasi, pembacaan, dan commit lintas wilayah dapat membayar biaya konsistensi versus latensi.
Kesalahan: menyamakan latensi rendah dengan konsistensi akhir (eventual consistency)
Replika berlatensi rendah dapat memberikan jaminan sesi atau pembacaan monotonik (monotonic-read), atau mungkin memiliki keusangan yang tidak terbatas. Nyatakan hubungan versi dan batas keusangan daripada menggunakan satu label umum.
Kesalahan: mengganti penalaran bisnis dengan nama database
Produk yang sama dapat mengekspos opsi baca dan tulis yang berbeda. Mulailah dengan invarian, status pengguna yang dapat diterima, dan metrik; kemudian tunjukkan bagaimana protokol atau pengaturan memenuhinya.
Pertanyaan lanjutan dan jawaban
Lanjutan: Apakah PACELC membatalkan CAP?
Tidak. PACELC mempertahankan cabang partisi CAP dan mengingatkan para perancang bahwa operasi normal tetap memiliki trade-off konsistensi versus latensi.
Lanjutan: Kapan latensi lintas wilayah layak dibayar?
Tempatkan p99 tambahan dan biaya hasil yang salah pada satu tabel keputusan. Jika keusangan atau konflik menyebabkan kerugian yang tidak dapat dipulihkan, habiskan anggaran latensi untuk konsistensi; jika tidak, gunakan bounded staleness dan perbaikan asinkron.
Lanjutan: Bisakah pembacaan dan penulisan menggunakan kebijakan yang berbeda?
Ya. Penulisan dapat memerlukan kuorum atau konfirmasi wilayah otoritatif sementara pembacaan memilih replika lokal, konsistensi sesi, atau konsistensi kuat. Kontrak API harus mengekspos perbedaan tersebut.
Lanjutan: Metrik mana yang menunjukkan bahwa kebijakan tersebut berfungsi?
Gunakan latensi persentil, durasi keusangan, kelambatan versi, keberhasilan konflik dan kompensasi, tingkat penolakan partisi, dan waktu pemulihan, yang dipisahkan berdasarkan operasi bisnis penting.
Lanjutan: Bagaimana jika pesanan berhasil dan konflik baru ditemukan kemudian?
Gunakan kunci idempotensi dan log audit untuk menemukan peristiwa duplikat, lalu lakukan kompensasi atau eskalasi sesuai aturan bisnis. Konflik pembayaran dan inventaris tidak dapat disembunyikan oleh last-write-wins.