автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Методы и средства структурного проектирования специализированных процессоров и контроллеров подсистем внешних запоминающих устройств прямого доступа

Введение

1. Принципы организации и методы проектирования контроллеров и специализированных процессоров подсистем ВЗУ ЦЦ

1.1. Структура подсистем ВЗУ ЦЦ и методы повышения её эффективности

1.2. Структурная реализация некоторых методов повышения эффективности подсистем ВЗУ ГЩ

1.3. Особенности подсистем управления ВЗУ ПД. Анализ методов проектирования контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ

Современные ЭВМ общего назначения и вычислительные системы (ВС) характеризуются высоким отношением производительности к стоимости, простотой адаптации к сфере применения и высокой се-рийнопригодностью. Эффективным средством обеспечения указанных свойств является применение в этих ЭВМ и ВС развитой системы ввода-вывода (СВВ). Эффективная работа СВВ в значительной мере определяет потребительские свойства и стоимость ЭВМ. Доля стоимости СВВ от общей стоимости ЭВМ в настоящее время составляет более 75$ для универсальных ЭВМ и более 80$ для мини- и микро-ЭВМ [59] . Кроме того, по мере совершенствования структуры ЭВМ и ВС к СВВ предъявляют все более высокие требования пропускной способности, надежности, гибкости и живучести в работе. Задача повышения производительности СВВ ЭВМ и ВС во многом определяется дальнейшим повышением эффективности работы накопителей внешних запоминающих устройств прямого доступа (ВЗУ ЦЦ) при обращении к ним со стороны центрального процессора (ЦП) через соответствующие каналы и устройства управления.

Одним из подходов к повышению производительности работы подсистем ВЗУ ЦЦ является перемещение логической обработки данных на устройства управления, роль которых выполняют контроллеры и специализированные процессоры ввода-вывода.

Специализированные процессоры и контроллеры подсистем ВЗУ ПД с расширенными функциями представляют собой иерархию трех уровней [3 , 5 , 59 , 80]:микропрограммный уровень, традиционный машинный уровень, уровень операционной системы. На основе данных уровней определяются функции спецпроцессоров и контроллеров и их разделение на множества, реализуемые аппаратным и программным путем; определяется состав устройств и способы их взаимодействия. Данные задачи решаются в процессе проектирования указанных устройств на функциональном и алгоритмическом уровнях [623.

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

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

Целью работы является разработка методов и средств структурного проектирования специализированных процессоров и контроллеров с расширенными функциями подсистем ВЗУ ПД на архитектурном и микропрограммном уровнях.

Указанная цель достигается решением следующих задач:

1) исследование структур и определение подхода к проектированию контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ;

2) разработка элементов формального аппарата синтеза и анализа проектируемых устройств на архитектурном уровне, разработка эффективной методики проектирования и верификации структуры устройства;

3) разработка средств структурного проектирования специализированных процессоров и контроллеров на архитектурном и микропрограммном уровнях;

4) практическая проверка возможности применения результатов исследования для проектирования указанных устройств подсистем ВЗУ ПД.

Методы исследования основаны на использовании положений теории сетей Петри, матричного анализа, теории множеств, теории формальных грамматик и строятся на сочетании формальных и содержательных методов. Решение поставленных задач предусматривало использование основ структурного программирования и имитационного моделирования.

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

В результате проведенного исследования достигнуто следующее:

1. На основе теории сетей Петри разработаны элементы формального аппарата исследования устройств управления ВЗУ ЦЦ на архитектурном уровне, которые заключаются в расширении средств описания и анализа иерархических систем, в разработке методов декомпозиции систем и их оптимизации на различных уровнях представления;

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

3. Разработаны программные средства, позволяющие проектировать многоуровневые подсистемы управления ВЗУ ПД на архитектурном и микропрограммном уровнях. В рамках разработанных средств предложены: подход к реализации макро- и микроархитектуры многоуровневых подсистем; спектр интерфейсов пользователя, основанных на различном представлении данных и позволяющих обеспечить возможность выбора наиболее удобного способа доступа к системе; реализация механизма отображения моделей смежных уровней и методы манипулирования соответствующими данными;

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

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

Практическая ценность. Работа является составной частью программы проводимых на кафедре вычислительной техники ППИ научно-исследовательских работ по исследованию и разработке структур контура управления и средств файловой обработки в подсистемах ВЗУ ПД, которые входят в план важнейших НИР Минвуза СССР в области вычислительной техники на 1981-85 г.г. (приказ JS 1238 от 29.12.81, тема 2.2.3 "Разработка программ для моделирования и автоматизации проектирования ЭВМ"), важнейших НИР Минвуза РСФСР по проблеме САПР (приказ № 31 от 15.02.83). Данная работа является также частью научно-исследовательских работ "Разработка методики обучения автоматизированному проектированию архитектуры вычислительных комплексов и сетей с использованием дисплейных станций", которая определяется Координационным планом Минвуза РСФСР "Исследование эффективного комплексного применения технических средств обучения в условиях проблеммного обучения".

Практическими результатами работы являются: I) разработка и внедрение спецпроцессоров ВЗУ оптимизации доступа к накопителям на магнитных дисках; 2) разработка и внедрение специализированной системы моделирования, кодирования и документирования микропрограммного обеспечения устройств управления ВЗУ; проведено обучение операторов ЭВМ по использованию данной системы, внедрение которой ускорило процесс проектирования интеллектуальных контроллеров и оформления документации в соответствии с требованиями ЕС1Щ; 3) разработка комплекса программ для исследования управляющих устройств подсистем ВЗУ ЦЦ на архитектурном уровне, который сдан в ФАП НИВЦ МГУ; 4) на основе предложенных программных средств разработана структура специализированного процессора реляционной базы данных, которая положена в основу технического проекта устройства управления файловой обработкой в подсис-. темах ввода-вывода вычислительных комплексов.

Реализация в промышленности. Результаты диссертационной работы внедрены на промышленном предприятии г.Пензы при выполнении автором четырех научно-исследовательских работ (что подтверждается соответствующими актами), а также использовались при выполнении хоздоговорных и госбюджетных работ на кафедре ВТ ППИ.

Апробация работы. Материалы диссертационной работы докладывались и обсуждались на:

- Всесоюзной конференции "Автоматизация проектных и конструкторских работ" (Москва, 1979 г.);

- Всесоюзной научно-технической конференпии "Автоматизапия научных исследований, эргономического проектирования и испытаний сложных человеко-машинных систем" (Ленинград, 1983 г.);

- Всесоюзной научно-технической конференпии "Развитие теории и техники хранения информапии" (Пенза, 1983 г.);

- Всесоюзной научно-технической конференпии "Проблемы теоретической кибернетики" (Саратов, 1983 г.);

- Всесоюзной научно-технической конференпии "Автоматизапия проектирования ЭВМ и систем" (Ереван, 1983 г.);

- Ш Всесоюзном симпозиуме "Вероятностные автоматы и их приложения" (Казань, 1983 г.);

- Всесоюзном семинаре "Оптимизация сложных систем" (Винница, 1983 г.);

- Всесоюзной конференции молодых ученых и специалистов приборостроительной промышленности (Москва, 1983 г.);

- семинаре "Автоматизация проектирования в радиоэлектронике и вычислительной технике" (Москва, ЩЩТП, 1984 г.);

- ХП Всесоюзном совещании-семинаре "Автоматизация проектирования микропроцессоров, микропроцессорных систем и СБИС" (Крымская область, 1984 г.);

- научно-технических конференциях профессорско-преподавательского состава ППИ в 1977-83 гг.

Публикации. По результатам выполненных исследований опубликовано 17 печатных работ, написаны разделы в четырех отчетах по НИР.

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

На защиту выносятся следующие научные результаты:

1. методика разработки контроллеров и спецпроцессоров подсистем ВЗУ ПД на алгоритмическом уровне, основанная на структурном подходе к проектированию, математическим аппаратом которой слушгг теория иерархических сетей Петри.

2. Методы анализа и разрешения конфликтных ситуаций в системах, для которых характерны динамическое распределение ресурсов и параллельные взаимодействующие процессы.

