Некоторые вопросы операционного обслуживания распределенных систем обработки данных тема автореферата и диссертации по математике, 01.01.10 ВАК РФ

Фурман, Михаил Ефимович АВТОР
кандидата технических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
1984 ГОД ЗАЩИТЫ
   
01.01.10 КОД ВАК РФ
Диссертация по математике на тему «Некоторые вопросы операционного обслуживания распределенных систем обработки данных»
 
 
Содержание диссертации автор исследовательской работы: кандидата технических наук, Фурман, Михаил Ефимович

ВВЕДЕНИЕ

ГЛАВА I. Общие вопросы создания программного обеспечения систем обработки данных

1.1. Введение.

1.2. Операционные системы для интеллектуальных терминалов.II

1.3. Организация обменов с внешней памятью

1.4. Организация диалогового редактирования текстов

1.5. Обеспечение надежности систем обработки данных.

1.6. Постановка задачи.

ГЛАВА 2. Специализированная операционная система

МИКРОС".

2.1. Введение.

2.2. Диспетчер.

2.3. Супервизор очередей . . J.

2.4. Супервизор связей

2.5. Супервизор времени.

2.6. Супервизор обменов.

2.7. Оверлейный супервизор

 
Введение диссертация по математике, на тему "Некоторые вопросы операционного обслуживания распределенных систем обработки данных"

3.2. Структура редактора и его распределение между ЭВМ .53

-33.3, Организация работы с текстовыми файлами . . .57

3.4. Использование журналов изменений .67

3.5. Выводы .74

ГЛАВА 4. Организация обменов с внешней памятью произвольного доступа.76

4.1. Общие положения.76

4.2. Стратегия организации обменов.79

4.3. Подсистема обменов СУБД "ИНЕС".82

4.4. Подсистема обменов с внешней памятью системы диалогового доступа " .93

4.5. Сравнение описанных реализаций подсистемы обменов.96

4.6. Выводы .97

ГЛАВА 5. Обеспечение надежности в системах обработки данных.99

5.1. Основные источники ненадежности систем обработки данных .99

5.2. Обеспечение надежности в системах доступа к текстовым библиотекам .102

5.3. Обеспечение надежности в системе "RED" . . .106

5.4. Выводы.114

ЗАКЛЮЧЕНИЕ.115

ЛИТЕРАТУРА.117

Приложение I. Основные характеристики системы диалогового доступа "RED".135

Приложение 2. Сведения о внедрении результатов работы.138

ВБЕДЕНИЕ

Развитие вычислительной техники в настоящее время характеризуется широким внедрением средств распределенной обработки данных. Одной из сфер применения распределенной обработки является организация диалогового доступа многих пользователей к центральной ЭВМ. Использование терминальных ЭВМ (в составе интеллектуальных терминалов и терминальных станций) позволяет в таких системах повысить общую производительность и разгрузить центральную ЭВМ.

Программное обеспечение многотерминальных диалоговых систем предъявляет специальные требования к используемой на ЭВМ операционной среде. Стандартные операционные системы (ОС), используемые на ЭВМ, этим требованиям удовлетворяют не полностью.

Настоящая диссертация посвящена вопросам создания специализированной операционной среды для многотерминальных диалоговых систем обработки данных и организации распределения программного обеспечения таких систем между центральной и терминальными ЭВМ.

В первой главе диссертации проведен анализ методов и программных средств, используемых для организации диалоговых систем обработки данных, и сформулированы задачи настоящей работы.

Вторая глава диссертации посвящена разработке стратегии организации и управления вычислительным процессом, ориентированным на обслуживание многих терминалов. Сформулированы основные требования, предъявляемые многотерминальными диалоговыми системами к используемой специализированной ОС. Предлагается стратегия управления вычислениями и структура типовой специализированной операционной системы, основанные на введении специальной дисциплины для прикладных процессов и обеспечивающие выполнение многих взаимосвязанных параллельных процессов при минимальном использовании ресурсов ЭВМ.

В третьей главе диссертации исследуются проблемы организации экранного редактирования текстов. Показано, что традиционные методы доступа к текстовым файлам непригодны для экранного редактирования. Разработан полный и ортогональный набор операций доступа к текстовым файлам, обеспечивающий процесс экранного редактирования текстов с нескольких терминалов. Предложена структура распределенного варианта экранного редактора, при использовании которой набор операций доступа к текстовым файлам трансформируется в протокол связи между центральной и терминальными ЭВМ. Введены понятия построчных и посимвольных журналов изменений и показано, что использование предлагаемой структуры распределенного редактора с использованием журналов изменений позволяет повысить эффективность работы и разгрузить центральную ЭВМ. Разработаны структуры данных и схемы основных алгоритмов, реализующих предлагаемый набор операций.

Четвертая глава посвящена организации обменов с внешней памятью в системах диалоговой обработки данных.

Предлагаемая стратегия обменов сочетает преимущества как систем организации виртуальной памяти, так и обычных методов доступа за счет введения специальной дисциплины доступа к данным, из прикладных программ. Она может быть реализована на любой ЭВМ. Описаны две реализации подсистемы обменов на базе предлагаемой стратегии: подсистема обменов системы управления базами данных (СУЩ) "ИНЕС", работающая в среде ОС ЕС и подсистема обменов системы диалогового доступа " RE])", работающая в среде специализированной ОС "МЖРОС", описанной в первой главе настоящей диссертации.

