TAILIEUCHUNG - Loại trừ lẫn nhau

Cho giải thuật sau với mục đích giải quyết vấn đề loại trừ lẫn nhau cho hai bộ xử lý p0 và p1 Giải thuật 1 Biến chung phần Turn có giá trị ban đầu là 0 Với mỗi bộ xử lý pi Đoạn vào wait until Turn = i Đoạn ra Turn := 1 - i Giải thuật trên thỏa mãn những tính chất nào sau đây : loại trừ lẫn nhau, không có khóa chết, không có khóa đóng, có cận chờ ? Giải thích vì sao. | Loại trừ lẫn nhau Cho giải thuật sau với mục đích giải quyết vấn đề loại trừ lẫn nhau cho hai bộ xử lý p0 và p1 Giải thuật 1 Biến chung phần Turn có giá trị ban đầu là 0 Với mỗi bộ xử lý pi Đoạn vào wait until Turn = i Đoạn ra Turn := 1 - i Giải thuật trên thỏa mãn những tính chất nào sau đây : loại trừ lẫn nhau, không có khóa chết, không có khóa đóng, có cận chờ ? Giải thích vì sao. Giải thuật 1: - Có tính chất loại trừ lẫn nhau: do tại bất kỳ thời điểm nào chỉ có một BXL trong đoạn vào và có ID = Turn nên sẽ vào được đoạn găng - Có khóa chết: vì ta giả thiết BXL i vừa ở trong đoạn găng và ra ngoài, khi đó tại đoạn ra, giá trị Turn = 1-i. Do đó chỉ có BXL 1-i mới có thể vào được đoạn vào (vì Turn lúc này có giá trị là 1-i). Tuy nhiên nếu BXL 1-i không có nhu cầu sử dụng tài nguyên trong khi BXL i lại tiếp tục muốn sử dụng tài nguyên thì BXL i sẽ không bao giờ vào được đoạn vào. Hệ thống sẽ bị deadlock. Do giải thuật có khóa chết nên giải thuật có khóa đóng và không có cận chờ Giải thuật 2 Biến chung phần Flag[0] và Flag[1] có giá trị ban đầu là true Turn có giá trị ban đầu là 0 Với mỗi bộ xử lý pi Đoạn vào wait until Flag[1 - i] = false or Turn = i Đoạn ra Flag[i] := false Giải thuật trên thỏa mãn những tính chất nào sau đây : loại trừ lẫn nhau, không có khóa chết, không có khóa đóng, có cận chờ ? Giải thích vì sao. Giải thuật 2 không có tính chất loại trừ lẫn nhau do - Đầu tiên, BXL 0 ở đoạn vào do lúc đầu Turn = 0 - Vì BXL 0 ở đoạn vào nên nếu nó vào đoạn găng và ở đoạn ra thì nó sẽ thiết lập Flag[0] = false, còn Turn = 0 - Tiếp theo, cả hai BXL 0 và 1 đều thỏa mãn điều kiện chờ là wait until Flag[1 - i] = false or Turn = i nên sẽ đều ở đoạn vào và do đó sẽ cùng ở đoạn găng một lúc, vi phạm tính loại trừ lẫn nhau Có khóa chết: Do một BXL đang ở trong đoạn vào thì BXL còn lại chưa chắc sẽ ở trong đoạn găng do giải thuật không có tính chất loại trừ lẫn nhau nên có thể cả hai BXL đều ở trong đoạn vào Vì giải thuật có khóa chết nên có khóa đóng và không có cận chờ

• Cơ sở dữ liệu
• Loại trừ lẫn nhau
• giải thuật
• giải quyết bộ vi xử lý
• giải thuật có khóa chết
• giải thuật có khóa đóng
• quản trị dự án
• kỹ năng quản lý
• chi phí thẩm định
• dự án đấu thầu
• quy trình quản lý
• thẩm định dự án
• Lập trình đồng thời
• Lập trình phân tán
• Kỹ thuật lập trình
• Distributed programming
• Bài toán loại trừ lẫn nhau
• Hệ thống chia sẻ bộ nhớ
• Bài giảng môn Hệ điều hành
• Hệ điều hành
• Đồng bộ hóa các tiến trình
• Bộ giám sát
• Nguyên lí loại trừ lẫn nhau