Введение
1. Принципы организации и методы проектирования контроллеров и специализированных процессоров подсистем ВЗУ ЦЦ 12
1.1. Структура подсистем ВЗУ ЦЦ и методы повышения её эффективности 12
1.2. Структурная реализация некоторых методов повышения эффективности подсистем ВЗУ ЦЦ 17
1.3. Особенности подсистем управления ВЗУ ЦЦ. Анализ методов проектирования контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ 45
1.4. Основные выводы по главе 51
2. Структурный подход к проектированию контроллеров и специализированных процессоров подсистем ВЗУ ЦЦ 53
2.1. Сети Петри 56
2.2. Формализация представления структуры проектируемого устройства 69
2.3. Анализ исследуемой структуры 89
2.4. Основные выводы по главе 102
3. Средства структурного проектирования контроллеров и спецпроцессоров подсистем ВЗУ ЦЦ 103
3.1. Комплекс программ для исследования управляющих устройств подсистем ВЗУ ЦЦ на архитектурном уровне 104
3.2. Специализированная система проектирования на микропрограммном уровне 129
3.3. Основные выводы по главе 145
4. Использование средств структурного проектирования на архитектурном уровне при разработке спецпроцессора реляционной базы данных 148
4.1. Назначение спецпроцессора 150
4.2. Разработка алгоритмов выполнения операций реляционной алгебры в спецпроцессоре РБД 166
4.3. Разработка и верификация множества структур спецпроцессоров, реализующих отдельные операции реляционной алгебры 187
4.4. Разработка структуры спецпроцессора РБД 234
4.5. Основные выводы по главе 245
Заключение 247
Литература 250
Приложение I. Акты внедрения результатов работы 263
Приложение 2. Результаты исследования процессора оптимизации плана обращений к ВЗУ ПД 273
Приложение 3. Классификация сетей Петри 281
Приложение 4. Определение операций алгебры регулярных сетей Петри 284
Приложение 5. Доказательство свойств операций алгебры
сетей Петри 287
Приложение 6. Примеры входных и выходных данных подсистемы документированного представления и кодирования диаграмм микропрограммной логики 296
Приложение 7. Подсистема моделирования 302
Приложение 8. Описание операций реляционной алгебры 315
Приложение 9. Назначение элементов сетей Петри, интерпретирующих спецпроцессоры операций реляционной алгебры 319