Пятая глава посвящена вопросам обеспечения надежности в диалоговых системах обработки данных. Проанализированы основные источники сбоев и отказов в таких системах и разработаны требования к надежным системам обработки данных.

Важным требованием является обеспечение минимальных потерь при сбое или отказе системы и обеспечение скорейшего восстановления ее работоспособности после отказа. Предложены принципы организации программного обеспечения, направленные на выполнение этого требования.

Для обеспечения высокой сохранности данных необходимо обеспечить быстрое отражение изменений в данных во внешней памяти и поддержку согласованности (корректности) данных в момент повторного пуска системы после ее отказа. Для этого вводится понятие частичной согласованности информационного объекта. Сформулированы требования для условий частичной согласованности, при выполнении которых достигается высокая надежность системы без снижения ее быстродействия и малое время восстановления после отказа.

Описана реализация разработанных принципов в системе диалогового редактирования текстов и приведены примеры используемых алгоритмов.

В заключении формулируются основные результаты диссертационной работы.

В приложении I приведены общие характеристики системы диалогового доступа "RED" и некоторые сведения об ее внутренней структуре.

Приложение 2 содержит сведения об организациях, в которых внедрены результаты настоящей диссертации.

 
Заключение диссертации по теме "Математическое обеспечение вычислительных машин и систем"

4.6. ВЫВОДЫ

Итак, проанализированы требования к подсистеме обменов с внешней памятью, предназначенной для организации операций ввода - вывода с устройством памяти на магнитных дисках.

Предложенная дисциплина пользовательских обращений к внешней памяти позволила построить схему программного обеспечения подсистемы обменов, сочетающую преимущества как пряных методов доступа, так и систем с виртуальной памятью.

Описаны две реализации подсистемы обменов. Первая реализация (подсистема ЪЮ СУЩ ИНЕС) предназначена для использования

-98в большой системе управления базами данных, в среде универсальной СЮ большой ЭВМ. Другая реализация подсистемы обменов (подсистема обменов системы диалогового доступа RE3)) ориентирована на специализированную систему, занимающую небольшие ресурсы ЭВМ или используемую в мини- или микро-ЭВМ (например в составе интеллектуального терминала, снабженного внешней памятью).

ГЛАВА 5

ОБЕСПЕЧЕНИЕ НАДЕЖНОСТИ в СИСТЕМАХ ОБРАБОТКИ ДАННЫХ

2.8 ЗАКЛЮЧЕНИЕ

Как уже говорилось выше, система МИКРОС использована для реализации двух программных систем: системы диалогового доступа REJ) и управляющей программы для интеллектуального терминала. Легкость и эффективность распараллеливания, простота синхронизации процессов, а также развитые средства структурирования программ оказали значительное влияние на процесс разработки этих систем и их структуру. В результате сократилось время разработки и возросла их надежность. Отметим несколько характеристик системы МИКРОС, выгодно отличающих ее от стандартных ОС и позволяющих рекомендовать ее как типовую специализированную ОС для распределенных систем обработки данных*.

1. Небольшая цена распараллеливания. Организация одного процесса в МИКРОС стоит около 100 байт оперативной памяти, а на переключение процессов в МИКРОС-ЕС расходуется около 15 машинных операций, включая исполнение макрокоманд £ WAIT и # POST ,

2. Простота программирования параллельных процессов. Непреры-ваемость процессорных интервалов позволяет в большинстве случаев работы с общими данными обойтись без трудоемкого (и, кстати, являющегося серьезным источником ошибок) манипулирования с семафорами или другими примитивами синхронизации, неизбежными для систем с муль ^программированием.

3. Развитые и эффективные средства структуризации программ, включая организацию оверлеев. Эти средства позволяют улучшить структуру программ, разбивая их на небольшие, функционально обособленные блоки и оверлеи без значительных потерь эффективности, а также создавать системы, не помещающиеся полностью в оперативную память микро-ЭВМ.

4. Компактность системы, открытость ее для встраивания новых средств (например, средств отладки и тестирования), а также легкая переносимость ее на новые ЭВМ (частичная мобильность).

Для иллюстрации компактности системы МИКРОС в таблице 2.1 приведено распределение программной памяти системы диалогового доступа RED, реализованной на базе МИКРОС-ЕС. Из приведенных в этой таблице значений видно, что сама система МИКРОС занимает незначительный процент программной памяти: 4$ всей программной памяти и резидентной программной памяти.

 
Список источников диссертации и автореферата по математике, кандидата технических наук, Фурман, Михаил Ефимович, Москва

1. Третья группа источников ненадежности программных систем связана с первой и второй: технологические трудности при эксплуатации системы наиболее часто возникают при сбоях аппаратуры и сбоях, вызванных программными ошибками.

2. Приведем пример, иллюстрирующий ненадежность программного обеспечения, связанную с технологическими ошибками и сбоямиаппаратуры. Описанный случай характерен для использования операционной системы ОС ЕС на ЭВМ серии ЕС.

