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