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, trạng thái sử dụng tài nguyên 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 B thực thi trước?

Các giải thuật tránh Deadlock dựa trên ý tưởng nào?

Lời giải:

Đáp án đúng: B

Các giải thuật tránh Deadlock (bế tắc) hoạt động bằng cách đảm bảo rằng hệ thống luôn ở trạng thái an toàn. Trạng thái an toàn là trạng thái mà hệ thống có thể cấp phát tài nguyên cho tất cả các tiến trình đang chờ mà không gây ra deadlock. Điều này thường đạt được bằng cách kiểm tra trước khi cấp phát tài nguyên để đảm bảo rằng việc cấp phát đó sẽ không dẫn đến trạng thái không an toàn. Các thuật toán như Banker's Algorithm là một ví dụ điển hình cho việc này, nó giữ một chuỗi thứ tự các tiến trình mà hệ thống có thể hoàn thành một cách an toàn, do đó tránh được deadlock. Các đáp án khác không trực tiếp liên quan đến phương pháp tránh deadlock.

Do đó, đáp án đúng là B.

Câu 16:

Để tránh Deadlock, trường hợp nào sau đây hệ thống không cấp tài nguyên cho tiến trình mà bắt phải chờ tới khi giải phóng thêm tài nguyên, dù tài nguyên đang sẵn có:

Lời giải:

Đáp án đúng: D

Để tránh Deadlock, hệ thống sẽ từ chối cấp phát tài nguyên nếu việc cấp phát đó có thể dẫn đến trạng thái không an toàn (unsafe state). Trạng thái không an toàn không nhất thiết có nghĩa là Deadlock sẽ xảy ra, nhưng nó có nghĩa là hệ thống không thể đảm bảo rằng tất cả các tiến trình sẽ hoàn thành. Trong trường hợp đồ thị tài nguyên có chu trình, deadlock có thể xảy ra, nhưng đồ thị tài nguyên chỉ là một cách mô tả trạng thái hệ thống, còn bản chất vấn đề là hệ thống phải duy trì trạng thái an toàn. Các đáp án B và C không đủ để ngăn chặn deadlock xảy ra. Vì vậy, đáp án D là chính xác nhất.

Câu 17:

Đồ thị chờ tài nguyên (Wait for Graph) được phát triển từ đồ thị cấp phát tài nguyên (Resource Allocation Graph – RAG) với điều chỉnh nào?

Lời giải:

Đáp án đúng: A

Đồ thị chờ (Wait-for graph) là một biến thể của đồ thị cấp phát tài nguyên (Resource Allocation Graph - RAG) được sử dụng để phát hiện deadlock trong hệ thống.

Trong đồ thị RAG, ta có hai loại đỉnh: tiến trình và tài nguyên. Các cạnh thể hiện yêu cầu tài nguyên (request edge) và cấp phát tài nguyên (assignment edge).

Để chuyển đổi từ RAG sang đồ thị chờ, ta loại bỏ các đỉnh biểu diễn tài nguyên và chỉ giữ lại các đỉnh biểu diễn tiến trình. Một cạnh từ tiến trình P1 đến tiến trình P2 trong đồ thị chờ có nghĩa là P1 đang chờ P2 giải phóng một tài nguyên mà P1 đang yêu cầu.

Như vậy, đáp án đúng là A.

Câu 13:

Nếu đồ thị cấp phát tài nguyên RAG không chứa chu trình thì hệ thống:

Lời giải:

Đáp án đúng: A

Trong đồ thị cấp phát tài nguyên (Resource Allocation Graph - RAG), chu trình biểu thị khả năng xảy ra deadlock. Nếu đồ thị RAG không chứa chu trình, điều này có nghĩa là không có sự phụ thuộc vòng tròn giữa các tiến trình và tài nguyên, do đó không thể xảy ra deadlock. Vì vậy, hệ thống chắc chắn không xảy ra deadlock.

Câu 14:

Tại thời điểm t, hệ thống có đồ thị cấp phát tài nguyên RAG như hình dưới. Hãy chọn đánh giá đúng:

Lời giải:

Đáp án đúng: B

Phân tích đồ thị cấp phát tài nguyên (RAG) để xác định trạng thái deadlock:

- P1 đang giữ R2 và yêu cầu R1.
- P2 đang giữ R1 và yêu cầu R2.

Nếu P1 không trả R2 thì P2 không thể có được R2 để hoàn thành, và ngược lại, nếu P2 không trả R1 thì P1 không thể có được R1 để hoàn thành. Điều này tạo thành một vòng tròn phụ thuộc, dẫn đến deadlock.

Các phương án khác:

- A: Sai, vì có khả năng xảy ra deadlock như phân tích trên.
- B: Sai, deadlock không chắc chắn xảy ra, nó phụ thuộc vào việc các tiến trình có giải phóng tài nguyên hay không.
- D: Sai, deadlock xảy ra nếu P1 không trả R2, chứ không phải P2 không trả R1 (mặc dù P2 không trả R1 là một phần của vòng deadlock).

Vậy đáp án đúng là C.

Câu 11:

Đố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 nào dưới đây cho thời gian chờ thấp nhất?

Lời giải: