Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

лабы / Сети Петри / Документация / Сети Петри / Сети Петри / Основы параллельных вычислений_ Учеб_пособие_Часть 1

.htm
Скачиваний:
16
Добавлен:
16.04.2013
Размер:
12.94 Кб
Скачать

пУОПЧЩ РБТБММЕМШОЩИ ЧЩЮЙУМЕОЙК. хЮЕВ.РПУПВЙЕ.юБУФШ 1. уПДЕТЦБОЙЕ

рТЕДЩДХЭЙК ТБЪДЕМ ! | уМЕДХАЭЙК ТБЪДЕМ !

4.2. уЕФЙ рЕФТЙ уЕФЙ рЕФТЙ - ЬФП НБФЕНБФЙЮЕУЛБС НПДЕМШ, ЛПФПТБС ЙНЕЕФ ЫЙТПЛПЕ РТЙНЕОЕОЙЕ ДМС ПРЙУБОЙС РПЧЕДЕОЙС РБТБММЕМШОЩИ ХУФТПКУФЧ Й РТПГЕУУПЧ. ч ОБУФПСЭЕЕ ЧТЕНС ПРТЕДЕМЕОЩ Й ЙЪХЮЕОЩ ТБЪОППВТБЪОЩЕ ЛМБУУЩ УЕФЕК рЕФТЙ. нЩ ТБУУНПФТЙН УБНЩЕ ПВЭЙЕ РПОСФЙС Й ЧПЪНПЦОПУФЙ ЙУРПМШЪПЧБОЙС УЕФЕК рЕФТЙ ДМС ЪБДБОЙС РТСНПЗП ХРТБЧМЕОЙС Ч РБТБММЕМШОЩИ РТПЗТБННБИ.

4.2.1. пРТЕДЕМЕОЙЕ УЕФЙ рЕФТЙ пРТЕДЕМЕОЙЕ. уЕФШ рЕФТЙ ЕУФШ ДЧХДПМШОЩК ПТЙЕОФЙТПЧБООЩК ЗТБЖ. оБРПНОЙН, ЮФП ДЧХДПМШОЩК ЗТБЖ - ЬФП ФБЛПК ЗТБЖ, НОПЦЕУФЧП ЧЕТЫЙО ЛПФПТПЗП ТБЪВЙЧБЕФУС ОБ ДЧБ РПДНОПЦЕУФЧБ Й ОЕ УХЭЕУФЧХЕФ ДХЗЙ, УПЕДЙОСАЭЕК ДЧЕ ЧЕТЫЙОЩ ЙЪ ПДОПЗП РПДНОПЦЕУФЧБ. йФБЛ, УЕФШ рЕФТЙ - ЬФП ОБВПТ

N = (T,P,A), T Ç т = Ø,

ЗДЕ ф = {t1, t2, ..., tn} - РПДНОПЦЕУФЧП ЧЕТЫЙО, ОБЪЩЧБАЭЙИУС РЕТЕИПДБНЙ;

т = {p1, Т2, ..., pm} - РПДНОПЦЕУФЧП ЧЕТЫЙО, ОБЪЩЧБАЭЙИУС НЕУФБНЙ;

б Í (T×P) Ç (P×T) - НОПЦЕУФЧП ПТЙЕОФЙТПЧБООЩИ ДХЗ. рП ПРТЕДЕМЕОЙА, ДХЗБ УПЕДЙОСЕФ МЙВП НЕУФП У РЕТЕИПДПН, МЙВП РЕТЕИПД У НЕУФПН.

рТЙНЕТ 1

оБ ТЙУ. 4.3,Б РТЙЧЕДЕО РТЙНЕТ УЕФЙ рЕФТЙ Ч ЗТБЖЙЮЕУЛПН РТЕДУФБЧМЕОЙЙ. рЕТЕИПДЩ ПВПЪОБЮЕОЩ ЮЕТФПЮЛБНЙ, Б НЕУФБ - ПЛТХЦОПУФСНЙ. лБЦДЩК РЕТЕИПД t ЙНЕЕФ ОБВПТ ЧИПДОЩИ in{t} Й ОБВПТ ЧЩИПДОЩИ out{t} ДХЗ. уЕФЙ рЕФТЙ НПЗХФ РТЕДУФБЧМСФШУС ФБЛЦЕ Ч ЖПТНЕ РТПДХЛГЙПООЩИ РТБЧЙМ (ТЙУ. 4.3,В).

