|
С:=С+1 занять В; С:=С-1; Реализация блокировки в терминах метода ДМВП: Модель 1уровня 4 9 ОА, * О О о o a n Рис. 2.6. Где А очередь; ОА], ..., OAn условные обслуживающие аппараты. Эта модель обеспечивает реализацию условия блокировки. При такой формализации необходимо для каждого обслуживающего аппарата задать время обслуживания заявок. Это время будет равно длительности процесса в блоке В или, что то же самое, времени пребывания инициатора в блоке В. Поскольку все процессы, условно представленные как OAi OAn, реализуются в блоке В, то потоковая схема будет иметь следующий вид: Вложенная модель 2 уровня Рис. 2.7. |
0 A , ОАм условн ы е об служ и ваю щ и е ап параты . Э та м о д ел ь о б есп ечи вает р еали зац и ю услови я блоки ровки . П ри так о й ф о р м ал и зац и и н ео бх о д и м о для каж д о го о б служ и ваю щ его аппарата зад ать вр ем я о б служ и ван и я заявок. Э то врем я б уд ет равно длительности п р о ц есса в блоке В или, что то ж е сам ое, врем ен и пребы вани я инициатора в б л о к е В. П оскольку в се п р о ц ессы , у словн о п р ед ставл ен н ы е как ОА) О А ^, р еал и зу ю тся в блоке В , то п отоковая сх ем а б у д ет им еть следую щ ий вид: 117 Р ис. 3.5. В л о ж ен н ая м о д ел ь 2 уровн я З д есь заявки , поступ аю щ и е н а О А ь о б р азу ю т п о то к Xi, и т.д ., заявки на OAn, о б р азу ю т п о то к /.nЭ то т п р и м ер и лл ю стр и р у ет идею п о стр о ен и я вл о ж ен н ы х м од елей . С точки зр ен и я п р ед л о ж ен н о й в д и ссер тац и и ко н ц еп ц и и оп и сан и я ОА, представляю т со б о й о б об щ ен н ы е о п ераторы , и вр ем я п р еб ы ван и я во влож енном у р о вн е (дли тельн ость п р о ц есса в В) равн а вр ем ен и п р еб ы ван и я в O A j (вр ем я обслуж и ван и я). В о п и сан н о м п ри м ере часто во зн и кает естествен н о е огран и чен и е: новая заявка о т О А ; не м о ж ет поступ ить в блок В д о тех пор, пока п реды дущ ая заявка из О А , не п о к и н ет его. Э то со о тветству ет у твер ж д ен и ю о то м , что пока не зав ер ш и тся п роц есс от i-ro и н и ц и атора, не м о ж ет возни кнуть (i+ 1) процесс. Т ак и м о б р азо м , возн и кает т ак н азы ваем о е условие единичности |