Saya pikir Anda menyederhanakan terminologi/proses. Setelah kueri diuraikan dan sebelum dieksekusi, kueri perlu memperoleh kunci yang diperlukan. Pada titik inilah ditentukan bahwa:
- sesi 1 mendapatkan kunci eksklusif, karena memasukkan dan tidak ada kunci lain
- sesi 2 dan 3 diantrekan untuk kunci bersama karena kunci eksklusif sudah dipegang oleh sesi 1, dan sesi 2 dan 3 ada kesalahan kunci duplikat
Per di atas, sesi 2 dan 3 mendapatkan antrian untuk kunci bersama karena mereka berada dalam kesalahan kunci duplikat. Namun, saat sesi 1 menghapus kunci dan melepaskan kunci eksklusif, sekarang sesi 2 dan 3 mendapatkan kunci bersama. Pada titik ini keduanya mencoba mendapatkan kunci eksklusif untuk menyelesaikan penyisipan. Namun, tidak ada yang bisa, karena yang lain sudah memegang kunci bersama. Jadi kunci eksklusif tidak diberikan kepada keduanya dan mereka menemui jalan buntu.
