Средства синхронизации многозадачных приложений. Монитор Хоара

Сидельников В. В., Широков В. В.

Описываются средства синхронизации многозадачных приложений в виде, предложенном в работах Дейкстры и Хоара. Особое внимание уделяется монитору, детально рассматриваются способы передачи управления при работе с условной переменной, определяемые как «семантика Хоара» и «семантика Mesa».

Также рассматриваются примеры современной реализации механизмов синхронизации — монитора в языке программирования Java, семафоров, мьютексов и условных переменных в рамках программного интерфейса POSIX-совместимых операционных систем. Приводятся примеры использования описанных механизмов при решении конкретных задач синхронизации.

Предназначено для подготовки бакалавров по направлению 09.03.02 «Информационные системы и технологии» и специалистов по направлению 090301.65 «Компьютерная безопасность».