tailieunhanh - Bài giảng Hệ điều hành: Chương 8 (phần 2) - Đặng Minh Quân

Bài giảng Hệ điều hành - Chương 8: Hệ thống phân tán. Nội dung chính được trình bày trong chương này gồm có: Khái niệm chung, tắc nghẽn, sắp xếp sự kiện, giao dịch nguyên tử. để biết thêm các nội dung chi tiết. | Operating System Chapter 8: Hệ thống phân tán Overview Khái niệm chung Tắc nghẽn Sắp xếp sự kiện Giao dịch nguyên tử Sắp xếp sự kiện Nhiều ứng dụng có thể yêu cầu chúng ta xác định trật tự. Ví dụ, trong một kế hoạch phân bổ tài nguyên, chúng ta xác định rằng một tài nguyên có thể được sử dụng chỉ sau khi tài nguyên đã được cấp. Quan hệ xảy ra trước (được ký hiệu ). Nếu A và B là các sự kiện trong cùng một tiến trình, và A được chạy trước B, ta có A B. Nếu A là sự kiện gửi thông điệp của một tiến trình và B là sự kiện nhận thông điệp đó của một tiến trình khác, ta có A B. Nếu A B và B C thì A C. Cách thực hiện Dùng một nhãn thời gian cho mỗi sự kiện hệ thống. Với mỗi cặp sự kiện A và B, nếu A B, thì nhãn thời gian của A nhỏ hơn nhãn thời gian của B. Mỗi tiến trình Pi có một đồng hồ logic LCi. Đồng hồ logic có thể được thực hiện như một bộ đếm đơn giản, nó được tăng lên khi có hai sự kiện liên tiếp được thực hiện trong một tiến trình. Một tiến trình tăng đồng hồ logic của nó khi nó nhận một thông điệp có nhãn thời gian lớn hơn giá trị hiện tại của đồng hồ logic. Nếu nhãn thời gian của 2 sự kiện A và B là giống nhau, 2 sự kiện là đồng thời. Chúng ta có thể dùng độ ưu tiên của tiến trình để tạo ra thứ tự. A < B : tiến trình A có độ ưu tiên cao hơn B. Loại trừ phân tán - Distributed Mutual Exclusion (DME) Giả sử Hệ thống bao gồm n tiến trình; mỗi tiến trình Pi chạy ở một bộ xử lý khác nhau. Mỗi tiến trình có một miền găng yêu cầu truy cập mutual exclusion. Yêu cầu Nếu Pi đang xử lý trong miền găng, thì không một tiến trình nào khác được vào miền găng của nó. Chúng ta sẽ xem xét 2 thuật toán để đảm bảo các tiến trình chạy mutual exclusion trong miền găng của nó. DME: Phương pháp tập trung Một trong số các tiến trình của hệ thống được chọn để điều hành việc truy cập vào miền găng. Một tiến trình muốn vào miền găng gửi thông điệp request tới bộ điều phối. Bộ điều phối quyết định tiến trình nào được vào miền găng và nó gửi cho tiến trình đó thông điệp reply. | Operating System Chapter 8: Hệ thống phân tán Overview Khái niệm chung Tắc nghẽn Sắp xếp sự kiện Giao dịch nguyên tử Sắp xếp sự kiện Nhiều ứng dụng có thể yêu cầu chúng ta xác định trật tự. Ví dụ, trong một kế hoạch phân bổ tài nguyên, chúng ta xác định rằng một tài nguyên có thể được sử dụng chỉ sau khi tài nguyên đã được cấp. Quan hệ xảy ra trước (được ký hiệu ). Nếu A và B là các sự kiện trong cùng một tiến trình, và A được chạy trước B, ta có A B. Nếu A là sự kiện gửi thông điệp của một tiến trình và B là sự kiện nhận thông điệp đó của một tiến trình khác, ta có A B. Nếu A B và B C thì A C. Cách thực hiện Dùng một nhãn thời gian cho mỗi sự kiện hệ thống. Với mỗi cặp sự kiện A và B, nếu A B, thì nhãn thời gian của A nhỏ hơn nhãn thời gian của B. Mỗi tiến trình Pi có một đồng hồ logic LCi. Đồng hồ logic có thể được thực hiện như một bộ đếm đơn giản, nó được tăng lên khi có hai sự kiện liên tiếp được thực hiện trong một tiến trình. Một tiến trình tăng đồng hồ logic của