3. Вторая часть приведенного примера иллюстрирует существенную ненадежность программы1E6C0PY при сбоях аппаратуры.

4. ОБЕСПЕЧЕНИЕ НАДЕЖНОСТИ В СИСТЕМАХ ДОСТУПА К ТЕКСТОВЫМ БИБЛИОТЕКАМ

5. Изменения, вносимые пользователем, должны отражаться на диске возможно скорее. Это сведет к минимуму потери, которые произойдут при отказе.

6. Второе требование также часто невыполнимо в чистом виде. Там же, где оно выполнимо, оно как правило плохо согласуется с эффективной работой системы. Однако существует путь ослабления этого требования с сохранением приносимых игл результатов.

7. Более высоких показателей надежности системы можно достигнуть, введя условия частичной согласованности А :такие, что существуют эффективно реализуемые функции F и т :p?(m) -^рР (F(w,x))рр (m) —р (Ф М)

8. Поиск условий частичной согласованности для конкретной задачи облегчается тем, что p^Yfl) можно искать среди конъюнкций тех же элементарных условий, которые входят в р(м):ррМ = риН k рйН pk(m)лишь иногда выходят из этого класса.

9. Заголовок первого блока модуля содержит также еще и ссылку на элемент оглавления, описывающий данный модуль. Использование этой ссылки будет описано ниже, когда мы перейдем к алгоритмам работы с оглавлением.

10. Рассмотрим, как используемые в системе RED алгоритмы решают эти проблемы за счет введения частичной согласованности и применения алгоритма восстановления.

11. Ссылки вперед в открытых модулях должны быть правильными.

12. Блоки, освобожденные из открытых модулей в течение последнего периода работы с ними, должны быть отмечены в шкале свободных блоков на диске, как свободные.

13. Второе требование обеспечивается тем, что при вставлении и удалении блоков запись на диск производится немедленно и встрого регламентированном порядке. Пусть блок С вставляется Мевду блоками А и В (см. рис. 5.1).1. До вставления: А В С1. В А;? * »

14. После вставления: А В С1. С С;? А;В

15. В этом случае С • *vi(HJEvj (А);proPtSr (с) ;upropi/rfr); ъргорог (в)'

16. При выполнении обратной операции (то есть, при удалении блока С , находящегося между блокшли А и В ) последовательность записей должна быть следующей:

17. A. NEXT В) —I» Запись в блок А ссылки вперед на блок Е>.

