Bài giảng môn học Hệ điều hành - Chương 8: Hệ thống phân tán

Sắp xếp sự kiện

Nhiều ứng dụng có thể yêu cầu chúng ta xác định trật tự. Ví dụ, trong một kế hoạch phân bổ tài nguyên, chúng ta xác định rằng một tài nguyên có thể được sử dụng chỉ sau khi tài nguyên đã được cấp.

Quan hệ xảy ra trước (được ký hiệu ).

Nếu A và B là các sự kiện trong cùng một tiến trình, và A được chạy trước B, ta có A  B.

Nếu A là sự kiện gửi thông điệp của một tiến trình và B là sự kiện nhận thông điệp đó của một tiến trình khác, ta có A  B.

Nếu A  B và B  C thì A  C.