Теория распараллеливания и синхронизация. Демьянович Ю.К - 42 стр.

UptoLike

Составители:

Рубрика:

При стратегии, справедливой в сильном смысле, программа в

конце концов завершится, ибо переменная try принимает значение

true бесконечно часто, и потому (по принуждению) сработает вто-

рой пр оцес с.

Однако, при стратегии, справедливой в слабом смысле, про-

грамма может не завершиться, ибо переменная try принимает зна-

чения false также бесконечно много раз, и проверки во втором

процессе могут всегда совпадать с моментами, когда try = false.

Если все циклы активного ожидания зациклились навсегда, то

говорят, что программа вошла в активный тупик.