Анализ и разработка операционной системы в проекте МИНИМАКС

• Автор: Корнеев, Владимир Дмитриевич
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Новосибирск
• Количество страниц: 185 c. : ил

ГЛАВА I. СТРУКТУРА И ОСОБЕННОСТИ ФУНКЦИОНИРОВАНИЯ
БАЗОВЫХ СРЕДСТВ ОПЕРАЦИОННОЙ СИСТЕМЫ
1.1. Принципы построения и общая струк
тура ОС
1.2. Диспетчеры элементарных машин и
язык системы
1.3. Процессы и языки для взаимодействия процессов
1.4. Старшие диспетчеры
1.5. Резюме
ГЛАВА 2. МОДЕЛЬ ВЗАИМОДЕЙСТВИЙ БЛОКОВ ОПЕРАЦИОН
НОЙ СИСТЕМЫ
2.1. Постановка задачи
2.2. Первый способ обслуживания заявок
2.3. Второй способ обслуживания заявок
2.4. Численный анализ задержек процессов
в системе МИНИМАКС
2.5. Резюме
ГЛАВА 3. МЕТОДЫ ПРОГРАММНОЙ ОРГАНИЗАЦИИ ОТКАЗОУС
ТОЙЧИЕЫХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ
3.1. Схемы применения точек контроля и возврата
3.2. Предварительная подготовка парал -лельных программ и функции блоков ОС, обеспечивающих отказоустойчи -вость вычислений
3.3. Определение оптимальных временных шагов, необходимых для контроля вычислений

3.4. Организация отказоустойчивости в системе МИНИМАКС
3.5. Резюме
ГЛАВА 4. ПОСТРОЕНИЕ СИСТЕМЫ СБОРА, ХРАНЕНИЯ И ПЕ
РЕРАБОТКИ ДАННЫХ НА ОСНОВЕ ОС МИНИМАКС
4.1. Общее описание и структура системы "РАЙОН"
4.2. Применение ОС МИНИМАКС
4.3. База данных районного уровня
4.4. Язык управления базой данных
4.5. Резюме
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ

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

Для синхронизации индивидуальных взаимодействий, каждая задача, реализующаяся на системе, задает с помощью специального оператора (см. п.1.3) одно или несколько наборов семафорных переменных. Каждый набор идентифицируется именем и представляется в виде упорядоченной последовательности переменных: а,аг... аа •
В запросе на взаимодействие указывается имя набора семафорных переменных и функция А1 , выделяющая подмножество из указанного набора. От переменных этого подмножества задается логическая функция - конъюнкция или дизъюнкция, определяемые в запросе знаками "+" или во 2-ом слове, соответственно
Условие синхронизации считается выполненным, если А 0.;>0 или V &? > 0 » где А - множество выделенных
1еА иАт<хх Г л
семафоров; значения 0^ >0ц>0 УЬ€^.2
После выполнения синхронизации и реализации связанного с ней запроса осуществляется преобразование всего набора семафорных переменных. Вид преобразования определяется параметром А2
Над семафорами определены Р- и V-операции:
Р (= &(, + 1 и Р(а7> С » где 0_с - значение
семафора &[, , о!£л* ~ максимальное значение, которое может принимать семафор &[, ;
У(0^) = 01[,-1 и ’ где I - нулевое значение семафора 0| *
Степени Р- и V- операций определяются следующим образом:
р(й^)-р(р(...(р(&^)...) = &с+|1 * если *