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