Hiện tượng bộ nhớ có những vùng trống rời rạc, không chứa tiến trình nào được gọi là gì?

Câu 24:

Hệ điều hành ngăn chặn deadlock bằng cách đặt ra quy định: - Nếu: tiến trình A đang giữ tài nguyên R1 và A yêu cầu thêm tài nguyên R2 thì: - Thu hồi mọi tài nguyên R1 mà A đang giữ. - Cấp lại tài nguyên R1 và R2 cho A nếu cả 2 tài nguyên này không có tranh chấp. Quy định này là:

Lời giải:

Đáp án đúng: C

Quy định được mô tả trong câu hỏi nhằm ngăn chặn điều kiện "giữ và chờ tài nguyên" (Hold and Wait). Điều kiện này xảy ra khi một tiến trình đang giữ ít nhất một tài nguyên và đồng thời chờ đợi để có được thêm tài nguyên khác mà tiến trình khác đang giữ. Bằng cách thu hồi các tài nguyên mà tiến trình đang giữ khi nó yêu cầu thêm tài nguyên và chỉ cấp lại nếu tất cả các tài nguyên yêu cầu đều sẵn sàng, hệ thống đảm bảo rằng không có tiến trình nào vừa giữ tài nguyên vừa chờ đợi tài nguyên khác, do đó ngăn chặn deadlock. Các lựa chọn khác không phù hợp 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à điều kiện mà tại một thời điểm chỉ có một tiến trình có thể sử dụng một tài nguyên. Quy định trên không trực tiếp giải quyết vấn đề này. * **C. Ngăn chặn điều kiện “không trưng dụng” (Non-preemption):** Không trưng dụng là điều kiện mà một tài nguyên chỉ có thể được giải phóng bởi tiến trình đang giữ nó một cách tự nguyện. Quy định trên thực hiện trưng dụng tài nguyên một cách chủ động để phá vỡ điều kiện Hold and Wait. * **D. Ngăn chặn điều kiện “chờ xoay vòng” (Circular wait):** Chờ xoay vòng là điều kiện mà một chuỗi các tiến trình tồn tại, trong đó mỗi tiến trình đang chờ một tài nguyên mà tiến trình tiếp theo trong chuỗi đang giữ. Quy định trên gián tiếp ngăn chặn điều kiện này bằng cách ngăn chặn Hold and Wait, nhưng nó không trực tiếp nhắm vào việc loại bỏ chu trình chờ đợi.

Câu 25:

Giả sử hệ thống có 12 tài nguyên. Có 3 tiến trình A, B, C đang chạy. Tại thời điểm này, trạng thái sử dụng tài nguyên của các tiến trình như sau:

Hãy chọn phát biểu ĐÚNG khi đánh giá an toàn cho chuỗi tiến trình nếu cho tiến trình C thực thi trước?

Lời giải:

Đáp án đúng: C

Để đánh giá tính an toàn khi tiến trình C thực thi trước, ta cần xem xét trạng thái tài nguyên hiện tại và nhu cầu của các tiến trình. Hiện tại: * Tổng số tài nguyên: 12 * A đang giữ 3, cần tối đa 9 (cần thêm 6) * B đang giữ 3, cần tối đa 4 (cần thêm 1) * C đang giữ 3, cần tối đa 5 (cần thêm 2) * Tài nguyên sẵn có: 12 - 3 - 3 - 3 = 3 Nếu C chạy trước: * C hoàn thành, trả lại 5 tài nguyên (3 đang giữ + 2 đã dùng). * Số tài nguyên sẵn có lúc này: 3 (ban đầu) + 5 = 8 * A cần 6 tài nguyên, B cần 1 tài nguyên. * Vì 8 > 6 + 1, nên hệ thống có thể cấp phát đủ tài nguyên cho A và B hoàn thành. Như vậy, nếu cho C thực thi trước, hệ thống vẫn an toàn. Các phương án: * A sai vì việc C cần thêm tài nguyên nhiều nhất không đảm bảo tính an toàn. * B **đúng** vì C đang giữ 3 tài nguyên, ít hơn số tài nguyên sẵn có (3), nhưng quan trọng hơn là sau khi C chạy xong, hệ thống có đủ tài nguyên để các tiến trình còn lại hoàn thành. * C sai vì C cần thêm 2 tài nguyên, nhỏ hơn số tài nguyên sẵn có ban đầu (3), và quan trọng là xét trạng thái sau khi C chạy. * D sai vì số tài nguyên C cần tối đa (5) lớn hơn số tài nguyên sẵn có ban đầu (3), nhưng điều này không quyết định tính an toàn của hệ thống khi C chạy trước.

Câu 23:

Cho biết đồ thị cấp tài nguyên RAG như hình vẽ dưới đây biểu thị cho trường hợp nào?

Lời giải:

Đáp án đúng: C

Đồ thị cấp phát tài nguyên (Resource Allocation Graph - RAG) mô tả trạng thái cấp phát tài nguyên cho các tiến trình trong hệ thống. Trong đồ thị RAG, nếu tồn tại một chu trình (cycle), điều này chỉ ra rằng có khả năng xảy ra deadlock (tình trạng bế tắc). Mỗi tiến trình trong chu trình đang giữ một tài nguyên mà tiến trình khác trong chu trình đó cần, và chờ đợi tài nguyên mà tiến trình khác đang giữ, dẫn đến bế tắc. Phân tích các lựa chọn: - A. Loại trừ hỗ tương (Mutual exclusion) là một trong các điều kiện cần để xảy ra deadlock, nhưng sự tồn tại của nó không được thể hiện trực tiếp bằng chu trình trong RAG. - B. Giữ và chờ (Hold and wait) cũng là một điều kiện cần, nhưng tương tự như loại trừ hỗ tương, không được biểu diễn trực tiếp bằng chu trình. - C. Không cho trưng dụng tài nguyên (No preemption) là một điều kiện cần khác, và cũng không được thể hiện bằng chu trình trong RAG. - D. Tồn tại chu trình (Cycle exists) chính là dấu hiệu trực quan cho thấy có thể xảy ra deadlock trong hệ thống được mô tả bởi RAG. Do đó, đáp án đúng nhất là D.

Câu 17:

Trong giải thuật điều phối tiến trình “Round Robin”, ngoài sự kiện hết quantum time, hệ điều hành thu hồi CPU của tiến trình khi nào?

Lời giải:

Đáp án đúng: C

Trong giải thuật Round Robin, mỗi tiến trình được cấp một khoảng thời gian CPU nhất định (quantum time). Khi hết quantum time, hệ điều hành sẽ thu hồi CPU và chuyển cho tiến trình khác trong hàng đợi. Ngoài ra, CPU cũng bị thu hồi khi tiến trình tự nguyện nhả CPU bằng cách chuyển sang trạng thái Blocked (ví dụ: chờ I/O) hoặc khi tiến trình kết thúc. * **Phương án A sai:** Độ ưu tiên không ảnh hưởng đến việc thu hồi CPU trong Round Robin. Round Robin là thuật toán công bằng, không ưu tiên tiến trình nào. * **Phương án B sai:** Thời gian thực thi của tiến trình không liên quan trực tiếp đến việc thu hồi CPU. CPU bị thu hồi khi hết quantum time, bất kể thời gian thực thi còn lại của tiến trình. * **Phương án C đúng:** Khi tiến trình vào trạng thái Blocked hoặc kết thúc, nó không cần CPU nữa, do đó hệ điều hành sẽ thu hồi CPU. * **Phương án D sai:** Độ ưu tiên không ảnh hưởng đến việc thu hồi CPU trong Round Robin.

Câu 18:

Đối với những tiến trình có Burst time nhỏ, giải thuật điều phối tiến trình SJF (Shortest Job First) có ưu điểm nào?

Lời giải:

Đáp án đúng: C

Giải thuật SJF (Shortest Job First) ưu tiên các tiến trình có burst time (thời gian thực thi) ngắn nhất. Do đó, với các tiến trình có burst time nhỏ, SJF giúp giảm thiểu thời gian chờ đợi trung bình của các tiến trình, vì các tiến trình ngắn sẽ được thực thi trước, tránh tình trạng các tiến trình dài chiếm dụng CPU quá lâu, gây trễ cho các tiến trình ngắn khác. Các lựa chọn khác không phải là ưu điểm chính của SJF trong trường hợp này.

Câu 19:

Với hệ điều hành dùng mô hình ánh xạ Many-to-One và Many-to-Many, thư viện luồng (thread library) có vai trò gì?

Lời giải: