Корректность параллельных вычислительных процессов
Автор:Ачасова С.М., Бандман О.Л. Год: 1990 Издание:
[издательство не указано] Страниц: 256 ISBN: 5020293342 В монографии систематизировано излагаются теория и методы обеспечения корректности параллельных вычислений с точки зрения архитектурного проектирования. Понятие корректности раскрывается через поведенческие свойства вычислительных процессов (детерминированность, однозначность, завершаемость, беступиковость и др.). Условия корректности формулируются на языках параллельного микропрограммирования и параллельных граф-схем алгоритмов. Изучается корректность при синхронных и асинхронных интерпретациях. В качестве абстрактных моделей используются сети Петри и графы вычислений. Проверка условий корректности сводится к анализу поведенческих свойств сетей Петри. Большое внимание уделено методам анализа общих сетей Петри и сетей Петри, моделирующих параллельные граф-схемы алгоритмов. Приведены оригинальные результаты авторов по теории и проектированию архитектуры вычислительных устройств параллельного типа. Издание предназначено для специалистов по вычислительной технике.