Gesaan dan konteks
Beberapa replika berkongsi storan penyelarasan dan mesti memastikan bahawa hanya satu tika menjalankan tugas penyelesaian berjadual pada satu-satu masa. Reka bentuk rekod pajakan, kempen, pembaharuan, penyerahan, dan kebolehcerapan. Rangkumi pemetakan rangkaian, jeda proses, hanyutan jam, dan kegagalan storan. Pajakan mengawal siapa yang boleh memulakan kerja; penulisan perniagaan masih memerlukan keidempotetan (idempotency) dan semakan bersyarat.
Perkara yang diuji oleh penemu duga
- Sama ada anda memisahkan keselamatan pajakan daripada kesan sampingan perniagaan.
- Sama ada anda memahami compare-and-set atomik, token pemagaran penggal (term fencing tokens), dan kuorum.
- Sama ada anda boleh menerangkan mengapa jeda proses, pemetakan, dan ketua lama yang dihidupkan semula tidak mewujudkan penulis dwi (dual writers) yang sah.
- Sama ada anda mentakrifkan isyarat yang boleh diukur, suntikan kerosakan (fault injection), dan tingkah laku pemulihan.
Soalan penjelasan sebelum menjawab
Sahkan tetingkap jeda yang dibenarkan, pelaksanaan pendua yang ditolak ansur, ketekalan storan penyelarasan, kependaman rentas wilayah, bilangan replika, dan kualiti penyelarasan jam. Jika ketekalan kuat rentas wilayah diperlukan, jelaskan pertukaran (trade-off) antara ketersediaan dan kependaman pemilihan secara eksplisit.
Kerangka jawapan 30 saat
Gunakan storan penyelarasan yang menawarkan bacaan linearizable dan penulisan bersyarat. Setiap calon bersaing dengan identiti unik dan penggal yang meningkat secara monotonik; hanya cipta atau kemas kini atomik yang berjaya menjadi ketua. Ketua memperbaharui pajakan sebelum tamat tempoh. Setiap penulisan perniagaan membawa token penggal, dan sistem hiliran menolak token yang lebih lama. Calon mengambil alih hanya selepas mengesahkan keadaan baharu. Semasa pemetakan atau jeda yang panjang, tika menghentikan kesan sampingan; gangguan perkhidmatan yang singkat adalah lebih selamat daripada kewujudan penulis dwi.
Perincian langkah demi langkah
1. Model data dan operasi atomik
Rekod pajakan mengandungi identiti pemegang, masa tamat tempoh, token penggal, versi, dan masa pembaharuan terakhir. Persaingan menggunakan compare-and-set: cipta apabila tiada, atau kemas kini hanya apabila versi tidak berubah dan pajakan telah tamat tempoh. Kubernetes mewakili pajakan sebagai objek penyelarasan yang mengandungi maklumat pemegang dan pembaharuan; pelaksanaan mesti mengesahkan model ketekalan storan dan bukannya mempercayai cache yang berkonsistensi akhirnya (eventually consistent).
2. Pembaharuan dan penurunan pangkat kendiri (self-demotion)
Perbaharui jauh sebelum tempoh pajakan tamat, meninggalkan ruang untuk kegelisahan rangkaian (network jitter) dan jeda penjadual. Jika pembaharuan gagal, pengesahan tidak dapat dibaca, atau proses terhenti melebihi tetingkap keselamatan, hentikan kesan sampingan serta-merta dan berkempen semula selepas pemulihan. Jangan tentukan tamat tempoh pemegang lain daripada jam dinding tempatan semata-mata.
3. Pemagaran dan keidempotetan perniagaan
Setiap kempen yang berjaya menghasilkan token monotonik. Pekerja (workers), kemas kini pangkalan data bersyarat, atau perkhidmatan hiliran menolak permintaan yang membawa token yang lebih lama. Oleh itu, ketua lama yang terjaga selepas jeda tidak boleh menulis ganti penulisan ketua baharu. Penyelesaian transaksi masih memerlukan kunci keidempotetan, sempadan transaksi, dan pengendalian percubaan semula.
Contoh jawapan berkualiti tinggi
Saya mentakrifkan keselamatan sebagai menghalang dua ketua yang sah daripada menulis sumber yang sama pada satu masa; ketersediaan membenarkan jeda singkat selepas tamat tempoh pajakan. Storan penyelarasan membekalkan CAS linearizable. Calon merekodkan identitinya dan penggal yang meningkat, dan ketua memperbaharui pajakan dengan denyutan jantung. Setiap kesan sampingan membawa token penggal, yang dibandingkan oleh penulisan bersyarat di hiliran. Jika pemetakan, jeda GC, atau kehilangan pengesahan pembaharuan berlaku, tika berhenti dan hanya berkempen selepas mengesahkan semula keadaan; tidur selama beberapa saat bukanlah bukti keselamatan. Raft menggunakan penggal dan pengundian majoriti untuk kepimpinan log, manakala Kubernetes Lease ialah rekod penyelarasan yang lebih ringan. Kedua-duanya memerlukan model ketekalan yang eksplisit, belanjawan masa tamat, dan pelan pemulihan. Saya akan menyuntik kerosakan ketua, pemetakan, ofset jam, jeda yang panjang, dan storan yang tidak tersedia, kemudian memeriksa penulisan dwi, penulisan token lapuk, dan pelanggaran masa pemulihan.
Kesilapan biasa
- Menyimpan kunci hanya dalam memori proses atau bergantung pada bacaan Redis yang berkonsistensi akhirnya sambil mendakwa tiada ketua dwi yang mungkin berlaku.
- Membandingkan cap masa tanpa penggal monotonik dan token pemagaran.
- Meneruskan kelompok semasa selepas kegagalan pembaharuan, meninggalkan tetingkap penulisan kepada ketua lama.
- Menyamakan satu ketua pada satu masa dengan tiada pelaksanaan pendua langsung.
- Menguji pemilihan biasa sahaja dan mengabaikan jeda, pemetakan, kependaman storan, atau kegagalan storan.
Soalan susulan dan respons
Adakah tamat tempoh pajakan menjamin bahawa ketua lama telah berhenti?
Tidak. Sesuatu proses boleh dijeda atau kekal terasing semasa masih berjalan. Sahkan token pemagaran pada sempadan perniagaan; tamat tempoh hanya bermakna lapisan penyelarasan tidak lagi mengiktiraf pemegang tersebut.
Bagaimanakah anda memilih selang masa pajakan dan pembaharuan?
Dapatkannya daripada sasaran pengesanan kegagalan, kependaman p99 rentas wilayah, belanjawan jeda penjadual, dan kegelisahan storan, dengan margin beberapa kitaran pembaharuan. Pantau kegagalan pembaharuan dan pergolakan pemilihan (churn) dan bukannya menyalin nilai milisaat yang tetap.
Bagaimana jika storan penyelarasan tidak tersedia?
Hentikan kesan sampingan baharu dan kekalkan hanya hasil baca sahaja atau yang telah dikomit dengan selamat. Selepas pemulihan, baca semula penggal dan berkempen. Jika operasi berterusan adalah wajib, turun taraf secara eksplisit kepada pembahagian (sharding), pemilikan berbilang aktif, atau pengambilalihan manusia dan nyatakan semula bukti keselamatan.