Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

продолженияхдетализацииоперации, еслие проработкаещенезакончена, либо задаетконкретноевремявыполнения, если, дальнейшаядетализациянепредпола гается. Расчетвременныххарактеристикначинаетсяссамоговерхнегоуровня иерархии. Приэтомвременныепараметрыкаждойоперации, которойсоответству еталгоритмнижнегоуровня, определяютсянаосновеанализаэтогоалгоритма. Такимобразом, пользовательопределяетвременавыполнениятолькодля простыхопераций. Еслиполученныеоценкинеудовлетворяютзаданнымтребовани ям, топроизводитсялибодальнейшаядетализациядляуточненияхарактеристик, либоизменениеалгоритмадляулучшениявременныхпараметров. Вероятностныйхарактероценоксвязанстем, чтодлякаждойусловной операциипользовательзадаетвероятностьвыбораветвей. Считается, чтоверо ятностьвыборапользовательопределяетсамостоятельнонаосновепредполага емойструктурывходныхданных. Получениепрактическизначимыхрезультатовприанализехарактеристик параллельныхвычислительныхпроцессовнеразрывносвязаносучетомисполни тельныхресурсов. Еслипроектируетсясложнаявычислительнаясистема, тов качествересурсовможетвыступатькомплекспрограммно-аппаратногообеспече ния. Врамкахподхода, связанногосиерархическимисимвольнымисетями,появ ляетсявозможностьрассматриватькаждыйнижнийуровеньиерархиикакресурс дляверхнегоуроьня. Этоприводиткдвумважнейшимрезультатам: соднойсто роны, появляется возможностьпроектироватьсистемуресурсовсприменением принципапоследовательнойиерархическойдетализации, сдругойстороны, отпа даетнеобходимостьявноразделятьпрограммныеиаппаратныересурсы. Вкачест векомментариякпоследнемуаспектуможнозаметить, чторазделениевычисли тельнойсредынапрограммнуюиаппаратнуючастинеявляетсязакономерным, таккакдляисполненияпрограммтребуютсянетолькоаппаратные, ноисистем ныепрограммныересурсы, которыемогутСытьразделяемымии, следовательно, приводитькблокировкам, ожиданиямит.п. Дляработыаппаратныхисполнителей требуетсяиспользованиепрограммныхресурсов, впростейшем.случае- микро программ. Еслижерассматриватьсложнуюсистему, товнейвозможноещеболее длительноеподчиненноечередованиепрограммногоиаппаратногообеспечения. Поэтомувформальноймоделицелесообразновыбратьединыйаппаратдляпредс тавленияразличныхвидовресурсов. Сдругойстороны, необходимопредоставить пользователювозможностьоперироватьнакаждомуровнедетализациитемипоня тиями, которыехарактерныдляпредметнойобластилибопрограммирования, либо аппаратуры. Дляпостроениясистемытестов, ориентированныхкатестированиеуправля ющейчастиалгоритма, можетбытьпримененrpajt достижимостисетиПетри, мо делирующейалгоритм. Такимитестамидляпоследовательныхпрограммявляются, например, тесты, обеспечивающиепрохождение,всехпутей, ветвей, операторов. Параллельныйалгоритмможетнепозволитьпостроитьнабортестоввсоответс твиисоднимизперечисленныхкритериевнаосновестатическогоописанияал горитма(графсетиПетри, граф-схема). Приемлемымаппаратомявляетсятакой, которыйотражаетвозможныесостоянияалгоритмаипереходымеждуними, т.е, динамикувыполнения. Дляалгоритма, заданногосетьюПетри, таким аппаратом являетсяграфдостижимыхмаркировок. Наосновеграфадостижимостимогутбыть выработанытребованиякисходнымданным, которыеобеспечаттестированиепо заданномукритерию(всехпутей, ветвей, операций). Важно, чтосетьПетри являетсяуниверсальныминструментомпредставленияалгоритма, независимоот выбранноймоделивычислений(синхронные, потоковые, параллелъно-последова- тблыше, редукционныевычисления). Есливкачествеисходноймоделиалгоритма 31