3. Метод декошюзщии иерархических уровней системы и определение функционального назначения отдельных модулей.

4. Средства структурного проектирования контроллеров и спецпроцессоров на архитектурном и микропрограммном уровнях.

4.5. Основные выводы по главе

I. На основе предложенной методики проектирования алгоритмов и структур специализированных процессоров и контроллеров ввода-вывода разработана структурная схема спецпроцессора РБД. В процессе проектирования спецпроцессора показано, что структурный подход, основанный на использовании иерархических сетей Петри, позволяет разрабатывать аппаратное и программное обеспечение сложных вычислительных систем управления реляционными базами данных с учетом иерархии и взаимосвязи уровней представления системы. Формализация анализируемой структуры дает возможность легкого изменения архитектуры, организации автоматизированного проектирования ВС. Результаты, полученные на примере проектирования спецпроцессора реляционной базы данных, свидетельствуют о пригодности разработанных средств для решения практических задач по разработке контроллеров и спецпроцессоров подсистем ВЗУ ПД.

2. Основными преимуществами предложенной методики и средств проектирования являются:

- использование простого и наглядного аппарата описания взаимодействующих процессов в разрабатываемых структурах устройств управления подсистем ВЗУ ПД;

- возможность быстрого контроля структуры управляющего устройства на возможность возникновения тупиковых ситуаций;

- использование методов декомпозиции структуры на отдельные модули, позволяющие выделить взаимосвязанные функции и объединить их в рамках отдельного блока устройства.

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

3. Методы и результаты проектирования положены в основу технического проекта специализированного процессора управления.файловой обработки в подсистемах ввода-вывода вычислительных комплексов, который внедрен на промышленном предприятии.

ЗАКЛШЕНИЕ

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

2. Проведен анализ подсистем ВЗУ ПД и отмечен ряд особенностей, таких, как иерархичность, параллелизм обработки данных, наличие синхронных и асинхронных взаимодействий, недетерминированность. На основе анализа сделан вывод о целесообразности использования аппарата иерархических сетей Петри.

3. На основе аппарата иерархических сетей Петри в рамках структурного подхода разработана методика проектирования спецпроцессоров и контроллеров подсистем ВЗУ ПД на архитектурном уровне, которая включает:

- методы формального представления структуры проектируемой системы;

- методы выделения дополнительных, неявно заданных уровней иерархии, декомпозиции отдельных уровней на составные блоки и анализа внутренних и межуровневых связей системы;

- методы эффективного планирования ресурсов системы развивающимся процессам и оптимизации множества логических условий, активизирующих отдельный процесс;

- методы верификации модели проектируемого устройства, базирующиеся на использовании аналитических и имитационных принципов исследования.

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

5. разработаны программные средства структурного проектирования контроллеров и специализированных процессоров подсистем ВЗУ ПД, которые включают: комплекс программ исследования и разработки вычислительных систем на архитектурном уровне, специализированную систему моделирования, кодирования и документирования ДЩ контроллеров и спецпроцессоров подсистем ВЗУ ПД, которая ориентирована на микропрограммный уровень проектирования и располагает средствами исследования микропрограмм устройств, представленных различными уровнями иерархии. В рамках разработанных средств создан спектр интерфейсов пользователя, основанных на различном представлении данных и позволяющих обеспечить возможность выбора наиболее удобного доступа к средствам. Использование предложенных средств позволило: I) в 3-4 раза сократить время, затрачиваемое на поиск и разрешение конфликтных ситуаций, а также на процесс декомпозиции разрабатываемой структуры; 2) уменьшить стоимость верификашщ и документирования одного листа ДШ1 в 3,5 раза.

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

1. Анисимов Б.В., Горнец Н.Н. Системы ввода-вывода цифровых вычислительных машин. М.: Машиностроение, 1977.

2. Анишев П.А. Редуцируемость сетей Петри. Программирование, 1982, М, с.36-43.

3. Базен Д. Архитектура подсистем ввода-вывода. ТИИЭР, т.63, №6, 1975, с.47-57.

4. Бунько Е.Б., Юдицкий С.А. Программная реализация сетей Петри в асинхронных устройствах логического управления. Автоматика и телемеханика, 1983, Ш, с.109-119.

5. Бурцев B.C. Принципы построения микропроцессорных вычислительных комплексов "Эльбрус". М.: ИТМ и ВТ АН СССР, 1977, Препринт ЖЕ, 59 с.

6. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978.

7. Вашкевич Н.П., Зинкин С.А., Раков Б.М. К анализу информационного обслуживания в системе "процессор ВЗУ". - Вопросы радиоэлектроники, сер.ЭВТ, 1974, вып.12, с.82-91.

8. Башкевич Н.П., Дудкин A.M., Зинкин С.А., Кулагин В.П. Система документированного представления и кодирования диаграмм микропрограммной логики. Вопросы радиоэлектроники, сер.ЭВТ, 1980, вып.10, с.75-79.

9. Вашкевич Н.П., Дудкин A.M., Зинкин С.А., Кулагин. В.П. Структуризация алгоритмов моделирования выполнения операций в процессоре базы данных. Вопросы радиоэлектроники, сер.ЭВТ, 1981, вып.13, с.78-87.

10. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Структурный подход к проектированию мультипроцессорной вычислительной системы управления базой данных. Приборостроение, 1983, №9, с.15-24.

11. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Вероятностные сети Петри. В кн. Вероятностные автоматы и их приложения: Тезисы докладов III Всесоюзного симпозиума, Казань, 1983, с.87.

12. Вашкевич Н.П., Зинкин С.А., Кулагин В.П. Проектирование . структур вычислительных систем с использованием аппарата сетей Петри. В кн. Автоматизация проектирования ЭВМ и систем: Тезисы докладов Всесоюзной конференции, ч.Г, Ереван, 1983, с.13-14.

13. Вычислительная система jBM /360. Принципы работы. М.: Советское радио, 1969.

14. Горбатов В.А. Введение в общую теорию алгебраических моделей. М.: МИФИ, 1974.

15. Горчинская О.Ю. Теоретический аспект построения реляционных моделей баз данных /обзор/. Автоматика и телемеханика, 1983,1. ЖЕ, с.5-25.23. 1£ис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975.

16. Дедков А.Ф., Сироткин B.C. Основные концепции языка моделирования ПЛИС. В сб.: Второй Всесоюзный симпозиум по имитационному моделированию экономических систем. М.:ИЭМИ, 1977, с.184-220.

17. Дейт К. Введение в системы баз данных. М.: Наука, 1980.

18. Дрибас В.П. Реляционные модели баз данных. Шнек: Издательство БГУ им. В.И. Ленина, 1982.

19. Дроздов Е.А., Камарницкий В.А., Пятибратов А.П. Электронные вычислительные машины Единой Системы. М.: Энергия, 1976.

20. Дудкин A.M., Зинкин С.А., Кулагин В.П. Метод совмещения уровней моделирования при исследовании функционирования и разработке вычислительных систем. Вопросы радиоэлектроники, сер.ЭВТ, 1980, вып.10, с.85-89.

21. Ермольев Ю.М., Маринович Т.П. Оптимизация и моделирование. Проблемы кибернетики / Под ред. А.А. Ляпунова. Вып.27. М.:Наука, 1973, C.III-I25.

22. Закревский А.Д. Редукционный метод проверки корректности параллельных алгоритмов логического управления. Доклады Академии наук БССР, 1983, т.ХХУП, №7, с.617-619.

23. Зелковиц М., Шоу А., Гэннон Дд. Принципы разработки программного обеспечения. М.: Мир, 1982.

24. Зинкин С.А., Кулагин В.П. О выполнении операций реляционной алгебры в имитационных системах. Вычислительная техника в автоматизированных системах контроля управления: Межвуз. сб. науч. тр. - Пенза: Пенз. политехи, ин-т, 1982, вып.12, с.89-101.

25. Зиновьев Э.В., Стрекалёв А.А. Обнаружение тупиковых ситуаций при взаимодействии информационных процессов в вычислительных сетях. Автоматика и вычислительная техника, 1981, Ш, с.П-17.

26. Иванов А.И. Основные принципы структурной организации субсистем ввода-вывода многопроцессорных вычислительных систем. Приборы и системы управления, 1977, №3, с.7-9.

27. Катцан Г. Вычислительные машины системы 370. М.: Мир, 1974.

28. Кёниг Р. Минимизация сетей Петри, интерпретированных с точки зрения техники управления системами.- В кн. Автоматизированное проектирование дискретных управляющих устройств. М.: Наука, 1980, с.187-200.

29. Кишиневский М.А., Гаубин А.Р., Цирлин Б.С. Сети Петри и анализ переключательных схем. Кибернетика, 1982, М, с.114-117.

30. Королёв JI.H. Структура ЭВМ и их математическое обеспечение. М.: Наука, 1978.

31. Корнеев В.В., Хорошевский В.Г. Организация системного управления в вычислительных системах с программируемой структурой. Вычислительные системы; сб. статей / Под ред. Э.В. Евреинова. -М.: Финансы и статистика, IS8I, вып.2, с.20-38.

32. Котов В.Е. Теория параллельного программирования. Прикладные аспекты. Кибернетика, 1974, №3, с.1-16; №5, с.1-14.

33. Котов В.Е. Алгебра регулярных сетей Петри. Кибернетика, 1980, №5, с.10-18.

34. Котов В.Е., Черкасова Л.А. Структурированные сети. Кибернетика, 1981, М, с.33-41.

35. Кузин Л.Т. Основы кибернетики. В 2-х томах, т.2. М.: Энергия, 1979.

36. Кузьмук В.В. Управляющие сети и микропрограммное моделирование параллельных процессов. Киев, 1983. Црепринт / АН УССР, институт электродинамики; №333, 72 с.

37. Кузьмук В.В. Описание и моделирование параллельных процессов управления с помощью сетей Петри. Электронное моделирование, 1982, №5, с.33-40.

38. Кулагин В.П. О преобразовании сложного запроса к процессору базы данных. Вычислительная техника в автоматизированных системах контроля и управления: Межвуз. сб. науч. тр. - Пенза: Пенз. политехи, ин-т, 1983, вып.13, с.3-12.

39. Кулагин В.П. Система анализа ВЗУ на основе структурированных сетей. В кн. Развитие теории и техники хранения информации: Тезисы докладов Всесоюзной конференции. - М.: Радио и связь, 1983, с.33-34.

40. Кулагин В.П. Интерфейс "пользователь система проектирования сложных вычислительных систем". - Тезисы докладов II Всесоюзной конференции молодых учёных и специалистов приборостроительной промышленности. -М., 1983, с.81.

41. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.

42. Мак-Кракен Д., Дорн У. Численные методы и программирование на ФОРТРАНе. М.: Мир, 1977.

43. Малашенко Г.С., Чернецкий Л.В. Алгоритм размещения микропрограмм в управляющей памяти. Вопросы радиоэлектроники, сер. ЭВТ, 1977, вып. II.

44. Мартин Дд. Программирование для вычислительных систем реального времени. М.: Наука, 1975.

45. Мартин Дд. Организация баз данных в вычислительных системах. М.: Мир, I960.

46. Марчук Г.И., Котов В.Е. Модульная асинхронная развиваемая система, ч.1. Новосибирск, 1976, 46 с. Препринт ВЦ СО АН СССР, .№86.

47. Методы параллельного микропрограммирования / Под ред. О.Л. Бандман. Новосибирск, Наука, 1981.

48. Мультипроцессорные системы и параллельные вычисления / Под ред. Ф.Г. Энслоу. М.: Мир, 1976.

49. Мячев А.А. Системы ввода-вывода ЭВМ. М.: Энергоатомиздат, 1983.

50. Нариньяни А.С. Теория параллельного программирования. Формальные модели. Кибернетика, 1974, ЖЗ, с.1-16; №5, с.1-14.

51. Новиков В.В., Подгурский Ю.Е. Сети Петри.Теория. Применение. Зарубежная радиоэлектроника, 1984, М, с.26-59.

52. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа, 1983.

53. Олейниченко Р.Л. 0 построении правильных сетей Петри. -Автоматика и телемеханика, 1982, Ж12, с.130-140.

54. Основы построения больших информационных вычислительных сетей. М.: Статистика, 1976.

55. Пашкеев С.Д. Основы мультипрограммирования для специализированных вычислительных систем. М.: Советское радио, 1972.

56. Пранявичюс Г.И. Разбиение кусочно-линейных агрегатов на элементарные. Лит. мат. сб., 1979, т.XIX, №3, с.177-179.

57. Пранявичюс Г.И. О разбиении кусочно-линейных агрегатов на элементарные. В кн. Математика и математическое моделирование. Вып.З. Вильнюс, 1979, с.27-31.

58. Принципы работы системы IBM /370. М.: Мир, 1975.

59. Разработки и исследования рациональных структур вычислительных систем реального времени. Материалы семинара. М.: МДНТП, 1979.

60. Раков Б.М. Метод анализа структуры систем управления запоминающих устройств. Вопросы радиоэлектроники, сер.ЭВТ, 1976, вып.10, с.91-106.

61. Раков Б.М. Повышение производительности и эффективности подсистем ВЗУ ЦЦ при структурных преобразованиях. Вопросы радиоэлектроники, сер.ЭВТ, 1982, вып.II, с.8-12.

62. Раков Б.М., Зинкин С.А. Анализ структур больших информационных систем памяти с использованием gpss /360 и gpss -v . .•- Вопросы радиоэлектроники, сер.ЭВТ, 1978, вып.13, с.72-81.

63. Раков Б.М., Зинкин С.А., Кулагин В.П. Анализ некоторых методов коммутации запросов при страничном обмене в ВЗУ на дисках.- Вопросы радиоэлектроники, сер.ЭВТ, 1980, вып.10, с.66-74.

64. Розенблюм Л.Я. Сети Петри. Техническая кибернетика, №5, 1983, с.12-40.

65. Селютин В.А. Машинное конструирование электронных устройств. М.: Советское радио, 1977.

66. Стогний А.А., Юценко E.JI., Войтко В.И., Машбиц Е.И., Вер-ник П.В., Безруков Н.Н. Человеко-машинная система решения задач обработки данных. В кн. Алгоритмы и организация решения экономических задач. - М.: Статистика, I960, с.172-195.

67. Сыпчук П.П., Маслов Н.Г., Воробьёва Т.Б. Включение специализированного процессора реализации дисциплин планирования в структуру подсистемы ВЗУПД. Вопросы радиоэлектроники, сер.ЭВТ, 1982, вып.II, с.83-88.

68. Таль А.А., Юдицкий С.А. Иерархия и параллелизм в сетях Петри. Автоматика и телемеханика, 1982, F7, с.ПЗ-122; №9, с.82-88.

69. Таненбаум Э. Многоуровневая организация ЭВМ. М.: Мир, 1979.

70. Ульман Дд. Основы систем баз данных. М.: Финансы и статистика, 1983.

71. Цаленко М.Ш. Реляционные модели баз данных /обзор/. В кн. Алгоритмы и организация решения экономических задач. М., 1977, вып.9, с.18-36; вып.10, с.16-29.

72. Цикритзис Д., Бернстайн Ф. Операционные системы. М.: Мир, 1977.

73. Шоу А. Логическое проектирование операционных систем. -М.: Мир, 1981.

74. Электронная вычислительная машина EC-I035. В кн. Вычислительная техника в социалистических странах, вып.1. М.: Статистика, 1977, с.131-133.

75. Электронная вычислительная машина EC-I050 / Под ред. А.Н. Ларионова. М.: Статистика, 1976.

76. ЭВМ В7800 фирмы BURROUGHS . Радиоэлектроника за рубежом, 1977, вып.24, с.26-28.

77. Amdahl G.M. New concepts in computing system design. -Proc. IRE, 1962, v.50, N5, p.1073-1077.

78. Baer J.L. Models for the design, simulation and performance of distributed function architecture. - Computer, 1974, 7, N2,p.25-29.

