Файл: Конспект лекций Для студентов специальности 080801. 65 - приклад.doc

4.23. Списки пользователей

Блок LINK (ВНЕСТИ В СПИСОК). Блок LINK собирает тран­закты из СТС и помещает их в СП. Таким образом, интерпретатор их не просматривает и не перемещает по блокам модели до тех пор, пока пользователь не возвратит их в модель.

Формат блока:

LINK A,B[,C]

Операнд А задает номер или имя СП, в который будет помещен транзакт. Операнд А может быть положительным целым, именем, СЧА, СЧА*СЧА.

Операнд В задает алгоритм упорядочивания СП. Операнд В мо­жет быть LIFO, FIFO, целым, СЧА, СЧА*СЧА.

Допустимые значения операнда В:

FIFO - вошедший транзакт помещается в конец СП;

LIFO - вошедший транзакт помещается в начало СП;

номер параметра - входящие в СП транзакты располагаются в соответствии со значением указанного параметра;

PR - приоритет транзакта (транзакт помещается в список в соответствии с приоритетом);

M1 - время нахождения транзакта в модели;

Операнд С указывает альтернативный выход, который исполь­зуется при описании разных ситуаций, возникающих в очередях. Операнд С может быть именем, положительным целым, СЧА, СЧА*СЧА.

Если операнд С не задан, индикатор, связанный с заданным СП, устанавливается в положение «1». Это приводит к тому, что все транзакты, безусловно входящие в блок, заносятся в СП, определенный операндом А, в порядке, который задан операндом В.

Если операнд С задан, проверяется индикатор СП. Если индика­тор списка установлен в положение «1», вошедший транзакт, заносится в СП в порядке, заданном операндом В. Если же индикатор списка установлен в положение «0», он переводится в положение «1», и вошедший транзакт перемещается к блоку, заданному в опе­ранде С.

Пример 4.53

LINK LIST,FIFO

В этом примере транзакт, вошедший в блок, помещается в ко­нец списка с именем LIST.

Стандартные числовые атрибуты, связанные с блоком LINK:

СА<номер списка>, СА$<имя списка> - среднее число транзактов в СП;

СС<номер списка>, СС$<имя списка> - общее число транзактов в СП;

СН<номер списка>, СН$<имя списка> - текущее число транзактов в СП;

СМ<номер списка>, СМ$<имя списка> - максимальное число транзактов в СП;

СТ<номер списка>, СТ$<имя списка> - среднее время пребывания транзакта в СП.

Блок UNLINK (ВЫВЕСТИ ИЗ СПИСКА). Блок UNLINK уда­ляет транзакты из СП. После этого интерпретатор GPSS возобновляет их движение по модели.

Формат блока:

UNLINK [X] A,B,[C],[D],|E],[F]

Операторы отношения, которые записываются во вспомога­тельном операнде X, определяют, какое условие (отношение) будет рассматриваться. Если этот оператор не задан, предполагается отно­шение равенства Е.

Операторы отношения могут быть такими:

G (больше) - отношение истинно, если значение параметра, за­данного в операнде D, больше значения, заданного в операнде Е;

GE (больше или равно) - отношение истинно, если значение параметра, заданного в операнде D, больше значения, заданного в операнде Е, или равно ему;

L (меньше) - отношение истинно, если значение параметра, за­данного в операнде D, меньше значения, заданного в операнде Е;

LE (меньше или равно) - отношение истинно, если значение параметра, заданного в операнде D, меньше значения, заданного в операнде Е, или равно ему;

Е (равно) - отношение истинно, если значение параметра, за­данного в операнде D, равно значению, заданному в операнде Е;

NE (не равно) - отношение истинно, если значение параметра, заданного в операнде D, не равно значению, заданному в операнде Е.

Операнд А задает СП, из которого удаляются один или несколь­ко транзактов. Операнд А может быть именем, положительным це­лым, СЧА или СЧА*СЧА.

В операнде В указывается номер блока, к которому переходят удаляемые из списка транзакты. Операнд В может быть именем, по­ложительным целым, СЧА, СЧА*СЧА.

Операнд С задает число транзактов, удаляемых из СП (счетчик удалений). Операнд С может быть именем, положительным целым, СЧА, СЧА*СЧА или «ALL» (означает удаление всех транзактов).

