Задание
1. Выбрать вычислительный процесс и на его примере:
a. построить метамодель «асинхронный процесс» и определить свойства исходного процесса на основе анализа метамодели;
b. выполнить операции над процессом: репозиция, редукция, композиция, и оценить полученные результаты с практической точки зрения;
c. построить предметную интерпретацию метамодели на основе сети Петри и сделать вывод о динамических характеристиках исходного процесса.
2. Оформить отчет.
Описание процесса
операция асинхронный метамодель процесс
Предлагается рассмотреть процессы и ситуации происходящие при чтении / записи с CD-R– устройств. CD-R (устройство считывания и записи компакт-дисков) – напоминают обычные дисководы. Однако кроме приводов шпинделя и головки они имеют еще и механизм загрузки диска и более сложную головку считывания. Считывающая головка состоит из лазерного излучателя, фотоприемника и наклонного зеркала, зафиксированных на подвижной каретке головки. Для записи используются специальные диски, иногда называемые мишенями (Target). При записи луч лазера в нужных местах дорожки выжигает ямки в слое краски. За счет разницы коэффициента отражения ямок и невыжженных участков поверхности при считывании возникает модуляция яркости принятого луча, которая и несет полезную информацию. Обмен данными с памятью происходит без участия центрального процессора, для этого используется канал прямого доступа к памяти – DMA (DirectMemoryAccess).
Практически все устройства CD-R позволяют воспроизводить и аудио-диски, для чего они имеют встроенные ЦАПы (цифроаналоговые преобразователи) и аналоговый интерфейс с линейным выходом стереосигнала. Чтобы аудиоплейер не пытался воспроизводить установленный по ошибке диск с данными (это угрожает стереосистемам и ушам слушателя), для трека, содержащего данные, устанавливается флаг Data. Этот флаг проставляется в первом секторе диска.
Построение метамодели «асинхронный процесс»
Компоненты процесса
| p1
=1 |
есть диск в лотке |
| p2
=1 |
если диск не пустой |
| p3
=1 |
если аудио диск |
| p4
=1 |
ЦАП в работе (есть данные) |
| p5
=1 |
головка считывает |
| p6
=1 |
головка записывает |
| p7
=1 |
аналоговый интерфейс включен |
| p8
=1 |
канал DMA в работе |
Множество ситуаций процесса.
S1
– в лоток вставлен диск;
S2
– считывание аудио информации;
S3
– перевод цифровых данных в аналоговые;
S4
– вывод сигнала в аналоговый интерфейс;
S5
– считывание данных;
S6
– вывод данных в канал DMA;
S7
– получение данных из канала DMA;
S8
– запись данных на диск.
Таблица векторов ситуаций
| Ситуация | Вектор | |||||||
| P1
|
P2
|
P3
|
P4
|
P5
|
P6
|
P7
|
P8
|
|
| S1
|
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| S2
|
1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
| S3
|
1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
| S4
|
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| S5
|
1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 |
| S6
|
1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| S7
|
1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| S8
|
1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
Инициаторы: I={S1,
S2,
S3,
S5,
S7
}.
S1
– ситуация, при которой в лоток вставлен диск, что свидетельствует о готовности устройства к выполнению своих основных функций, то есть непосредственно инициирует данный процесс;
S2
– ситуация, при которой происходит считывание аудиоинформации, что влечет за собой работу с аудиоданными;
S3
– ситуация, при которой происходит перевод цифровых данных в аналоговые, что влечет за собой вывод этих данных в аналоговый интерфейс;
S5
– ситуация считывания данных инициирует вывод данных в канал DMA;
S7
– ситуация чтения данных из канала DMA, инициирует запись их на диск.
Результанты: R={S4,
S6,
S8
}.
S4
, S6
, S8
– ситуации являются результатом функционирования устройства, а именно: вывод сигнала в аналоговый интерфейс, вывод данных в канал DMA и запись данных на диск, соответственно.
Граф процесса.
Свойства рассматриваемого процесса.
Классы эквивалентности:
Начальным классом эквивалентности является класс {S1,
S2,
S5,
S7
}.
Конечными классами эквивалентности являются классы: {S8
}, {S4
}, {S6
}.
Допустимые траектории:
Где: S1
-S7
-S8
– запись информации на диск;
S1
-S2
-S3
-S4
– проигрывание аудио диска;
S1
-S5
-S6
– чтение информации с диска.
1) АП является эффективным, т.к. из инициаторов все траектории ведут в результанты, и каждая из траекторий, приводящая к результантам, начинается в каком-либо инициаторе; в процессе нет циклов;
2) АП не является управляемым, так как траектории из инициаторов ведут в различные заключительные классы {S8
}, {S4
}, {S6
};
3) АП не является простым, т.к. из инициатора существует переход к инициаторам не выполняется .
Операции над процессами
Репозицией
асинхронного процесса P = (S, F, I, R) называется эффективный асинхронный процесс P’ = (S’, F’, I’, R’), такой что S’ ÍÍ (IÈRÈSD
), I’ ÍR, R’ ÍI.
Репозиция
– это возобновление процесса, его повторная активации. Практически все процессы в реальных технических и вычислительных системах имеют репозицию, в них имеет место эффект возобновляемости. В случае с процессом работы CD-ROMа репозиция будет выполняться при повторном считывании аудио информации (считывании нового трека).
Объединенный граф основного процесса и репозиции:
В результате проведения операции репозиции над процессом получили новый процесс, в котором считывание аудиоинформации может происходить требуемое число раз, что более приближено к реальным условиям.
Отношение задает траекторию перехода от элемента из множества I
’
к элементам множества R
’
. Т.к. I
’
R
,
R
’
I
и F
’
0
, то репозиция является частичной.
Редукция позволяет выделить отдельные ветви процесса, что характерно при рассмотрении отдельных ситуаций. Таким образом, редукция может быть полезна для изучения отдельных элементов процесса.
Проведем редукцию нашего процесса так, чтобы в результате из процесса выделились ветви чтения и записи на диск.
Ситуации исходного процесса.
S1
– в лоток вставлен диск;
S2
– считывание аудио информации;
S3
– перевод цифровых данных в аналоговые;
S4
– вывод сигнала в аналоговый интерфейс;
S5
– считывание данных;
S6
– вывод данных в канал DMA;
S7
– получение данных из канала DMA;
S8
– запись данных на диск.
| Ситуация | Вектор | ||||||||
| P1
|
P2
|
P3
|
P4
|
P5
|
P6
|
P7
|
P8
|
||
| S1
|
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| S2
|
1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | |
| S3
|
1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | |
| S4
|
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | |
| S5
|
1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | |
| S6
|
1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | |
| S7
|
1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | |
| S8
|
1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | |
Инициаторы и результанты исходного процесса:
I={S1,
S2,
S3,
S5,
S7
}.
R={S4,
S6,
S8
}.
В качестве входной компоненты выберем 1, 2 и3 элементы векторов ситуаций.
|
Выделим
={100,110}. Берём такие компоненты, так как именно этим входным компонентам соответствуют ситуации, имеющие непосредственное отношение к чтению / записи.
Тогда редукцией P(X*) будет являться:
S*
= {S1,
S5,
S6,
S7,
S8
};
Для каждого инициатора процесса P построим множество ситуаций Si
I, S(Si
), встречающихся на траекториях процесса P ведущих из указанного инициатора.
1: S1
-S2
-S3
-S4
2: S1
-S7
-S8
3: S1
-S5
-S6
4: S2
-S3
-S4
5: S7
-S8
6: S5
-S6
Образуем множество S(X*
), как объединение тех множеств S(Si
), для которых справедливо S(Si
)S*
.
S(X*
)={S1,
S5,
S6,
S7,
S8
};
;
;
R(X*
)={S6,
S8
}.
Построим граф процесса редукции:
Таким образом, в результате редукции были выделены ветви, которые соответствуют чтению и записи на диск. То есть из исходного процесса выделили более простой подпроцесс.
Рассмотрим два АП. Один из них исходный процесс , другой – вновь построенный :
В качестве дополнительного процесса построим вспомогательный процесс, управляющий лотком CD-ROM’а.
Компоненты процесса :
p
1
’
–
лоток закрыт;
p
2
’
–
диск в лотке.
Ситуации процесса :
1. Лоток открыт, диска нет, устройство к работе не готово
p1
’
– p2
’
–
2. Лоток закрыт, диск есть, устройство готово к работе
Выделим в исходном процессе первую (лоток) компоненту в качестве входной. Выбираем наличие диска в лотке, так как оно является основным показателем того, что устройство функционирует. Выбираем в исходном процессе ситуации, при которых в лотке имеется диск (первая компонента; т.е. все ситуации). Таким образом, получаем исходный процесс целиком. Это соответствует действительности, так как на всех стадиях работы устройства в нем имеется диск.
Очевидно, что редукцией процесса по определенной выше компоненте (назовем ее ) будет являться весь исходный процесс, т.е.: .
Выделим в дополнительном процессе выходную компоненту. Это компонента p2
’
– диск в лотке. X2
= {0,1}
В качестве выберем все наборы входной компоненты дополнительного процесса. X2
*
= {0,1}
Дополнительный процесс представлен простой линейной структурой, которая не нуждается в дополнительном упрощении.
Сцепление процессов будет происходить по компоненте {1}. То есть выходная компонента процесса соответствует входной компоненте .
Построим композицию исходного процесса и дополнительного .
S3
1
=(S1
, S1
’
);
S3
2
=(S1
, S2
’
);
S3
3
=(S2
, S2
’
);
S3
4
=(S3
, S2
’
);
S3
5
=(S4
, S2
’
);
S3
6
=(S5
, S2
’
);
S3
7
=(S6
, S2
’
);
S3
8
=(S7
, S2
’
);
S3
9
=(S8
, S2
’
);
S3
={(10000000), (10000000), (11101000), (11110000), (11100010), (11001000), (11000001), (10000001), (10000100)};
F3
= {(S3
1
)-(S3
2
)- (S3
8
)- (S3
9
),
(S3
1
)-(S3
2
)- (S3
3
)- (S3
4
)- (S3
5
),
(S3
1
)-(S3
2
)- (S3
6
)- (S3
7
)};
I3
= {(S3
1
), (S3
2
), (S3
3
), (S3
4
), (S3
6
), (S3
8
)};
R3
= {(S3
5
), (S3
7
), (S3
9
)}.
Граф композиции:
Обеспечены условия 1, 2, 3, 4:
1),:
2) выходные компоненты ситуаций из равны входной компоненте ситуации из
3) если в компонента , то
4) если , то .
Таким образом, выбрав в качестве дополнительного процесса небольшой подпроцесс, предшествующий основному процессу, построили композицию этих процессов путём выделения входных и выходных компонент соответствующих процессов и последующего их (процессов) сцепления. Исходный процесс не стали упрощать с помощью репозиции, так как по смыслу данной композиции модель должна сохранить свою целостность. Получившийся процесс представляет собой несколько усложнённый исходный процесс.
Предметная интерпретация асинхронного процесса
Сетью Петри называется пятёрка.
– конечное непустое количество условий;
– конечное непустое количество событий;
- функция инцидентности;
- функция инцидентности;
- начальная разметка.
P
= {
p
1
,
p
2
,
p
3
,
p
4
,
p
5
,
p
6
,
p
7
,
p
8
}
- в лоток вставлен диск;
– диск не является чистым;
- диск с аудиоинформацией;
- работает ЦАП;
- происходит считывание данных;
- происходит запись данных;
- включен аналоговый интерфейс;
- канал DMA в работе.
T
= {
t
1
,
t
2
,
t
3
,
t
4
,
t
5
,
t
6
,
t
7
}
– переход к считыванию данных;
– переход к считыванию аудиоинформации;
– переход к получению данных через канал DMA;
– переход к состоянию перевода цифровых данных в аналоговые;
– переход к состоянию вывода данных в канал DMA;
– переход к записи данных на диск;
– переход к выводу информации в аналоговый интерфейс.
F
F
F
F
F
F
F
F
F
F
|
H
H
H
H
H
H
H
H
H
H
H
H
|
M0
= {2,0,0,0,0,0,0,0}
Граф разметок:
Замечание: одна или две фишки в данном графе соответствуют единице в ситуациях исходного процесса.
Свойства сети Петри:
1) Ограниченность сети.
Места p
1
,
p
2
,
p
3
,
p
4
,
p
5
,
p
6
,
p
7
,
p
8
являются ограниченными (существует число достижимой в сети разметки M справедливо ) вся сеть является ограниченной;
2) Безопасность сети.
Места p
1
,
p
2
,
p
8
не являются безопасными (для этих мест не выполняется условие ) вся сеть не является безопасной;
3) Живость сети.
При переходы t
1
,
t
2
,
t
3
,
t
4
,
t
5
,
t
6
,
t
7
являются потенциально живыми в сети, но эти же переходы не являются живыми при любой достижимой в сети разметкесеть не является живой;
4) Устойчивость сети.
Сеть не является устойчивой, так как существуют переходы, которые, сработав, могут лишить другой переход этой возможности: переходы , и t
3
взаимно блокируются;
Вывод.
1) Система выполняет те функции, для которых она предназначена;
2) Данная система функционирует эффективно;
3) В исходном АП ошибки и аварийные ситуации возникнуть не могут;
4) Систему упростить нельзя, т. к. она уже является достаточно упрощённой.
На основе построенной модели была создана сеть Петри для заданного процесса. В качестве ситуаций были взяты компоненты исходного процесса. Между ситуациями были расставлены переходы, а также установлена начальная разметка. После был построен граф разметок, который полностью совпал с исходным графом процесса, что свидетельствует о правильности построения и функционирования сети Петри.
Заключение
|
|
В данной работе были рассмотрены процессы и ситуации происходящие при чтении / записи с CD– устройств. Процесс представлен в очень упрощенном виде. Было установлено, что АП, построенный на основе данного вычислительного процесса, является эффективным, не является управляемым и не является простым.В результате проведения операции репозиции над процессом получили новый процесс, в котором считывание аудиоинформации может происходить требуемое число раз. В результате проведения операции редукции были выделены ветви, которые соответствуют чтению и записи на диск. Т.о. был выделен более простой подпроцесс. Вследствие последовательной композиции исходного и вспомогательного процесса получили новый несколько усложненный процесс. Описаны составляющие модели «асинхронный процесс», используя понятия модели «сеть Петри». Проведён анализ свойств мест сети Петри на ограниченность и безопасность: сеть ограниченная и не безопасная. Проведён анализ свойств переходов сети Петри на живость и устойчивость: сеть не является потенциально живой, и не является устойчивой.
Можно утверждать, что система функционирует эффективно и выполняет те функции, для которых она предназначена.