Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Пример 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

 






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.