Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Пример 13.1
|
|
  поток студентов Пр.
телефон
|
К преподавателю существует очередь студентов, но телефонный звонок прерывает ответ очередного студента, а после окончания разговора по телефону происходит возврат к дообслуживанию, но для того чтобы продолжить необходимо некоторое время.
При составлении программы будем учитывать, что звонок, появившийся во время разговора по телефону, должен быть аннулирован.
Версия 1:
* Студенты
| GENERATE | ,,, D | |
| QUEUE | BUFF | |
| SEIZE | PROF | |
| DEPART | BUFF | |
| ASSIGN | 5, 1000, 3 | |
| ADVANCE | P5 | |
| RELEASE | PROF | |
| TERMINATE |
* Телефонные звонки
| GENERATE | A, B,,, 1 | |
| GATE NI | PROF, N | |
| PREEMTIVE | PROF, PR,, ADD, 5 | |
| ADVANCE | C, D | |
| RETURN | PROF | |
| N | TERMINATE | |
| ADD | ASSIGN | 5+, 300 |
| TRANSFER | , S |
Рассмотрим блок GATE NI PROF, N, в котором NI - это стандартный числовой атрибут. Он равен 1, если устройство не захвачено транзактом-захватчиком, но оно может быть занято (I - это СЧА обратный к NI). Транзакт пройдет дальше, если устройство не занято транзактом-захватчиком в противном случае - поступит на метку N.
Версия 2:
* Студенты
| GENERATE | ,,, D | |
| QUEUE | BUFF | |
| SEIZE | PROF | |
| DEPART | BUFF | |
| ADVANCE | 1000, 3 | |
| S | RELEASE | PROF |
| TERMINATE |
* Телефонные звонки
| GENERATE | A, B,,, 1 | |
| GATE NI | PROF, N | |
| PREEMTIVE | PROF, PR,, ADD, 5 | |
| ADVANCE | C, D | |
| RETURN | PROF | |
| N | TERMINATE | |
| ADD | ASSIGN | 5+, 300 |
| ADVANCE | P5 | |
| TRANSFER | , S |