Võ Duy Thành CHƯƠNG CÁC VẤN ĐỀ NẢY SINH KHI GIẢI QUYẾT VẤN ĐỀ CHIA SẺ TÀI NGUYÊN – ĐẢO ƯU TIÊN Trong chương trước, sử dụng semaphore công cụ để giải vấn đề tranh chấp tài nguyên Tuy nhiên, phương pháp dẫn đến vấn đề khó thực thi hệ thống làm việc Xét tình trình bày hình Tác vụ yêu cầu sử dụng tài nguyên dùng chung bảo vệ semaphore Tác vụ có quyền ưu tiên cao tác vụ có mức ưu tiên thấp Tác vụ không cần sử dụng tài nguyên có mức ưu tiên trung bình Hình Trường hợp đảo ưu tiên Hình trình bày trình thực thi hệ thống theo thời gian Giả sử tác vụ làm việc gửi yêu cầu sử dụng tài nguyên Tài nguyên rỗi nên tác vụ sử dụng Sau đó, ngắt xuất làm tác vụ trở nên sẵn sàng hoạt động Do tác vụ có mức ưu tiên cao nên chiếm quyền thực thi tác vụ hoạt động gửi yêu cầu sử dụng tài nguyên Hình Thời gian thực – Đảo ưu tiên Bởi tài nguyên tác vụ sử dụng nên tác vụ bị khóa tác vụ lại nắm lại quyền điều khiển Cho tới đây, việc diễn theo ý Mặc dù tác vụ có quyền ưu tiên cao phải chờ tác vụ kết thúc việc sử dụng tài nguyên Tài liệu mang tính tham khảo Nguyên văn tiếng nước Doug Abbott Võ Duy Thành Vấn đề nảy sinh trường hợp tác vụ trở nên sẵn sàng hoạt động tác vụ sử dụng tài nguyên Do có quyền ưu tiên cao tác vụ nên tác vụ chiếm quyền hoạt động tác vụ Trường hợp gọi “Đảo ưu tiên” (Priority Inversion) tác vụ có quyền ưu tiên thấp (tác vụ 3) lại ngăn cản hoạt động tác vụ có mức ưu tiên cao (tác vụ 1) Giải pháp thông thường để xử lý vấn đề tạm thời tăng mức ưu tiên tác vụ lên với mức ưu tiên tác vụ tác vụ gửi yêu cầu sử dụng tài nguyên tới semaphore Từ lúc này, tác vụ bị ngắt tác vụ có mức ưu tiên thấp mức ưu tiên tác vụ Giải pháp gọi “Sự kế thừa mức ưu tiên” – priority inheritance Nếu kernel tạo khác biệt semaphore mutex1 chức priority inheritance tích hợp thành thông số tùy chọn mutex tạo Một giải pháp khác, gọi mức “ưu tiên trần” – priority ceiling, tăng mức ưu tiên tác vụ lên cao tất tác vụ yêu cầu sử dụng mutex tác vụ nhận mutex Giải pháp coi hữu hiệu loại trử ngắt không cần thiết Không tác vụ cần tài nguyên cướp quyền điều khiển tác vụ nắm giữ tài nguyên Mutex: Mutual Exclusion – Sự loại trừ lẫn Đây Binary semaphore Xem khái niệm mutex chương trước Tài liệu mang tính tham khảo Nguyên văn tiếng nước Doug Abbott