Trong trường hợp hệ thống dùng loại tài nguyên có nhiều thực thể, giải thuật nào sau đây để phát hiện Deadlock?

Địa chỉ tái định vị là địa chỉ được điều chỉnh hoặc thay đổi trong quá trình nạp chương trình vào bộ nhớ. Điều này là cần thiết vì vị trí thực tế mà chương trình được nạp vào bộ nhớ có thể không giống với vị trí mà nó được biên dịch cho. Do đó, quá trình nạp chương trình sẽ thực hiện việc tái định vị địa chỉ để đảm bảo chương trình có thể chạy đúng cách tại vị trí mới.

* Thời gian biên dịch chương trình: Tại thời điểm biên dịch, trình biên dịch tạo ra mã đối tượng (object code) với các địa chỉ tương đối hoặc tượng trưng. Chưa có địa chỉ vật lý cụ thể nào được gán.
* Thời gian nạp chương trình: Quá trình nạp chương trình sẽ gán các địa chỉ vật lý thực tế cho các địa chỉ tương đối hoặc tượng trưng này. Đây chính là thời điểm địa chỉ tái định vị được xác định.
* Thời gian thực thi chương trình: Trong quá trình thực thi, chương trình sử dụng các địa chỉ vật lý đã được tái định vị để truy cập bộ nhớ.
* Biên dịch, nạp và thực thi chương trình: Mặc dù cả ba giai đoạn đều quan trọng, nhưng việc tái định vị địa chỉ xảy ra chủ yếu trong quá trình nạp.

Vì vậy, đáp án chính xác là B.

Câu hỏi đề cập đến việc di chuyển tiến trình (process) giữa các vùng nhớ trong quá trình thực thi, dẫn đến thay đổi không gian địa chỉ (address space).

* A. Dùng bộ quản lý bộ nhớ MMU: MMU (Memory Management Unit - Bộ quản lý bộ nhớ) là một thành phần phần cứng chịu trách nhiệm ánh xạ địa chỉ logic (do CPU sinh ra) sang địa chỉ vật lý (trong bộ nhớ). MMU cho phép hệ điều hành kiểm soát việc truy cập bộ nhớ của các tiến trình, bảo vệ bộ nhớ của hệ điều hành và các tiến trình khác. Nó cũng hỗ trợ việc di chuyển tiến trình bằng cách cập nhật các bảng ánh xạ địa chỉ.

* B. Dùng kỹ thuật phân trang (Paging): Phân trang là một kỹ thuật quản lý bộ nhớ, trong đó không gian địa chỉ logic của một tiến trình được chia thành các trang (page) có kích thước cố định, và bộ nhớ vật lý được chia thành các khung trang (frame) có kích thước tương ứng. Phân trang cho phép các trang của một tiến trình được lưu trữ không liên tục trong bộ nhớ vật lý. MMU sử dụng bảng trang (page table) để ánh xạ các trang logic sang các khung trang vật lý.

* C. Dùng kỹ thuật phân đoạn (Segmentation): Phân đoạn là một kỹ thuật quản lý bộ nhớ, trong đó không gian địa chỉ logic của một tiến trình được chia thành các đoạn (segment) có kích thước khác nhau, tương ứng với các đơn vị logic của chương trình (ví dụ: code, data, stack). MMU sử dụng bảng đoạn (segment table) để ánh xạ các đoạn logic sang các vùng nhớ vật lý.

* D. Dùng cả 3 loại trên: Đáp án này chính xác vì cả MMU, phân trang và phân đoạn đều đóng vai trò trong việc quản lý và ánh xạ địa chỉ bộ nhớ, cho phép di chuyển tiến trình. MMU là phần cứng thực hiện ánh xạ, còn phân trang và phân đoạn là các kỹ thuật được MMU sử dụng.

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

Hình ảnh mô tả các tiến trình (P1, P2, P3, P4) được cấp phát vào các vùng nhớ có kích thước khác nhau và không cố định. Điều này cho thấy đây là kỹ thuật chia khối nhớ động (Dynamic Partitioning), nơi kích thước của các phân vùng bộ nhớ được xác định tại thời điểm một tiến trình yêu cầu bộ nhớ, chứ không phải được định nghĩa trước như trong kỹ thuật chia khối nhớ cố định. Các kỹ thuật phân trang (Paging) và phân đoạn (Segmentation) lại là các kỹ thuật quản lý bộ nhớ phức tạp hơn, liên quan đến việc chia bộ nhớ thành các trang hoặc các đoạn có kích thước thay đổi, và không trực quan như hình ảnh đã cho.