Контрольная работа: Чтение и запись с CD-R-устройств

Граф процесса.

Свойства рассматриваемого процесса.

Классы эквивалентности:

Начальным классом эквивалентности является класс {S_1, S_2, S_5, S₇ }.

Конечными классами эквивалентности являются классы: {S₈ }, {S₄ }, {S₆ }.

Допустимые траектории:

Где: S₁ -S₇ -S₈ – запись информации на диск;

S₁ -S₂ -S₃ -S₄ – проигрывание аудио диска;

S₁ -S₅ -S₆ – чтение информации с диска.

1) АП является эффективным, т.к. из инициаторов все траектории ведут в результанты, и каждая из траекторий, приводящая к результантам, начинается в каком-либо инициаторе; в процессе нет циклов;

2) АП не является управляемым, так как траектории из инициаторов ведут в различные заключительные классы {S₈ }, {S₄ }, {S₆ };

3) АП не является простым, т.к. из инициатора существует переход к инициаторам не выполняется .

Операции над процессами

Репозицией асинхронного процесса P = (S, F, I, R) называется эффективный асинхронный процесс P’ = (S’, F’, I’, R’), такой что S’ ÍÍ (IÈRÈS^D ), I’ ÍR, R’ ÍI.

Репозиция – это возобновление процесса, его повторная активации. Практически все процессы в реальных технических и вычислительных системах имеют репозицию, в них имеет место эффект возобновляемости. В случае с процессом работы CD-ROMа репозиция будет выполняться при повторном считывании аудио информации (считывании нового трека).

Объединенный граф основного процесса и репозиции:

В результате проведения операции репозиции над процессом получили новый процесс, в котором считывание аудиоинформации может происходить требуемое число раз, что более приближено к реальным условиям.

Отношение задает траекторию перехода от элемента из множества I ’ к элементам множества R ’ . Т.к. I ’ R , R ’ I и F ’  0 , то репозиция является частичной.

Редукция позволяет выделить отдельные ветви процесса, что характерно при рассмотрении отдельных ситуаций. Таким образом, редукция может быть полезна для изучения отдельных элементов процесса.

Проведем редукцию нашего процесса так, чтобы в результате из процесса выделились ветви чтения и записи на диск.

Ситуации исходного процесса.

S₁ – в лоток вставлен диск;

S₂ – считывание аудио информации;

S₃ – перевод цифровых данных в аналоговые;

S₄ – вывод сигнала в аналоговый интерфейс;