Apa yang harus saya lakukan ketika penguncian optimis tidak berfungsi?

Saya memiliki skenario berikut ini:

1. Seorang pengguna membuat permintaan GET ke /projects/1dan menerima ETag .
2. Pengguna membuat permintaan PUT/projects/1 dengan ETag dari langkah # 1.
3. Pengguna membuat permintaan PUT lain untuk /projects/1menggunakan ETag dari langkah # 1.

Biasanya, permintaan PUT kedua akan menerima respons 412, karena ETag sekarang basi - permintaan PUT pertama memodifikasi sumber daya, sehingga ETag tidak cocok lagi.

Tetapi bagaimana jika dua permintaan PUT dikirim pada waktu yang sama (atau tepatnya satu demi satu)? Permintaan PUT pertama tidak punya waktu untuk memproses dan memperbarui sumber daya sebelum PUT # 2 tiba, yang menyebabkan PUT # 2 menimpa PUT # 1. Inti dari penguncian optimis adalah agar hal itu tidak terjadi ...

Mekanisme ETag hanya menetapkan protokol komunikasi untuk penguncian optimis. Merupakan tanggung jawab layanan aplikasi untuk menerapkan mekanisme untuk mendeteksi pembaruan bersamaan untuk menegakkan kunci optimis.

Dalam aplikasi tipikal yang menggunakan database, Anda biasanya akan melakukan ini dengan membuka transaksi saat memproses permintaan PUT. Anda biasanya membaca keadaan database yang ada di dalam transaksi itu (untuk mendapatkan kunci baca), memeriksa validitas Etag Anda, dan menimpa data (dengan cara yang akan menyebabkan konflik penulisan ketika ada transaksi bersamaan yang tidak kompatibel), lalu komit. Jika Anda mengatur transaksi dengan benar, maka salah satu komit akan gagal karena mereka berdua akan mencoba memperbarui data yang sama secara bersamaan. Anda kemudian dapat menggunakan kegagalan transaksi ini untuk mengembalikan 412 atau mencoba kembali permintaan, jika itu masuk akal untuk aplikasi tersebut.

Anda harus menjalankan pasangan berikut secara atom:

• memeriksa tag untuk validitas (yaitu yang terbaru)
• memperbarui sumber daya (yang termasuk memperbarui tag-nya)

Yang lain menyebut ini sebagai transaksi - tetapi pada dasarnya, eksekusi atom dari kedua operasi ini adalah apa yang mencegah satu dari menimpa yang lain dengan kecelakaan waktu; tanpa ini Anda memiliki kondisi balapan, seperti yang Anda perhatikan.

Ini masih dianggap penguncian optimis, jika Anda melihat gambaran besar: bahwa sumber daya itu sendiri tidak dikunci oleh pembacaan awal (GET) oleh setiap Pengguna atau setiap Pengguna yang melihat data, apakah dengan maksud memperbarui atau tidak.

Beberapa perilaku atom diperlukan, tetapi ini terjadi dalam satu permintaan (PUT) alih-alih mencoba untuk mengunci beberapa interaksi jaringan; ini adalah penguncian optimis: objek tidak dikunci oleh GET namun masih dapat diperbarui dengan aman oleh PUT.

Ada juga banyak cara untuk mencapai eksekusi atom dari kedua operasi ini - mengunci sumber daya bukanlah satu-satunya pilihan; misalnya, utas ringan atau kunci objek mungkin cukup dan tergantung pada arsitektur aplikasi dan konteks eksekusi Anda.

Ada di pengembang aplikasi untuk benar-benar memeriksa E-Tag dan memberikan logika itu. Bukanlah keajaiban bahwa server web melakukannya untuk Anda karena hanya tahu cara menghitung E-Tagtajuk untuk konten statis. Jadi mari kita ambil skenario Anda di atas dan uraikan bagaimana interaksi seharusnya terjadi.

GET /projects/1

Server menerima permintaan, menentukan E-Tag untuk versi catatan ini, mengembalikannya dengan konten yang sebenarnya.

200 - OK
E-Tag: "412"
Content-Type: application/json
{modified: false}

Karena klien sekarang memiliki nilai E-Tag, ia dapat menyertakannya dengan PUTpermintaan:

PUT /projects/1
If-Match: "412"
Content-Type: application/json
{modified: true}

Pada titik ini aplikasi Anda harus melakukan hal berikut:

• Verifikasi bahwa E-Tag masih benar: "412" == "412"?
• Jika demikian, lakukan pembaruan dan hitung E-Tag baru

Kirim respons sukses.

204 No Content
E-Tag: "543"

Jika permintaan lain datang dan mencoba melakukan yang PUTserupa dengan permintaan di atas, kali kedua kode server Anda mengevaluasinya, Anda bertanggung jawab untuk memberikan pesan kesalahan.

• Verifikasi E-Tag masih benar: "412"! = "543"

Pada kegagalan, kirim respons kegagalan.

412 Precondition Failed

Ini adalah kode yang harus Anda tulis. E-Tag sebenarnya bisa berupa teks apa saja (dalam batas yang ditentukan dalam spesifikasi HTTP). Tidak harus berupa angka. Ini bisa menjadi nilai hash juga.

Sebagai pelengkap jawaban lainnya, saya akan memposting salah satu kutipan terbaik dalam dokumentasi ZeroMQ yang dengan setia menjelaskan masalah mendasar:

Untuk membuat program MT yang benar-benar sempurna (dan maksud saya benar-benar), kita tidak perlu mutex, kunci, atau bentuk lain dari komunikasi antar-thread kecuali pesan yang dikirim melalui soket ZeroMQ.

Dengan "program MT sempurna", maksud saya kode yang mudah ditulis dan dipahami, yang bekerja dengan pendekatan desain yang sama dalam bahasa pemrograman apa pun, dan pada sistem operasi apa pun, dan yang mengukur berbagai jumlah CPU dengan status tunggu nol dan tanpa titik hasil yang semakin berkurang.

Jika Anda telah menghabiskan bertahun-tahun mempelajari trik untuk membuat kode MT Anda berfungsi sama sekali, apalagi dengan cepat, dengan kunci dan semafor dan bagian-bagian penting, Anda akan merasa jijik ketika Anda menyadari bahwa itu semua sia-sia. Jika ada satu pelajaran yang telah kita pelajari dari 30+ tahun pemrograman bersamaan, itu adalah: jangan berbagi status. Ini seperti dua pemabuk yang mencoba berbagi bir. Tidak masalah jika mereka adalah teman baik. Cepat atau lambat, mereka akan bertengkar. Dan semakin banyak pemabuk yang Anda tambahkan ke meja, semakin banyak mereka saling bertarung memperebutkan bir. Mayoritas tragis dari aplikasi MT terlihat seperti perkelahian di bar mabuk.