Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей

• Автор: Сарайкин, Андрей Витальевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 163 с.

ВВЕДЕНИЕ
СОДЕРЖАНИЕ
ГЛАВА I ПРОБЛЕМЫ ОБЕСПЕЧЕНИЯ КОРРЕКТНОСТИ ПРВ. Требования к формальным моделям параллелизма. Структурные модели. Логические модели. Цель и задачи исследования. Основные выводы по главе. Правила функционирования РБсетей. Живость. Метод обнаружения локальных тупиков БРинварианты. Матричное определение базовой РБсети. Правила функционирования базовой РБсети в матричном
2. Матричные уравнения для базовой РЯсста. Структурное и ресурсное уравнения ВРЯсети. Основные выводы по главе. ГЛАВА 3 АЛГОРИТМЫ ПРЕОБРАЗОВАНИЙ РЯ И ВРЯСЕТЕЙ. Преобразования над РЯсетями. ПРПО. Способ масштабирования модельного времени. Программные средства анализа РЯсетей. Постановка задачи . Постановка задачи. РБГИ. С учетом блокировки записи. Обоснование достоверности аналитических зависимостей для верхней границы времени выполнения,. ФМП и рассматриваются наиболее известные из них как с точки зрения описательных, так и с точки зрения аналитических возможностей. Все это позволяет сформулировать цель и задачи исследований в диссертационной работе.


Лсиихропность понятие, определяющее способ распределения вычислительного процесса во времени, при котором каждый следующий момент времени наступает тогда, когда происходит изменение глобального состояния. При этом все процессы изначально считаются независимыми и параллельно исполняемыми. Время, необходимое для выполнения каждой операции, считается неопределенным и может принимать любое значение, кроме бесконечности. Выполнение операции отмечается двумя событиями начало операции и конец операции. Для каждой операции событие начало операции может произойти только при таком глобальном состоянии, при котором удовлетворяются условия ее готовности. В один и тот же момент времени происходит только одно событие. Событийное управление. Условия готовности формулируются как логические функции от некот орых событий. Потоковое управлешю осуществляется потоком данных, процесс активизируется в тот момент, когда подготовлены все его входные данные. Динамическое управление. Условиями готовности являются логические выражения над той же памятью, над которой определены процессы. Представительной формальной моделью с асинхронным принципом управления являются сети Петри СП , которые позволяют удобно и наглядно описывать семагтику событийного и потокового асинхронного управления. Все операции, у которых при данном глобатьном состоянии условия готовности выполнены, применяются одновременно. Время, необходимое для выполнения любой операции равно условному такту, поэтому выполнение всех применимых при данном глобальном состоянии операций отмечается одним событием.