Sau khi phát hiện Deadlock, Hệ điều hành dùng nhiều phương pháp để tự phá deadlock. Phương pháp nào dưới đây là KHÔNG ĐÚNG?

Trong các hệ điều hành sử dụng cả luồng nhân (kernel threads) và luồng người dùng (user threads), giải thuật điều phối CPU sẽ được áp dụng trực tiếp cho các luồng nhân. Lý do là vì kernel thread được quản lý và điều khiển bởi chính hệ điều hành, do đó bộ điều phối CPU của hệ điều hành sẽ trực tiếp chọn lựa kernel thread nào sẽ được thực thi tiếp theo. User threads nằm trên tầng ứng dụng, việc điều phối chúng (nếu có) sẽ do thư viện luồng hoặc tiến trình thực hiện, nhưng cuối cùng vẫn phải thông qua kernel để truy cập CPU.

Để trả lời câu hỏi này, chúng ta cần hiểu rõ về các mô hình ánh xạ user thread (luồng người dùng) vào kernel thread (luồng nhân) và cách chúng ảnh hưởng đến tranh chấp CPU.

• Mô hình One-to-One: Mỗi user thread được ánh xạ tới một kernel thread riêng biệt. Do đó, tranh chấp CPU xảy ra trực tiếp giữa các kernel thread, mỗi thread đại diện cho một user thread.
• Mô hình Many-to-One: Nhiều user thread được ánh xạ tới một kernel thread duy nhất. Trong mô hình này, chỉ một user thread có thể truy cập kernel tại một thời điểm, và tranh chấp CPU xảy ra chủ yếu ở mức user thread, khi các user thread phải tranh giành để được sử dụng kernel thread duy nhất.
• Mô hình One-to-Many: Đây không phải là một mô hình ánh xạ thread tiêu chuẩn.
• Mô hình Many-to-Many: Nhiều user thread được ánh xạ tới nhiều kernel thread. Tranh chấp CPU xảy ra ở mức kernel thread, nhưng không giới hạn ở các kernel thread đại diện trực tiếp cho user thread đang chạy. Các kernel thread có thể tranh chấp để thực hiện các tác vụ hệ thống khác.

Như vậy, mô hình mà tranh chấp CPU chỉ xảy ra tại các kernel threads là mô hình One-to-One, vì mỗi user thread có một kernel thread riêng.