79. Banerjel J., Hsiao D.K. The use of a database machine for supporting relational databases. Forth Workshop on computer ar-chitekture for non-numeric processing. N.Y., 1978, p.91-98.

80. Boral H., DeWitt D.J., Friedland D., Jarrell N.F., Wilkinson W.K. Implementation of the Database Machine DIRECT. IEEE Trans, Trans. Software Eng., 1982, 8,N6, p.533-54-3.

81. Brinch Hansen P. A Comparison of Two Synchronizing Concepts. Acta Informatica, 1, 1972, p. 190-199.

82. Computing Surves, 1975, v.7, N 4, p.175-255. Special Issue: Computer Systems Architecture.

83. Computing Surves, 1977, v.9,N 1. Special Issue: Parallel Processors and Processing, 129 p.

84. Cottrez G., Blanshard M., Gillon J., Guidez G., Thuil-lier G. The simulation of a switchin system's reguirements. Int. Symp. Discrete Systems, Riga, Zinatne, vol.3, 1974.

85. Dijkstra E.W. The Structure of the THE-Multiprogramming System. С ACM, vol.11, N 5, 1968, p. 54-1-346.

86. Dohi Y., Arizawa H., Izumida Y. Data-base machine with hashing hardware. Bulletin of the faculty of Engineering, Yokohama National Univ., 1979, vol. 28, p.89-99.

87. Downton E1. On limiting distribution arising in bulk ser-vise gueues. J. Roy. Statist. Soc., 1956, S.3, vol.18, p.265-274.

88. Gerhardt H.-D. KOMBI-Netze. Eine Petri Netzerweiterung zur Beschreibung Kombinierter mathematischer Modelle. Wissen-schaffliche Zeitschrift der Humbold-Universitat zu Berlin. Math.-Nat. R. XXX, 1981, 5, s.463-471.

89. Gouda M.G. A hierarchical controller for concurrent accessing of distributed databases. SAI Technical Memo 2-80, Honeywell Systems and Research Center, Minneapolis, Dec. 1980.

90. Grutzner R. Modifizierte E-Netze: ein Mittel zur Ablauf-beschreibung in Rechenrsystemen. Weiterbildungszentr. Math. Ky-bern. und Rechentechn./Informations Techn. Univ. Dresden, 1982, s.34-42.

91. Hack M. Analysis for Production Schemata by Petri Nets. -Computer Structure Croup. TR-94, Project MAC, M.I.Т., February72. 119 P.о 109. Hack M. Petri net languages. Tech. Rep./MIT; N 159. 0am-Ldge, 1976. 128 p.

92. Hall P.A.V. Optimization of Single Expressions in a Rela-Lonal Data base. IBM Journal of Research and Development, 1976, .20, N J, p.244-257.

93. Heltzig H.F. Zum Informationsflu? in softwareinterpretier-m PETRI-Netzen. Weiterbildungszentrum fur mathematische Kyberne-Lk und Rechentechnik Informationsverarbeitung. Techn. Univ. Dres-sn, 1980, N 42, s.33-44.

94. Hevner A.R., Yao S.B. Query Processing in Distributed Data-ase Systems. IEEE Transactions, 1979, V.5, N 3, p.177-187.

95. Hoare C.A.R. Proof of Correctuess of Data Representation. ;ta Informatica, 1,1972, p.271-281.

96. Hoare C.A.R. Monitors: An Operating System Structuring Con->pt. СACM, vol.17, No.10, 1974, p.549-557.115»Jackson M.A. Principles of Program Design, Academic Press, ■Y., 1975.

97. Jensen K. How tofind invariants for coloured Petri net. -:ct. Notes Comput. Sci. 1981, V.118, p.327-338.

98. Karp R.M., Miller R.E. Parallel Programm Schemata: A Mathe-itical Model for Parallel Computation. Journal of Computer and Sys-;m Sciences 3, 1969, p.147-195.

99. Kotov V.E. An algebra for parallelism based on Petri nets. -i: Lecture notes in computer science. В.: Springer-Verl., 1978, '1.64, p.39-55.

