Bài giảng môn học Hệ điều hành - Chương 5, Phần 2: Đồng bộ

 Giải thuật 3 thỏa mutual exclusion, progress, và bounded waiting

 Mutual exclusion được đảm bảo bởi vì

P0 và P1 đều ở trong CS nếu và chỉ nếu flag[0] = flag[1] = true

và turn = I cho mỗi Pi (không thể xảy ra)

 Chứng minh thỏa yêu cầu về progress và bounded waiting

Pi không thể vào CS nếu và chỉ nếu bị kẹt tại vòng lặp while()

với điều kiện flag[j]=true và turn = j

Nếu Pj không muốn vào CS thì flag[j] = false và do đó Pi có thể vào CS