Методы и устройства параллельной реализации граф-схем алгоритмов в проблемно-ориентированных системах обработки данных
Диссертация
Главная проблема при построении специализированных параллельных ВСэто определение оптимального или близкого к оптимальному числа параллельно работающих блоков (т.е. когда удовлетворяются временные характеристики, или, когда дальнейшее увеличение числа процессоров практически не приводит к росту производительности). Особенно жестко это требование предъявляется к системам управления в реальном… Читать ещё >
Список литературы
- Авен О.И., Турин H.H., Коган Я. А. Оценка качества и оптимизация вычислительных систем.- М.:Наука, 1982, — 464 с.
- Алексеев Г. И., Мыльников С. П. Программная реализация Петри-машины. В кн.- Многопроцессорные вычислительные системы и их математическое обеспечение. Новосибирск: Изд. ВЦ СО АН СССР, 1982, с. 94 103с.
- Алгоритмы, математическое обеспечение и архитектура многопроцессорных вычислительных систем/Под. ред. А. П. Ершова.- М., Наука, 1982-ЗЗбс.
- Анишев O.A., Ачасова С. М., Бандман О.Л, и др. Методы параллельного микропрограммирования. Новосибирск: Наука, 1981.
- Астаповский А.Г., Варшавский В. И., Мараховский В. Б. и др, Апериодические автоматы. М.: Наука, 1976.
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979. — 536 с.
- Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация.-М.: Радио и связь, 1990. 256с.
- Барский А.Б. Планирование параллельных вычислительных процессов.-М.: Машиностроение, 1980. 192с.
- Басакер Р., Саати Т. Конечные графы и сети: Пер. с англ.-М.:Наука, 1974.- 366 с.
- Берне, Браун, Като, Кук, Слотник, Стоке. Многопроцессорная вычислительная система ИЛЛИАК-4: Пер. с англ. Зарубежная радиоэлектроника, 1972, N 5, с. 53 -67.
- П.Быстров A.B., Дудоров H.H., Котов В. Е. 0 базовом языке. В кн.: Языки и системы программирования. Новосибирск: Изд-во ВЦ СО АН СССР, 1979, с. 85−106.
- Вальковский В. А. Параллельное выполнение циклов. Метод параллелепипедов//Кибернетика, — 1982.- № 2.-с.51−62.
- Вальковский В.А. Распараллеливание алгоритмов и программ. Структурный подход.- М.: Радио и связь, 1989. 176с.129
- Валях Е. Последовательно-параллельные вычисления: Пер. с англ.-М.:Мир, 1985. 456с.
- Вентцель Е.С. Исследование операций. .- М.: Сов. радио, 1972. 551с.
- Гинзбург С. Математическая теория контекстно-свободных языков. М.: Мир, 1970.
- Головкин Б.А. Параллельные вычислительные системы.- М., Наука, 1980 520с.
- Головкин Б. А. Расчет характеристик и планирование параллельных вычислительных процессов.-М.: Радио и связь, 1983. 272с.
- Евреинов Э.В. Однородные вычислительные структуры и среды.-М.: Радио и связь, 1981.-208с.
- Евреинов Э.В., Хорошевский В. Г. Однородные вычислительные системы.-Новосибирск: Наука, 1978.- 320 с.
- Игнатущенко В.В. Организация структур управляющих многопроцессорных вычислительных систем. М.: Энергоатомиздат, 1984. — 184 с.
- Каляев A.B. Организация многопроцессорных систем на принципах потока данных и программирования архитектуры//Высокопроизводительные вычислительные системы: Тез. докл. 2-го Всесоюз. совещания.-Батуми, 1984.-е. 1920.
- Каляев A.B. Многопроцессорные вычислительные системы с программируемой архитектурой.- М.: Радио и связь, 1984, — 240 с.
- Капитонова Ю.В., Летичевский A.A. Математическая теория проектирования вычислительных систем. М.: Наука, 1988, — 296с.
- Карп P.M., Миллер P.E. Параллельные схемы программ. В кн.- Кибернетический сборник. Вып. 13 (новая серия), М.: Мир, 1976, с. 5 — 61.
- Карцев М.А., Брик В. А. Вычислительные системы и синхронная арифметика.-М.: Радио и связь, 1981. 360с.
- Клейнрок Л. Вычислительные системы с очередями: Пер. с англ.-М.Мир, 1979. -456с.
- Кнут Д. Искусство программирования для ЭВМ. Т.1. Основные алгоритмы: Пер. с англ. М.: Мир, 1976. — 736 с.130
- Кнут Д. Искусство программирования для ЭВМ. Т. З. Сортировка и поиск: Пер. с англ. М.: Мир, 1978. — 846 с.
- Котов В.Е. Параллельное программирование с типами управления. Кибернетика, 1979, N3, с. 1−13.
- Котов В.Е. Алгебра регулярных сетей. Кибернетика, 1980, N 5, с. 10−18.
- Котов В.Е., Черкасова JI.A. Структурированные сети. Кибернетика, 1981, N 4, с. 33−41.
- Котов В.Е., Черкасова JI.A. Некоторые критерии структурированности в классе ациклических сетей. В кн.: Многопроцессорные вычислительные системы и их математическое обеспечение. Новосибирск: Изд. ВЦ СО АН СССР, 1982, с.71−83.
- Котов В.Е. Сети Петри,— М.: Наука, 1984, — 160 с.
- Коуги П. Архитектура конвейерных ЭВМ: Пер. с англ.- М.: Радио и связь, 1985. 360с.
- Миренков H.H. Параллельное программирование для многомодульных вычислительных систем.- М.: Радио и связь, 1989. 320с.
- Минский М. Вычисления и автоматы. М.: Мир, 1971.
- ЗБ.Михалевич B.C., Капитонова Ю. В., Летичевский A.A., Молчанов И. Н., Погребинский С. Б. Организация вычислений в многопроцессорных вычислительных системах//Кибернетика, 1984.-№ 3 с. 1−10.
- Мищенко В.А., Лазаревич Э. Г., Аксёнов А. И. Расчет производительности многопроцессорных вычислительных систем.- Минск: Вышейшая школа, 1985. -208с.
- Мультипроцессорные системы и параллельные вычисления/Под ред. Ф. Г. Энслоу: Пер. с англ. М.: Мир, 1976. — 383с.
- Прангишвили И.В., Виленкин С. Я., Медведев И. Л. Микропроцессорные вычислительные системы с единым потоком команд. М.: Энергоатомиздат, 1983. -311с.
- Проектирование сверхбыстродействующих систем. Комплекс СТРЕТЧ/Под ред. В. Бухгольца: Сокращ. Пер. с англ. М.: Мир, 1965. — 348 с.131
- Роджерс С. Теория рекурсивных функций и эффективная вычислимость. М,-Мир, 1972, 624 с.
- Самофалов К.Г., Луцкий Г. М. Основы теории многоуровневых конвейерных вычислительных систем.-М.: Радио и связь, 1989. 272с.
- Системы параллельной обработки/Под ред. Д. Ивенса- Пер. с англ. под ред. Ю. Г. Дадаева М.: Мир, 1985. — 416с.
- Таль A.A., Юдицкий С. А. Иерархия и параллелизм в сетях Петри. Сложные автоматные сети Петри с параллелизмом.-Автоматика и телемеханика, 1982, N9, с. 83.
- Тербер К.Д. Архитектура высокопроизводительных вычислительных систем: Пер. с англ.- М.: Наука, 1985, — 272с.
- Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции,— М.: Наука, 1981.- 254с.
- Феррари Д. Оценка производительности вычислительных систем: Пер. с англ. -М.: Мир, 1981,576 с.
- Хокни Р., Джессхоуп К. Параллельные ЭВМ. Архитектура, программирование и алгоритмы: Пер. с англ.- М.: Радио и связь, 1986. 392с.
- Флинн М. Сверхбыстродействующие вычислительные системы. ТИИЭР, 1966,. 54, N12, с. 311 — 320.
- Флинн М., Амдал Г. Технические аспекты разработки большой сверхбыстродействующей вычислительной машины. В кн.: Микроэлектроника и большие системы: Пер. с англ. — М.: Мир, 1967, с.58−78.
- Хассон С. Микропрограммное управление: Пер. с англ. М.: Мир, 1973. — Т.1. -224 е., Т.2. — 477 с.
- Хорошевский В.Г. Инженерный анализ функционирования вычислительных машин и систем,— М.: Радио и связь, 1987. 256с.
- Черкасова Л.А. Об отношении параллельности и КА-плотности в ациклических сетях. В кн. — Параллельные вычислительные и программные системы. Новосибирск: Изд-во ВЦ СО АН СССР, 1981, с. 13 — 28.
- Элементы параллельного программирования/ Вальковский В. А., Котов В. Е., Марчук А. Г., Миренков H.H.- Под ред. В. Е. Котова.- М.: Радио и связь, 1983. 240с.132
- Яненко Н.Н. Эффективность алгоритмов и принципы их декомпозиции для современных ЭВМ//Комплексы программ математической физики, — Новосибирск, 1984, — с.3−17.
- Kotov V.E. An algebra for parallelism based on Petri nets. In: Lecture Notes in Computer Science. Berlin: Springer-Verlag, 1978, 64, p. 39−55.
- Cray Research Inc. 1976. CRA Y -1 Computer System, No. 2 240 004, Cray Research1.c., Bloomington, Minn.
- Control Data Corp. 1975. Control Data STAR-100 Computer Hardware Reference Manual, Publication No. 60 256 000, Control Data Corp., Minneapolis.
- Tony Brewer and Greg Astfalk. The evolution of the HP/Con-vex Exemplar. In Proceedings of COMPCON Spring '97: Forty-Second IEEE Computer Society International Confer-ence, pages 81−86, February 1997.
- Asgeir Th. Eiriksson and Ken L. McMillan, Using formal ver-ification/analysis methods on the critical path in system de-sign: A case study. In Proceedings of Computer Aided Verification Conference, Liege Belgium, LNCS 939, Springer Verlag, 1995.
- Mike Galles. Scalable Pipelined Interconnect for Distributed Endpoint Routing: The SGI SPIDER chip. In Hot Intercon-nects '96.
- Daniel Lenoski, James Laudon, Kourosh Gharachorloo, Anoop Gupta, and John Hennessy. The directory-based cache coherence protocol for the DASH multiprocessor. In133
- Proceed-ings of the 17th Annual International Symposium on Comput-er Architecture, pages 148−159, May 1990.
- Тахаутдинов B.C., Осипов C.H. Метод параллельного микропрограммирования. Тезисы докладов Юбилейной научно-технической конференцииКГТУ. Казань, 1994.
- Tom Lovett and Russell Clapp, STiNG: A CC-NUMA computer system for the commercial marketplace. In Proceedings of the 23rd Annual International Symposium on Computer Architecture, pages 308−317, May 1996.
- Steven K. Reinhardt, James R. Larus, and David A. Wood. Tempest and Typhoon: User-level shared memory. In Pro-ceedings of the 21st Annual International Symposium on Computer Architecture, pages 325−336, .April 1994.
- Mendel Rosenblum, John Chapin, Dan Teodosiu, Scott De-vine, Tirthankar Lahiri, and Anoop Gupta. Implementing effi-cient fault containment for multiprocessors. Communications of the ACM, 39(3):52−61, September, 1996.
- Wolf-Dietrich Weber, Scalable Directories for Cache-Coherent Shared-Memory Multiprocessors. Ph.D.thesis, Stanford University, Stanford, California, January 1993.
- Kenneth Yeager, The MIPS R10000 Superscalar Microprocessor, IEEE Micro, 16(2):28−40, April, 1996.
- Dijkstra E. W Cooperating sequential processes. In: Programming Languages. New York: Academic Press, 1968, p. 43 — 112.
- Petri C.A. Kommunikstion mit Automaten.- Technische Hochschule Darmstadt, 1962.
- Hack M. Decision problems for Petri nets and vector addition systems. Project MAC Memo 59. Cambridge, 1975.134
- Hack M. Petri net languages. Project MAC Memo 127. Cambridge, 1975.
- Keller R.M. Vector replacement systems: a formalism for modelling asynchronous systems. Tech. Report, Princeton University, 117, 1972.
- Keller R.M. Generalized Petri nets as models for system verification. Tech. Report, Princeton University, 1975,202.
- Kosaraju S.R. Limitations of Dijkstra’s semaphore, primitives and Petri nets. -Operating Systems Review, 1973, 7, № 4, p. 122 136.
- Agerwala T. A complete model for representing the coordination of asynchronous processes. In: Hopkins Computer Research. Report 32. Baltimore, 1974.
- Agerwala Т., Flynn M. Comments on capabilities, limitations and «correctness» of Petri nets In: Proc. of First Annual Symposium on Computer Architecture. New York, 1973, p. 81- 86.
- Valk R. On the computational power of extended Petri nets. In: Lecture Notes in Computer Science. Berlin: Springer-Verlag, 1978, 64. p.526 — 535.
- Valk R. Self-modifying nets, a natural extension of Petri nets. In: Lecture Notes in Computer Science. Berlin: Springer-Verlag, 1978, 62, p.464−476.
- Осипов C.H., Тахаутдинов B.C. Метод распараллеливания команд // Тезисы докладов Н-й международной научно-технической конференции «Новые информационные технологии и системы». Пенза, 1996. С. 35.
- Осипов С.Н., Тахаутдинов B.C. Распараллеливание команд методом подстановок // Тезисы докладов юбилейной научной и научно-методической конференции, посвященной 65-летию КГТУ им. А. Н. Туполева.- Казань, 1997. С. 164.
- Сетевая телеобработка данных // Отчет о НИР. № госрегистрации 1 860 056 143, КАИ, Казань, 1986.
- Davidson, Е. S. 1971. «The Design and Control of Pipelined Function Generators,» Proc. 1971 Int. IEEE Conf. on Systems, Networks, and Computers, Oaxtepec, Mexico, January, pp. 19−21.
- Shar L.E. and E. S. Davidson. 1974. «A MultiminiProcessor System Implemented Through Pipelining,» Computer, February, pp. 42−51.135
- Patel, J. H., and E. S. Davidson. 1976. «Improving the Throuehput of a Pipeline by Insertion of Delays,» IEEE/ACM 3rd Ann. Sytmp. Computer Arch., IEEE No.76CH 0143−5C, pp. 159−163.
- Осипов C.H., Тахаутдинов B.C., Тукмеев P.P. Параллельный процессор телеобработки данных // Тезисы докладов республиканского научно-технического семинара. Казань, 1989. С.13−14.
- Thomas А.Т., and Е. S. Davidson. 1974. Scheduling of Multiconfigurable Pipelines. Proc. l2th Ann. Allerton Conf. Circuits and System Theory, University of Illinois, Champaign-Urbana, pp. 658−669.
- Davidson E.S., A.T. Thomas, L. E. Shor, and J. H. Patel. 1975. Effective Control for Pipelined Computers, Proc. Spring COMPCON, IEEE no. 75CH 0920−9C, pp-181−184.
- Kogge P.M. 1977a. «The Microprogramming of Pipelined Processors,» Proc. 4th Ann. Conf. Computer Arch., IEEE No. 77CH 1182−5C, March, pp. 63−69.
- Kaminsky W.J., and E.S.Davidson. 1977. «Organization of Multiple Stream Pipelined LSI Processors,» Coordinated Sciences Laboratory, Univ. of Illinois, Champaign-Urbana.
- Emer J.S., and E.S. Davidson. 1978. Control Store Organization for Multiple Stream Pipelined Processors, Coordinated Science Laboratory, University of Illinois. Champaign-Urbana.
- Осипов C.H., Тахаутдинов B.C. Вопросы построения процессора телеобработки данных на МП комплектах БИС // Тезисы докладов 9-й отраслевой научно-технической конференции молодых ученых и специалистов. Казань, 1985. С. 43.
- Ильин А.В., Осипов С. Н., Тахаутдинов B.C. Микропрограммный процессор удаленной телеобработки данных // Тезисы докладов 2-й межреспубликанской студенческой научной конференции. Казань, 1987. С. 35.
- Осипов С.Н., Тахаутдинов B.C. Микропроцессорный связный контроллер с параллельной обработкой микрокоманд // Межвузовский сборник «Проблемно-ориентированные средства повышения эффективности вычислительных систем». -Казань, 1988.С.36−40.