Một quan sát quan trọng trong thuật toán phát hiện và phục hồi của bế tắc là nó sử dụng con dấu thời gian của các sự kiện tiếp theo chưa qua chế biến. Thông tin này không được sử dụng trong các thuật toán thông điệp null. Hãy xem xét một tập các quy trình hợp lý, mỗi với lookahead 1, tất cả bị chặn tại mô phỏng thời điểm 10. Giả sử con dấu thời gian của sự kiện chưa qua chế biến tiếp theo là 100. Trừ khi thông tin này được sử dụng, có là không có phương tiện để ngay lập tức tiến tất cả LPs thời gian 100. Thay vào đó, các LPs được doomed để tạm ứng chỉ trong increments giá trị lookahead cho đến khi chúng đạt đến 100.
đang được dịch, vui lòng đợi..
