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

Câu 25:

Hệ điều hành sử dụng thuật toán phá hủy “chu trình chờ” (Circular wait) của đồ thị cấp phát tài nguyên RAG. Giải thuật này nhằm giải quyết Deadlock theo phương pháp nào?

Lời giải:

Đáp án đúng: A

Thuật toán phá hủy "chu trình chờ" trong đồ thị cấp phát tài nguyên (RAG) nhằm mục đích ngăn chặn (preventing) một trong bốn điều kiện cần để xảy ra deadlock. Cụ thể, nó loại bỏ điều kiện "chờ đợi vòng tròn" (circular wait). Do đó, đáp án đúng là A.

Các lựa chọn khác không đúng vì:

* Phương pháp Phòng tránh (avoiding): Sử dụng thông tin về yêu cầu tài nguyên tối đa của các tiến trình để tránh cấp phát tài nguyên gây ra trạng thái không an toàn, có khả năng dẫn đến deadlock. Ví dụ: thuật toán Banker.
* Phương pháp Phát hiện và Khôi phục: Cho phép deadlock xảy ra, sau đó phát hiện và thực hiện các biện pháp khôi phục (ví dụ: hủy tiến trình, thu hồi tài nguyên).
* Phương pháp Bỏ qua Deadlock: Bỏ qua vấn đề deadlock và để hệ thống tự xử lý (thường dẫn đến treo hệ thống).

Câu 26:

Phương pháp giải quyết Deadlock nào mà Hệ điều hành sử dụng việc đánh giá tính an toàn của chuỗi tiến trình là “safe” hay “unsafe”?

Lời giải:

Đáp án đúng: B

Phương pháp phòng tránh (avoidance) deadlock trong hệ điều hành hoạt động bằng cách đánh giá trạng thái hệ thống sau mỗi yêu cầu cấp phát tài nguyên. Nó xác định xem việc cấp phát tài nguyên có đưa hệ thống vào trạng thái "unsafe" (không an toàn) hay không. Trạng thái "unsafe" là trạng thái mà hệ thống không thể đảm bảo rằng tất cả các tiến trình có thể hoàn thành, do có nguy cơ xảy ra deadlock. Nếu việc cấp phát tài nguyên dẫn đến trạng thái "unsafe", yêu cầu sẽ bị từ chối. Các phương pháp khác như ngăn chặn (prevention) tập trung vào việc loại bỏ các điều kiện cần thiết cho deadlock xảy ra, phát hiện và khôi phục (detection and recovery) tìm kiếm và giải quyết deadlock sau khi chúng đã xảy ra, và bỏ qua deadlock (ignoring) đơn giản là không làm gì cả, giả định rằng deadlock rất hiếm khi xảy ra.

Câu 27:

Một hệ thống có: kernel Hệ điều hành = 4MB, chương trình P1 = 3MB, chương trình P2 = 6MB, bộ nhớ vật lý = 12MB. Hãy cho biết không gian bộ nhớ vật lý tối đa có thể cấp cho chương trình là bao nhiêu?

Lời giải:

Đáp án đúng: B

Không gian bộ nhớ vật lý tối đa có thể cấp cho chương trình được tính bằng tổng bộ nhớ vật lý trừ đi dung lượng kernel của hệ điều hành. Trong trường hợp này, bộ nhớ vật lý là 12MB và kernel là 4MB. Vậy, không gian bộ nhớ tối đa có thể cấp là: 12MB - 4MB = 8MB.

Câu 28:

Khái niệm “không gian địa chỉ vật lý” (Physical address) là gì?

Lời giải:

Đáp án đúng: A

Không gian địa chỉ vật lý (Physical address space) là tập hợp tất cả các địa chỉ mà bộ nhớ vật lý (RAM) có thể được truy cập. Mỗi byte trong RAM được gán một địa chỉ vật lý duy nhất, và CPU sử dụng các địa chỉ này để đọc và ghi dữ liệu vào bộ nhớ.

* Phương án A đúng: Đây là định nghĩa chính xác nhất về không gian địa chỉ vật lý. Nó bao gồm tất cả các byte có thể định địa chỉ trên bộ nhớ vật lý.
* Phương án B sai: Vùng địa chỉ trỏ đến toàn bộ các Bytes trong vùng nhớ cấp cho process là không gian địa chỉ ảo (Virtual Address Space), không phải vật lý.
* Phương án C sai: Đĩa cứng vật lý là bộ nhớ thứ cấp, không thuộc không gian địa chỉ vật lý chính mà CPU trực tiếp truy cập.
* Phương án D sai: Không gian địa chỉ ảo (Virtual Address Space) được ánh xạ tới không gian địa chỉ vật lý, nhưng không phải là không gian địa chỉ vật lý.

Câu 29:

Khái niệm “không gian địa chỉ luận lý” (Logical address) là gì?

Lời giải:

Đáp án đúng: B

Không gian địa chỉ luận lý (Logical address space) là tập hợp tất cả các địa chỉ luận lý mà một tiến trình (process) có thể tạo ra. Nó là một không gian địa chỉ ảo được cấp phát cho tiến trình, độc lập với bộ nhớ vật lý thực tế. Do đó, đáp án đúng là B. Các đáp án còn lại mô tả sai lệch về ý nghĩa của không gian địa chỉ luận lý.

Câu 30:

Hình dưới mô tả một bộ nhớ đã được cấp phát cho các tiến trình. Hãy cho biết đó là kỹ thuật cấp phát bộ nhớ nào?

Lời giải: