Н. П. Вашкевич, Р. А. Бикташев, Е. И. Гурин
АППАРАТНАЯ РЕАЛИЗАЦИЯ ФУНКЦИЙ СИНХРОНИЗАЦИИ
ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ ПРИ ОБРАЩЕНИИ
К РАЗДЕЛЯЕМОМУ РЕСУРСУ НА ОСНОВЕ ПЛИС
В статье рассматриваются вопросы формального представления алгоритмов
синхронизации взаимодействующих процессов, действующих в параллельных вычислительных системах, при их обращении к общему ресурсу. <...> Получены уравнения,
описывающие процедуры вхождения i-го процесса в критический интервал с учетом принятой дисциплины обеспечения приоритетности и взаимоисключения несовместных событий, а также выхода процесса из критического интервала, которые позволяют синтезировать устройство синхронизации. <...> Осуществлено моделирование устройства на 4 входа запросов к общему ресурсу на языке VHDL, а также
проведена его экспериментальная реализация на ПЛИС. <...> Особенно это относится к мультипроцессорным управляющим системам реального времени, когда возникают задачи управления параллельными взаимодействующими процессами при организации обращения к разделяемому ресурсу (разделяемым данным). <...> Для решения вопросов аппаратной реализации основных функций
управления параллельной обработкой информации необходим формальный
метод описания таких алгоритмов. <...> В этой связи одним из перспективных направлений использования для этих целей формальных методов является метод, базирующийся на логике недетерминированных конечных автоматов
(НДА), позволяющий описывать все реализуемые в алгоритме управления
события в стандартной форме в виде систем рекуррентных канонических
бескванторных уравнений (НД СКУ) [5]. <...> Формальное представление алгоритма управления в виде системы НД
СКУ позволяет достаточно просто построить в виде конечного автомата, реа3
Известия высших учебных заведений. <...> Поволжский регион
лизованного аппаратно, т.к. правые части уравнений НД СКУ представляют
собой функции возбуждения элементов памяти КА, если в качестве элементов памяти <...>