Lesson 07 — Deadlock
1. Resource-Allocation Graph (RAG) tương tác
Thêm cạnh Request (P→R) và Assignment (R→P). Hệ thống tự dò chu trình.
Thêm cạnh
Request P→R
Assignment R→P
Process (tròn)
Resource (vuông)
// Thêm cạnh để xây dựng đồ thị...
2. Thuật toán Banker — Tìm Safe Sequence
Ví dụ từ README: 5 process, 3 tài nguyên (A, B, C), Total = [10, 5, 7]. Nhấn "Bước tiếp theo" để thực hiện từng bước tìm safe sequence.
Available:
A = 3 B = 3 C = 2
A = 3 B = 3 C = 2
Safe Sequence:
—
—
| Process | Max (A B C) | Allocation (A B C) | Need (A B C) | Trạng thái | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
// Nhấn "Bước tiếp theo" để bắt đầu tìm safe sequence...
3. 4 Điều kiện Coffman — Phòng ngừa
Nhấn vào mỗi điều kiện để xem cách phá và ưu/nhược điểm.