Obávám se, že ve své definici optimistické kontroly souběžnosti musíte být velmi přesní. V klasické definici Bernsteina, Goodmana a Hadzilacose optimistická kontrola souběžnosti umožňuje vláknům „virtuálně“ získat zámky, pokračovat v aktualizacích a poté zkontrolovat porušení konzistence, když se transakce pokusí potvrdit. Pokud dojde k porušení konzistence, transakce je nucena přerušit a je znovu odeslána. Podle této definice není jasné, jak může dojít k uváznutí, protože vlákna nejsou "nikdy" blokována čekáním na zámek. Klasickou definici optimistického řízení souběžnosti není snadné prakticky implementovat. Nedávná práce na hardwarové transakční paměti však otevírá některé možnosti a zbavuje se určitého pohledu na tento starý problém.