Các tác vụ chia sẻ tài nguyên quan trọng

Một phần của tài liệu Cac He Thong TGThuc ppsx (Trang 76 - 77)

Phần này mô tả các kỹ thuật đơn giản có thể kiểm soát các hệ thống preemtive động có chia sẻ tài nguyên. Khi các tác vụ được phép truy xuất tài nguyên được chia sẻ, sự truy xuất cần được kiểm soát để duy trì sự nhất quán dữ liệu. Chúng ta xét một tài nguyên quan trọng, gọi là R, chia sẻ bởi hai tác vụ τ1 và

τ2. chúng ta muốn đảm bảo rằng các dãy lệnh của τ1 và τ2, được thực thi trên R, được thực thi với loại trừ lẫn nhau (mutual exclusion). Những đoạn mã này được gọi là các miền găng hay các khu vực quan trọng. Các kỹ thuật cụ thể (như semaphore, đối tượng được bảo vệ hay monitor) được cung cấp bởi các nhân thời gian thực (real time kernel), có thể được sử dụng để tạo các miền găng trong một đoạn mã tác vụ. Cần chú ý rằng, trong bối cảnh non-preemtvie vấn đề này không nảy sinh vì khái niệm tác vụ không thể được preemtive trong miền găng. Trong

Chúng ta hãy xét lại ví dụ nhỏ với 2 tác vụ τ1 và τ2 chia sẻ cùng một tài nguyên R. Giả sử rằng tác vụ τ1 được kích hoạt trước và sử dụng tài nguyên R, có nghĩa là nó đi vào miền găng. Sau đó tác vụ thứ hai τ2, có độ ưu tiên cao hơn tác vụ

τ1, đòi hỏi bộ xử lý. Vì độ ưu tiên của τ2 cao hơn nên xẩy ra tình huống tước quyền (preemtion), tác vụ τ1 bị khoá và tác vụ τ2 bắt đầu được thực thi. Tuy nhiên khi tác vụ τ2 muốn truy xuất tài nguyên chia sẻ R, nó đang bị khoá do quá trình loại trừ lẫn nhau. Vì thế tác vụ τ1 có thể quay trở lại thực thi. Khi tác vụ τ1 kết thúc miền găng của nó, tác vụ có độ ưu tiên cao hơn τ2 có thể quay trở lại phần thực thi của nó và sử dụng tài nguyên R. quá trình này dẫn tới một thời gian bị khoá không kiểm soát của tác vụ τ2. Để thoả mãn các yêu cầu thời gian cứng, một ứng dụng phải được kiểm soát bởi một thuật toán lập lịch luôn có khả năng đảm bảo thời gian phản hồi hệ thống dự đoán được. Câu hỏi đặt ra là làm sao để đảm bảo thời gian phản hồi dự đoán được của các tác vụ thời gian thực trong một kỹ thuật lập lịch preemtive với các ràng buộc tài nguyên.

Một phần của tài liệu Cac He Thong TGThuc ppsx (Trang 76 - 77)