100. Kotov V.E. Concurrent Programming with Control Types. In.: instructing Quality Software. Amsterdam: North-Holl. Publ. Co., (78, p.207-228.

101. Kotov V.E. On basic parallel languages. In.:Proc. IFIP

102. Congress 80. North Holland Publ. Co., 1980, p.229-240.

103. Lauer P.E., Campbell R.H. Formal semantics for a class of high-level primitives coordinating concurrent processes. Acta inform., 1975, 5, p.297-332.

104. Lorin H. Parallelism in hardware and software real and apparent concurrency. - Englewood Cliffs: Prentice-Hall, 1972,508 p.

105. McDonald N.H., McNally J.P. Query language feature analysis by usability. Comput. Lang., 1982, 7, N 3-4, p.103-124.

106. Moa11a M., Pulou J., Sifakis J. Synchronized Petri Nets: a model for the description of nonautonoms systems. Oper. Syst. Rev., 1983, 17, N 1, p.30-37.

107. Murata T. Petri nets, marked graphs, and circuit-system theory. Circuits Syst., vol.11, June 1977.

108. Ozkarahan E.A., Oflazer K. Microprocessor based modular database processors. Proceedings Fourth International conference on very large data base. West Berlin, Sept.13-15, 1978, p.300-311.

109. Parnas D.L. Information Distribution Aspects of Design Methodology, Proc. IFIP Congr. 1971, Booklet TA-3, p.26-30.

110. Peinl P., Renter A. Synchronizing Multiple Data-base Process in a Tightly Coupled Multiprocessor Environment. Oper. Syst. Rev., 1983, 17,N 1, p.30-37.

111. Peterson J.L. Petri Nets. ACM Computing Surves, Sept.,1977, v.9, И 3, P.223-252.

112. Petri C.A. Kommunikation mit Automaten. Bonn: Univ., 1962. - 89 s.

113. Ramamoorthy C.V., Ho G.S. Performance Evaluation of asynchronous Concurrent System Using Petri Nets. IEEE Trans. Software Eng., 1980, vol. SE-6, N 5, p.440-449•

114. Ross D.T., Schomann K.E. Structured Analysis for Requirements Definition. IEEE Transaction on Software Engineering, 1977,v.3, N 1, p.6-15.

115. Reisner R. et al. Human Factors Evalutions of Two Data Base Query Languages: SQUARE and SEQUEL. AFIPS, v.1975, p.447-452,

116. Smith J.M., Chang P.Y.-T. Optimizing the performance of s relational algebra database interface. Comm. ACM, 1975» v.18,1. N 10, p.5b8-579.

117. Starke P.H. Petri Netze. Veb. Deutscher Verla? der Wis-senschoften, Berlin, 1980, s.184.

118. Stonebraker M., Wong E., Kreps P., Held G. The Design and Implementation of INGRES. ACM Transactions on Database Systems, 1976, v.1, N 3, p. 189-222.

119. Su S.Y.W., Lee S.L.C., T.0 D.H., Doty K.L. Micronet: A microcomputer network system for managing distributed relational databases. Proceedings Fourth International conference on very large data base. West Berlin, Sept. 13-15, 1978, p.288-298.

120. Su S.Y.W., Lipovski G.J. CASSM: A cellular system for very large databases. Proceedings International conference on very large databases. Framingham, Mass., Sept. 1975, p.456-472.

121. Takizawa M. Distribution Problems in Distributed Database Systems: Integration and Q.uery Decomposition. «Т. Inform. Process., 1982, v.5, N 3,p.139-147.

122. Valette R. Analysis of Petri Nets by stepwise refinements. J. Computer and Svstem Sciences, 1979, N 18, p.35-46.

123. Wen^ler K. Betriebssystemaspekte in hierarchisch moduls-ren Polyprozessorsystemen. Mortelierunesansatze und Koordiniernnes-mechanismen. Arbeitsberichte des Instituts fiir Mathematis^he Maschinen und Datenverarbeitung, 1978, v.11, N 15, s.329.

124. Wong E., Youseffi K. Decomposition a strategy for query processing. - ACM Tr^ns. on Database Syst., 1976, v.1, N 3, p.223 -241.