18. DI0PUT (А") —2. Запись на диск блока А.3. Освобождение блока С.

19. B.PREV: А; —4. Запись в блок В ссылки назад на блок Д.t^DIOPUT (В);—5. Запись на диск блока В,

20. Создается элемент индекса с нулевой ссылкой на первыйблок.

21. Создается первый блок с нулевыми ссылками вперед и назад и пустой информацией.

22. ENDDIF°°P; ЦИКЛА П0 ЭЛЕМЕНТАМ индексаdiosl!se(Jb); занят0сти мока > шкале свободных блоковend loop; —конец цикла По блокамн ^ о if;

23. END L00P; --М0ДУЛЕЙИКЛА П0 Э/1ЕМЕНТАМ СПРАВОЧНИКА ОТКРЫТЫХ

24. Рисунок 5,2. Схема алгоритма восстановления.54. ВЫВОДЫ.

25. Сформулированы основные требования к программному обеспечению систем обработки текстовой информации, обеспечивающие их высокую надежность в эксплуатации.

26. Введено понятие частичной согласованности информационного объекта и показано, как на его основе строятся алгоритмы системы обработки данных, отличающиеся высокой устойчивостью к отказам и малым временем восстановления системы после отказа.

27. Разработаны надежные алгоритмы доступа к текстовым библиотекам, использующие условия частичной согласованности файловой структуры, и описана реализация этих алгоритмов в системе диалогового доступа red».-115-ЗАКЛЮЧЕНИЕ

28. Сформулируем кратко основные результаты, полученные, в настоящей работе:

29. Авен О.И., Коган Я.А. Управление вычислительным процессом в ЭВМ. М.:Энергия, 1978, 240 с.

30. Адельсон-Вельский Г.М., Диниц Е.А., Емельянов Н.Е., Фурман М.Е. Блочно-модульвное программирование. -В кн.: Многопроцессорные вычислительные системы. М.:Наука, 1975, с. 67-76.

31. Арлазаров В.Л., Фурман М.Е., и др. Взаимодействие и синхронизация процессов. В кн.: Многопроцессорные вычислительные системы. М.-.Наука, 1975, с. 20-25.

32. Арлазаров В.Л., Фурман М.Е., и др. Математическая структура памяти многопроцессорной вычислительной системы. В кн.: Многопроцессорные вычислительные системы. М.:Наука, 1975, с. 26-36.

33. Арлазаров В.Л., Фурман М.Е., и др. Организация ввода вывода в СУБД ИНЕС.- Сборник трудов ВНИИСИ, вып.12, М.; ВНИИСИ, 1983.

34. Арлазаров В.Л., Фурман М.Е., и др. Информационная система ИНЕС. М.:Гос. фонд алгоритмов и программ, 1980.

35. Арлазаров В.Л., Фурман М.Е., и др. Система управления базами данных ИНЕС (информационная система для ЕС ЭВМ). М.: ВНИИСИ, 1983, 872 с.

36. Арлазаров В.Л. и др. Принципы построения операционных систем. Вып. 3. Возможности и директивы задач в системе ДУ-14. М.: ИПУ, 1975, 67 с.

37. Ашкинузе В.Г., Потапов Б.И., Фурман М.Е., и др. Б-70: библиотека стандартных программ для ЭВМ типа БЭСМ-4. Ученые записки МГПИ им. В.И.Ленина, М.:МГПИ, 1973.

38. Бабаян Б.А. Архитектура и программное обеспечение МВК "ЭЛЬБРУС". в кн.: Системное и теоретическое программирование. Тезисы докладов. Кишинев: Штиинца, 1983, с. 22-36.

39. Бараданэ Д.Г., Майтени Э. Система управления базой данных МАРК-1У. в кн.: Алгоритмы и организация решения экономических задач. Вып. 7, М.:Статистика, 1976, с. 42-58.

40. Бломроз В.К. Программное обеспечение коммуникационного процессора экспериментального участка вычислительной сети. в кн.: Системное программное обеспечение для автоматизации научныхисследований на ВЦКП и вычислительных сетях. Владивосток.: ИАПУ, 1981.

41. Борисевич В.Ф., Варапай П.Б., и др. Система разделения времени ЕС ЭВМ. М.: Финансы и статистика, 1982.

42. Борисов А.В. Схемы взаимодействия параллельных программных процессов. в кн.: Программное оснащение микрокомпьютеров., М.: 1982.

43. Борисова Л.П., Фурман М.Е., и др. Математическое описание Системы 4. Вып. 9. Средства отладки. Печать. Обмены.1. М.: ИЛУ, 1980, 56 с.

44. Брудно А.А., Шерман А.А. Системный журнал СУБД ИНЕС.- Сборник трудов ВНИИСИ, вып. I. М.: ВНИИСИ, 1984.

45. Брудно А.Л. Содержательное программирование.- Докл. АН СССР, 1964, т. 154, №2.-11919. Брудно А.Л. Программирование в содержательных обозначениях. Библиотечка программиста. М.: Наука, 1968, 144 с.

46. Брукс Ф. Как проектируются и создаются программные комплексы: мифический человеко-месяц. М.: Мир, 1979.

47. Брусенков И.В. и др. Программная реализация системы СИНБАД.- в кн.: Алгоритмы и организация решения экономических задач. Вып. 14, М.: Статистика, 1976, с. 59-71.

48. Будзко В.И. Обеспечение целостности АИС. в кн.: Алгоритмы и организация решения экономических задач. Вып. 14, М.: Статистика, 1980, с. 6-39.

49. Волков Г.А., Кузнецова О.А., Фурман М.Е. Организация диалогового редактирования текстов. в кн.: Программные и технические средства СКП ЭВМ МГУ. М.: МГУ, 1984, с.18-28.

50. Вегнер П. Программирование на языке АДА. М.:Мир,1983, 239 с.

51. Виленкин С.Я., Виноградова О.Б. и др. Математическое обеспечение гибридной вычислительной системы ГВС-100. Вып. 3. Организующая система ГВС-100. М.: ИАТ, 1974, 51 с.

52. Гайсарян С.С., Жоголев Е.А. Об организации интеллектуальной терминальной станции.-в кн.: Системное и теоретическое программирование. Тезисы докладов.Кишинев:Штиинца, 1983, с.102-103.

53. Герасимов В.В. Диалоговый редактор для дисплеев "ДЕД", -в кн.: Системное программное обеспечение для автоматизации научных исследований на ВЦКП и вычислительных сетях. Владивосток: ИАПУ, 1981.

54. Гибсон Г., Лю Ю-Ч. Аппаратные и программные средства микро-ЭВМ. М.: Финансы и статистика, 1983, 255 с.

55. Гласс Р. Руководство по надежному программированию. М.: Финансы и статистика, 1982, 256 с.

56. Глушков В.М., Цейтлин Г.Е., Ющенко ЕЛ. Многоуровневое структурное проектирование программ: формализация метода сфера приложений. Кибернетика, 1981, М.

57. Годунов А.Н., Емельянов Н.Е., Свердлов С.С. О программной реализации мультипроцессности. Программирование, 1981, Ж5.

58. Головач В.И. Средства синхронизации на базе концепции рандеву, в кн.: Прикладная, информатика, вып. 2, М.: Финансы и статистика, 1982.

59. Голощук И.А., Крамаренко Р.П., Скляров А.В. Управление мультидоступом к базе данных, в системе ПАЛЬМА. в кн.: Банки данных в автоматизированных системах обработки данных, Киев, 1981.

60. Горинович Л.Н., Казьмин А.И., Кислер С.В., Таранова А.Н. Математическое обеспечение гибридной вычислительной системы ГВС-ЮО. Вып. 4. Автокод. М.: MAT, 1974, 66с.

61. Грановский А.А., Шалагинов А.И. Терминальный редактор текстов ТРТ-80 и его применение. Сибирский энергетический ин-т, препр. F7, 198I.

62. Гутер Р.С., Арлазаров В.Л., Усков А.В. Практика программирования. Справочник. М.: Наука, 1965.

63. Дал У., Дейкстра Э., Хоор К. Структурное программирование. М.: Мир, 1975.

64. Дейкстра Э. Дисциплина программирования. М.: Мир, 1978, 275 с.

65. Дейт К. Введение в базы данных. М.: Наука, 1980, 463 с.

66. Девис Д., Барбер Д. Сети связи для вычислительных машин.М.: Мир, 1976, 680 с.

67. Джадд Д.Р. Работа с файлами. М.: Мир, 1975, 144 с.

68. Диалоговая система коллективного доступа "ПРИМУС". М.: Мифи, 1980.

69. Донской М.В., Леман А.А., Фараджев И.А., Фурман М.Е. Вопросы системного обеспечения и поддержки разработки больших программных комплексов на примере СУБД ИНЕС. в- кн. Интеллектуальные банки данных. Сборник тезисов. Ереван, 1981.

70. Дрожжинов В.И., Мямлин A.M., Штаркман Вс.С. Управление обменом данных в сети ЭВМ с коммутацией пакетов. в кн.: Алгоритмыи организация решения экономических задач. Вып. 12. М.: Статистика, 1978.

71. Единая система ЭВМ. Операционная система. Введение в операционную систему ОС-ЕС. Общее описание. Ц51.804.005 Д1.

72. Единая система ЭВМ. Операционная система. Оценки памяти. Руководство системного программиста. Ц51.804.005 Д24.

73. Единая система ЭВМ. Операционная система. Управление данными. Руководство программиста. Д51.804.005 Д4.

74. Единая система ЭВМ. Операционная система. Общий телекоммуникационный метод доступа. Общее описание. Ц51.804.004 Д59.

75. Единая система ЭВМ. Операционная система. Средства восстановления системы ввода вывода. Руководство системного программиста. Ц51.804.004 Д68.

76. Единая система ЭВМ. Операционная система. Система ввода заданий с абонентских пультов в режиме диалога. Руководство программиста. Ц51.804.004 Д70.

77. Единая система ЭВМ. Операционная система. Супервизор. Руководство программиста. Ц51.804.002 ДЗ.

78. Единая система ЭВМ. Операционная система. Макрокоманды супервизора и управления данными. Ц51.804.002 Д5.

79. Ерохов А.Н. Методы восстановления данных в файловых системах. ИПМ АН СССР, препр. М78, 1981.

80. Ерохов А.Н. Модель восстановления данных в файловых системах. ЖМ АН СССР, препр. М79, 1981.

81. Захаров В.Б. Редакторы текстов ДССП. в кн.: Программное оснащение микрокомпьютеров. М.: 1982.

82. Зуев В.И, Обеспечение устойчивости функционирования системы управлениям базами данных УПД ДИСПАК. ИПМ АН СССР, препр. ЖЕ24, 1981.

83. Зурахинский В.И., Левченко В.А., Суярко С.В., Тищенко В.А., Файнберг В.А. Операционная система реального времени для микро- и мини-ЭВМ. Программирование, 1982, №6.

84. Иванов В.А., Кондратенко В.А., Буянов В.И. Система обработки данных ДСП. в кн.: Прикладная информатика, вып. I. М.: Финансы и статистика, 1982, с. II7-I34.

85. Кетков Ю.Л., Максимов B.C. Редактирование символьной информации в режиме диалога под управлением ДОС ЕС, в кн.: Системное и теоретическое программирование. Тезисы докладов. Кишинев, Штиинца, 1983, с. 202-203.

86. Кольцова Л.И., Крюков В.А., Любимский Э.З., Полилова Т.А., Шура-Бура М.Р. Трехуровневая управляемая виртуальная память для ЭВМ БЭСМ-6. ИПМ АН СССР, препр. №3, 1981.

87. Корчинский А.И. и др. Мультиплексоры передачи данных. М.: Энергия, 1980, 160 с.

88. Котляров Ю.А., Морозов Н.Б. Мобильная дисковая операционная система для микро-ЭВМ. в кн.: Технология программирования микропроцессорной техники. Таллин, 1982.

89. Крюков В.А., Любимский Э.З., Шура-Бура М.Р. Управляемая, виртуальная память. Сборник тезисов 6-й конференции по теорииоперационных систем. Вышеград (ВНР), 1980.

90. Кувыкин В.А. и др. Прикладное программирование в системе КАМА* М.: Финансы и статистика, 1983, 271 с.

91. Липаев В.В. Надежность программного обеспечения АСУ. М.: Энергоиздат, 1981, <240 с.

92. Липаев В.В. Автоматизация проектирования программного обеспечения для.управляющих систем. Автоматика и телемеханика, 1982, J62.

93. Майерс Г. Надежность программного обеспечения. М.: Мир, 1980, 360 с.

94. Мартин Дж. Организация баз данных в вычислительных системах. М.: Мир, 1978, 662 с.

95. Меснянкина В.В., Жерносек Л.М. Пакет прикладных программ автоматизации документирования выходной информации на базе

96. ОС ЕС ЭВМ (ЕШП АДИ). в кн.: Алгоритмы и организация решения экономических задач, вып. 12. М.: Статистика, 1978, с. 67-77.

97. Миллер Дж. С. Реальное время. Специфические требования к управляющим программам, в кн.: Супервизоры и операционные системы. М.: Мир, 1972, с. II9-I36.

98. Митрофанов В.В., Одинцов Б.В. Программы обслуживания ОС ЕС. М.: Статистика, 1977, 136 с.

99. Мобильность программного обеспечения. М.: Мир, 1980, 336 с.

100. Наумов В.В., Пеледов Г.В., Тимофеев 10.А., Чекалов А.Г. Супервизор ОС ЕС ЭВМ. М.: Статистика, 1975, 87 с.

101. Оленин М.В., Семенов С.М. Система управления реляционной базой данных на мини-ЭВМ. НАЛУ ДВНЦ АН СССР, Владивосток, 1980, 29 с.

102. Операционная система ИБМ/360. М.: Сов. радио, 1973.

103. Операционная, система реального времени ОС-РВ. Инструкция по эксплуатации. Часть 1,2. 4.072.103 ИЭ.ИЭ1.

104. Операционная система реального времени ОС-РВ. Общее описание системы. 4.072.103 П02.

105. Операционная система реального времени ОС-РВ. Описание системы. 4.072.103 П01.

106. Операционная система реального времени ОС-РВ, Разработка драйверов для дополнительных внешних устройств. Описание. 4.072.103 ПО.

107. Основные характеристики отечественных СУБД и ИПС. Ж АН УССР, препр, 80-49, Киев, 1980, 71с.

108. Перегудов М.А. Редактирование текстов в пакетном и диалоговом режимах. Управляющие системы и машины, 1981, $6.

109. Позин И.Л., Щербо В.К. Телеобработка данных в автоматизированных системах. М.: Статистика, 1977, 180 с.

110. Прангишвили И.В. Современное состояние и пути развития микропроцессоров и микро-ЭВМ. в кн. Измерение, контроль, автоматизация. 1977, вып. 1(9), 2(10).

111. Прангишвили И.В. Микропроцессоры и микро-ЭВМ. М.: Энергия, 1979, 230 с.

112. Программное обеспечение СМ ЭВМ. Операционная система с разделением функция РАФОС. Особенности системы. Описание применения. т. I, кн. 2, 2/Б/4.072.200-31.02, 1981, 16 с.

113. Программное обеспечение СМ ЭВМ, Операционная система с разделении функций РАФОС. Редактирование и форматирование текстов. Экранный редактор. Руководство оператора. Т. 2. кн. 2, ч. 4, 2/Б/4.072.200-34-02-4, 1981, 14 с.

114. Программное обеспечение СМ ЭВМ. Операционная система с разделением функций РАФОС. Управляющая система. Руководство nporg раммиста. т. 3, кн. I, 2/Б/4.072.200-33-01, 1981, 60 с.

115. Резниковский П.Т., Фурман М.Е. Об организации библиотеки стандартных программ. Труды 2-й зимней школы симпозиума по математическому программированию. Дрогобыч, 1970.

116. Сипсер Р. Архитектура связи в распределенных системах. М.: Мир, 1981, 744 с.

117. Система МЕРА-60. Справочник пользователя. Введение в операционную систему РТ-60. 6-2.2, Мера-Стер, Катовице.

118. Система МЕРА-60. Справочник оператора. Общее описание системы реального времени РТ-60. 6-1Л, Мера-Стер, Катовице,

119. Скопин И.Н. Об одном подходе к проектированию систем подготовки текстов. в кн.: Системное и теоретическое программирование. Тезисы докладов. Кишинев: Штиинца, 1983, с. 344-346.

120. Средства отладки больших систем. М.: Статистика, 1977, 135 с.

121. Турский В, Методология программирования. М.: Мир, 1981,265 с.

122. Фурман М.Е, Макрокоманды структурирования программ в ОС ЕС. Программирование, 1982, М, с. 25-31.

123. Фурман М.Е. Некоторые алгоритмы интерпретирующей системы библиотечных программ. Труды 3-й зимней школы симпозиумапо математическому программированию. Дрогобыч, 197I.

124. Фурман М.Е. Структурная организация программного обеспечения иерархических баз данных. Сборник трудов ВНИИСИ, вып. I, М.: ВНИИСИ, 1978, с. 82-89.

125. Фурман М.Е., Иофинова М.Е,, Кирсанов А.Ф., Кузнецова О.А., Сауков Л.Н. Система диалогового доступа "РВД". Сборник трудов ВНИИСИ, вып.12, М.: ВНИИСИ, 1983.

126. Шоу А. Логическое проектирование операционных систем. М.: Мир, 198I, 360 с.

127. Электронная вычислительная машина "Электроника 60" 15 BM-I6, Эксплуатационная документация, кн. 2, 2.791.004 ТО.

128. Электронная вычислительная машина "Электроника 60" 15 BM-I6. Перфоленточная операционная система. Программное обеспечение. 0.005.027 ПО.

129. Язык программирования АДА. (Предварительное описание). М.: Финансы и статистика, 1981, 190 с.

130. Якубайтис Э.А. Архитектура вычислительных сетей, М.: Статистика, 1980, 279 с.

131. Aho A.V., Denning P.J., Velman J.D. Principles of optimalч 4page replacement. J. ACM, 18, no. 1, 1971, p. 80-93.

132. Anderson Т., Lee P. A., Fault tolerance principles and practice. Prentice-Hall, 1981.

133. Software Practice and Exp., 11, no.10, 1981. 117» Barton D. Distributed processing in a smo11 office. Softч

134. W3X6 Practice and Езср» 9 13$no.6, 1983.

135. Baxter A.Q., Horst J.M. Software segmented virtual memory.v , 4

136. Brown P.J. bevels of language for portable software. Comm. ACM, 15, no.12, 1972, p.1059-1062.

137. Boetner D.W., Alexander M.T. The michigan terminal system. Proc. IEEE, 63, 1975, p.912-918.

138. Brink Hansen P. The nucleus of a multiprogramming system.ч

139. Comm. ACM, 13, no.4, 1970, p.238-241.

140. Buckley J.E. Microprocessors and telecommunications.4 \

141. Computer Design, 19, no.12. 1973, p.10-14.

142. Cargill T.A. Full screen editing in a hostile environment.ч \

143. Software Practice and Exp., 11, no1961.

144. Chandy K.M., Ramamoorty C.V. Rollback and recovery strategies for computer programs. IEEE Trans. Comput., C-21, 1972, p.546-556.

145. Charlton G.C., Leng P.H. Editors: two for price of one.4

146. Software Practice and Exp., 11, no.2, 1981.

147. General information manual. IBM, GC33-oo66. 131. Daley R.G., Dennis J.B. Virtual memory and sharing in

148. MULIICS. Comm. ACM, 11, no.5, 1968, p.306-312. 132» Dellar G»U.R. A file server for a network of low cost personal microcomputers. Software Practice and Exp., 12,4no.11, 1982.

149. Denning P.J. The working set model for program behavior. Comm. ACM, 11, no.5, 1968, p.323-333.134* Denning P.J. Virtual memory. Computing surweys, 2, no.3>1970, p.153-189. 135* Denning P.J. Fault tolerant operating systems. Computing1. Ч 4

150. Surveys, 8, no.4, 1976, p.359-389. 136. Denning P.J., Schartz S.C. Properties of the working setVmodel. Comm. ACM, 15, no.2, 1973* 137* Dennis J.В., Van Horn E.C. Programming semantics for multi4 vprogrammed computation. Comm. ACM, 9, no.3, 1966.

151. Dijkstra E.W, The structure of the "THE" multiprogramming\ ч 4system. Comm. ACM, 8, no.9, 1965, p.197-203.ч

152. Dijkstra E.W. Solution of the problem in concurent programming control. Comm. ACM, 11, no.5, 1%8, p.314-346.

153. Dijkstra E.W. Co-operating sequential processes. Programming Languages. Academic Press, 1968, p.43-112.

154. Disc Operating System, J-level. Vol. 1 and 2. ICL, 1970.

155. Practice and Exp., 12, no.4, 1982, p.375-384.

156. Fraser C.W. A compact, portable CRT-based editor. Softwareч 4

157. Practice and Exp., 9, no.1, 1979, p.121-125.

158. General information: binary synchronous communications. IBM, GA27-3004-2.147* Gilbert P., Chandled W.J. Interface between communicating parallel processes. Comm. ACM, 15, no. 6, 1972.

159. Gosden J.A. Explicit parallel processing description and control in programs for multy- and uni-processor computers.ч 4

160. AFIPS Oonf. Proc. Fall Joint Computer Conf., 29, 1966,p.651.

161. Habermann A.N. Synchronisation of communicating processes. Comm. ACM, 15. no.3» 1972, p.171.

162. Harris N«R. Microcomputer operating systems, beet» Notes Сотр. Sci., 126, 1982, p.273-302.

163. Hazel P. Development of the ZED text editor. Softwareч

164. Practice and Exp., 10, no.1, 1980.

165. Hoare C.A.R., McKeod R.M. Structure of an operating system. Theor. Pound. Prog. Metodol. lect. notes Int. Summer School Dordrecht, 1982, p.643-658.

166. Hudson C. A microprocessor file server. Software and Microsystems, 2, no.1, 1983.154* Hunter J.A., Hall U.P. A network screen editor implementaч 4tion. Software Practice and Exp., 12, no.9, 1982.

167. ГВМ System/360 operating systems Time Sharing Option guide.ч1.M, GC28-6698-6.

168. IBM 3704 and 3705 communications controllers. Principles of operations. IBM, GC30-3004.ч157* INTEL 8080 microcomputer systems user manual. INTEL, 1975.

169. Introduction to RSX-11M. DEC, AA-2555D-TC.ч ,,

170. Irons E.T., Djorup P.M. A CRT editing system. Comm. ACM,ч15, no.1, 1972.

171. Jegado M. Recoverability aspects of a distributed fileчsystem. Software Practice and Exp,, 13, no.1, 1983.

172. Kahn K,C. A small-scale operating systems foundation forч ч .microprocessor application, Proc. IEEE, 66, 1978, p.209-216,

173. Practice and Exp,, 12, no.7, 1982. 167• Lister A.M. Fundamentals of operating systems. Macmillanчpress, London, 1975*

174. Liu C.L., Layland J.W. Scheduling algorithms for multiprogramming in hard real-time environment, J, ACM, 20, no,1, 1973, p.46-61.

175. Macleod I.A. Design and implementation of a display oriented text editor. Software Practice and Exp., 7» no.4,у1977, p.771-778.

176. Madnick S.E., Alsop J.W. A modular approach to file system design. Proc. AFIPS 1969 Spring Joint Comput. Conf., 34,ч \

177. AFIPS Press, Montvale, 1969, p.1-13.

178. Multijob programming. System 4. ICL, London, 1974*

179. Operating systems GEORGE 3 and 4. ICL, 1972.4 \

180. OS/MPT and OS/MVT TCAM logic. IBM, GY30-2029-4, 1973.

181. OS-VS Virtual storage access method. IBM, GC26-3819-3.180. 0S-VS1 I/O Supervisor logic. IBM, SY24-5156-4.

182. OS-VS2 ISO Terminal user's guide, IBM, GC28-0645»

183. Pohjanpalo H. MR0S-68K, a memory resident operating system for MC68000. Software Practice and Exp., 11, no.8, 1981.4 V

184. P6060 System reference manual, Olivetty, 1979.

185. Reference model of open systems architecture (version 3). ISO/ТС 97/SC 16, 1978, p.1-84.

186. Ritche D.M., Thompson K. The UNIX time sharing system. Comm. ACM, 17, no.7, 1974.

187. Ritche D.M. С reference manual. Bell labs, 1974.

188. Ritche D.M., Thompson K. The UNIX timesharing system. Bell System Technical J., 57, no.6, pt.2, 1978.

189. Roberts T.L., Moran T.P. The evaluation of text editors: methodology and empirical results. Comm. ACM, 26, no.4,1983.

190. RSX-11M/M-PLUS Executive reference manual, DEC, AA-2600D-TC.4

191. RSX-11M Guide to writing I/O driver. DEO, AA-H265A-TC.ч

192. Schneider F#B. Synchronisation in distributed programs. ACM Trans, on Prog. Lang, and Systems, 1982.

193. Scowen R.S. A servey of some text editors. Software Practice\ 4and Exp., 51, no.9, 1981.193» Shaw W.A. The logical design of operating system. Prentioe1. Hall, 1974.

194. Shaw W.A., Weiderman N. A multiprogramming nucleus whith dinamic resource facilities. Software Practice and Exp.,1. S, 1975, p. 245-267.

195. Simpson J.M., Grabtree R.P., Ray R.O., Phillips G.H.,

196. Hitt R.B. Houston automatic prioryty system II (version 2). IBM Type III program no. 360D-05.1*014.ч

197. Smith A*, Bell D.H. A multiprogramming system for microcomputer. Software Practice and Exp., 12, no.5» 1982.

198. Somogyi j. Minicomputer software design and implementation based on the use of a system programming language. Minic&m-puter software, North-Holland pub. со., Amsterdam, 1976.s

199. Somogyi J. A conceptual structure for an operating system.ч 4 .

200. Affixes, 1, no.1, Catholic Univercity of Nijmegen, 1979.ч 4

201. Somogyi J. Notes on portability of operating systems. Proc. 6-th conf. on the theory of operating systems, Visegrad, 1980.4

202. Systems: Guide to PL/S II. IBM, GC28-6794-0.

203. Thomas H.W. Design and performance of a simple nucleus for real time cdntrol application. Software and Microsystems, 1, no.6, 1982.202* Torii K#, Mano Y., Omoki K. A new programming environment with a multy-display terminal» Compsak 81. IEEE Comput.v

204. Soc. 5-th Int. Oomput. Softw. and Appl. Conf., 1981, p.433-445 203* Vaugan J.G. Design of an operating system nucleus for real time microcomputer applications. Software and Microsystems,ч2, no.3, 1983.

205. Verhofstad J.S.M. Recovery and crash resistance in a fileing4system. Proc. SIGMOD Conf., ACM, 1977, p.158-167*

206. Waite W.M. The mobile programming system STAGE2. Comm. ACM,ч13, no.7, 1970, p.415-421.

207. Wang word processor operator's guide, 3-th release. Wang Labs, Mass., 1978.

208. Wolfang E. Fixing pageH in a database buffers. SIGMOD Rec., 13, no.2, 1983.

209. Wirth IT. A note on "Programm structures for parallel processing". Comm. АСЫ, 9, no.5, 1966, p.320-321.ч

210. Wirth N. On multiprogramming, machine coding and computerч \ \ 4 4organisation. Comm. ACM, 12, no.9, 1969, p,489-498.

211. Wylbur/370'The Stanford timesharing system reference manual. Stanford Univercity, 1975.

212. Yoshiharu K., Takayuki S. Floppy disc operating system DOSKET. Operation manual. AI Electronics Corp., Tokio, 1981.