МЕТОД ДИАГНОСТИРОВАНИЯ ПРОГРАММНО-АППАРАТНОЙ СРЕДЫ ДЛЯ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛЕНИЙ В МНОГОЯДЕРНЫХ ОДНОКРИСТАЛЬНЫХ СИСТЕМАХ ПРИ РЕШЕНИИ ЗАДАЧ В РЕАЛЬНОМ МАСШТАБЕ ВРЕМЕНИ, С ИСПОЛЬЗОВАНИЕМ АДАПТИВНЫХ ГРАФОВ СЕТИ ПЕТРИ
METHOD FOR DIAGNOSING PROGRAM-HARDWARE ENVIRONMENT FOR DISTRIBUTED COMPUTING IN MULTICORE SINGLE-CHIP SYSTEMS DURING REAL-TIME PROBLEM SOLVING USING ADAPTIVE PETRI NET GRAPHS

Настоящее изобретение относится к области вычислительных устройств и программных алгоритмов.
Из существующего уровня техники известен зарегистрированный патент: Системы и методы адаптивного управления связью. В изобретении содержится описание продуктов компьютерной программы, аппаратуры и методов для обработки цифровых сообщений. Установлено множество профилей, каждый профиль служит для обработки цифрового сигнала в конкретной области или наборе доменов. Запрос на процесс обработки представляет собой множество исходящих цифровых сообщений. Запросы обрабатываются, для каждого цифрового сообщения, обработка данных цифровых сообщений (i) определяется номером домена для цифрового сообщения, (ii) чтение профиля для назначения определяющей области для цифровых сообщений и (iii) на основании по меньшей мере одного набора параметров в профиле: (а) данное цифровое сообщение определяет область в соответствии с профилем, когда это допускается по крайней мере одним из параметров, установленных в профиле, или (б) цифровое сообщение не посылает сигнал для назначения области, если это требуется по меньшей мере одним набором параметров, записанным в профиль. Зарегистрировано изобретение 7 декабря 2010 года в United States Patent and Trademark Office. Недостатком данного технического решения является отсутствие обоснованной связи и выделенной взаимозависимости диагностируемых элементов.
Задачей, на решение которой направлено заявляемое изобретение, является комплексная диагностика программно-аппаратной среды управления информационными средствами для распределенных вычислений в многоядерных однокристальных системах.
Данная задача решается за счет того, что метод диагностирования многопроцессорных однокристальных систем основывается на иерархических связях. Для их организации выделяются структурные уровни, которые делятся на функциональные уровни. Разбиение на функциональные уровни отражает особенности и критичные состояния системы.
Для реализации модели предлагаемого метода диагностирования применяется математический аппарат, основанный на адаптивных сетях Петри.
Пусть N=(Р,Т,F,W) - сеть Петри, характеризующая информационную систему.
Р - множество позиций, определяющее множество элементов иерархических уровней;
Т - множество переходов, определяющее множество параметров элементов, через которые происходит связь между элементами иерархических уровней;
F - входная функция - воздействие диагностических процедур, необходимых для перевода состояния заданного элемента системы в работоспособное через его функциональные параметры;
W - выходная функция - показывает изменение состояния элемента системы при изменении определенных его параметров.
В данной схеме диагностический результат передается на более низкие уровни для принятия решения о проведении более детальной диагностики ИС.
События моделируются в сети Петри с помощью срабатываний переходов. Переход t∈Т называется активным при разметке сети М, если для любой позиции р∈*t выполняется М(р)>F(p,t).
Пусть некоторый переход t является активным в разметке М. Тогда переход t может сработать, и в результате его срабатывания получается состояние М', такое что М'(р)=М(р)-F(p,t) для всех р∈*t, М'(р)=М(р)+F(t,q) для q∈t* и М'(р)=М(р) для р(*tUt*). В этом случае тройка (М,t,М') называется шагом срабатывания в PN и обозначается M[t}M'. Если не важно, какой именно переход сработал, пишем М[}М'.
Для диагностирования ИС строится модель требуемой ИС на основе алгоритмов построения сети Петри, учитывающей взаимодействия элементов и параметров. Требования к управляющим воздействиям формулируются исходя из условий функциональности построенной модели.
Определяются диапазоны рабочих параметров, которые и формируют достижение заданного уровня работоспособности системы.
Строится модель, определяющая формальные зависимости элементов иерархических уровней от параметров.
Изобретение поясняется чертежами, которые не охватывают и тем более не ограничивают весь объем притязаний данного технического решения, а являются лишь иллюстрирующими материалами частного случая выполнения.
На фиг.1 - структурные разделы диагностики.
На фиг.2 - функциональные диагностические уровни.
На фиг.3 - структурная схема диагностики иерархического уровня.
j
i
На фиг.4 - изменение параметров t происходит при оказании управляющего воздействия на элементы Р.
i
j
На фиг.5 - изменения состояния элемента Р происходит при изменении параметра t.
На фиг.6 - вид модели, определяющей формальные зависимости элементов иерархических уровней от параметров.