АВТОМАТНОЕ ПРЕДСТАВЛЕНИЕ АЛГОРИТМОВ УПРАВЛЕНИЯ ПАРАЛЛЕЛЬНЫМИ ПРОЦЕССАМИ В ЗАДАЧЕ «ПИСАТЕЛИ – ЧИТАТЕЛИ» НА ОСНОВЕ КОНЦЕПЦИИ НЕДЕТЕРМИНИЗМА И МЕХАНИЗМА МОНИТОРА

Актуальность и цели. Объектом исследования являются системы управления процессами и ресурсами в параллельных системах обработки информации. Предметом исследования являются алгоритмы синхронизации параллельных процессов в задаче «писатели – читатели», основанные на механизме монитора. Цель работы – получение формальной модели алгоритма синхронизации с возможностью преобразования ее в модель функционального описания аппаратуры, например на языке VHDL, с дальнейшей реализацией на программируемых логических интегральных схемах Материалы и методы. Формализация алгоритма синхронизации параллельных процессов в задаче «писатели – читатели» выполнена с использованием метода, основанного на логике недетерминированных автоматов. Результаты. Получено формальное описание алгоритма управления синхронизацией процессами в задаче «писатели – читатели» на основе использования механизма монитора в виде стандартной системы канонических рекуррентных уравнений, реализующих все частные события в управляющем алгоритме. Оно будет использовано для создания средств аппаратной поддержки ряда функций многопроцессорных операционных систем, к которым относятся каналы межпроцессного обмена, очереди сообщений и др., что обеспечит уменьшение латентности и повышение пропускной способности средств коммуникаций, а также их надежность и живучесть за счет тщательной отладки оборудования. Выводы. Полученное формальное описание позволяет в дальнейшем просто решать задачи структурной реализации алгоритмов управления процессами и ресурсами и их верификации на моделях, представляющих основные характеристики свойств алгоритма, к числу которых обычно относятся безопасность и живость, справедливость, наличие взаимоисключения взаимодействующих процессов и др.

• Бикташев Р.А.
• Волчихин В.И.
• Вашкевич Н.П.

• Искусство. Декоративно-прикладное искусство. Фотография. Музыка. Игры. Спорт

• Технические науки. Промышленность
• Физико-математические науки