оБЙВПМЕЕ ЙОФЕТЕУОЩ УЕФЙ рЕФТЙ ФЕН, ЮФП ПОЙ РПЪЧПМСАФ РТЕДУФБЧМСФШ Й ЙЪХЮБФШ Ч ДЙОБНЙЛЕ РПЧЕДЕОЙЕ УЙУФЕНЩ РБТБММЕМШОЩИ РТПГЕУУПЧ Ч РТПЗТБННЕ ЙМЙ Ч МАВПН ДТХЗПН ДЙУЛТЕФОПН ХУФТПКУФЧЕ.

a                             В

тЙУ 4.3

4.2.2. тБЪНЕФЛБ УЕФЙ уЕФШ рЕФТЙ НПЦОП РПОЙНБФШ (ЙОФЕТРТЕФЙТПЧБФШ) РП-ТБЪОПНХ. нПЦОП РТЕДУФБЧЙФШ УЕВЕ, ЮФП НЕУФБ РТЕДУФБЧМСАФ ХУМПЧЙС (ВХЖЕТ РХУФ, ЖБКМ ЪБЛТЩФ Й Ф.Р.), Б РЕТЕИПДЩ - УПВЩФЙС (РПУЩМЛБ ЙМЙ РПМХЮЕОЙЕ УППВЭЕОЙС Ч ВХЖЕТ, ЪБРЙУШ Ч ЖБКМ).

уПУФПСОЙЕ УЕФЙ рЕФТЙ Ч ЛБЦДЩК ФЕЛХЭЙК НПНЕОФ ПРТЕДЕМСЕФУС УЙУФЕНПК ХУМПЧЙК. дМС ФПЗП ЮФПВЩ УФБМП ЧПЪНПЦОЩН Й ХДПВОЩН ЪБДБЧБФШ ХУМПЧЙЕ ФЙРБ "Ч ВХЖЕТЕ ОБИПДЙФУС 3 ЪБРЙУЙ", Ч НПДЕМШ УЕФЙ рЕФТЙ ДПВБЧМСАФУС ЖЙЫЛЙ. жЙЫЛЙ ЙЪПВТБЦБАФУС ФПЮЛБНЙ ЧОХФТЙ НЕУФБ. ч РТЙНЕОЕОЙЙ Л РТПЗТБННЙТПЧБОЙА НПЦОП РТЕДУФБЧМСФШ УЕВЕ РЕТЕИПДЩ ЛБЛ РТПГЕДХТЩ, Б НЕУФБ - ЛБЛ РЕТЕНЕООЩЕ ЙМЙ ВХЖЕТ.

жЙЫЛБ УЧЙДЕФЕМШУФЧХЕФ П ФПН, ЮФП РЕТЕНЕООБС/ВХЖЕТ ЙНЕЕФ ЪОБЮЕОЙЕ, Б ЕУМЙ НЕУФП ЙНЕЕФ, Л РТЙНЕТХ, 3 ЖЙЫЛЙ, ФП ЬФП НПЦЕФ ЙОФЕТРТЕФЙТПЧБФШУС ЛБЛ ОБМЙЮЙЕ ФТЕИ ТБЪОЩИ ЪОБЮЕОЙК Ч ВХЖЕТЕ. еУМЙ НЕУФП УПДЕТЦЙФ ЖЙЫЛХ, ФП НЕУФП НБТЛЙТПЧБОП Й УЕФШ ОБЪЩЧБЕФУС НБТЛЙТПЧБООПК. оБЮБМШОПЕ ТБУРТЕДЕМЕОЙЕ ЖЙЫЕЛ ЪБДБЕФ ОБЮБМШОХА НБТЛЙТПЧЛХ н0 УЕФЙ. нБТЛЙТПЧЛБ УЕФЙ ПРТЕДЕМСЕФ ЕЕ ФЕЛХЭЕЕ УПУФПСОЙЕ.

