Распределенные операционные системы
Курс, для которого читается, потоки: 4 курс, 3 поток.
Часы по семестрам: 8 семестр - 34.
Кафедра, отвечающая за курс: кафедра системного программирования
Составитель программы: В.А.Крюков
Лекторы последних лет: В.А.Крюков
Программа курса
Введение в параллельные и распределенные системы. Достоинства многопроцессорных систем. Достоинства распределенных систем. Виды операционных систем (ОС): ОС мультипроцессорных ЭВМ, сетевые ОС, распределенные ОС. Принципы построения ОС (прозрачность, гибкость, надежность, эффективность, масштабируемость).
Операционные системы многопроцессорных ЭВМ с общей памятью. Процессы и нити. Синхронизация. Планирование процессоров.
Коммуникации в распределенных системах. Семиуровневая модель ISO. Модель передачи сообщений MPI. Удаленный вызов процедур.
Синхронизация в распределенных системах. Синхронизация времени. Взаимное исключение. Координация процессов.
Распределенные файловые системы. Доступ к директориям и файлам. Семантика одновременного доступа к одному файлу нескольких процессов.
Распределенная разделяемая память (DSM). Достоинства разделяемой памяти. Принципы реализации распределенной разделяемой памяти. Модели консистентности. Страничная DSM. DSM на базе разделяемых переменных. DSM на базе объектов.
Обеспечение надежности. Фиксация контрольных точек и восстановление после отказа. Отказоустойчивость.
Литература.
Основная:
-
Крюков В.А. Распределенные операционные системы. http://sp.cs.msu.su в разделе “Информация”.
-
Tanenbaum Andrew S. Distributed Operating Systems, Prentice-Hall, Inc., 1995.
-
Таненбаум Э., Стен М. ван. Распределенные системы. Принципы и парадигмы. –СПб.: Питер, 2003. (ISBN 5-272-00053-6, страниц: 877).
Дополнительная:
-
MPI: A Message-Passing Interface Standard. [HTML] (https://www.mpi-forum.org).
-
Таненбаум Э. Современные операционные системы. 2-е изд. (Классика computer science) – СПб.: Питер, 2006.
Аннотация:
В курсе рассматриваются проблемы создания распределенных операционных систем – операционных систем, которые позволяют рассматривать совокупность независимых компьютеров как единый очень мощный компьютер, использование которого не намного сложнее, чем использование персональной ЭВМ. Обсуждаются способы организации синхронизации процессов и их доступа к разделяемой памяти и общей файловой системе. Излагаются принципы обеспечения надежности функционирования распределенных систем.