Jeg er bange for, at du skal være meget præcis i din definition af optimistisk samtidighedskontrol. I den klassiske definition af Bernstein, Goodman og Hadzilacos tillader optimistisk samtidighedskontrol tråde "stort set" at erhverve låsene, fortsætte med opdateringerne og derefter kontrollere for konsistensbrud, når transaktionen forsøger at begå. Hvis der opstår en konsistensovertrædelse, tvinges transaktionen til at afbryde og genindsendes. Under denne definition er det ikke klart, hvordan en deadlock kan opstå, da tråde "aldrig" blokeres, mens de venter på en låsning. Den klassiske definition af optimistisk samtidighedskontrol er ikke let at implementere praktisk. Men det seneste arbejde med hardwaretransaktionshukommelse åbner nogle muligheder og kaster lidt perspektiv på dette gamle problem.