уЕФШ ОБ ТЙУ. 4.4 Ч ОБЮБМШОПН УПУФПСОЙЙ УПДЕТЦЙФ ПДОХ ЖЙЫЛХ Ч НЕУФЕ Т3. нБТЛЙТПЧЛБ ЖПТНБМШОП ЪБДБЕФУС ЖХОЛГЙЕК н: т → I, I = {0,1,2,..}, Б ЖХОЛГЙС н РТЕДУФБЧМСЕФУС ЧЕЛФПТПН, Ч ЛПФПТПН i-К ЛПНРПОЕОФ ЪБДБЕФ НБТЛЙТПЧЛХ НЕУФБ pi. оБРТЙНЕТ, ОБЮБМШОБС НБТЛЙТПЧЛБ УЕФЙ ОБ ТЙУ. 4.4 РТЕДУФБЧМСЕФУС ЧЕЛФПТПН н0 = {1,0,0}.

тЙУ 4.4

оБ ТЙУ. 4.4 РПЛБЪБОБ РПУМЕДПЧБФЕМШОПУФШ УПУФПСОЙК УЕФЙ рЕФТЙ Ч ИПДЕ УТБВБФЩЧБОЙС РЕТЕИПДПЧ. оБЮБМШОБС ТБЪНЕФЛБ н0 = (1,0,0) РПЛБЪБОБ ОБ ТЙУ. 4.4,Б. ч ЬФПН УПУФПСОЙЙ НПЦЕФ УТБВПФБФШ ФПМШЛП РЕТЕИПД t1. тБЪНЕФЛБ УЕФЙ M1 = (1,1,1) РПУМЕ УТБВБФЩЧБОЙС t1 РПЛБЪБОБ ОБ ТЙУ. 4.4,В. рПУМЕДОСС РПЪЧПМСЕФ ПДОПЧТЕНЕООП УТБВПФБФШ РЕТЕИПДБН t1 Й t2 , ТБЪНЕФЛБ н2 = (1,2,3) РПУМЕ ЙИ УТБВБФЩЧБОЙС РПЛБЪБОБ ОБ ТЙУ. 4.4,Ч.

уЕФШ РЕТЕИПДЙФ ЙЪ ПДОПЗП УПУФПСОЙС Ч ДТХЗПЕ (ПФ ПДОПК НБТЛЙТПЧЛЙ Л ДТХЗПК), ЛПЗДБ РТПЙУИПДЙФ УПВЩФЙЕ - УТБВБФЩЧБОЙЕ РЕТЕИПДБ. рЕТЕИПД НПЦЕФ УТБВПФБФШ, ЕУМЙ ЕУФШ ИПФС ВЩ ПДОБ ЖЙЫЛБ ЧП ЧУЕИ ЕЗП ЧИПДОЩИ НЕУФБИ (ТЙУ. 4.5)

тЙУ 4.5

уТБВБФЩЧБОЙЕ РЕТЕИПДБ УПУФПЙФ ЙЪ ФПЗП, ЮФП ЙЪ ЧУЕИ ЧИПДОЩИ НЕУФ ЪБВЙТБЕФУС РП ПДОПК ЖЙЫЛЕ Й ЧП ЧУЕ ЧЩИПДОЩЕ НЕУФБ ДПВБЧМСЕФУС РП ПДОПК ЖЙЫЛЕ. еУМЙ РТЕДУФБЧЙФШ УЕВЕ РЕТЕИПД ЛБЛ РТПГЕДХТХ, ФП ПОБ ЛПТТЕЛФОП ЧЩРПМОСЕФУС РТЙ ОБМЙЮЙЙ ЪОБЮЕОЙК ЧУЕИ УЧПЙИ БТЗХНЕОФПЧ Й ЧЩТБВБФЩЧБЕФ ЪОБЮЕОЙС ЧУЕИ ЧЩИПДОЩИ РЕТЕНЕООЩИ.

ч ДТХЗПК ЙОФЕТРТЕФБГЙЙ РЕТЕИПД НПЦЕФ РТЕДУФБЧМСФШ ОЕЛПФПТПЕ ХУФТПКУФЧП. хУФТПКУФЧП НПЦЕФ (ОП ОЕ ДПМЦОП) УТБВПФБФШ, ЕУМЙ ЧЩРПМОЙМЙУШ ЧУЕ ЧИПДОЩЕ ХУМПЧЙС. еУМЙ ОЕУЛПМШЛП РЕТЕИПДПЧ ЗПФПЧЩ УТБВПФБФШ, ФП УТБВБФЩЧБЕФ ПДЙО ЙЪ ОЙИ (МАВПК), ЙМЙ ОЕЛПФПТЩЕ ЙЪ ОЙИ, ЙМЙ ЧУЕ (ТЙУ. 4.6).

тЙУ 4.6

рТЙНЕТ 2

тБУУНПФТЙН РТЙНЕТ ЛПОЧЕКЕТБ. рХУФШ ЕУФШ ФТЙ ПВТБВБФЩЧБАЭЙИ ХУФТПКУФЧБ t0, t1, t2 ПТЗБОЙЪПЧБООЩЕ Ч ЧЙДЕ ЛПОЧЕКЕТБ. ьФП НПЗХФ ВЩФШ, ОБРТЙНЕТ, УФБОЛЙ ОБ ЪБЧПДЕ ЙМЙ ЖХОЛГЙПОБМШОЩЕ ХУФТПКУФЧБ ЛПОЧЕКЕТОПЗП РТПГЕУУПТБ Й ЧППВЭЕ МАВПК ЛПОЧЕКЕТ, Ч ЛПФПТПН ЛБЦДПЕ ПВТБВБФЩЧБАЭЕЕ ХУФТПКУФЧП ЧЩРПМОСЕФ МЙЫШ ЮБУФШ ПВЭЕК ТБВПФЩ, Б ТЕЪХМШФБФ ВХДЕФ ЧЩТБВПФБО МЙЫШ РПУМЕДОЙН ЙЪ ОЙИ.

пУПВЕООПУФША ОБЫЕЗП ЛПОЧЕКЕТБ СЧМСЕФУС ПЗТБОЙЮЕООПУФШ ЕНЛПУФЙ НЕУФ p1 Й Т2; НЕУФП p1 НПЦЕФ ЧНЕУФЙФШ МЙЫШ ДЧБ ТЕЪХМШФБФБ (НЕУФП p1 УЕФЙ СЧМСЕФУС 2-ПЗТБОЙЮЕОЩН) РТЕДЫЕУФЧХАЭЕЗП ЬФБРБ ТБВПФЩ ЛПОЧЕКЕТБ (ЧЩТБВБФЩЧБЕФУС РЕТЕИПДПН t0 ), Б НЕУФП p2 - 3-ПЗТБОЙЮЕООЩН. уЙНЧПМ n Ч НЕУФЕ Т0 ПЪОБЮБЕФ ОБМЙЮЙЕ n ЖЙЫЕЛ Ч ОЕН, n - ГЕМПЕ РПМПЦЙФЕМШОПК ЮЙУМП.

уЕФШ рЕФТЙ, ПВЕУРЕЮЙЧБАЭБС ОЕПВИПДЙНПЕ РТСНПЕ ХРТБЧМЕОЙЕ, РТЙЧЕДЕОБ ОБ ТЙУ. 4.7. рПОСФОП, ЮФП Ч НЕУФЕ p1 ОЕ НПЦЕФ ОБЛПРЙФШУС ВПМЕЕ 2 ЖЙЫЕЛ РТЙ МАВЩИ РПТСДЛБИ УТБВБФЩЧБОЙС РЕТЕИПДПЧ УЕФЙ. нЕУФБ p1 Й Т2 ЮБУФП ЕЭЕ ОБЪЩЧБАФ БУЙОИТПООЩНЙ ЛБОБМБНЙ, У ЙИ РПНПЭША ТЕБМЙЪХЕФУС РТПЗТБННЙТПЧБОЙЕ УТЕДУФЧБНЙ БУЙОИТПООПЗП message passing interface (УН. РПДТБЪДЕМ 4.3).

тЙУ 4.7

уЕФШ рЕФТЙ, Ч ЛПФПТПК ЧУЕ НЕУФБ 1-ПЗТБОЙЮЕОЩ, ОБЪЩЧБЕФУС ВЕЪПРБУОПК. фБЛПК УЕФША НПЦОП ЪБДБЧБФШ РТСНПЕ ХРТБЧМЕОЙС Ч РТПЗТБННБИ. вЕЪПРБУОБС УЕФШ ОЙЛПЗДБ, ОЕ ДПРХУФЙФ, ЮФПВЩ Ч РЕТЕНЕООХА ВЩМП РПМПЦЕОП ОПЧПЕ ЪОБЮЕОЙЕ, ЕУМЙ УФБТПЕ ЕЭЕ ОЕ ВЩМП ЙУРПМШЪПЧБОП РП ОБЪОБЮЕОЙА. оБТХЫЕОЙС ЬФПЗП РТБЧЙМБ ЮБУФП СЧМСАФУС РТЙЮЙОПК ПЫЙВПЛ Ч РБТБММЕМШОЩИ РТПЗТБННБИ.

рТЙ ЙУРПМШЪПЧБОЙЙ УЕФЕК рЕФТЙ Ч СЪЩЛБИ РТПЗТБННЙТПЧБОЙС УФБОДБТФОЩЕ ЧЩЮЙУМЕОЙС (ОБРТЙНЕТ, УЕФШ ХРТБЧМЕОЙС ЛПОЧЕКЕТОЩН ЙУРПМОЕОЙЕН РТПГЕДХТ) НПЦЕФ ВЩФШ ПРЙУБОБ ЛБЛ ХРТБЧМСАЭБС РТПГЕДХТБ, ОБРТЙНЕТ:

control procedure pipiline (t0, p4, t1, p5, t2);

<ПРЙУБОЙЕ УЕФЙ РТЙНЕТБ 1>;

фЕРЕТШ, РТЙ ОЕПВИПДЙНПУФЙ ЪБДБФШ Ч РТПЗТБННЕ ЛПОЧЕКЕТОПЕ ЧЩЮЙУМЕОЙЕ ОЕЛПФПТЩИ РТПГЕДХТ, ЙИ ЙНЕОБ РПДУФБЧМСАФУС Ч ПВТБЭЕОЙЕ Л ХРТБЧМСАЭЕК РТПГЕДХТЕ pipiline ЧНЕУФП ЖПТНБМШОЩИ РБТБНЕФТПЧ t0, t1, t2.

call pipiline (t0 = procl, p4 = 2, t1 = proc2, p5 = 3, t2 = proc3.)

оБМЙЮЙЕ ВЙВМЙПФЕЛЙ УФБОДБТФОЩИ ХРТБЧМСАЭЙИ РТПГЕДХТ УРПУПВОП ПВМЕЗЮЙФШ ПФМБДЛХ РБТБММЕМШОПК РТПЗТБННЩ.

уЕФШ РТЙНЕТБ 2 НПЦЕФ ВЩФШ ЙУРПМШЪПЧБОБ ФБЛЦЕ ДМС ХРТБЧМЕОЙС БУЙОИТПООЩН ЛБОБМПН РТЙ ПРЙУБОЙС Й ТЕБМЙЪБГЙЙ message passing interface Ч СЪЩЛБИ У БУЙОИТПООЩНЙ ЧЪБЙНПДЕКУФЧЙСНЙ.

рТЕДЩДХЭЙК ТБЪДЕМ ! | уМЕДХАЭЙК ТБЪДЕМ !

уПДЕТЦБОЙЕ

ї 2003 нБМЙОЙО ч.ч. - ТЕДБЛФПТ

ЬМЕЛФТПООПК ЧЕТУЙЙ

ї 2003 гйф уззб

чУЕ РТБЧБ ЪБЭЙЭЕОЩ.