Thế nào là trạng thái an toàn của hệ thống?

- Một trạng thái được gọi là an toàn “safe” nếu tồn tại ít nhất một cách mà trong một khoảng
thời gian hữu hạn nào đó, hệ thống có thể cấp phát tài nguyên thỏa mãn cho tất cả process thực
thi hoàn tất .
- Khi đó hệ thống tồn tại một Chuỗi an toàn {P1,P2, … ,Pn } bao gồm tất cả các tiến trình sao cho với mỗiPi, các tài nguyên mà nó yêu cầu có thể được đáp ứng bởi số lượng hiện có cộng thêm của tất cả cácPj mà j < i.
- Nếu các TN yêu cầu không có đủ,Pi phải chờ cho đến khi tất cả cácPj trả lại các TN mà
chúng chiếm giữ.
- KhiPi nhận được đủ TN cần thiết, nó sử dụng và trả lại HĐH đểPi+1 có thể vận hành, cứ như
thế cho đếnPn
- Khi một process yêu cầu một tài nguyên đang sẵn có, hệ thống sẽ kiểm tra: nếu việc cấp phát
này không dẫn đến tình trạng unsafe thì sẽ cấp phát ngay.