Unlink king,mit1,1,back

виводить із списку користувача з іменем King один транзакт з кінця списку і скеровує його в блок з міткою Mit1. Блок

UNLINK 5,Mit2,2

виводить із списку користувача з номером 5 два транзакти з початку списку і скеровує його в блок з міткою Mit2.

Відзначимо наступні особливості виконання блоку UNLINK. По-перше, якщо операнди D і E містять посилання на СЧА транзактів, операнд D обчислюється відносно транзактів у списку користувача, а операнд Е – відносно активного транзакту. По-друге, після виведення транзактів із списку продовжується або починається просування транзакта з найвищим пріоритетом, а при рівності пріоритетів надається перевага транзакту-ініціатору виведення.

Розглянемо на прикладі [1] механізм роботи блоків LINK і UNLINK і формування необхідних дисципдін обслуговування.

Нехай в одноканальній СМО з очікуванням потрібно організувати дисципліну обслуговування, для якої пріоритет надається вимогам з найменшим часом обслуговування.

Програма такої моделі наведена нижче.

GENERATE (Exponential(1,0,50))

ASSIGN Kkd,(Exponential(1,0,30))

GATE NU Kan1,Mit2

Mit1 SEIZE Kan1 ADVANCE P$Kkd

RELEASE Kan1

UNLINK Mash,Mit1,1

TERMINATE

Mit2 LINK Mash,P$Kkd

GENERATE 1000