Saya khawatir Anda harus sangat tepat dalam definisi Anda tentang kontrol konkurensi optimis. Dalam definisi klasik oleh Bernstein, Goodman dan Hadzilacos, kontrol konkurensi optimis memungkinkan utas untuk "secara virtual" memperoleh kunci, melanjutkan pembaruan, dan kemudian memeriksa pelanggaran konsistensi ketika transaksi mencoba dilakukan. Jika terjadi pelanggaran konsistensi, transaksi terpaksa dibatalkan dan dikirim ulang. Di bawah definisi ini, tidak jelas bagaimana kebuntuan dapat terjadi, karena utas "tidak pernah" diblokir menunggu kunci. Definisi klasik dari kontrol konkurensi optimis tidak mudah diterapkan secara praktis. Namun, pekerjaan terbaru pada memori transaksional perangkat keras membuka beberapa kemungkinan dan melepaskan beberapa perspektif tentang masalah lama ini.
