Монитороподобные средства синхронизации. Критическая область

Традиционные механизмы, работающие по двуступенчатой схеме, имеют ряд недостатков. Прежде всего связь между переменной состояния и защищенным ресурсом существует только в голове программиста. Во вторых механизмы реализованы парными примитивами, что подразумевает четкую последовательность их вызова. Соответственно если реализуются достаточно сложные задачи синхронизации — затруднительно доказательство правильности их работы. Также сложно применить какие либо методы анализа. Указанные недостатки обуславливаются появлением альтернативных механизмов синхронизации. Следует отметить, что средства синхронизации являются логическим эквивалентом между собой, другими словами — любую схему взаимодействия между процессами можно реализовать с любым механизмом синхронизации, однако получаемые решения будут неэквивалентными с практической точки зрения, то есть с точки зрения проектирования и реализации. Основной концепцией монитороподобных средств синхронизации является возможность организации контроля правильности, устранение взаимосвязи между процессам. Средства синхронизации обладают большой наглядностью и базируются на языковом обособлении и реализации.