В.Д. Корнеев - Параллельное программирование в MPI (1162616), страница 25
Текст из файла (страница 25)
Если связь регистрируется для отмены, то запрос завершения этой связи гарантирует возврат, независимо от действий других процессов. В этом случае, МР1 НА1Т ведет себя как локальная функция. Точно так же, если МР1 ТЕЯТ неоднократно вызывается в цикле активного ожидания для отмененной связи, то МР1 ТЕЯТ в конечном счете преуспеет. НР1 ТЕЯТ САМСНЛ.ЕО(впаппв, 11ац) 1Н впаФлв статус объекта ООТ т1аЕ равен сгпе, если связь отменена, иначе Ха1ве 1пп МР1 Тевп сапсе11еб(МР1 Япаспв »всаппв, Тпс «11аи) НР1 ТЕЯТ САМСЕЕЬЕО(ЯТАТНЯ, ГЕАС, 1ЕКНСН) 1ООТСА(.
Р1АС 1МТЕСЕН ЯТАТОЯ(МР1 ЯТАТНЯ ЯПЕ), 1ЕНЮН МР1 ТЕЯТ САНСЕ(.1ЕО используется, чтобы проверить, было ли действие связи фактически отменено МР1 САМСЕЕ, Она возвращает 11ак = сгпе, если связь, связанная со всаслв'ом объекта, была отменена успешно. В этом случае все другие поля впаппв'а неопределены. Иначе она возвращает 11аЕ = 1а1ве. Пример 5.21. Использование МР1 САМСЕЕ. ХР1 Солон гапк(соппп, йгап)г); 11(гапй == 0) МР1 Яепб(а, 1, МР1 СНАМ, 1, Пая, соппп); е1ве гХ(гапк = = 1) ( МР1 1гесч(а, 1, МР1 СНАМ, О, саЕ, союю, йгее)); МР1 Сапсе1(йгес(); МР1 Ыайп(йгее), йвсаспз); МР1 Тевп сапсе11ес((йвсаппв, й11аЕ); 11(«1аЕ) /» отмена достигла пели — нужно вызвать новый прием «/ мР1 неси(а, 1, мР1 снАН, О, пае, сопля, йвпаспв); МР1 САМСЕŠ— дорогая операция, которая должна использоваться только в исключительных случаях.
Действие связи не может быть отменено, если только в буфер приема была частичная |анись. В этом случае связь нужно закончить. Вообще, связи можно заканчивать, если |ередача и прием уже были согласованы. 1.10. Устойчивые запросы связи 1асто связь с тем же самым списком параметров неоднократно выполняется во внутреннем цикле параллельного вычисления. В таком случае возможно оптимизировать связь, посылая :лисок аргументов к устойчивому запросу связи один раз и затем неоднократно используя 5. Роьлапо-Роьпь' вэаилоььевсльвпя ьапрос, чтобы начать и закончить сообщение.
Устойчивый запрос можно представлять ги коммуникационный порт или мйа)1-с)ьаппе!". Он не обеспечивает полные функционпльннь возможности типового канала до тех пор, пока не имеется никакого закрепления посн. лающего канала к получающему, Эта конструкция допускает сокращение связей мепш! процессом и регулятором связи, но не связей между одним регулятором связи и другим. Нет необходимости, чтобы сообщения, посланные устойчивым запросом, были полученп получающей операцией, используя устойчивый запрос, или напротив. Устойчивые запрося =вязи связаны с неблокнрованными посылающими и получающими операциями.
Устойчивый запрос связи создан, используя следующие функции. Они не инициируют :вязь и таким образом имеют локальную семантику завершения. ьпс МР1 Бенд„ппгс(чопд*ь ЬиХ, ппс соипс, МР1 Расасуре дасасуре, ппс денс, ппС саЕ, МР1 Сошш сошш, МР1 Кеь)иенс егеп!иенс) ььр1 БЕМО 1М1Т(ВОР, СОРМТ, РАТАТУРЕ, ОЕБТ, ТАО, СОММ, ВЕЦРЕЯТ, 1ЕИЮК) ссуре> ВРР(*) 1МТЕОЕК КЕЦОЕБТ, СООМТ, РАТАТУРЕ, РЕЯТ, ТАО, СОММ, ВЕЦОЕЯТ, 1ЕКВОВ МР1 ЯЕМР 1М1Т создает устойчивую связь для стандартного режима обмена, не блокируа юсылаюшую операцию и связывая с ней все аргументы посылающей операции.
ьпС МР1 йесч гпзс(чопдп Ьи1, ппс соипС. МР1 РаСаСуре даСаСуре, ппС воигсе, плс саЕ, МР1 Сошш сошш, МР1 Век(иенс ь геь!иенс) 4Р1 ВЕСУ 1М1Т(ВОР, СОРМТ, РАТАТУРЕ, БОВКСЕ, ТАС, СОММ, ВЕЦРЕБТ,1ЕВЮК) псуре> ВОР(е) (МТЕОЕВ СООМТ, РАТАТУРЕ, БРУКСЕ, ТАО, СОИМ, КЕЦОЕЯТ, 1ЕВЮК МР1 НЕСУ 1М1Т создает устойчивую связь для неблокированной получающей операции. йргумент Ьи1 регистрируется как ООТ, потому что прикладная программа дает разрешени ьисать в буфер приема. Устойчивые запросы связи создаются описанными функциями, но пока бездействующие Эни активизируются и начинают действия связи по запросу к функциям МР1 ЯТАКТ нли !Р1 ЯТАВТА1Л.. 1Р1 ВТАБ(гек(иенс) ~МООТ геь!иенс заголовок сообшения ИР1 БЕМО 1М1Т(ЬиХ, 1М ЬиХ 1М соипс 1М дасасуре 1М денс 1М саЕ 1М сошш ЖТ геь!иенс 1Р1 ВЕСУ 1М1Т(ЬиХ, )РТ ЬиХ 1М соим 1М дасасуре 1М воигсе (М саЕ 1М с окпп )ОТ геь!иенс соипс, дасасуре, дезе, сай, соппп, геь!иенс) адрес посылаемого буфера количество посылаемых элементов тип посылаемых элементов ранг (номер) приемника тег сообшения коммуникатор (сошшиппсасог) заголовок сообшения соипс, дасасуре, воигсе, саЕ, соппп, геь!иенс) адрес посылаемого буфера максимальное количество принимаемых элементов тип принимаемых элементов ранг (номер) передавшего пропесса тег сообшения комнуникатар (сошшиппсасог) заголовок сообшения 5.10.
Устпойчивые запросы связи 91 ?пс МР1 Ягагс(МР? Вее?певг вгес?певг) ИР? БТАВТ(ВЕЦОЕБТ, 1ЕВВОВ) ?МТЕОЕВ ВЕО??ЕБТ, ?ЕВВОВ МР1 ЯТАВТ включает запрос и начинает созданную связь. Так как все устойчивые запросы связаны с неблокированными операциями, то МР1.ЯТАВТ имеет локальную семантику завершения. Семантика связи, выполненной с устойчивыми запросами, идентична соответствуюшим операциям без устойчивых запросов. То есть запрос к МР1 ЯТАВТ после запроса, созданного МР1 БЕМО 1М1Т, начинает связь тем же самым способом, как и запрос к МР1 1ЯЕМЭ; запрос к МР1.ЯТАВТ после запроса, созданного МР1 ВЕСЧ 1М1Т, начинает связь тем же самым способом, как и запрос к МР1 ?ВЕСЧ.
Посылающая операция, начатая МР1 БТАВТ, может быть согласована с любой получаюшей операцией (включая МР1 РВОВЕ), н получающая операция, начатая МР1 ЯТАВТ, может получать сообшения, сгенерированные любой посылающей операцией. 'ИР? БТАВТА?,?.(соппс, аггау о1 тес)иевсв) ?И сопли длина списка ?МОСТ аггау оХ гее?цен~в пассив заголовков сообшений ?пс МР? Бсагса?1(зпг сопли, МР1 Вес?пенс ваггау оХ тес?пенсе) 'вР? БТАВТАЕЕ(СООМТ, АККАДА ОР ВЕЦЧЕБТЯ, 1ЕВКОВ) ?аТЕОЕВ СО??МТ, АККАДА ОР ВЕООЕБТЯ(в), 1ЕВВОВ МР1 ЯТАВТАЕЕ начинает все связи, созданные устойчивыми запросами с заголовками, стовшими в массиве аггау о1 тес?пенсе.
Запрос к МР?.ЯТАВТА?.?.(сопли, аггау оХ тес?ценив) имеет тот же самый эффект, что и запрос к МР1 БТАВТ(аггау оХ тес?певсв Ы ), выполненный для 1=0,..., соцпг-1 в некотором произвольном порядке. Связь, начатая запросом к МР1 БТАКТ или МР1 ЯТАВТА?.?., заканчивается запросами к 1Р? ЫА?Т, МР1 ТЕБТ или оцной из других функций завершения, описанных в п. 5.8. Устойчивый запрос становится бездействующим после завершения такого запроса, но он не освоюждается и может быть восстановлен другим МР1 ЯТАКТ или МР1 БТАВТА?.?.. Устойчивые запросы явно освобождаются запросом к МР?КЕООЕБТ ШВЕЕ (п.
5.7.5). Затрос к МР1 ВЕООЕЯТ РВЕЕ может встречаться в любой точке в программе после того, как устойчивый запрос был создан. Однако запрос будет освобожден только после того, как он :тановится бездействующим. Активно получающие запросы не должны быть освобождены. йначе не будет возможности проверить, что получаюший закончил, Предпочтительно осво?одить запросы, когда они бездействуюшие. Если это правило выполняется, то функции, >писанные в этом пункте, будут вызываться в последовательности формы Сгеапе(ЯпагсСоир?есе) * атее, де * указывает нуль или большее количество повторений. Если тот же самый запрос :вязи используется в параллельно выполняющихся подпроцессах, то это ответственность юльзователя. МР1 САМСЕЕ может использоваться, чтобы отменить связь, которая исполь~ует устойчивый запрос таким же образом, как для неустойчивых запросов, Успешный ,алрос к этой функции отменяет активную связь, но не освобождает запрос.
После запро:а к МР1 САМСЕЕ и последующему запросу к МР1 МА?Т или МР1 ТЕЯТ (или другой функции авершения), запрос становится бездействующим и может быть активизирован для новой :вязи. Использование рассмотренных функций приведено в примере в п. 9.3.6. о. РотЬФо-Рот1 озаи иодеяотпвия $.11. Функции завершения связи с недействительными заголовками объектов Эбычно недействительный заголовок объекта МР1 — это не имеющий силу аргумент для запроса, который ожидает объект." Есть одно исключение из этого правила: функции завершения могут иметь аргументы со значением заголовков объектов, равных МР1ЕЕЦОЕЯТЗБЬЬ. Запрос функпии завершения с таким аргументом — "по-ор": недействительные заголовки игнорируются. То же самое правило применяется к действительным заголовкам, которые не связаны с активным действием связи. Здесь используется следующая терминология.
Недействительный заголовок запроса— заголовок со значением МР1ЕЕЦУЕБТ МОЬЬ, Заголовок к устойчивому запросу не активен, 'ели запрос в текущее время не связан с действующей связью. Заголовок активен, если он не является ни недействительным, ни бездействующим. Пустое состояние — это состояние зсасцз, которое имеет сая = МР1 АМУ ТАО, зоцгзе = МР1 АМУ БОУЛСЕ и внутренне конфигурировано так, чтобы запросы к МР1 ОЕТ СОУМТ и МР1 ОЕТ ЕЬЕМЕМТ возвратили соцпС = О. Запрос к МР1 МАТТ с недействительным или безлействуюшнм аргументом геццезс возвращается немедленно с пустым зСаспз'ом.
Запрос к МР1 ТЕЯТ с недействительным или бездействующим аргументом геоцезс зозврашается немедленно с 11аЕ = сгце и пустым зСасцз'ом. Список запросов к МР1 МА1ТАМУ может содержать недействительные или бездействуюцие запросы. Если некоторые из запросов активны, то он возвращается, когда активный ~алрос закончил. Если все запросы в списке недействительны или бездействующие, тогда ~алрос возвращается немедленно, с Тпоех = МР1 УМОЕР1МЕО и пустым зсаСцз'ом.
Список запросов к МР1 ТЕЯТАМУ может содержать недействительные или бездействуюцие запросы. Запрос возвращает 11аЕ = 1а1зе, если имеются активные запросы в списке я ни один не закончил. Он возвращает 11ап = Сгпе, если активный запрос закончил иля .сли все запросы в списке недействительны или бездействующие. В последнем случае он юзвращает Тппех = МР1 УМОЕР1МЕО и пустой зСаСцз. Список запросов к МР1 ЫА1ТАЬЬ может содержать недействительные или бездействуюцие запросы. Запрос возвращается, как только все активные запросы закончили.
Запрос гсвобождает каждое состояние, связанное с недействительным или бездействующим запро:ом. Список запросов к МР1 ТЕЯТАЬЬ может содержать недействительные или бездействуюцие запросы. Запрос возвращает ~1аб = сгце, если все активные запросы закончили. В ~том случае освобождается каждое состояние, связанное с недействительным илн бездей:твуюшим запросом. Иначе запрос возвращает 11ац = 1а1зе. Список запросов к МР1 ЧА1ТБОМЕ может содержать недействительные или бездействуюцие запросы.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
