Средства синхронизации и связи при проектировании взаимодействующих вычислительных процессов

Все известные средства для решения проблемы взаимного исключения основа­ны на использовании специально введенных аппаратных возможностей, к кото­рым относятся блокировка памяти, специальные команды типа «проверка и ус­тановка» и управление системой прерываний, позволяющее организовать такие механизмы, как семафорные операции, мониторы, почтовые ящики и др. С по­мощью перечисленных средств можно разрабатывать взаимодействующие про­цессы, при исполнении которых будут корректно решаться все задачи, связан­ные с проблемой критических интервалов. Рассмотрим эти средства в порядке их появления, а значит, по мере их усложнения, перехода к функциям операци­онной системы и увеличения предоставляемых ими удобств для пользователя. При этом будем опираться на далеко не новую, но все же еще достаточно акту­альную работу Дейкстры.