Модели событийных недетерминированных автоматов представления алгоритмов управления взаимодействующими процессами в многопроцессорных вычислительных системах на основе использования механизма монитора

алгоритмы управления бескванторные уравнения верификация алгоритма взаимодействующие параллельные процессы взаимодействующие процессы вычислительные системы канонические уравнения кольцевые буферы механизмы монитора многопроцессорные вычислительные системы многопроцессорные системы мониторы недетерминированные автоматы обмен сообщениями параллельные процессы передача сообщений потребители производители производители-потребители рекуррентные канонические бескванторные уравнения рекуррентные уравнения событийные автоматы событийные недетерминированные автоматы частные события

К вопросу об адаптации структуры многомодульного источника питания индукционной установки, Операционная семантика функциональных блоков IEC 61499, ...

В. И. Волчихин, Н. П. Вашкевич, Р. А. Бикташев МОДЕЛИ СОБЫТИЙНЫХ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ ПРЕДСТАВЛЕНИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ ВЗАИМОДЕЙСТВУЮЩИМИ ПРОЦЕССАМИ В МНОГОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ МЕХАНИЗМА МОНИТОРА1 Аннотация. <...> Целью работы является создание методики формального описания алгоритма управления взаимодействующими параллельными процессами при обмене сообщениями между ними, выполняющимися с использованием механизма монитора, кольцевого буфера и типовой задачи «производителипотребители». <...> В основу работы положен метод событийных недетерминированных автоматов (СНДА), позволяющий представить алгоритм управления в простой и компактной форме в виде системы рекуррентных канонических бескванторных уравнений, описывающих все реализуемые в системе управления частные события. <...> Отличительная особенность метода СНДА заключается в том, что система уравнений, представляющая функции переходов в управляющем алгоритме, описывается не в терминах состояний детерминированных автоматов (ДА), а в терминах частных событий недетерминированных автоматов, одновременное существование которых и определяет состояние эквивалентного ему ДА. <...> Так как число частных событий недетерминированных автоматов значительно меньше числа состояний эквивалентных ему ДА, то описание управляющего алгоритма на языке СНДА будет отличаться значительной простотой. <...> Представленная методика формального описания частных событий алгоритма управления передачей сообщений в распределенных и многопроцессорных системах на языке СНДА обеспечивает реализацию основных свойств, которыми должны обладать системы управления: отсутствие тупиковых ситуаций (бесконфликтность) и справедливость (отсутствие бесконечного ожидания и нахождения в мониторе процессов, обращающих к общему ресурсу). <...> Аналитическое представление алгоритма управления взаимодействующими параллельными процессами <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт