Моделирование систем / lec9

LAB5	25	SEIZE	115
	26	DEPART	115
	27	ADVANCE	115
	28	RELEASE	114
	29	TEST	114
	30	LOGIC	10
LAB6	31	TERMINATE	114
	32	GENERATE	1
	33	TERMINATE	1

FACILITY ENTRIES		UTIL. AVE. TIME
STEND1	360	0.877	8.775
STEND2	357	0.993	10.017
SBORKA	239	0.992	14.937
SBORKAADD 115		0.505	15.819

QUEUE	MAX CONT. ENTRY ENTRY(0). AVE.TIME
STEND1	4	0	360	119	0.468
STEND2	11	3	360	7	4.527
SBORKA	11	2	356	11	5.053

Доступность и недоступность устройств

Устройство может быть объявлено недоступным оператором FUNAVAIL. При этом в зависимости от параметров этого оператора могут быть установлены разные режимы в отношении транзактов, связанных с данным устройством (занимающих устройство, прерванных в процессе занятия устройства или задержанных в ожидании освобождения устройства).

Недоступность устройства предупреждает занятие или прерывание устройства последующими транзактами. При этом возможно задание специальных режимов работы блока FUNAVAIL, обеспечивающих окончание обслуживания последнего транзакта, передачу его на обслуживание к другому блоку, дообслуживание транзакта после окончания периода недоступности.

FUNAVAIL A[,B,C,…,H]

A имя устройства переводимого в состояние недоступности

Параметры В...Н предназначены для задания специальных режимов.

Если задан только параметр A, то обслуживание транзакта (если оно происходит) прерывается и будет возобновлено, когда устройство станет доступным.

Если В=СО , то транзакт будет дообслужен

Если В=RE , то транзакт переходит к оператору с меткой, указанной в параметре C, параметр D при этом указывает имя параметра удаляемого транзакта, в который записывается время его дообслуживания

Доступность устройства восстанавливается оператором FAVAIL.

FAVAIL A

Доступность или недоступность устройства может быть проверена оператором GATE c использованием СЧА

FV «прибор доступен» FNV «прибор недоступен»

GATE FNV Line,Blk4

П р и м е р.

Устройство обслуживает заявки в режиме 45 мин. работы, 15 мин. перерыв

Break function C1,D2 45,45/1000,60 GENERATE 8,5 seize dev advance 7 release dev TERMINATE

GENERATE FN$break funavail dev advance 15 favail dev TERMINATE

GENERATE 480 TERMINATE 1 start 1

П р и м е р.

Поток запросов к ИС выполняется сервером с экспоненциально распределенным временем безотказной работы. В случае его отказа немедленно включается резервный сервер и начинается восстановление основного. Время восстановления распределено экспоненциально.

GENERATE	60,30
gate FV	server1,res2
seize	server1
advance	20,10
release	server1
TERMINATE
GENERATE	(exponential(1,0,3600))
funavail	server1,RE,res1,1
advance	(exponential(2,60,600))
favail	server1
TERMINATE
res1 release	server1
seize	server2
advance	(P1#6)
release	server2
TERMINATE
res2 seize	server2
advance	120,30
release	server2
TERMINATE

GENERATE 36000
TERMINATE 1
start	1
1	GENERATE	605
2	GATE	605
3	SEIZE	457
4	ADVANCE	457
5	RELEASE	452
6	TERMINATE	452
7	GENERATE	19
8	FUNAVAIL	19
9	ADVANCE	19
10	FAVAIL	18
11	TERMINATE	18
RES1 12	RELEASE	5
13	SEIZE	5
14	ADVANCE	5
15	RELEASE	5
16	TERMINATE	5
RES2 17	SEIZE	132
18	ADVANCE	132
19	RELEASE	131
20	TERMINATE	131

FACILITY ENTRIES UTIL. AVE. TIME
SERVER1	457	0.253	19.932
SERVER2	137	0.444	116.790
QUEUE	MAX CONT. ENTRY ENTRY(0). AVE.TIME
SERVER2 18 16		148	10	529.360
res2	queue server2
cont1	gate FV	server1,cont2
	depart	server2
	transfer ,ret
cont2	gate U	server2,cont3
	advance 1
	transfer ,cont1
cont3 seize server2
depart server2
advance		120,30
release		server2

TERMINATE

	1	GENERATE	608
RET	2	GATE	667
	3	SEIZE	542
	4	ADVANCE	542
	5	RELEASE	536
	6	TERMINATE	536
	7	GENERATE	18
	8	FUNAVAIL	18
	9	ADVANCE	18
	10	FAVAIL	18
	11	TERMINATE	18
RES1	12	RELEASE	5
	13	SEIZE	5
	14	ADVANCE	5
	15	RELEASE	5
	16	TERMINATE	5
RES2	17	QUEUE	125
CONT1	18	GATE	28392
	19	DEPART	59
	20	TRANSFER	59
CONT2	21	GATE	28333
	22	ADVANCE	28267
	23	TRANSFER	28267
CONT3	24	SEIZE	66
	25	DEPART	66

Оператор SUNAVAIL

переводит накопитель в состояние недоступности, при котором транзакты не могут войти в накопитель. Уменьшение содержимого накопителя в этот период может происходить путем прохождения транзактами оператора LEAVE.

Оператор SAVAIL переводит заданный накопитель из состояния недоступности в состояние доступности.

Если данный накопитель уже доступен, то блок SAVAIL никаких действий не выполняет.

Пример использования:

SUNAVAIL 2—5

TEST NE	P1,0, NEXT
SAVAIL	2—5

(т. е. недоступные накопители с 2-го по 5-й становятся доступными при появлении транзакта с ненулевым параметром 1).

П р и м е р.

АЗС с тремя колонками. Среднее время между автомобилями, приезжающими на заправку, зависит от времени суток. Два раза в сутки приезжает бензовоз. Во время слива топлива заправка автомобилей не производится.

azs storage 3

aver FUNCTION	C1,D4
6,0.5/10,0.08/18,0.04/24,0.1
GENERATE	FN$aver,0.03
QUEUE	azs
ENTER	azs
DEPART	azs
ADVANCE	0.1,0.05
LEAVE	azs
TERMINATE
GENERATE	11,0.5
SUNAVAIL	azs
ADVANCE	0.5
SAVAIL	azs
TERMINATE
GENERATE	24

TERMINATE 1 start 1