Вестник Кольского научного центра РАН. 2016, №3.

А. Я. Фридман всех его входных ресурсов по условию: время вычисления их текущих значений должно быть не меньше t0. Если это условие нарушено хотя бы для одного из входных ресурсов данного процесса, он помечается как отложенный. Когда процесс поднимается в первую строку списка активизируемых процессов, то, если он отложен, проверяется готовность всех процессов, входящих во множество порождающих его процессов: время их будущей активизации должно быть не меньше t0. Если это условие выполнено, то процесс переводится в состояние «активен», в противном случае он переходит в состояние «блокирован», что интерпретируется как сигнал неисправности, поскольку при правильной расстановке приоритетов и корректности КМПО этого быть не должно. Теперь изложим алгоритм расстановки приоритетов. Расстановка приоритетов процессов имитируемого фрагмента Как отмечено ранее, перед исследованием фрагмента модели в динамическом режиме необходимо определить порядок вызовов исполнителей процессов, участвующих в реализации этого фрагмента, т. е. внести в их фреймы приоритеты л;, которые используются при определении порядка обслуживания одновременно активизируемых процессов ИмМ ССМ. Для этого применяется алгоритм, описанный в [5]. Идея алгоритма расстановки приоритетов я, процессов p t некоторого фрагмента модели ССМ состоит в присвоении старших приоритетов процессам более низких уровней декомпозиции (согласно принципу приоритета действий [8] процессы более высоких уровней получают информацию с нарастающим запаздыванием). В пределах уровня старший приоритет получают процессы, потребляющие только внешние (по отношению к изучаемому фрагменту) ресурсы, а процессы, потребляющие выходные ресурсы некоторого процесса, получают меньший приоритет, чем этот процесс. Если между несколькими процессами имеет место цикл по ресурсам, то старший приоритет получает процесс с большим шагом дискретности по времени. При работе алгоритма используются результаты разметки циклов, выполняемые при ВЕСТНИК Кольского научного центра РАН 3/2016(26) 135