Лабораторная работа № 4. МОДЕЛИРОВАНИЕ ПРИОРИТЕТНЫХ СИСТЕМЦель работы: изучение принципов моделирования систем с абсолютными и относительными приоритетами. Прерывание, освобождение и проверка одноканального устройстваPREEMPT A,B,C,D,E - захватить устройство. A - имя или номер устройства, B - режим прерывания (PR - приоритетный, а если не указан, то режим прерывания), C - имя или номер блока, куда должен быть направлен прерванный транзакт, D - номер параметра прерванного транзакта, в который записывается оставшееся время до завершения обслуживания, E - режим удаления (RE - удаление прерванного транзакта).В приоритетном режиме прервать обслуживание предыдущего транзакта может только транзакт с большим приоритетом. Если приоритет претендующего транзакта равен или ниже приоритета обслуживаемого транзакта, то он помещается в список задержки устройства последним в своем приоритете. RETURN A - освободить устройство. A - имя или номер устройства.Проверка состояния одноканального устройства в приоритетном режиме может проводиться блоком GATE, а также с использованием логической переменной и блока TEST. Проверка состояний сущностей и изменение движения транзактаGATE O A,B - переместить транзакт на другой блок при выполнении условия. O - оператор условия, A - имя или номер сущности для проверки, B - номер блока, куда перейти в случае не выполнения условия.Операторы условий: FNV - устройство недоступно, FV - устройство доступно, I - устройство прервано, LS - логический ключ в состоянии SET, LR - логический ключ в состоянии RESET, M - активный транзакт ожидают в блоке MATCH, NI - устройство непрервано, NM - активный транзакт не ожидают в блоке MATCH, NU - устройство не используется, SE - память пуста, SF - память заполнена, SNE - память непуста, SNF - память не заполнена, SNV - память недоступна, SV - память доступна, U - устройство испольльзуется. Доступность одноканальных устройствFUNAVAIL A,B,C,D,E,F,G,H - сделать устройство недоступным. A - имя или номер устройства, B - режим прерывания для обрабатываемого транзакта (RE - удалить транзакт с устройства, CO - продолжать обработку), C - номер блока, в который будет направлен транзакт в режиме удаления, в момент перевода устройства в недоступное состояние, D - номер параметра транзакта, куда будет записано время оставшееся для обработки, E - режим прерывания для транзакта, захватившего устройство (RE или CO), F - номер блока, в который будет направлен "транзакт-захватчик" в режиме удаления, в момент перевода устройства в недоступное состояние, G - режим прерывания для транзактов, ожидающих устройство (RE или CO), H - номер блока, в который будут направлены ожидающие транзакты в режиме удаления, в момент перевода устройства в недоступное состояние. FAVAIL A - сделать устройство доступным. A - номер устройства. Практическое заданиеЛокальная вычислительная сеть (ЛВС) имеет три автоматизированных рабочих места (АРМ) и сервер, соединенных общей шиной. В локальной вычислительной сети организована распределенная обработка данных. Запросы поступают от АРМ, которые имеют свои базы данных (БД). Поступающие запросы первично обрабатываются на АРМ. С вероятностью Pi, i=1,2,3, требующаяся информация обнаруживается в БД АРМ, после чего продолжается дальнейшая обработка запроса. В противном случае необходима посылка запроса на сервер. После посылки запроса на сервер АРМ обрабатывает другие поступающие на него запросы. Получив ответ с сервера, АРМ завершает обработку запроса. Интервалы времени поступления запросов на АРМ распределены по показательному закому со средним значением T1i (сек). Канал передачи данных (КПД), соединяющий АРМ и сервер, не имеет накопителей и передача по нему возможна по нему только тогда, когда он свободен. Когда он занят, АРМ находится в режиме ожидания и только после освобождения канала передает запрос. При передаче данных с сервера по запросу АРМ этим данным присваивается более высокий приоритет по сравнению с поступающими на АРМ запросами. Этим обеспечивается дисциплина обслуживания "раньше пришел - раньше обслужен". На сервере имеется два накопителя. Накопитель 1 предназначен для поступающих запросов, а второй - для передаваемых ответов на запросы. Емкость накопителя 1 ограничена Emk1 запосов, то есть поступающие с АРМ запросы могут потеряться в случае полного заполнения накопителя 1. Емкость накопителя 2 практически бесконечна, то есть ответы на запросы не теряются. Время первичной обработки запроса, его передачи при надобности на сервер, обработки на сервере, обратной передачи на нужное АРМ и окончательной обработки на АРМ подчинено экспоненциальному закону со средними значениями соответственно T2i, T3i, T4i, T5i и T6i (сек). Значения исходных данных приведены в таблице 1. Задача:
Таблица 1. Данные для модели.
Таблица 2. Данные для аварийных ситуаций.
Следующая работа Главная страница |