3.4.2 Deadlock Phục hồi
Bế tắc có thể bị phá vỡ bằng cách quan sát các tin nhắn (s) contammg tem thời gian nhỏ nhất trong toàn bộ mô phỏng là (là) luôn luôn an toàn để xử lý. Đây là sự kiện đó sẽ được xử lý tiếp theo trong một thực thi tuần tự của chương trình mô phỏng. Vì vậy, để phá vỡ thế bế tắc, các điều hành mô phỏng cần chỉ xác định các sự kiện có chứa các tem thời gian nhỏ nhất và gửi tin nhắn đến các LP (s) tổ chức sự kiện để cho biết rằng sự kiện này có thể được xử lý một cách an toàn.
Định vị nhỏ nhất thời gian đóng dấu sự kiện này là tương đối đơn giản bởi vì các tính toán được bế tắc, vì vậy không có sự kiện mới được tạo ra trong khi thời gian nhỏ nhất sự kiện đóng dấu đang nằm. Bộ điều khiển có thể phát thông báo đến tất cả các yêu cầu LP tem thời gian của các sự kiện trong bộ xử lý có chứa các tem thời gian nhỏ nhất. Sau khi nhận được một tin nhắn từ mỗi bộ xử lý, bộ điều khiển xác định các sự kiện thời gian đóng dấu nhỏ nhất (s) trong toàn bộ mô phỏng, và chỉ thị các bộ vi xử lý (s) mà giữ họ để xử lý các sự kiện (s). Cách tiếp cận này giả định rằng không có tin nhắn trong vận chuyển trong mạng trong khi thế bế tắc được phá vỡ. Tùy thuộc vào các chi tiết của hệ thống phụ truyền thông, mà trong tum phụ thuộc vào kiến trúc phần cứng, thị trưởng thành phố này có thể không phải là trường hợp. Chúng tôi sẽ trở lại vấn đề này sau.
.
đang được dịch, vui lòng đợi..