Trong quản lý bộ nhớ, cơ chế phủ lấp (Overlay) thực hiện nhằm mục đích nào?

Kỹ thuật Swapping được sử dụng để giải quyết tình huống khi tổng kích thước của các tiến trình đang chạy vượt quá dung lượng bộ nhớ vật lý (RAM) hiện có. Khi đó, một số tiến trình hoặc một phần của tiến trình sẽ được chuyển tạm thời từ RAM sang ổ cứng (swap space) để giải phóng bộ nhớ cho các tiến trình khác. Khi cần thiết, các tiến trình này sẽ được chuyển ngược lại vào RAM để tiếp tục thực thi. Do đó, đáp án A là chính xác.

Quy định "Nếu tiến trình P đang giữ các tài nguyên Ri và P yêu cầu thêm tài nguyên Rj, thì P phải trả lại các tài nguyên Ri với thứ tự (i > j)" nhằm mục đích phá vỡ điều kiện "chờ xoay vòng" (circular wait). Điều kiện chờ xoay vòng xảy ra khi có một chuỗi các tiến trình, mỗi tiến trình trong chuỗi đó đang chờ một tài nguyên mà tiến trình kế tiếp trong chuỗi đang giữ. Việc yêu cầu tiến trình trả lại các tài nguyên đang giữ theo một thứ tự nhất định sẽ ngăn chặn việc hình thành chuỗi chờ đợi này, do đó ngăn chặn deadlock.

Các lựa chọn khác không đúng vì:
- A. Ngăn chặn điều kiện “loại trừ tương hỗ” (Mutual exclusion): Loại trừ tương hỗ là bản chất của một số tài nguyên, không thể ngăn chặn nó.
- B. Ngăn chặn điều kiện “giữ và chờ tài nguyên” (Hold and Wait): Điều này có nghĩa là tiến trình phải yêu cầu tất cả các tài nguyên cần thiết trước khi bắt đầu hoặc không giữ bất kỳ tài nguyên nào khi yêu cầu tài nguyên mới. Quy định trên không trực tiếp giải quyết điều này.
- C. Ngăn chặn điều kiện “không trưng dụng” (Non-preemption): Điều này có nghĩa là tài nguyên chỉ có thể được giải phóng tự nguyện bởi tiến trình đang giữ nó. Quy định trên không đề cập đến việc trưng dụng tài nguyên.

Một chuỗi các tiến trình được coi là "an toàn" nếu, với mỗi tiến trình Pi trong chuỗi, các tài nguyên mà Pi yêu cầu có thể được đáp ứng bởi tổng số tài nguyên hiện có cộng với các tài nguyên mà tất cả các tiến trình Pj (với j < i) đang giữ. Điều này đảm bảo rằng Pi có thể hoàn thành mà không gây ra deadlock. Như vậy, Pj phải là tiến trình đứng trước Pi trong chuỗi.

Trong đồ thị cấp phát tài nguyên, cạnh yêu cầu (request edge) biểu diễn việc một tiến trình đang yêu cầu một tài nguyên. Cạnh này được biểu diễn bằng một mũi tên (nét liền) đi từ tiến trình đến tài nguyên mà nó đang yêu cầu. Do đó, đáp án đúng là C: nét liền từ tài nguyên tới tiến trình