Анализ и разработка операционной системы в проекте МИНИМАКС
Диссертация
Основным итогом работы является создание в рамках научно-исследовательского проекта МИНЙМАКС операционной системы (ОС) для мульти-мини-машинного комплекса с программируемой структурой. Разработанная ОС обладает широкими возможностями для проведения экспериментов по отработке методов и средств организации параллельных вычислений. Её важной особенностью является базовая ориентация на достижение… Читать ещё >
Содержание
- ГЛАВА I. КТУРА И ОСОБЕННОСТИ ФУНКЦИОНИРОВАНИЯ БАЗОВЫХ СРЕДСТВ ОПЕРАЦИОННОЙ СИСТЕМЫ. II
- 1. 1. Принципы построения и общая струк тура ОС. II
- 1. 2. Диспетчеры элементарных машин и язык системы
- 1. 3. Процессы и языки для взаимодействия процессов
- 1. 4. Старшие диспетчеры
- 1. 5. Резюме
- ГЛАВА 2. МОДЕЛЬ ВЗАИМОДЕЙСТВИЙ БЛОКОВ ОПЕРАЦИОН НОЙ СИСТЕМЫ
- 2. 1. Постановка задачи
- 2. 2. Первый способ обслуживания заявок
- 2. 3. Второй способ обслуживания заявок
- 2. 4. Численный анализ задержек процессов 91 в системе МИНИМАКС
- 2. 5. Резюме
- ГЛАВА 3. МЕТОДЫ ПРОГРАММНОЙ ОРГАНИЗАЦИИ 0ТКА30УС
- ТОЙЧИВЫХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
- 3. 1. Схемы применения точек контроля и возврата
- 3. 2. Предварительная подготовка парал -лельных программ и функции блоков ОС, обеспечивающих отказоустойчи -вость вычислений. ЮЗ
- 3. 3. Определение оптимальных временных шагов, необходимых для контроля вычислений
- 3. 4. Организация отказоустойчивости в системе МИНИМАКС
- 3. 5. Резюме
- ГЛАВА. 4. ПОСТРОЕНИЕ СИСТЕМЫ СБОРА, ХРАНЕНИЯ И ПЕ
- РЕРАБОТКИ ДАННЫХ НА ОСНОВЕ ОС МИНИМАКС
- 4. 1. Общее описание и структура системы «РАЙОН»
- 4. 2. Применение ОС МИНИМАКС
- 4. 3. База данных районного уровня
- 4. 4. Язык управления базой данных
- 4. 5. Резюме
Список литературы
- Евреинов Э.Ё., Косарев Ю, Г. Однородные универсальные вычислительные системы высокой производительности.-Новосибирск, Наука, 1966. -308 с.
- Ершов А.П. Математическое обеспечение четвертого поколения. -Киев: Кибернетика, 1973, № 1, с.9−20.
- Котов В.Е. Теория параллельного программирования. Прикладные аспекты. -Киев: Кибернетика, 1974, И, с.3−17.
- Барский А.Б. Способы динамического распараллеливания вычислений. -М.: Техническая кибернетика, 1971, № 5, с.108−114.
- Паш нее в С. Д. Основы мультипрограммирования для специализированных вычислительных систем. -М.: Советское радио, 1972. 183 с.
- Поспелов Д.А. Введение в теорию вычислительных систем. -М.: Советское радио, 1972. 280 с.
- Королёв Л.Н. Методика построения операционных систем. -В сб.: Проблемы прикладной математики и механики. М.: Наука, 1971, с. 117−128.
- Бабаян Б.А. Основные принципы программного обеспечения в МВК Эльбрус. -М.: 1977. -(Препринт/Институт точной механики и вычислительной техники: № 5).
- Иванников Г. Г. Мониторная система Дубна для ЭВМ БЭСМ-6. -В кн.: Труды П Всесоюзной конференции по программированию. -Новосибирск, 1970.
- Глушков В. М, Капитонова Ю. В., ЛетичевсикийА.А. Методика проектирования вычислительных машин четвертого и следующих поколений. Киев: Кибернетика, 1973, № 1, с.3−8.
- Горин В.Г., Инденбаум М. Я., Королёв В. М., Переходов В. В., Поздняк Г. Е., Хвостанцев м.А. Микромашинная однородная вычислительная система ПАРОМ. -Киев: Управляющие системы и машины, 1982, № 4, с.66−71.
- Трахтенгерц Э.А. Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции. М.: Наука, 1981. — 254 с.
- Глушков В.М., Цейтлин Г. Е., Ющенко Е. Л. Методы символьной мультиобработки. -Киев: Наукова думка, 1980. 252 с.
- Косарев Ю.Г. 0 схемах обмена между ветвями параллельных алгоритмов. -В кн.: Вычислительные системы, вып. 51. Новосибирск, 1972, с. 70−75.
- Н ceruse.^ Р. В. Sfciix^faxa^- JHu/fcb^^s^m^Ai*^.
- От. ЛСМ3 Jafy.- mZ, V., У- k, p. .
- E-W-Tfa SUouztcci*- ot-tfLz, «THE»
- ЛаССС/эЮахс^М^И^ Се>УП. JfCM, 1. V.11, A^s- p. V
- Ноаяе- C.fi.fL.MonltoTA: Луи
- StULcfotuL^LHQ CorL6 €f>t. Con?. J CM J Oc^b-gej^, 43?4, V. I?, S43-SSS.
- НоьВ-еъмсаг, ЛМ. 0. pw2diyuj, Sy-dtav Sbitdctustc, f>? CoУприиЬгл-*. Jieutk^jmeutic^C- СекЛ/г.е Toou^c&S- 63 Jhwi’t-esuiL&syri y
- RotmoLyrjooztiu^, C. I/.J PouxJc J.H., Li H.F. Compel -¦Utp^Zje^&S&J&L, icu^ts.Ъ CK, (XszctJLynestc^- IFFE ok Comput., -13Z3,1. V. c-22,№ 11,p.9S1−338 .
- Резанов В.В., Винокуров В. Г., йтенберг И.И. и др. Новый набор агрегатных модулей и дальнейшее развитие системы АС ВТ. -Труды НИИ УВМ. -Северодонецк, 1970, вып. 2.
- Резанов В.В., Костелянский В. М. Управляющие вычислительные комплексы СМ-1 и СМ-2. М.: Приборы и системы управления, 1977, № 10, с. 6−9.22. Ръл^&ъ Л. Л IгиЛигълк.- ЪесЕоитоМок,^ ^ЗЧ^, V. М- р. .
- Воидкс/г^ И. В. у Воъ^ъъьоуи ВЛу И. РИТМ Е- Л ¡-пооСиХа^ ?Ъ'ссД^^^х^и^г^ -^ох, ¿-е^ —- би^Хллп^ — Ръос,
- Сок$.9 тг, V. чо, р. Рг***., 1. МоушньЛе., У-еи*
- ШаЦ> Ц, Л- Ьхи^с ПхЗли-оък. —1. V. тль м-2,р. т-в'о.25. Р. В. о<(ви ПьсоС? сра ъъьлгиьиия -ЗчЪ^Уп. Сотупииъъ. ЛСМ. 1140, у. -/з, № ч, р. °гъ у — 2,5'о. '
- Малые ЭВМ и их применение /Ю.А.Дедов, М. А. Островский, К. В. Песелев и др.- Под общей редакцией Б.Н.Наумова* -М.: Статистика, 1980. 231с.
- Сидоров В.А., Сысолетин Б. Л., Шувалов Б. Н. Программное обеспечение системы РАДИУС. Киев: Управляющие системы и машины, 1978, № 1, с. 101−103.
- Архитектура вычислительных систем с программируемой структурой /Корнеев В.В., Хорошевский В.Г./- Новосибирск, 1979. 43 е., 45 с. (Препринты/Институт математики СО АН СССР: 0ВС-Ю, 0ВС-П).
- Программное обеспечение системы МИНИМАКС /Кербель В.Г., Колосова Ю. И., Корнеев В. Д., Крылов Э. Г., Миренков H.H./ -Новосибирск, 1979. 43 с. -(Препринт/Институт математики1. СО АН СССР: 0ВС-09).
- Миренков H.H. Однородные вычислительные системы. Структурная организация операционных систем. Части I и 2. -Новосибирск, 1977. — 48 е., 47 с. -(Препринты ИМ СО АН СССР- 0BC-I, ОВС-2).
- Корнеев В.Д. Операционная система МИНИМАКС. -В кн.: Вычислительные системы, вып. 78. Математическое обеспечение вычислительных систем. -Новосибирск, 1979, с. 3−30.
- Корнеев В.Д. Программные средства для организации отказоустойчивых вычислений в системе МИНИМАКС. Там же, с. 40−53.
- Корнеев В.Д., Колосава Ю. И., Кербель В. Г., Миренков H.H., Щербаков Е. В., Средства программирования системы МИНИМАКС.
- В кн.: Вычислительные системы, вып.60. Новосибирск, 1974, с. 143−152.
- Корнеев В.Д., Колосова Ю. И., Кербель В.Г."Миренков H.H., Щербаков Е. В. Управляющая программа системы МИНИМАКС. Тамже, с. 129−142.
- Корнеев В.Д. Программные методы организации высоконадежных вычислений. -В кн.: Однородные вычислительные системы и среды. Часть I. Материалы 1У Всесоюзной конференции. -Киев: Наукова думка, 1975, с. 89−91.
- Корнеев В.Д., Мйренков H.H. Организация высоконадежного счета в однородных вычислительных системах. Киев: Управляющие системы и машины, 1976, № 4, с. 46−54.
- Винокуров В.Г., Димитриев Ю. К., Евреинов Э. В., Костелянский В. М., Леханова Г. М., Миренков H.H., Резанов В. В., Хорошевский В. Г. Однородная вычислительная машина из мини-машин. -В кн.: Вычислительные системы, вып. 51. -Новосибирск, 1972, с. 127−146.
- Колосова Ю.И. Языки для описания параллельных процессов. Операторы групповых взаимодействий. Новосибирск, 1977.- Отчет ИМ СО АН СССР. 39 с.
- Корнеев В.Д. Супервизор реального времени однородной вычислительной системы МИНИМАКС. Новосибирск, 1978. — Отчет ИМ СО АН СССР. — 105 с.
- Крылов Э.Г. Загрузка параллельных программ в однородную вычислительную систему МИНИМАКС. Новосибирск, 1979.- Отчет ИМ СО АН СССР. 83 с.
- Димитриев Ю.К., Шум Л.С., Томилов Ю. Ф., Потапова Ю. Н., Блок коммутации и взаимодействие электронных машин управляющей однородной вычислительной системы. -В кн.: Вычислительные системы. -Новосибирск, 1970, вып. 39, с.128−136.
- Корнеев В.Д. Стохастическая модель взаимодействий блоков операционной системы МИНИМАКС. -В кн.: Вычислительные системы, вып. 96. Математическое обеспечение ВС из микро-ЭВМ.- Новосибирск, 1983, с. 29−50.
- Корнеев В.Д., Колосова Ю. И. Автоматизация параллельного программирования для однородной вычислительной системы МИНИМАКС. -В кн.: Материалы ХУШ областной конференцииим. А. С. Попова. Новосибирск, 1975.
- Миренков H.H., Колосова Ю. И., Кербель В. Г., Корнеев В. Д., Крылов Э. Г. и др. Система сбора, хранения и обработки статистических данных районного звена ЦСУ СССР (Сисстема «РАЙОН» ЦСУ). Новосибирск, 1981. — Отчет ИМ СО АН СССР. — 114 с.
- Миренков H.H., Кербель В. Г., Колосова Ю. И., Корнеев В. Д., Крылов Э. Г. Опыт разработки и эксплуатации системы МИНИМАКС. -Тезисы 1У Всесоюзного симпозиума СТП. Кишинев, 1983, с. 270−171.
- JW^teft^c5 Л. Г^е- STAR. CompLcte^: Лк^ti^jxtCoK, о{ t&ji, tkjbO^L ocuxt o^
- OLuL&t -to&n^ut tomp^tesi^ cLe^>^n^. —IEFE48. boutMviK^ R. W. y Mou^aJc J.S.j Тиощ^л^оЫсь L. S.
- Mo 1ES5 BuM. Sua tj ТгеАк,.
- J.,-13e4yV. pt 1,/э. 9.0−13. f
- ЛноСеялоги J.E.j JHouo’U- F.J. MbuCiipfz, ХлЛи-няСa^pp-CocoutcoK^ im, ou c^m^jhuuU^.— lib:
- Pxoc. 13G? fin,!^. Sumb. freXiaJ^LtLhj.j WaA&ujqto^
- CaTvtesc VJ. C. Tdeot^ ocuxL ииб← oif oJue^ u*xj. Cbv^i^itb. In.: Computes^
- Clt^, EnjnC&MjdL: lyufotiLdL IfrfoismsbtioKs Ltd. v №ЧЦ3 p. 443−4W.
- Уэнсли Дж. X., Лэмпорт Л, и др.1. SIFT
- Проектирование и анализ отказоустойчивой вычислительной системы для управления полетом летательного аппарата. Журн. Труды института инженеров по электротехнике и радиоэлектронике, т.66, № 10, октябрь 1978, с. 166−185.
- Катсуки Д., Элсам Э. С. и др. ЩииплЛссъ отказоустойчивый операционный мультипроцессор. -Журн. ТИИЭР, т.66, № 10, октябрь 1978, с. 49−67.
- Ихара X. Фукуока К. и др. Отказоустойчивая вычислительная система с тремя симметричными вычислительными машинами. -Журн. ТИИЭР, т.66, № 10, октябрь 1978, с. 68−88.
- Движение А. Отказоустойчивость свойство обеспечивающее постоянную работоспособность цифровых систем. -Журн. ТИИЭР, т.66, № 10, октябрь 1978, с. 5−25.
- Миренков H.H., Параллельные программы для решения задач на однородных вычислительных системах, вып. 57. Новосибирск, 1973, с. 3−32.
- Миренков H.H., Фишерман С. Б. Распознавание подсистем заданных структур в однородных вычислительных системах. -В кн.: Вычислительные системы, вып. 63. Новосибирск, 1975, с. 44−53.
- Константинов В.И., Корнеев В. Д., Миренков H.H. и др. Язык параллельных алгоритмов. -В кн.: Вычислительные системы, Новосибирск, 1973, вып. 57, с. 33−54.
- Константинов В.И., Корнеев В. Д., Миренков H.H. и др. Транслятор с языка параллельных алгоритмов. -В кн.: Вычислительные системы, вып.57. Новосибирск, 1973, с. 55−73.
- Корнеев В.Д. Подсистема хранения данных районного звена на базе вычислительного комплекса МИНИМАКС. -1У Всесоюзная школа-семинар «Параллельное программирование и высокопроизводительные системы.-Киев: Наукова думка, 1982, ч.4,с.31−33.
- Кербель В.Г., Колосова Ю. И., Корнеев В. Д., Крылов Э. Г., Миренков H.H. Система сбора, хранения и переработки данных районного звена. Там же, с. 26−28.
- Колосова Ю.И., Кербель Н.&-, Кербель В. Г. Параллельные программы для системы МИНИМАКС. -В кн.: Вычислительные системы, вып. 78. Математическое обеспечение вычислительных систем. -Новосибирск, 1979, с.78−89.
- Никитин А.И. Вопросы архитектуры и операционных систем многомашинных комплексов. -В кн.: Операционные системы комплексов ЭЦВМ. Киев: ИК АН УССР, 1972, с.3−12.
- Головкин Б.А. Параллельные вычислительные системы. -М.: Наука, 1980. 519 с.
- Иванников В.П., Киреева Т. В., Королёв Л. Н., Максаков В. И., Эланская Л. В. Мониторная система для связи БЭСМ-6 с машиной ввода-вывода на базе диспетчера НД-70. -В кн.: Операционные системы комплексов ЭЦВМ. -Киев: ИК АН УССР, 1972, с. 13−21.
- Редько В.А. Многомашинный вычислительный комплекс в системе обработки научной информации. -В кн.: ЕЫчислитель-ные комплексы в системах автоматизации исследований.-Рига: Зинатне, 1977, с. 73−79.
- Дражжинов В.И., Мямлин А. Н. Системный анализ архитектуры сетей ЭВМ. -М., 1976. 39 с. (Препринт/ИПМ АН СССР:№ 2)
- Метляев Ю.В. Переферийный центр обработки на базе мини-ЭВМ (М-7000, СМ-2) и системы КАМАК. -В кн.: Программное и техническое обеспечение ВЦ КП: Сб. научн.тр. ВЦ СО АН СССР, Новосибирск, 1978, с. 169−185.
- Кутепов В.П., Кораблин Ю. П., Тиц П.Г., Вопросы реализации параллельных алгоритмов на вычислительных системах. -Киев: Программирование, 1975, № 2, с.3−10.
- Нуриев P.M. Об алгоритмах распараллеливания системы циклов над массивами. -В кн.: Вычислительные системы, вып.73. Вопросы теории и построения вычислительных систем. -Новосибирск, 1978, с. I38−151.
- Волков Ю.М., Ерофеев Ю. Ф., Жиратков В. И., Малявко А. А., Мищенко В. К. Распределенная вычислительная система АСТРА.-В кн.: Вычислительные системы, вып. 63. -Новосибирск, 1975, с. 132−139.
- Эфрос Л.Б. Организация многомашинных вычислительных систем, ориентированных на коллективное использование средств вычислительной техники. -Новосибирск, 1980. 21 с. (Препринт/ ВЦ СО АН СССР: № 255).
- Мямлин А.Н. Экспериментальная сеть ЭВМ коллективного пользования СЕКОП. -М., 1978. 23 с. (Препринт/ИПМ АН СССР: № 30).
- Кузнецов Е.П. О принципах обработки информации в условиях ВЦ КП СО АН СССР. -В кн.: Вычислительные системы коллективного пользования: Сб. науч. тр. ВЦ СО АН СССР, Новосибирск, 1980, с. 42−50.
- Прангишвили И.В., Горинович Л. Н., Игнатущенко В. В. и др. Организация вычислений на однородной управляющей вычислительной системе с перестраиваемой структурой. -В кн.:1. РъеЬof IMC. WiUlkJcL,
- Медведев И.А., Прангишвили И. В., Чудин A.A. Многопроцессорные вычислительные системы с перестраиваемой структурой. -М.: 1975. 73 с. (Препринт/ИПУ).
- Халилов А.И. Некоторые вопросы организации баз данных в сложных системах автоматизированного управления. -Киев: Кибернетика, 1981, № 3, с. 40−45.