Читать онлайн «Системная информатика. Проблемы теории и методологии создания параллельных и распределенных систем. Вып. 7»

СИСТЕМНАЯ ИНФОРМАТИКА 7 ПРОБЛЕМЫ ТЕОРИИ И МЕТОДОЛОГИИ СОЗДАНИЯ ПАРАЛЛЕЛЬНЫХ И РАСПРЕДЕЛЕННЫХ СИСТЕМ СБОРНИК НАУЧНЫХ ТРУДОВ Под редакцией доктора физико-математических наук, профессора И. В. Поттосина ПРЕДИСЛОВИЕ Седьмой выпуск серии "Системная информатика" продолжает публикацию обзорных и фундаментальных статей отечественных и зарубежных авторов. Большая часть выпуска посвящена проблемам параллельного и распределенного программирования. Первая статья, принадлежащая Л. Чайя (Институт информатики Варшавского университета), излагает новый подход к построению математических моделей для описания параллельных систем. Этот подход альтернативен известным сетям Петри и, по-видимому, обладает рядом свойств, не пересекающихся со свойствами сетей Петри, что дает основания рассчитывать на его полезное применение при проектировании, моделировании и верификации параллельных систем. В статье определяется модель, названная причинно-следственной структурой, дается ее графическое и алгебраическое представление, приводятся примеры спецификации параллельных задач в терминах этой модели, исследуется ряд структурных свойств причинно-следственных структур, анализируется такое важное для параллельных систем свойство, как безопасность, и рассматривается связь между причинно-следственными структурами и языками процессов. В определенном смысле статья может рассматриваться как обзор основных результатов, связанных с данным формализмом. Работа А. В. Замулина (Институт систем информатики им. А. П. Ершова СО РАН, далее ИСИ СО РАН) посвящена перспективному подходу к спецификации динамических систем. Этот подход сочетает преимущества как многоосновных алгебраических спецификаций, широко используемых для спецификации статических систем и обладающих высоким уровнем абстракции, так и модели машин абстрактных состояний, отражающих динамические свойства систем, но не имеющих достаточно высокого уровня. Сочетание этих двух формализмов должно обеспечить естественность и достаточно высокий уровень спецификаций динамических систем. Конструкции, положенные в основу механизмов спецификации, приближены к понятиям современных языков программирования, что делает подход достаточно близким к "нормальному" программистскому мышлению. Статья В. А. Непомнящего, Н. В. Шилова и Е. В. Бодина (ИСИ СО РАН) подводит определенные итоги по разработке языка REAL, предназначенного для спецификации и верификации систем реального времени. В ней описываются как общие концепции языка REAL, так и некоторые его уровни. Содержатся примеры спецификаций на языке REAL и дается описание метода верификации свойств REAL-программ. Автоматическое распараллеливание последовательных программ является одним из основных (но не единственным) современных подходов к созданию программ для суперкомпьютеров. Извлечение скрытого параллелизма в первую очередь связано с анализом циклов и заключается в нахождении зависимостей между повторениями цикла. Статья В. А. Евстигнеева (ИСИ СО РАН) представляет собой обзор современного состояния этой проблемы.