Я изо всех сил пытаюсь понять, как алгоритм Петерсона избегает бесконечного цикла в обоих процессах с начальной настройкой, как показано здесь 
https://en.m.wikipedia.org/wiki/Peterson%27s_algorithm.
Я мог бы видеть, как работает алгоритм, если процессы поочередно переключают свои значения флага, но, по словам моего лектора, это БОЛЬШОЕ, если.Если мы не можем предположить, что такое чередование флагов произойдет, что делает ОС для предотвращения взаимоблокировок ??.
Я проверял различные ресурсы, такие как книги Stallings, и несколько потоков в стеке, например, Tryingпонять алгоритм Петерсона , но ни один из них не отвечает на мой конкретный вопрос (возможно, потому что он довольно простой!)