SAVAIL. ENTER A,B Поле А – интерпретируется как номер памяти. Поле В указывает число единиц памяти, занимаемых транзактом при входе в блок. При выходе транзактов из блока ENTER никаких изменений в содержимом памяти не происходит. Если поле В пусто, то число единиц памяти полагают = 1. Если в памяти нет достаточного числа свободных единиц, чтобы удовлетворить запрос транзакта, то этот транзакт не может быть обслужен оператором ENTER. А если для последующего это число единиц достаточно, то он входит в память раньше первого. LEAVE A,B Поле А определяет имя памяти. Поле В — число единиц, которые надлежит освободить при входе транзакта в блок. Не всегда освобождается такое же число единиц памяти, какое было занято. Транзакт, освобождающий память, не обязательно должен был ее занимать. Однако необходимо, чтобы в сумме освобождалось столько единиц памяти, сколько было занято. Освобождать можно 0 единиц. При реализации блока LEAVE задержка не возникает. |