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