Аппаратная реализация функций синхронизации параллельных процессов при обращении к разделяемому ресурсу на основе ПЛИС

вычислительные машины системы реального времени алгоритмы вычислительные системы бескванторные уравнения рекуррентные уравнения канонические уравнения параллельные процессы алгоритмы управления алгоритмы синхронизации интегральные схемы программируемые логические схемы ПЛИС критический интервал синхронизация

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

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

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