Страхувам се, че трябва да сте много точни в дефиницията си за оптимистичен контрол на паралелността. В класическата дефиниция на Bernstein, Goodman и Hadzilacos, оптимистичният контрол на паралелността позволява на нишките "виртуално" да придобият ключалките, да продължат с актуализациите и след това да проверят за нарушение на последователността, когато транзакцията се опита да извърши. Ако възникне нарушение на последователността, транзакцията се прекратява принудително и се изпраща отново. При тази дефиниция не е ясно как може да възникне блокиране, тъй като нишките "никога" не се блокират в очакване на заключване. Класическата дефиниция на оптимистичен контрол на паралелността не е лесна за практическа реализация. Въпреки това, скорошната работа върху хардуерната транзакционна памет отваря някои възможности и губи известна перспектива върху този стар проблем.
