Để phòng ngừa bế tắc xảy ra, cần phải đảm bảo 4 điều kiện sau: - Loại bỏ tài nguyên găng; - Loại bỏ yếu tố giữ và đợi - ……..? -Loại bỏ yếu tố chờ đợi vòng tròn. Hãy chọn phương án nào sau đây để điền vào điều kiện còn thiếu ở trên.

Một tiến trình đang trong trạng thái thực thi (running) có thể rời khỏi trạng thái này vì nhiều lý do:

* Tiến trình đã hoàn thành công việc: Khi tiến trình thực hiện xong tất cả các lệnh cần thiết, nó sẽ chuyển sang trạng thái kết thúc (terminated).
* Tiến trình tự ngắt: Tiến trình có thể tự tạm dừng (ví dụ: để chờ một sự kiện nào đó hoặc để nhường CPU cho tiến trình khác).
* Tiến trình sử dụng hết thời gian CPU: Trong các hệ thống đa nhiệm, mỗi tiến trình thường được cấp một lượng thời gian CPU nhất định. Khi hết thời gian này, hệ điều hành sẽ tạm dừng tiến trình và chuyển CPU cho tiến trình khác.

Vì cả ba phương án trên đều có thể khiến một tiến trình rời khỏi trạng thái thực thi, đáp án đúng là phương án D.

Thuật toán FCFS (First-Come, First-Served) là một thuật toán lập lịch CPU đơn giản, trong đó các tiến trình được thực thi theo thứ tự chúng đến. Điều này có nghĩa là tiến trình nào đến trước sẽ được cấp CPU trước. Do đó, độ ưu tiên của tiến trình trong FCFS dựa vào thời điểm xuất hiện của tiến trình, tiến trình nào xuất hiện sớm nhất sẽ được ưu tiên trước. Các thuật toán còn lại (SSTF, SJF, SRT) đều dựa trên các tiêu chí khác như thời gian tìm kiếm ngắn nhất, thời gian thực thi ngắn nhất hoặc thời gian còn lại ngắn nhất để ưu tiên tiến trình.

Để giải bài này, ta cần mô phỏng quá trình thực hiện của các tiến trình theo thuật toán MLFQ với các hàng đợi và thuật toán con đã cho:

* Hàng đợi 1 (RR, q=3): P1 (6), P2 (8)
* Hàng đợi 2 (FCFS): P3 (3), P4 (2)

Các tiến trình ở hàng đợi 1 được ưu tiên thực hiện trước. Khi hàng đợi 1 rỗng, các tiến trình ở hàng đợi 2 mới được thực hiện.

Thứ tự thực hiện và thời gian:

1. P1: Chạy 3 đơn vị thời gian (còn lại 3)
2. P2: Chạy 3 đơn vị thời gian (còn lại 5)
3. P1: Chạy 3 đơn vị thời gian (hoàn thành, thời gian hoàn thành = 3 + 3 + 3 = 9)
4. P2: Chạy 3 đơn vị thời gian (còn lại 2)
5. P3: Chạy 3 đơn vị thời gian (hoàn thành, thời gian hoàn thành = 3 + 3 + 3 + 3 + 3 = 15)
6. P4: Chạy 2 đơn vị thời gian (hoàn thành, thời gian hoàn thành = 3 + 3 + 3 + 3 + 3 + 2 = 17)
7. P2: Chạy 2 đơn vị thời gian (hoàn thành, thời gian hoàn thành = 3 + 3 + 3 + 3 + 3 + 2 + 2 = 19)

Thời gian chờ của mỗi tiến trình:

* P1: 0 (bắt đầu ngay) + (6 - 3) -3 = 3
* P2: 3 + 3 = 6
* P3: 3 + 3 + 3 + 3 = 12
* P4: 3 + 3 + 3 + 3 + 3 = 15

Thời gian chờ trung bình: (3 + 6 + 12 + 15) / 4 = 36 / 4 = 9
Tuy nhiên, các đáp án đều không đúng với kết quả tính toán. Có thể có lỗi trong đề bài hoặc các đáp án. Trong trường hợp này, ta cần xem xét lại đề bài hoặc các ràng buộc của thuật toán MLFQ (ví dụ: cách các tiến trình di chuyển giữa các hàng đợi, mức ưu tiên của các hàng đợi, v.v.) để đưa ra kết luận chính xác hơn.
Vì không có đáp án nào trùng với kết quả tính toán, ta kết luận không có đáp án đúng trong các lựa chọn đã cho.

Địa chỉ logic (logical address), còn gọi là địa chỉ ảo (virtual address), là địa chỉ được tạo ra bởi CPU. Nó là một không gian địa chỉ độc lập với địa chỉ vật lý (physical address) thực tế trong bộ nhớ. Địa chỉ logic được sử dụng bởi chương trình, và sau đó được ánh xạ tới địa chỉ vật lý bởi MMU (Memory Management Unit) khi chương trình thực thi. Như vậy, đáp án chính xác nhất là: Địa chỉ logic là địa chỉ tương đối, được dùng để cấp phát cho các biến khi thực hiện chương trình.

Cấu trúc Overlay là kỹ thuật cho phép nhiều phần của chương trình cùng chia sẻ một vùng nhớ. Tại một thời điểm, chỉ có một phần của chương trình được nạp vào vùng nhớ này. Điều này giúp giảm yêu cầu bộ nhớ tổng thể, nhưng nó có thể dẫn đến lãng phí bộ nhớ nếu các overlay không được thiết kế và quản lý hiệu quả. Mức lãng phí này có thể tỷ lệ với kích thước chương trình nếu chương trình được chia thành nhiều overlay nhỏ, mỗi overlay chỉ sử dụng một phần nhỏ của vùng nhớ được cấp phát cho nó.

Cấu trúc động sử dụng bộ nhớ một cách hiệu quả hơn bằng cách chỉ cấp phát bộ nhớ khi cần thiết và giải phóng nó khi không còn sử dụng. Cấu trúc tuyến tính và phân đoạn cũng không trực tiếp gây lãng phí bộ nhớ tỷ lệ với kích thước chương trình như Overlay.

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