không đƣợc đảm bảo. Để giải quyết điều này, các bộ phận phát hiện tắc nghẽn phải hoạt động thƣờng xuyên hơn, tăng chi phí phát hiện tắc nghẽn. Thứ hai, một giao tác T có thể khởi động lại vì nhiều lí do khác hơn là vấn đề tƣơng tranh (chẳng hạn trạm bị hỏng). Cho đến khi việc khởi động lại của T đƣợc truyền đến bộ phận phát hiện tắc nghẽn, bộ phận này có thể tìm thấy chu trình trong đồ thị chờ có chứa T. Một chu trình nhƣ thế gọi là khối tắc nghẽn ảo (phantom deadlock). Khi phát hiện ra một khối tắc nghẽn ảo, bộ phận phát hiện tắc nghẽn không cần khởi động lại giao tác khác hơn T. Sự đề phòng đặc biệt cần thiết để tránh việc khởi động lại không cần thiết trong 2PL biểu quyết.
Chi phí chính trong việc phát hiện tắc nghẽn là khởi động lại các giao tác đã thực hiện chƣa hoàn chỉnh. Việc khai báo trƣớc có thể giảm đƣợc chi phí này. Bằng cách thu các khóa của giao tác trƣớc khi thực thi, hệ thống chỉ phải khởi động lại các giao tác chƣa thực hiện.
2.4. CÁC KỸ THUẬT ĐỒNG BỘ HÓA DỰA TRÊN TRẬT TỰ NHÃN THỜI GIAN GIAN
Với mỗi giao tác đƣợc gán một nhãn thời gian duy nhất bởi TM của nó. TM gắn kết nhãn thời gian để tất cả các dm-read và dm-write thực hiện đại diện cho một giao tác và các DM phụ thuộc để xử lý phép toán mâu thuẫn trong trật tự nhãn thời gian. Nhãn thời gian của phép toán O ký hiệu là ts(O).
Việc định nghĩa những phép toán mâu thuẫn còn phụ thuộc vào loại đồng bộ hóa đang đƣợc thực hiện và các khóa đối lập:
- Với sự đồng bộ rw, hai phép toán là mâu thuẫn nếu: (a) cả hai phép toán trên cùng một phần tử dữ liệu và (b) một là dm-read và một là dm-write.
- với sự đồng bộ ww, hai phép toán mâu thuẫn nếu: (a) cả 2 phép toán trên cùng một phần tử dữ liệu và (b) tất cả là dm-write.
Điều đó dễ dàng chứng minh rằng T/O đạt đƣợc một xếp xoắn →rwr (→ww) quan hệ khi sử dụng cho sự đồng bộ rw (ww). Khi mỗi DM xử lý những các phép toán mâu thuẫn trên thứ tự nhãn thời gian, mỗi cạnh của →rwr (→ww)
quan hệ ở trọng một thứ tự nhãn thời gian. Một cách tuần tự, tất cả các đƣờng trong quan hệ là ở trong một trật tự nhãn thời gian và tất các giao tác có nhãn duy nhất, đồng thời thứ tự nhãn thời gian là dãy giá trị có thứ tự.