While (true) do

Begin

Begin

While (true) do

Begin

Блокировка памяти

Синхронизация параллельных процессов на низком уровне

Большинство приемов, применяемых для синхронизации процессов, тесно связаны с аппаратными средствами. Это блокировка памяти, операция “проверка и установка” и семафоры.

Взаимоисключения могут быть реализованы аппаратно, если сделать операции над памятью неделимыми. То есть, если каждый из процессов пытается поместить какие-либо значения в одну и ту же ячейку, то спор разрешается аппаратурой: если одному процессу разрешается выполнить операцию засылки немедленно, то другому приходится ждать пока первый не закончит операцию - такое разрешение спора и называется блокировкой памяти (storage interlock ).

Попытаемся решить проблему критического участка для двух процессов X и Y с помощью некоторой переменной КЛЮЧ, которая будет принимать значение true, когда процесс находится в своем критическом участке, и значение false - в противном случае. Прежде, чем войти в критический участок, процесс X проверяет КЛЮЧ_Y другого процесса, чтобюы убедится, что можно войти безопасно. Затем он включает свой собственный КЛЮЧ_X и пользуется критическим участком.

var КЛЮЧ_Х, КЛЮЧ_Y: boolean;

procedure Процесс_Х;

while (КЛЮЧ_Y) do; {ожидание, пока процесс Y не выйдет из критического участки}

КЛЮЧ_X:=true;

{Критический участок Х}

КЛЮЧ_Х:=false; {признак выхода процесса X из критического участка}

{Оставшаяся часть процесса Х}

end;

end;

procedure Процесс_Y;

Дата добавления: 2014-01-03