Операнд D может быть именем, целым, СЧА, СЧА*СЧА, «BACK». Действия, выполняемые при вхождении транзакта в блок UNLINK, зависят от того, на что ссылается операнд D. В операнде D могут быть указаны номер параметра, булева переменная или слово «BACK».

Номер параметра. Если операнд Е пропущен, значение задан­ного параметра вошедшего транзакта сравнивается со значением это­го же параметра транзактов СП. Если Е не пропущен, значение за­данного параметра транзактов СП сравнивается со значением СЧА из операнда Е. В обоих случаях транзакты, удовлетворяющие заданному отношению, будут удалены из списка и направлены в блок, указан­ный в операнде В.

Булева переменная BVj вычисляется отдельно для каждого транзакта из СП. Если для транзакта значение BVJ=1, то он удаляется из СП (количество удаляемых транзактов не может превышать зна­чения операнда С). Если BVj=0 для всех транзактов списка, то во­шедший транзакт пытается переместиться в блок, заданный в операн­де F. Если операнд F пропущен, транзакт пытается перейти в сле­дующий по номеру блок.

Если в операнде D задана булева переменная, операнд Е должен быть пустым. Если булева переменная BVj имеет ссылку на какой-либо параметр, то эта ссылка относится к параметрам транзактов из списка, а не к входящему в блок UNLINK транзакту.

Слово «BACK». Из указанного списка, начиная с его конца, бу­дет исключено столько транзактов, сколько задано операндом С. Операнд Е в этом случае должен быть пустым.

Операнд Е содержит СЧА, значение которого сравнивается со значением параметра транзактов СП (номер параметра указан в опе­ранде D). Операнд Е может быть именем, целым, СЧА, СЧА*СЧА.

Операнд F задает номер следующего блока для того транзакта, который входит в блок UNLINK в случаях, когда соответствующий СП пустой или не выполнено заданное отношение, или же указанная в операнде D булева переменная равна нулю для всех транзактов списка (т.е. в случае, когда из СП нельзя ничего удалить). Операнд F может быть именем, положительным целым, СЧА, СЧА*СЧА.

Пример 4.54

UNLINK LIST,FORW,1

Первый транзакт из СП с именем LIST помещается в блок с меткой FORW. Он заносится в СТС после транзактов с таким же приоритетом. Транзакт, вошедший в блок UNLINK, переходит в сле­дующий блок.

Рассмотрим последовательность операций, выполняемых при входе транзакта в блок UNLINK. В зависимости от того, какие из операндов A-F блока UNLINK заполнены, можно выделить восемь основных вариантов.

Вариант 1. Операнды А, В, С заданы, операнды D, Е, F не зада­ны. Вычисляются значения операнда А для определения номера (имени) СП. Проверяется, есть ли в списке транзакты. Если их нет, соответствующий этому списку индикатор устанавливается в «0», а транзакт, вошедший в блок, переходит к следующему по номеру блоку.

Если список не пуст, вычисляется значение операнда С (счетчи­ка удалений), определяющего число транзактов, удаляемых из спи­ска. Транзакты удаляются, начиная с первого в списке до тех пор, по­ка значение счетчика удалений не станет равным нулю, или пока не будут исчерпаны все транзакты из списка. Удаленные из СП транзак­ты будут помещены в СТС и направлены к блоку, номер которого указан в операнде В. Транзакт, вошедший в блок UNLINK, переме­щается к следующему по номеру блоку.

Вариант 2. Операнды А, В, С и F заполнены, операнды D и Е не заданы. Этот вариант аналогичен варианту 1, за исключением случая, когда указанный СП пуст. При этом индикатор списка устанавлива­ется в «0», а транзакт, вошедший в блок UNLINK, перемещается к блоку, указанному в операнде F, а не к следующему по номеру блоку.

Вариант 3. Операнды А, В, С и D заполнены, операнды Е и F не заполнены, в операнде D задано значение параметра Pj. Этот вариант также аналогичен варианту 1. Однако из списка удаляются только те транзакты, у которых значение параметра Pj равно значению этого же параметра Pj транзакта, вошедшего в блок UNLINK. Транзакты из списка удаляются до тех пор, пока значение счетчика удалений (определяемого операндом С) не станет равно нулю или пока не будут просмотрены все транзакты из списка. Все удаленные из СП транзакты перемещаются к блоку, указанному в операнде В блока UNLINK. Транзакт, вошедший в блок UNLINK, перемещаемся к сле­дующему по номеру блоку.

