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

S₆ – вывод данных в канал DMA;

S₇ – получение данных из канала DMA;

S₈ – запись данных на диск.

Ситуация	Вектор
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={S_1, S_2, S_3, S_5, S₇ }.

R={S_4, S_6, S₈ }.

В качестве входной компоненты выберем 1, 2 и3 элементы векторов ситуаций.

S1 ’

Выделим входную компоненту X^* ={100,110}. Берём такие компоненты, так как именно этим входным компонентам соответствуют ситуации, имеющие непосредственное отношение к чтению / записи.

Тогда редукцией P(X*) будет являться:

S^* = {S_1, S_5, S_6, S_7, S₈ };

Для каждого инициатора процесса P построим множество ситуаций S_i I, S(S_i ), встречающихся на траекториях процесса P ведущих из указанного инициатора.

1: S₁ -S₂ -S₃ -S₄

2: S₁ -S₇ -S₈

3: S₁ -S₅ -S₆

4: S₂ -S₃ -S₄

5: S₇ -S₈

6: S₅ -S₆

Образуем множество S(X^* ), как объединение тех множеств S(S_i ), для которых справедливо S(S_i )S^* .

S(X^* )={S_1, S_5, S_6, S_7, S₈ };

;

;

R(X^* )={S_6, S₈ }.

Построим граф процесса редукции:

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

Рассмотрим два АП. Один из них исходный процесс , другой – вновь построенный :

В качестве дополнительного процесса построим вспомогательный процесс, управляющий лотком CD-ROM’а.

Компоненты процесса :

p ₁ ^’ – лоток закрыт;

p ₂ ^’ – диск в лотке.