Разработка микропрограммных методов синтеза структур параллельных вычислительных устройств
Диссертация
Материал второй главы опирается на теоретические результаты первой главы. Вторая глава посвящена разработке методики и практических приемов перехода от параллельного алгоритма решения заданного класса задач к структурной схеме устройства, реализующего этот алгоритм. Методика содержит три этапа. На первом этапе проводится анализ класса решаемых задач, разрабатывается алгоритм решения, производится… Читать ещё >
Список литературы
- Однородные микроэлектронные ассоциативные процессоры. /Под ред. И. В. Праягишвили. — М.: Сов. радио, 1973. — 280 с.
- Фет Я. И. Массовая обработка информации в специализированных однородных процессорах. Новосибирск: Наука, 1976. — 200с.
- Duff М.J.B., Watson D.M. The cellular logic array image processor. The Computer Journal, 1977, v.20,№ 1.
- Смит Кевин. Матричный процессор, содержащий 96×96. ячеек для обработки изображений в реальном времени. Электроника, 1980, т.53, № 10, с.14−15.
- Chin P.Y., Рак К.S. Past sorting algorithms on uniform ladders (Multiple shift-register loops). IFFE Trans., 1980, v. 0−29, No.7, p.618−631.
- Карцев M.A., Брик Б. А. Вычислительные системы и синхронная арифметика. М.: Радио и связь, 1981. — 359 с.
- Смолов В.Б., Шумилов Л. А., Зайцев Л. А. Построение матричных вычислительных устройств для выполнения операций над многочленами и элементами конечных полей (2). Электронное моделирование, 1979, № 2, с. 63−67.
- Aspinall D. Multi-micro systems. In: Future Systems. Pt.2. Infortech. International, 1977″ p. 45−62.
- Lipovski C.J. On a varistructured array of microprocessor. -IEEE Transaction on Computers, 1977, v. C-26, No.2, p. 125 138.
- Молдован Д.И. 0 разработке алгоритмов для систолических матриц СБИС. ТИИЭР, 1983, т.71, № I, с.140−149.
- Kung Н.Т. The structure of parallel algorithms. In: Advances in Computers. New York: Academic Press, 1980, v. 19, p. 65−112.
- Каляев А.В. Однородные коммутационные регистровые структуры.-М.: Сов. радио, 1978. 334 с.
- Jump J.R. Asynchronous control arrays. IEEE Transactions on Computers, 1974, vol. C-23, No. 10, p. 1020−1029.
- Patil Suhas S. An asynchronous logic array. MAG technical memorandum 62. MIT, 1975 May, 30 p.
- Kinniment D.J. Regular programmable control structures. -In: VLSI-81 (ed. J.P.Gray), London, Acad. Press, 1981, p.193
- Евреинов Э.В., Косарев Ю. Г. Однородные универсальные вычислительные системы высокой производительности. Новосибирск: Наука, 1966, — 308 с.
- Евреинов Э.В., Прангишвили И. В. Цифровые автоматы с настраиваемой структурой (однородные среды). -М.: Энергия, 1974. -240 с.
- Марчук Г. И., Котов В. Е. Модульная асинхронная развиваемая система (концепция). Часть I. Предпосылки и направления развития архитектуры вычислительных систем. Новосибирск, 1978, — 48с. — (Пре>принт/АН СССР, Сиб. отд-ние, ВЦ- 86).
- Марчук Г. И., Котов В. Е. Модульная асинхронная развиваемая система (концепция). Часть П. Основные принципы и особенности. Новосибирск, 1978, — 51с. — (Препринт/АН СССР, Сиб. отд-ние, ВЦ- 87).
- Овсепян Г. И., Оганян Т. А., Гончаян В. Г., Щетинин Ю. И., Митина В. А., Грачян Г. Г. Программируемые логические матрицы в электронных электрических машинах. Управляющие системы и машины, 1976, № I, с.46−49.
- Баранов С.И., Синев В. Н. Программируемые логические матрицы в цифровых системах. Зарубежная радиоэлектроника, 1979,1. I, с. 65−82.
- Прайост, Рао, Б л ад. Функциональная матрица, упрощающая проектирование специализированных ЭСЛ БИС. Электроника, 1979, т.52, № 4, с.34−41.
- Поса Дж. Вентильные матрицы: современное состояние техники и технологии. Электроника, 1980, т.53, № 21, с.54−73.
- Глушеов В.М. Теория автоматов и формальные преобразования микропрограмм. Кибернетика, 1965, № 5, с. 1−10.
- Чу Я. Организация ЭВМ и микропрограммирование. М.: Мир, 1975. — 592 с.
- Баранов С.Й., Марин А. В. Языки микропрограммирования. -Зарубежная радиоэлектроника, 1977, J& 6, с. 85−102.
- Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных. Под ред. М.Брейера. М.: Мир, 1979. — 463 с.
- Денисов В.М., Матвеев Ю. Н., Очин Е. Ф. Принципы организации систем обработки изображений на базе клеточной логики. -Зарубежная радиоэлектроника, 1984, № I, с. 3−25.
- Rosenstiehl P., Fiksel J.R., Holliger A. Intelligent Graphs: Networks of finite automata capable of solving graphs problems. In: Graph Theory and Gomput. Ed. R.C.Reed. Acad. Press, 1972, p. 219−265.
- Lipton R.J., Miller R.E., Snyder L. Synchronization and computing capability of linear asynchronous structures. J. of Computer and System Sciences, 1977, v.14, p. 49−72.
- Методы параллельного микропрограммирования / П. А. Аншпев, С. М. Ачасова, О. Л. Бандаган, С. В. Пискунов, С.Н.Сергеев- под ред. О. Л. Бандаан. Новосибирск: Наука, 1981. — 180 с.
- Каляев А.В. Теория цифровых интегрирующих машин и структур. -М.: Сов. радио, 1970. 471 с.
- Фет Я. И. Параллельные цроцессоры в управляющих системах. -М.: Энергоиздат, 1981. 160 с.
- Элементы параллельного программирования / В. А. Вальковский, В. Е. Котов, А. Г. Марчук, Н.Н.Миренков- Под ред. В. Е. Котова.-М.: Радио я связь, 1983. 240 с.
- Котов В.Е., Нариньяни А. С. Асинхронные вычислительные процессы над памятью. Кибернетика, 1966, Л 3, с.64−71.
- Корнев Ю.Н., Пискунов С. В., Сергеев С. Н. Алгоритмы обобщенных подстановок и вопросы их интерпретации. Теоретическая кибернетика: Труды семинара, вып.4, Киев, 1970, с.3−20.
- Корнев Ю.Н., Пискунов С. В., Сергеев С. Н. Алгоритмы обобщенных подстановок и их интерпретация сетями автоматов и однородными машинами. Изв. АН СССР. Техническая кибернетика, 1971, № 6, с.131−142.
- Коренев Ю.Н., Пискунов С. В., Сергеев С. Н. Вопросы построения алгоритмов обобщенных подстановок с выделенным констектом. -Вычислительные системы, Новосибирск, 1971, вып.47, с.117−130.
- Codd E.F. Cellular automata. New York-London: Academic Press, 1968. — 122 p.
- Yamada H., Amoroso S.A. Tesselation automata. Information and Control, 1969, v. 14, No.3, p. 299−317.
- Марков A.A. Теория алгоритмов. Труды Матем. ин-та им. Стек-лова АН СССР, 1954 г., т.42, 375с.
- Колмогоров А.Н., Успенский В. А. К определению алгоритма. -Усп.мат.наук, 1958, т.13, вып.4/82, с.3−13.
- Lipton R.J., Snyder L., Zalzstein Y. A comparative study of models of parallel computation. In: 15th Annual Symp. on Switching and Automata Theory, 1974, p. 145−155.
- Peterson J.L. Petri net theory and the modeling of systems. -Englewood Cliffs (N.J.): Prentice-Hall, 1981. 290 p.
- Сергеев С.Н. Распознавание непротиворечивости алгоритмов стационарных подстановок. В кн.: Архитектура вычислительных систем с программируемой структурой (Вычислительные системы, вып.82). Новосибирск, 1980, с.18−25.
- Бандман О.Л. Асинхронная интерпретация параллельных микропрограмм. Кибернетика, 1984. № 2, с.14−20, 43.
- Анишев П.А. Один способ анализа корректности граф-схем алгоритмов. Программирование, 1981, № I, с.20−28.
- Анишев П.А. Редуцируемость сетей Петри. Программирование, 1982, & 4, с.36−43.
- Бандман О.Л. Минимизация сетей Петри цри синтезе асинхронного параллельного управления. В кн.: Однородные вычислительные системы (Вычислительные системы, вып.90). Новосибирск, 1982, с.3−21.
- Сергеев С.Н. Реализация алгоритмов параллельных подстановок в микропроцессорных системах. В кн.: Вопросы теории и построения вычислительных систем (Вычислительные системы, вып.73). Новосибирск, 1978, с.25−39.
- Бандман О.Л. Синтез асинхронного микропрограммного управления параллельными процессами. Кибернетика, 1980, № I, с.42−47.
- Сергеев С.Н. Структурное проектирование специализированных микропрограммных устройств. В кн.: Однородные вычислительные системы (Вычислительные системы, вып.90). Новосибирск, 1981, с.64−77.
- Бандман 0.1., Пискунов С. В., Сергеев С. Н. Синтез параллельных микропрограммных структур. Кибернетика, 1981, 5, с.48−54.
- Бандман О.Л., Пискунов С. В., Сергеев С. Н. Применение методов параллельного микропрограммирования для синтеза структуры специализированных вычислителей. Новосибирск, 1983.31 с. (Препринт/Институт математики СО АН СССР, JS 35 (0BC-I8)).
- Пискунов С.В. Язык мивропрограммного описания моделей однородных параллельных вычислительных устройств. В кн.: Архитектура вычислительных систем с программируемой структурой (Вычислительные системы, вып.82). Новосибирск, 1980, с.26−40.
- А.С. I 664 168 (СССР). Вычислительная однородная структура Д).Н.Корнев, С. В. Пискунов. Опубл. в Б.И., 1979, № 19.
- A.C.J& 805 301 (СССР). Вычислительная однородная среда/ С. В. Пискунов. Опубл. в Б.И., 1981, Ш 6.
- Пискунов С.В. Однородная вычислительная структура из многозначных ячеек, реализующая алгоритмы параллельных подстановок. В кн.: Однородные вычислительные системы (Вычислительные системы, вып.90). Новосибирск, 1982, с.119−131.
- Баранов С.И. Синтез микропрограммных автоматов. Л.: Энергия, 1974. — 216с.
- Rumbaugh J. A data flow multiprocessor. IEEE Transactions on Computers, 1977, v. C-21, No.2, p. 138−147.
- Бандман О.Л., Пискунов С. В., Сергеев С. Н. Задачи параллельного микропрограммирования. В кн.: Вопросы теории и построения вычислительных систем (Вычислительные системы, вып.73). Новосибирск, 1978, с.3−24.
- Howard. B.V. Parallel computation schemata and their hardware implementation. Digital Processes, 1975, v.1, No.3, p. 183−192.
- Landweber L.H., Robertson E.L. Properties of conflictfree and persistent Petri nets. Journal of Association for Computing Machinery, 1978, v. 25, No.3, p. 352−364.
- Hack M. Analysis of production schemata by Petri nets. MAC TR-94. Cambridge (Mass.): M.I.T. Project MAC, 1972.- 119 p.
- Ачасова G.M. Анализ асинхронной интерцретации параллельных микропрограмм. В кн.: Однородные вычислительные системы из микро-ЭВМ (Вычислительные системы, вып.97). Новосибирск, 1983, с.28−52.
- Однородные структуры. Анализ. Синтез. Поведение /Варшавский В.й., Мараховский В. Б., Песчанский В. А., Розенблюм Л. Я. -М.: Энергия, 1973. 150 с.
- Horowitz, Zorat A. The binary tree as an interconnection network. Applications to multiprocessor systems and VLSI.- IEEE Transaction on Computers, 1981, vol. C-30, No.4, p. 247−253.
- Gordon D., Koren I., Silberman G.M. Embedding tree structures in VLSI hexagonal arrays. IEEE Transaction on Computers, 1984, vol. C-33, No.1, p. 104−107.
- Grasselli A. Synchronization of cellular array: the firing squard problem in two dimensions. Information and Control, 1975, 28, p. 113−124.
- Фаддеева B.H., Фадцеев Д. К. Параллельные вычисления в линейной алгебре. Кибернетика, 1977, И 6, с.28−40.
- Nishitani У., Honda N. The firing squard synchronization problem for graphs. Theor. Сотр. Sci., 1981, v. 14, No.1, p. 39−61.
- Ckott P., Сондак H. Ш/I для программистов. M.: Статистика 1977. — 223 с.
- А.С. № 436 350 (СССР). Двоичный сумматор / Ю. Н. Корнев, С. В. Писвунов, С. Н. Сергеев. Опубл. в Б.И., 1974, № 26.
- Дцрег.-гор-заучный руководитель /НЕЙ измерительных приборов ¦ -' кандидат те^з^тескЕХ наук•: ч, • •1. А 1С Т’о внедрении результатов диссертационной • работы ШСКУЯОВА СеВ^
- По характеру репаекых задач и условия?.! эксплуатации епецвнчЕС-лег ель долкен обеспечивать обработку с интенсивностью 10* 20 мега-ба:гг/сек?: Требуемая производительность вычислителя в наиболее слоеном pe5.is.ie отработки составляет 250 * 10 опер/сек
- Работа прово дптся в соответствии с приказом-распоранением СО АН СССР II Министерства от 7.12,79 г. и 21.12.79 г. .(c)47/15 000−952.
- Начальник отдела-кандидат технических наукk.b.LiTaiDK
- СПРАВКА об использовании результатов диссертационной работы С. З. Пиекунова при выполнении хоздоговорной работы по теме «Процессор-1».
- Для практической реализации таких устройств необходимо, наряду с решением физических и технологических задач, разрабатывать и методы синтеза, осуществляющие отображение реализуемого алгоритма в структуру разрабатываемого устройства.
- Зав.лабораторией 1−2 ИАиЭ СО АН СССР д.ф. м.н.1. Старший научный сотрудникк. 11'.- м.н.1. В.К.Малиновский1. Э.Г.Косцов