Вариант 4. Операнды А, В, С и D заполнены, операндом Е и F не заданы, а в операнде D записано слово «BACK». Этот вариант анало­гичен варианту 1, за исключением того, что транзакты удаляются, на­чиная с конца списка.

Вариант 5. Операнды А, В, С и D - заполнены, операнды Е и F - пусты, в операнде D задана булева переменная BVj. Этот вариант аналогичен варианту 3, за исключением того, что BVj вычисляется отдельно для каждого транзакта СП. Из СП удаляются только транзакты, для которых BVj=l.

1. Если BVj имеет ссылки на какой-либо параметр, то эти ссылки относятся к параметрам, связанным транзактами из СП, а не с вошедшим транзактом.

2. В случаях, когда в операнде D блока UNLINK записана перемен­ная BVj или «BACK», операнд Е должен быть не заполненным, ина­че - ошибка.

Вариант 6. Операнды А, В, С, D и F заполнены, операнд Е не заполнен. Этот вариант аналогичен варианту 3, за исключением тех случаев, когда или заданный СП пуст (CHj=0), или заданное отноше­ние не выполняется ни для одного транзакта списка, или BVj=0 для всех транзактов СП. В таких случаях транзакт, вошедший в блок UNLINK, перемещается к блоку, номер которого задан в операнде F, а не к следующему по номеру блоку. Индикатор» списка устанавливается в «0» только в том случае, если список пуст.

Вариант 7. Операнды А, В, С, D и Е заполнены, операнд F не заполнен.

Число удаляемых транзактов определяется значением операнда С. Номер блока, к которому направляются удаленные транзакты, оп­ределяется операндом В. Транзакты, для которых значение Pj (опе­ранд D) равно СЧА из операнда Е, удаляются из списка. Транзакты просматриваются и удаляются (если это возможно), начиная с начала списка. Удаление продолжается до тех пор, пока значение счетчика удалений (операнд С) не станет равным нулю или пока из СП не будут удалены все транзакты. Транзакт, вошедший в блок UNLINK, перемещается к следующему по номеру блоку.

Вариант 8. Операнды А, В, С, D и F заполнены. Этот вариант аналогичен варианту 5, за исключением тех случаев, когда СП пуст (то есть CHj=0) или заданное отношение не выполняется ни для од­ного из транзактов списка. Транзакт, вошедший в блок UNLINK, пе­реходит к блоку, заданному в операнде F, а не к следующему по номеру блоку. Если заданное отношение выполняется для какого-нибудь транзакта из списка, транзакт, вошедший в блок, перемещает­ся к следующему по номеру блоку. Если СП пустой, индикатор спи­ска устанавливается в «0».

Пример 4.55 [13]

Рассмотрим модель обслуживания с алгоритмом FIFO выбора из очереди:

GENERATE 1000,FN1

QUEUE QUE1

LINK CHAIN,FIFO,CAN

CAN SEIZE FC_1

DEPART QUE1

ADVANCE 700,FN1

RELEASE FC_1

UNLINK CHAIN,CAN,1 TERMINATE

Транзакты, выходящие из блока GENERATE, поступают в блок QUEUE. После внесения соответствующих изменений в статистику, собираемую по данной очереди, транзакт входит в блок LINK. Так как в блоке LINK существует альтернативный выход, проверяется состояние индикатора списка CHAIN (имя которого определяется операндом А блока LINK). Если индикатор этого списка установлен в «0», транзакт немедленно устанавливает его в «1» и переходит к альтернативному блоку, то есть в данной модели - к блоку SEIZE. Если индикатор списка установлен в «1», то транзакт, входящий в блок LINK, без дальнейших проверок заносится в СП CHAIN. Так как в операнде В задан алгоритм FIFO, транзакт помещается в конец этого СП.

Отметим, что транзакты, занесенные в СП, не проходят даль­нейшей обработки до тех пор, пока они не будут удалены из списка другими транзактами, входящими в блок UNLINK. После удаления из СП транзакт поступает к блоку, указанному в операнде В блока UNLINK.