Tại thời điểm thực thi, việc ánh xạ địa chỉ để di chuyển tiến trình giữa không gian bộ nhớ vật lý (Physical Memory) và không gian bộ nhớ ảo (Virtual Memory) được thực hiện bởi:

Kỹ thuật mà hệ điều hành sử dụng để tối ưu hóa việc sử dụng bộ nhớ bằng cách di chuyển một phần tiến trình ra khỏi bộ nhớ chính và lưu trữ tạm thời trên ổ cứng, sau đó nạp lại khi cần, được gọi là Swapping.

* Static linking (Liên kết tĩnh): Là quá trình kết hợp tất cả các thư viện cần thiết vào chương trình tại thời điểm biên dịch, không liên quan đến việc di chuyển tiến trình giữa bộ nhớ chính và ổ cứng.
* Dynamic linking (Liên kết động): Là quá trình liên kết các thư viện vào chương trình trong thời gian chạy, cũng không liên quan đến việc di chuyển tiến trình giữa bộ nhớ chính và ổ cứng.
* Overlay: Là một kỹ thuật quản lý bộ nhớ cũ, trong đó chỉ một phần của chương trình được giữ trong bộ nhớ tại một thời điểm. Tuy nhiên, nó không liên quan đến việc hệ điều hành tự động di chuyển các phần của tiến trình giữa bộ nhớ và ổ cứng để tối ưu hóa việc sử dụng bộ nhớ như Swapping.
* Swapping: Đúng như mô tả trong câu hỏi, đây là kỹ thuật mà hệ điều hành di chuyển các tiến trình hoặc các phần của tiến trình giữa bộ nhớ chính (RAM) và ổ cứng để giải phóng bộ nhớ cho các tiến trình khác. Khi một tiến trình bị "swap out", nó được lưu trữ trên ổ cứng, và khi cần thiết, nó được "swap in" trở lại bộ nhớ chính.

Do đó, đáp án chính xác là D. Swapping.

Cơ chế phủ lấp (Overlay) là một kỹ thuật quản lý bộ nhớ cho phép các tiến trình lớn hơn dung lượng bộ nhớ vật lý có thể chạy được. Nó hoạt động bằng cách giữ lại trong bộ nhớ chỉ những phần của chương trình đang thực sự cần thiết vào một thời điểm nhất định. Các phần khác của chương trình được lưu trữ trên đĩa và được nạp vào bộ nhớ khi chúng cần thiết, thay thế (phủ lấp) các phần khác không còn cần nữa. Vì vậy, đáp án đúng là A. Cấp phát bộ nhớ có dung lượng nhỏ hơn so với dung lượng tiến trình.

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.