Loại trừ ràng buộc phân tán

Một phần của tài liệu Cơ bản về hệ điều hành (Trang 113 - 114)

Ch−ơng 3 mô tả ba cách TT chính là một chiều, Client/Server và ngang hàng. ứng dụng sử dụng TT một chiều th−ờng không cần đồng bộ, TT Client/Server dùng cho nhiều máy khách tạo ra những yêu cầu dịch vụ chia xẻ máy chủ. Nếu đòi hỏi sự cộng tác từ các máy khách thì nó đ−ợc điều khiển bởi máy chủ và không rõ ràng giữa các QT xử lý của máy khách. Nh−ng TTLQT không chỉ giới hạn trong việc tạo ra các yêu cầu dịch vụ. Đôi khi các QT cần trao đổi thông tin với nhau để tạo ra kết luận nào đó về hệ thống hoặc thoả thuận nào đó giữa các QT cùng thực hiện. Những hoạt động này đòi hỏi TT ngang hàng: không có sự chia xẻ đối t−ợng hoặc tập trung thành phần điều khiển. Hai mục còn lại của ch−ơng này trình bày về những vấn đề xảy ra trong cộng tác phân tán khi sử dụng TT ngang hàng.

Nội dung đầu tiên về cộng tác phân tán kiểu phân tán khi xem xét vấn đề đồng bộ loại trừ ràng buộc kinh điển (mục 4.5). Tiếp theo, xem xét một lớp quan trọng cộng tác

phân tán khác dựa trên bầu thủ lĩnh phân tán (mục 4.6). Mục tiêu cơ bản là chỉ ra những khái niệm và vấn đề cơ bản trong cộng tác phân tán.

Loại trừ ràng buộc đảm bảo rằng các QT đồng thời đ−a ra các truy nhập tới tài nguyên hoặc dữ liệu chia xẻ (cập nhật CSDL hoặc gửi tín hiẹu điều khiển tới thiết bị vào-ra). Thuật toán loại trừ ràng buộc trong hệ phân tán hoạt động theo đúng nghĩa loại trừ nhau (với tính chất tiến bộ nào đó) mà chỉ sử dụng ph−ơng thức TT ngang hàng. Thông th−ờng, sử dụng hai cách tiếp cận sau để giải bài toán loại trừ ràng buộc là dựa theo cạnh tranh và dựa theo điều khiển (Thông qua tín hiệu điều khiển - dùng thẻ bài). Tiếp cận dựa theo cạnh tranh đ−ợc hiểu là mỗi QT cạnh tranh một cách tự do và bình đẳng để lấy quyền có tài nguyên chia xẻ khi dùng yêu cầu về tiêu chuẩn quyết định. Tiêu chuẩn quyết định có thể dựa trên số lần yêu cầu, tính chất các yêu cầu hoặc biểu quyết.

Trong tiếp cận điều khiển, thẻ lôgic biểu diễn quyền truy nhập tới đối t−ợng chia xẻ đ−ợc chuyển theo kiểu quy định giữa các QT cộng tác. QT giữ thẻ đ−ợc phép đi vào khỏng tới hạn.

Các QT cần cạnh tranh thẻ loại trừ ràng buộc trong thuật toán tiếp cận điều khiển. Trong tiếp cận điều khiển t−ơng tranh, thẻ điều khiển đ−ợc phân bố theo cách có thứ tự, hiệu quả và tốt đẹp. Có nét t−ơng tự giữa loại trừ ràng buộc phân tán của HĐH với điều khiển truy nhập trung gian của LAN.

Một phần của tài liệu Cơ bản về hệ điều hành (Trang 113 - 114)