Процедура и устройство динамической маршрутизации сообщений в вычислительных системах с массовым параллелизмом
Существует множество алгоритмов отказоустойчивой (динамической) маршрутизации, ориентированных на системы с различными топологическими структурами (матрицы, гиперкубы, кубы циклов). Последние разработки в данной области — «Алгоритм адаптивной маршрутизации с кластерами без отказов» JI.A. Закревского и М. Г. Карповского, «Алгоритм отказоустойчивой маршрутизации на основе расширенных безопасных… Читать ещё >
Содержание
- Глава 1. Задачи обработки сообщений в параллельных системах
- 1. 1. Архитектура современных параллельных систем
- 1. 2. Межпроцессорное взаимодействие в параллельных системах
- 1. 3. Задача маршрутизации сообщений и подходы к ее решению
- 1. 4. Алгоритмы отказоустойчивой маршрутизации
- 1. 5. Выводы по главе
- Глава 2. Процедура маршрутизации сообщений с обходом отказов
- 2. 1. Модель параллельной системы и представление процесса маршрутизации4)
- 2. 2. Характеристика предлагаемой процедуры маршрутизации
- 2. 3. Примеры использования процедуры маршрутизации
- 2. 4. Выводы по главе
- Глава 3. Устройство маршрутизации на основе созданной процедуры
- 3. 1. Функциональная организация устройства маршрутизации
- 3. 2. Анализ работы устройства маршрутизации
- 3. 3. Выводы по главе
- Глава 4. Оценка эффективности разработанной процедуры и устройства динамической маршрутизации сообщений
- 4. 1. Оценка допустимости и длины маршрутов
- 4. 2. Оценка вероятности правильной передачи сообщения
- 4. 3. Аналитическая оценка аппаратной сложности устройства маршрутизаци и
- 4. 4. Определение предельной длины таблиц маршрутизации
- 4. 5. Оценка длины формата сообщения
- 4. 6. Экспериментальная оценка созданной процедуры маршрутизации
- 4. 6. 1. Постановка эксперимента
- 4. 6. 2. Архитектура экспериментальных программных средств
- 4. 6. 3. Q-схемы моделируемой системы
- 4. 6. 4. Результаты эксперимента
- 4. 7. Выводы по главе
Процедура и устройство динамической маршрутизации сообщений в вычислительных системах с массовым параллелизмом (реферат, курсовая, диплом, контрольная)
Одним из перспективных направлений развития параллельных вычислительных систем (ВС) является создание массивно параллельных систем с распределенной памятью (МРР-системы). Отличительной особенностью МРР-систем является разделение физической памяти между процессорами (модулями), что дает возможность каждому модулю работать независимо от других. Благодаря такой архитектуре МРР-системы позволяют ввести средства оперативного восстановления работоспособности при появлении отказов модулей и/или связей (локальных отказовых неоднородностей). Указанные средства способны динамически исключать отказы из логической структуры системы, обеспечивая сохранение ее работоспособности в целом (возможно с деградацией производительности).
Включение в МРР-системы средств восстановления работоспособности предъявляет особые требования к подсистеме маршрутизации между процессорными модулями. Она должна не только выбирать кратчайший маршрут для передачи сообщения, но и обеспечивать обход отказовых неоднородностей. Независимо от конфигурации отказов подсистема маршрутизации должна выбирать кратчайший маршрут между любыми работоспособными модулями.
Существует множество алгоритмов отказоустойчивой (динамической) маршрутизации, ориентированных на системы с различными топологическими структурами (матрицы, гиперкубы, кубы циклов). Последние разработки в данной области — «Алгоритм адаптивной маршрутизации с кластерами без отказов» JI.A. Закревского и М. Г. Карповского, «Алгоритм отказоустойчивой маршрутизации на основе расширенных безопасных уровней», разработанный Jie Wu, «Алгоритм отказоустойчивой маршрутизации на основе распределенного блока восстановления», предложенный Gul N. Khan, Gu Wei,.
Алгоритм отказоустойчивой маршрутизации на базе вектора вероятности", созданный J. Al-Sadi, К. Day, М. Ould-Khaoua.
Известные алгоритмы не гарантируют выбор кратчайших маршрутов при определенных комбинациях отказов. Кроме того, им свойствен ряд других недостатков: значительное время передачи сообщений и высокая сложность реализации.
В связи с вышеизложенным, актуальной задачей при построении МРР-систем является создание процедур и устройств маршрутизации, позволяющих исключить зацикливания и повысить достоверность передачи сообщений.
Работа выполнена при поддержке фанта «Столетовские гранты-2003» Министерства образования РФ, а также в рамках совместных работ с ОКБ «Авиаавтоматика» по договору № 1.121.03 от 22 августа 2003 года. Основная часть диссертационной работы выполнена в рамках плана научно-исследовательских работ Курского государственного технического университета по единому заказ-наряду Министерства образования Российской Федерации в 1998;2004 годах, утвержденному начальником управления планирования и финансирования научных исследований.
Целью диссертационной работы является повышение достоверности передачи сообщений в МРР-системах с матричной структурой на основе создания аппаратно-ориентированной процедуры и устройства динамической маршрутизации сообщений с выбором альтернативных участков маршрута.
Задачами диссертационной работы являнтя:
1. Исследование существующих процедур отказоустойчивой маршрутизации сообщений в параллельных и распределенных системах и выявление их недостатков.
2. Разработка алгоритма и процедуры отказоустойчивой маршрутизации сообщений, основанной на динамическом выборе альтернативных участков маршрута из фиксированного множества.
3. Проектирование функциональной схемы устройства динамической маршрутизации сообщений на основе созданной процедуры.
4. Аналитические оценки аппаратной сложности устройства маршрутизации и вероятности правильной передачи сообщений в МРР-системе с использованием разработанной процедуры.
5. Исследование на имитационной модели зависимости времени передачи сообщений в МРР-системе от интенсивности потоков исходящих сообщений в процессорах при различных значениях наработки процессора на отказ и оценка потери сообщений из-за отказов при различных значениях наработки процессора на отказ.
Методы исследования.
При решении поставленных задач использовались методы теории множеств, теории графов, теории вероятностей, теории проектирования ЭВМ, теории автоматов и математической статистики. Экспериментальные исследования проводились на основе библиотеки классов имитационного моделирования и визуальной среды программирования, разработанных под руководством доц. Зотова И.В.
Научная новизна результатов диссертационной работы:
1. Создан алгоритм отказоустойчивой маршрутизации сообщений в матричных МРР-системах, обеспечивающий обход отказавших модулей на основе динамического изменения участков маршрута.
2. Разработана процедура отказоустойчивой маршрутизации сообщений в МРР-системах, позволяющая исключить зацикливания и повысить вероятность правильной передачи сообщений при уменьшении времени их передачи на основе динамического выбора альтернативных реализаций маршрута.
3. Получены аналитические оценки вероятности правильной передачи сообщений в МРР-системе и зависимость коэффициента потерь сообщений от наработки процессора на отказ, показывающие, что разработанные процедура и устройство маршрутизации позволяют повысить достоверность передачи не менее, чем в 2 раза, и снизить потери сообщений в 1.5 раза.
Практическая ценность работы заключается в следующем:
1. Спроектирована функциональная схема устройства маршрутизации сообщений на основе созданного алгоритма и получена оценка аппаратной сложности.
2. Расширена имеющаяся библиотека классов имитационного моделирования и визуальная среда программирования для ее поддержки за счет включения дополнительных функций управления клапанами, учитывающих особенности построения маршрута.
3. Определен размер таблицы маршрутизации предлагаемого модуля для систем реальной размерности, не превышающий 1К слов.
Технические решения защищены патентом РФ № 2 222 044 и решениями о выдаче патентов по заявкам № 2 003 104 071, № 2 003 129 963.
Реализация и внедрение.
Результаты диссертационной работы используются в учебном процессе в Курском государственном техническом университете в дисциплинах «Организация ЭВМ и систем», «Отказоустойчивые многопроцессорные платформы» и внедрены на предприятиях ОАО «Счетмаш», ООО ПП «Микрокод», что подтверждается соответствующими актами.
Апробация работы.
Основные положения диссертационной работы докладывались и получили положительную оценку на НТК «Распознавание-2001» (г. Курск, 2001), НТК «Методы и средства систем обработки информации» (г. Курск, 2003), НТК «Распознавание-2003» (г. Курск, 2003), на научно-технических семинарах Курского государственного технического университета с 2001 по 2004 год.
Публикации.
Результаты диссертационной работы отражены в 8 публикациях, в том числе 3 статьях, 1 патенте на изобретение, 2 решениях о выдаче патента. В работах, опубликованных в соавторстве, лично соискателем предложено: в [1,2,7] - процедура выбора направления передачи сообщения, в [6,8] - алгоритм ретрансляции сообщений в матричных параллельных системах, в [3,4,5] -модуль для передачи сообщений.
На защиту выносятся:
1. Процедура отказоустойчивой маршрутизации сообщений для матричных МРР-систем.
2. Результаты аналитической оценки вероятности правильной передачи сообщений МРР-системой при использовании разработанной процедуры и аппаратной сложности устройства маршрутизации.
3. Результаты исследования на имитационной модели зависимости времени передачи сообщений в МРР-системе от интенсивности потоков исходящих сообщений в процессорах при различных значениях наработки процессора на отказ и оценка потерь сообщений из-за отказов при различных значениях наработки процессора на отказ.
4. Функциональная схема устройства маршрутизации на основе созданной процедуры.
Объем и структура работы.
Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы и приложений. Работа содержит 160 страниц текста и поясняется 37 рисунками и 8 таблицамисписок литературы включает 78 наименованийприложения содержат 71 страницу. Общий объем составляет 231 страницу.
4.7. Выводы по главе.
1. Полученные аналитические оценки вероятности правильной передачи сообщений в МРР-системе показывают более чем двукратное увеличение вероятности при наличии даже одной альтернативной реализации каждого участка маршрута.
2. Исследованные зависимости коэффициента потерь сообщений от наработки процессора на отказ демонстрируют, что предлагаемая процедура снижает процент потерь не менее, чем в 1,5 раза.
3. Определенные зависимости времени передачи сообщений в МРР-системе от интенсивности потока исходящих сообщений показывают, что данное время для предлагаемой процедуры не хуже чем, у лучших из аналогов (лишь первое сообщение по маршруту может передаваться дольше других из-за необходимости возвратов и переходов на альтернативные реализации).
Заключение
.
В диссертационной работе решена научно-техническая задача по созданию аппаратно-ориентированной процедуры и устройства маршрутизации сообщений для МРР-систем с матричной структурой, обеспечивающих повышение достоверности передачи сообщения при наличии отказов процессоров, с исключением зацикливаний и уменьшение среднего времени передачи сообщений.
При решении поставленной задачи в диссертационной работе получены следующие результаты:
1. Создан алгоритм отказоустойчивой маршрутизации сообщений в матричных МРР-системах основанный на введении альтернативных реализаций маршрута, позволяющий передать сообщения между любыми взаимодействующими модулями при наличии в системе локальных отказовых неоднородностей.
2. На основе созданного алгоритма разработана процедура отказоустойчивой маршрутизации сообщений в МРР-системах, способная уменьшить время передачи сообщений относительно аналогов, повысить вероятность правильной передачи сообщений и с помощью динамического выбора альтернативных реализаций маршрута полностью исключить зацикливание.
3. Проведена численная оценка преимуществ разработанной процедуры, аналитические результаты которой показывают повышение достоверности передачи сообщений в среднем не менее, чем в 2 раза, а результаты основанные на имитационном моделировании — снижение потерь сообщений в среднем в 1.5 раза по отношению к аналогам.
4. Разработана функциональная схема устройства маршрутизации сообщений включающая в себя блоки: анализа ситуации, модификации маршрутных кодов, обхода отказавшего модуля реализующие основные функции созданной процедуры. Выполнена аналитическая оценка аппаратной сложности устройства.
Список литературы
- А. Богданов, В. Мареев, Е. Станкова, В. Корхов Архитектуры и топологии многопроцессорных вычислительных систем. // Электронный учебник, http://www.informika.ru
- Гибкое автоматизированное производство // Под общ. ред. С. А. Майорова, Г. В. Орловского, С. Н. Халкиопова. Л.: Машиностроение, 1985.-454 с.
- Feng T.-Y. A survey of interconnection networks // IEEE Computer, 1981. vol.14, № 12. PP. 12−27
- Siegel H.J., McMillen R.J., Mueller P.T. A survey of interconnection methods for reconflgurable parallel processing systems // In: AFIPS Conf. Proc., Washington, D.C., 1979. vol. C. 29, № 2. PP. 108−115.
- Jafari H., Lewis T.G., Spragins J.D. Simulation of a class of ring structured networks // IEEE Transactions on Computers, 1980. vol. C. 29, № 5. PP. 385−392.
- Arden B.W., lee H. Analysis of chordial ring network // IEEE Transactions on Computers, 1981. vol. C. 30, № 4. PP. 291−295.
- Wu S.B., Liu M.T. A cluster structure as an interconnection network for large multimicrocomputer systems // IEEE Transactions on Computers, 1981. vol. C. 30, № 4. PP. 254−264.
- Horowitz E., Zorat A. The binary tree as an interconnection network: applications of multiprocessor systems and VLSI // IEEE Transactions on Computers, 1981. vol. C. 30, № 4. PP. 247−253.
- Schin K.G., Lee Y.-H., Sasidhar J. Design of HM2p a hierarchical multimicroprocessor for general-purpose applications // IEEE Transactions on Computers, 1982. vol. C. 31, № 11. PP. 1045−1053.
- Despain A.M., Patterson D.A. X-tree: a tree structured multiprocessor computer architecture // Proceedings of 5th Symp. on Computer Architecture, Palo Alto, Calif., 1978. PP. 144−151.
- Kupta P., McKeown N. Design and Implementation of a Packet Switched Routing Chip // Proceedings of Hot Interconnects 6. Stanford, 1998. PP. 7784.
- Степанян С.О. Коммуникационные сети в многопроцессорных ЭВМ // Автоматика и вычислительная техника, 1987. № 3. С. 31−43.
- Saad Y., Schults M.U. Topological properties of hypercubes // IEEE Transactions, 1988. vol. C. 37, № 7. PP. 867−872.
- Wittie L.D. Communication structures for large networks of microcomputers // IEEE Transactions on Computers, 1981. vol. C. 30, № 4. PP. 264−273.
- Preparata F.P., Vuillemin J. The cube-connected cycles: a versatile network for parallel computation // Communications of ACM, 1981. vol. 24, № 5. PP. 300−309.
- Апраксин Ю.К., Запевалин A.A., Кирюхин B.B. Алгоритмы маршрутизации для сетей с коммутацией сообщений // Автоматика и вычислительная техника, 1982. № 2. С. 87−92.
- Herbordt М.С., Corbertt J.C., Weems С.С. Practical algorithms for online routing on fixed and reconfigurable meshes // J. Paral. Distrib. Comput., 1994. vol.20, No.3. PP. 341−356.
- Kunde M. Packet routing on grids of processors // Lecture Notes in Computer Science, New York: Springer-Verlag, 1998. vol.401. PP. 129−136.
- Лукьянов A.B., Первозванский А. А. Адаптивное управление маршрутизацией в коммуникационных сетях с коммутацией пакетов // Автоматика и вычислительная техника, 1983. № 1. С. 60−65.
- Шеметов В.В. Гибридные алгоритмы маршрутизации для информационно-вычислительных сетей // Автоматика и вычислительная техника, 1986. № 1. С. 50−53.
- Шеметов В.В. Децентрализованные алгоритмы маршрутизации для коммуникационных сетей с коммутацией пакетов // Автоматика и вычислительная техника, 1985. № 6. С. 17−26.
- Самошин В.Н. Устройство формирования маршрута сообщения в однородной вычислительной системе // А.С. 1 287 172 СССР G 06 F15/16- опубл.23.02.93, БИ№ 41
- Функционально-топологическая организация микропрограммных мультимикроконтроллеров группового логического управления // И. В. Зотов и др. Тул. гос. ун-т, Тула, 1997. 226 с.
- Организация и синтез микропрограммных мультимикроконтроллеров // И. В. Зотов, В. А. Колосков, B.C. Титов, К. А. Сапронов, А. П. Волков, Курск: Изд-во «Курск», 1999. 368 с.
- Valiant L.G., Bredner G.J. Universal schemes for parallel computation // Proc. 13 ACM Symp. Theory of Comput. PP. 88−92.
- Leighton F.T., Makedon F., Tollis I. A 2n-2 step algorithm for routing in an nxn array with constant size queues // Proc. 1 ACM Symp. Parallel Alg. and Archit., 1989. PP. 328−335.
- Устройство для формирования маршрута сообщений в однородной вычислительной системе // В. А. Мельников и др.- А.С. 1 462 344 СССР G 06 F 15/16- опубл.28.02.89, БИ № 8.
- Устройство для формирования маршрута сообщений в однородной вычислительной системе // В. А. Мельников и др.- А.С. 1 501 080 СССР G 06 F 15/16- опубл. 15.08.89, БИ № 30.
- Устройство для формирования маршрута сообщений в однородной вычислительной системе // В. А. Мельников и др.- А.С. 1 508 228 СССР G 06 F 15/16- опубл. 15.09.89, БИ № 34.
- Gul N. Khan, Gu Wei, Fault-tolerant wormhole routing using a variation of distributed recovery block approach // IEEE Proc. Computers and Digital Techniques, 2000. vol.147, No.6, PP. 397−402.
- Jie Wu, Fault-tolerant adaptive and minimal routing in mesh-connected multicomputers using extended safety levels // Department of computer science and engineering, Florida, Atlantic University, 2000, vol 22., PP. 273−294.
- Al-Sadi J., Day K., Ould-Khaoua M. Probability-based fault-tolerant routing in hypercube // The Computer Journal, 2000. vol. 44, No. 5, PP. 369 373.
- Колосков B.A., Титов B.C. Метод самоорганизации отказоустойчивой мультимикроконтроллерной сети // Автоматика и телемеханика, 1998. № 3. С. 173−183.
- Зотов И.В. Процедурно-логическая модель маршрутизации сообщений в микроконтроллерных сетях с матричной организацией // Автоматика и вычислительная техника, 1999. № 3. С. 59−68.
- Мельников В.А. и др. Модуль матричного коммутатора.- А.с. 1 133 594 СССР G 06 °F 9/22- опубл. 07.01.85, БИ№ 1
- Советов Б.Я., Яковлев С. А. Моделирование систем. М.: Высшая школа, 2001.273 с.
- Анпилогов Е.Г., Беляев Ю. В., Зотов И. В. Квазиадаптивная маршрутизация сообщений в матричных микроконтроллерных сетях / КГТУ, Курск, 2001, Деп. в ВИНИТИ 07.06.2001, № 1417-В2001. 26 с.
- Анпилогов Е.Г., Зотов И. В. Модель квазиадаптивной маршрутизации сообщений и ее оценка. // Сборник материалов 5-ой международной конференции. Распознавание-2001, Курск, 2001. КурскГТУ. 4.2 С. 235 -237.
- Анпилогов Е.Г., Беляев Ю. В., Зотов И. В. Модуль для ретрансляции сообщений в матричном коммутаторе. / Патент № 2 222 044 Россия, кл. G 06 F 15/173 заявл. 08.04.2002, опубл. 20.01.2004, БИ№ 2. 16 с.
- Анпилогов Е.Г., Процедура вещания сообщений в матричных параллельных системах. // Методы и средства систем обработкиинформации. Сборник научных статей, Курск, 2003. КурскГТУ, вып. № 3. С. 79 87.
- Анпилогов Е.Г. Алгоритм квазиадаптивной маршрутизации сообщений с обходом отказов. / Сборник материалов 6-ой международной конференции «Распознавание-2003», Курск, 2003. С. 229−231.
- Анпилогов Е.Г., Беляев Ю. В., Зотов И. В. Модуль для передачи и вещания в матричном коммутаторе. / Решение о выдаче патента от 22.09.2004, по заявке № 2 003 104 071.
- Анпилогов Е.Г., Ефремов В. В., Зотов И. В. Модуль для обмена сообщениями. / Решение о выдаче патента от 13.10.2004, по заявке № 2 003 129 963.
- Анпилогов Е.Г., Зотов И.В, Титов B.C. Процедура отказоустойчивой маршрутизации сообщений для параллельных вычислительных систем. / Известия КурскГТУ, Курск, 2004, № 2(13). С. 74 78.
- Morgan S., Delaney М. The Internet and the local telephone network: conflicts and opportunities // XVI International Switching Symposium, -Toronto, 1997, PP. 561−569.
- Nath D., Maheshwari S.N., Bhatt P.C.P. Efficient VLSI networks for parallel processing based on orthogonal trees // IEEETC, 1983. vol. C. 32, № 6. PP. 569−581.
- O.I. El-Dessouki, W.H. Huan. Distributed enumeration on network computer// Transactions Comput., 1980. C.29(9). PP. 818 825.
- P. Sadayappan, F. Ercal, J. Ramanujam. Cluster partitioning approaches to mapping parallel problems onto a hypercube // Parallel Comput., 1987. № 13(1). PP. 1−6.
- Perparata P.P., Vuillemin J. The cube-connected connected cycles: a versatile network for parallel computation // Commun. OfACM., 1981. vol. 24, № 5. PP. 300−309.
- Siegel H.J., McMillen R.J., Mueller P.T. A survey of interconnection methods for reconflgurable parallel processing systems // In: AFIPS Conf. Proc., Washington, D.C., 1979. C. 29, № 2. PP. 108−115.
- Tamir Y., Frazier G. High performance multi-queue buffers for VLSI communication switches // Proc. of 15th Ann. Symp. on Сотр. Arch., 1988. PP. 343−354.
- Tassiulas L., Ephremides A. Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks // IEEE Trans. Automatic Control, 1992, vol. 37, № 12, PP. 19 361 948.
- Tobagi F.A. Fast packet switch architectures for broadband integrated services digital networks // Proceedings of the IEEE, 1990, vol.78, № 1, PP. 133−167.
- Troudet T.P., Walters S.M. Hopfield neural network architecture for crossbar switch control // IEEE Trans. Circuits and Systems, 1991, vol.38, PP. 42−57.
- Wittie L.D. Communication structures for large networks of microcomputers // IEEE Transactions on Computers, 1981. vol. C.30, № 4. PP. 264−273.
- Wu S.B., Liu M.T. A cluster structure as an interconnection network for large multimicrocomputer systems // IEEE Transactions on Computers, 1981. vol. C.30, № 4. PP. 254−264.
- Perparata P.P., Vuillemin J. The cube-connected connected cycles: a versatile network for parallel computation // Commun. OfACM., 1981. vol. 24, № 5. PP. 300−309.
- Rose C. Rapid optimal scheduling for time-multiplex switches using a cellular automaton // IEEE Transactions on Communications, 1989. vol.37, № 5. PP. 500−509.
- Siegel H.J., McMillen R.J., Mueller P.T. A survey of interconnection methods for reconflgurable parallel processing systems // In: AFIPS Conf. Proc., Washington, D.C., 1979. vol.29. № 2. PP. 108−115.
- Tamir Y., Frazier G. High performance multi-queue buffers for VLSI communication switches // Proc. of 15th Ann. Symp. on Сотр. Arch., 1988. PP. 343−354.
- Корн Г., Корн Т. Справочник по математике для научных работником и инженеров. М.: Наука, 1968. 720 с.
- Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир, 1978. 432 с.
- Кузнецов Б.П., Шалыто А. А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул // А и Т., 1998. № 9. С. 142−154.
- Кузнецов Б.П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ // А и Т., 1994. № 5. С. 132−142.
- Курейчик В.М., Глушань В. М., Щербаков Л. И. Комбинаторные аппаратные модели и алгоритмы в САПР. М.: Радио и связь, 1990. 216с.
- Кюблер Ф.-Д., Пагчев К. Х., Панфилов П. Б. Системы логического управления на базе транспьютерных сетей / Информационные процессы, технологии, системы, коммуникации и сети. МАИ. Москва, 1995. С. 54−59.
- Лазарев В.Г., Пийль Е. И. Синтез управляющих автоматов. М.: Энергоатомиздат, 1989. 328 с.
- Лазарев В.Г., Пийль Е. И., Турута Е. Н. Построение программируем управляющих устройств. М.: Энергоатомиздат, 1984. 192 с.
- Лукьянов А.В., Первозванский А. А. Адаптивное управление маршрутизации в коммуникационных сетях с коммутацией пакетов // А и ВТ., 1983. С. 60−65.
- Микропрограммный модуль / В. А. Мельников и др.- А.с. 1 193 675 СССР G 06 F 9/22- опубл. 23.11.85, БИ № 43.
- Микропрограммный модуль / B.C. Харченко и др.- А.с. 1 427 366 СССР G 06 F 9/22- опубл. 30.09.88, БИ № 36.
- Микропрограммное устройство управления / B.C. Харченко и др.- А.с. 1 133 595 СССР G Об F 9/22, G 06 F 11/00- опубл. 07.01.85, БИ № 1.
- Микропрограммное устройство управления / B.C. Харченко и др- А.с. 1 168 936 СССР G 06 F 9/22- опубл. 23.07.85, БИ № 27.
- Палагин А.В. и др. Реализация микропрограммных автоматов на ПЛИС//УС и М, 1991. № 8. С. 18−22.
- Самошин В.Н. Устройство формирования маршрута сообщения в однородной вычислительной системе / А.с. 1 287 172 СССР О 06 Р 15/16- опубл. 30.01.87, БИ № 4.
- Скляров В.А. Модульные граф-схемы алгоритмов // А и ВТ., 1984. № 2. С. 82−87.