Листинг 6. Взаимное исключение с помощью операции «Проверка и Установка».

Var

Common, Local_1, Local_2: Integer;

Begin

Common:=0;

ParBegin

PR1: While true do

Begin

Local_1:=1;

while Local_1=1 do TS(Local_1, Common);

CS_1; {Критический интервал процесса PR_1}

Common:=0

PR_1; {PR_1 после критического интервала}

End;

And;

PR2: While true do

Begin

Local_2:=1;

while Local_2=1 do TS(Local_2, Common);

CS2_; {Критический интервал процесса PR_2}

Common:=0

PR_2; {PR_2 после критического интервала}

End;

ParEnd;

End;

В микропроцессорах i80386 и старше, также есть специальные команды: ВТС, BTS, ВТК, которые являются вариантами реализации команды типа «Проверка и установка». Рассмотрим одну из них – BTS.

Команда BTS (bit test and reset – проверка бита и установка) является двухадресной [___]. По этой команде процессор сохраняет значение бита из первого операнда со смещением, указанным вторым операндом, во флаге CF¹ регистра флагов, а затем устанавливает указанный бит в 1. Значение индекса выбираемого бита может быть представлено постоянным непосредственным значением в команде BTS или значением в общем регистре. В этой команде используется только 8-битное непосредственное значение. Значение этого операнда берется по модулю 32, таким образом, смещение битов находится в диапазоне от 0 до 31. Это позволяет выбирать любой бит внутри регистра. Для битовых строк в памяти это поле непосредственного значения дает только смещение внутри слова или двойного слова.

С учетом изложенного можно привести фрагмент текста, в котором используется данная команда для решения проблемы взаимного исключения (листинг 6.6).

Однако здесь следует заметить, что некоторые ассемблеры поддерживают значения битовых смещений больше 31, используя поле непосредственного значения в комбинации с полем смещения операнда в памяти. В этом случае ассемблером младшие 3 или 5 битов (3 – для 16-битных операндов, 5 – для 32-битных операндов) смещения бита (второй операнд команды) сохраняются в поле непосредственного операнда, а старшие биты сдвигаются и комбинируются с полем смещения. Процессор же игнорирует ненулевые значения старших битов поля второго операнда [___]. При доступе к памяти процессор обращается к четырем байтам, начинающимся по полученному следующим образом адресу

Effective Address + (4 * (BitOffset DIV 32))

для размера операнда 32 бита, или к двум байтам, начинающимся по адресу

Effective Address + (2 * (BitOffset DIV 16))

для 16-битного размера операнда. Такое обращение происходит, даже если необходим доступ только к одиночному байту. Поэтому избегайте ссылок к областям памяти, близким к «пустым» адресным пространствам. В частности, избегайте ссылок на распределенные в памяти регистры ввода/вывода. Вместо этого используйте команду MOV для загрузки и сохранения значений по таким адресам и регистровую форму команды BTS для работы с данными.