Ik ben bang dat u heel precies moet zijn in uw definitie van optimistische concurrency control. In de klassieke definitie van Bernstein, Goodman en Hadzilacos, stelt optimistische gelijktijdigheidscontrole threads in staat om "virtueel" de vergrendelingen te verwerven, door te gaan met de updates en vervolgens te controleren op consistentieschending wanneer de transactie probeert te plegen. Als er sprake is van een consistentieschending, wordt de transactie geforceerd afgebroken en opnieuw ingediend. Onder deze definitie is het niet duidelijk hoe een deadlock kan ontstaan, aangezien threads "nooit" worden geblokkeerd terwijl ze wachten op een lock. De klassieke definitie van optimistische gelijktijdigheidscontrole is in de praktijk niet eenvoudig te implementeren. Recent werk aan hardware-transactiegeheugen opent echter enkele mogelijkheden en werpt enig perspectief op dit oude probleem.
