Tôi e rằng bạn phải rất chính xác trong định nghĩa của bạn về điều khiển đồng thời lạc quan. Theo định nghĩa cổ điển của Bernstein, Goodman và Hadzilacos, kiểm soát đồng thời lạc quan cho phép các luồng "ảo" có được các khóa, tiến hành cập nhật và sau đó kiểm tra xem có vi phạm tính nhất quán khi giao dịch cố gắng thực hiện hay không. Nếu vi phạm tính nhất quán xảy ra, giao dịch bị buộc phải hủy bỏ và được gửi lại. Theo định nghĩa này, không rõ làm thế nào mà deadlock có thể xảy ra, vì các luồng "không bao giờ" bị chặn khi chờ khóa. Định nghĩa cổ điển về điều khiển đồng thời lạc quan không dễ thực hiện trên thực tế. Tuy nhiên, công việc gần đây về bộ nhớ giao dịch phần cứng đang mở ra một số khả năng và làm sáng tỏ một số góc nhìn về vấn đề cũ này.
