楽観的同時実行制御の定義を非常に正確にする必要があるのではないかと思います。 Bernstein、Goodman、Hadzilacosによる古典的な定義では、楽観的同時実行制御により、スレッドは「仮想的に」ロックを取得し、更新を続行し、トランザクションがコミットしようとしたときに整合性違反をチェックできます。整合性違反が発生した場合、トランザクションは強制的に中止され、再送信されます。この定義では、スレッドがロックを待機して「ブロックされることはない」ため、デッドロックがどのように発生するかは明確ではありません。楽観的同時実行制御の古典的な定義は、実際に実装するのは簡単ではありません。ただし、ハードウェアトランザクションメモリに関する最近の作業により、いくつかの可能性が開かれ、この古い問題についての見方が失われています。
