- •Н.В.Вдовикина, а.В.Казунин, и.В.Машечкин, а.Н.Терехин Системное программное обеспечение: взаимодействие процессов.
- •Часть I. Теоретические основы. 5
- •Часть II. Реализация процессов. 34
- •Часть III. Реализация взаимодействия процессов. 62
- •6.4Семафоры. 116
- •Часть I. Теоретические основы.
- •Введение.
- •Понятие процесса.
- •Некоторые типы процессов.
- •«Полновесные процессы»
- •«Легковесные процессы»
- •Жизненный цикл процесса.
- •Синхронизация параллельных процессов.
- •Способы реализации взаимного исключения.
- •Запрещение прерываний и специальные инструкции.
- •Алгоритм Петерсона.
- •Активное ожидание.
- •Семафоры.
- •Мониторы.
- •Дополнительная синхронизация: переменные-условия.
- •Обмен сообщениями.
- •Синхронизация.
- •Адресация.
- •Длина сообщения.
- •Классические задачи синхронизации процессов.
- •«Обедающие философы»
- •Задача «читателей и писателей»
- •Задача о «спящем парикмахере»
- •Часть II. Реализация процессов.
- •Реализация процессов в ос unix
- •Понятие процесса в unix.
- •Контекст процесса.
- •Тело процесса.
- •Аппаратный контекст.
- •Системный контекст.
- •Аппарат системных вызов в oc unix.
- •Порождение новых процессов.
- •Порождение сыновнего процесса. Идентификаторы процессов.
- •Порождение сыновнего процесса. Одновременное выполнение.
- •Механизм замены тела процесса.
- •Запуск на выполнение команды ls.
- •Вызов программы компиляции.
- •Использование схемы fork-exec
- •Завершение процесса.
- •Использование системного вызова wait()
- •Использование системного вызова wait()
- •Жизненный цикл процесса в ос unix.
- •Начальная загрузка. Формирование о и 1 процессов.
- •Планирование процессов в ос unix.
- •Планирование процессов.
- •Принципы организация свопинга.
- •Часть III. Реализация взаимодействия процессов.
- •Элементарные средства межпроцессного взаимодействия.
- •Сигналы.
- •Обработка сигнала.
- •Удаление временных файлов при завершении программы.
- •Программа “Будильник”.
- •Двухпроцессный вариант программы “Будильник”.
- •Надежные сигналы.
- •Работа с сигнальной маской.
- •Использование надежных сигналов.
- •Программные каналы
- •Использование канала.
- •Реализация конвейера.
- •Совместное использование сигналов и каналов – «пинг-понг».
- •Именованные каналы (fifo)
- •Модель «клиент-сервер».
- •Нелокальные переходы.
- •Использование нелокальных переходов.
- •Трассировка процессов.
- •Общая схема использования механизма трассировки.
- •Трассировка процессов.
- •Средства межпроцессного взаимодействия System V.
- •Организация доступа и именования в разделяемых ресурсах.
- •Именование разделяемых объектов.
- •Генерация ключей: функция ftok().
- •Общие принципы работы с разделяемыми ресурсами.
- •Очередь сообщений.
- •Доступ к очереди сообщений.
- •Отправка сообщения.
- •Получение сообщения.
- •Управление очередью сообщений.
- •Использование очереди сообщений.
- •Основной процесс.
- •Очередь сообщений. Модель «клиент-сервер»
- •Разделяемая память
- •Создание общей памяти.
- •Доступ к разделяемой памяти.
- •Открепление разделяемой памяти.
- •Управление разделяемой памятью.
- •Общая схема работы с общей памятью в рамках одного процесса.
- •Семафоры.
- •Доступ к семафору
- •Операции над семафором
- •Управление массивом семафоров.
- •Работа с разделяемой памятью с синхронизацией семафорами.
- •1Й процесс:
- •2Й процесс:
- •Взаимодействие процессов в сети.
- •Механизм сокетов.
- •Типы сокетов. Коммуникационный домен.
- •Создание и конфигурирование сокета. Создание сокета.
- •Связывание.
- •Предварительное установление соединения. Сокеты с установлением соединения. Запрос на соединение.
- •Сервер: прослушивание сокета и подтверждение соединения.
- •Прием и передача данных.
- •Завершение работы с сокетом.
- •Резюме: общая схема работы с сокетами.
- •Работа с локальными сокетами.
- •Пример работы с сокетами в рамках сети.
- •Среда параллельного программирования mpi
- •Краткий обзор параллельных архитектур.
- •Системы с распределенной памятью – mpp.
- •Системы с общей памятью – smp.
- •Системы с неоднородным доступом к памяти – numa.
- •Кластерные системы.
- •Модель программирования mpi.
- •Функции общего назначения. Общая структура программы.
- •Коммуникаторы и группы.
- •Обрамляющие функции. Инициализация и завершение.
- •Синхронизация: барьеры.
- •Использование барьерной синхронизации.
- •Прием и передача данных. Общие замечания.
- •Сообщения и их атрибуты.
- •Поддержка типов данных в mpi.
- •Коммуникации «точка-точка». Блокирующий режим.
- •Отправка сообщений в блокирующем режиме.
- •Режимы буферизации.
- •Прием сообщений в блокирующем режиме.
- •Mpi: прием сообщения, размер которого неизвестен заранее.
- •Коммуникации «точка-точка». Неблокирующий режим.
- •Отсылка и прием сообщений в неблокирующем режиме.
- •Работа с квитанциями.
- •Mpi: коммуникации «точка-точка». «Пинг-понг».
- •Коллективные коммуникации.
- •Коллективный обмен данными.
- •Коллективный обмен, совмещенный с обработкой данных.
- •Mpi: применение коллективных коммуникаций.
- •Алфавитный указатель упоминаемых библиотечных функций и системных вызовов.
- •Список литературы
Обрамляющие функции. Инициализация и завершение.
Самым первым вызовом MPI в любой программе, использующей эту библиотеку, должен быть вызов функции MPI_Init() – инициализация среды выполнения MPI.
#include <mpi.h>
int MPI_Init(int *argc, char ***argv);
Этой функции передаются в качестве параметров указатели на параметры, полученные функцией main(), описывающие аргументы командной строки. Смысл этого заключается в том, что при загрузке MPI-приложения mpirun может добавлять к его аргументам командной строки некоторые дополнительные параметры, необходимые для инициализации среды выполнения MPI. В этом случае вызов MPI_Init() также изменяет массив аргументов командной строки и их количество, удаляя эти дополнительные аргументы.
Еще раз отметим, что функция MPI_Init() должна быть вызвана до любой другой функции MPI, кроме того, в любой программе она должна вызываться не более одного раза.
По завершении работы с MPI в каждой ветви необходимо вызвать функцию закрытия библиотеки – MPI_Finalize():
#include <mpi.h>
int MPI_Finalise(void);
После вызова этой функции невозможен вызов ни одной функции библиотеки MPI (в том числе и повторный вызов MPI_Init())
Для аварийного завершения работы с библиотекой MPI служит функция MPI_Abort().
#include <mpi.h>
int MPI_Abort(MPI_Comm comm, int errorcode);
Эта функция немедленно завершает все ветви приложения, входящие в коммуникационный контекст, который описывает коммуникатор comm. Код завершения приложения передается в параметре errorcode. Отметим, что MPI_Abort() вызывает завершения всех ветвей данного коммуникатора даже в том случае, если она была вызвана только в какой-либо одной ветви.
Синхронизация: барьеры.
Для непосредственной синхронизации ветвей в MPI предусмотрена одна специальная функция – MPI_Barrier().
#include <mpi.h>
int MPI_Barrier(MPI_Comm comm);
С помощью этой функции все ветви, входящие в определенный коммуникационный контекст, могут осуществить так называемую барьерную синхронизацию. Суть ее в следующем: в программе выделяется некоторая точка синхронизации, в которой каждая из ветвей вызывает MPI_Barrier(). Эта функция блокирует вызвавшую ее ветвь до тех пор, пока все остальные ветви из данного коммуникационного контекста также не вызовут MPI_Barrier(). После этого все ветви одновременно разблокируются. Таким образом, возврат управления из MPI_Barrier() осуществляется во всех ветвях одновременно.
Барьерная синхронизация используется обычно в тех случаях, когда необходимо гарантировать завершение работы над некоторой подзадачей во всех ветвях перед переходом к выполнению следующей подзадачи.
Важно понимать, что функция MPI_Barrier(), как и другие коллективные функции, которые мы подробно рассмотрим ниже, должна быть обязательно вызвана во всех ветвях, входящих в данный коммуникационный контекст. Из семантики функции MPI_Barrier() следует, что если хотя бы в одной ветви из заданного коммуникационного контекста MPI_Barrier() вызвана не будет, это приведет к «зависанию» всех ветвей, вызвавших MPI_Barrier().
-
Использование барьерной синхронизации.
В данном примере иллюстрируется общая схема построения программы с использованием библиотеки MPI, а также использование функций общего назначения и барьерной синхронизации.
На экран выводится общее количество ветвей в приложении, затем каждая ветвь выводит свой уникальный номер. После этого ветвь с номером 0 печатает на экран аргументы командной строки. Барьерная синхронизация необходима для того, чтобы сообщения о порядковых номерах ветвей не смешивались с сообщением об общем количестве ветвей и с выводом аргументов командной строки.
#include <mpi.h>
#include <stdio.h>
int main(int argc, char **argv)
{
int size, rank, i;
MPI_Init(&argc, &argv); /* Инициализируем библиотеку */
MPI_Comm_size(MPI_COMM_WORLD, &size);
/* Узнаем количество задач в запущенном приложении... */
MPI_Comm_rank (MPI_COMM_WORLD, &rank);
/* ...и свой собственный номер: от 0 до (size-1) */
/* задача с номером 0 сообщает пользователю размер группы,коммуникационный контекст которой описывает коммуникатор MPI_COMM_WORLD, т.е. число ветвей в приложении */
if (rank == 0) {
printf("Total processes count = %d\n", size );
}
/* Осуществляется барьерная синхронизация */
MPI_Barrier(MPI_COMM_WORLD);
/* Теперь каждая задача выводит на экран свой номер */
printf("Hello! My rank in MPI_COMM_WORLD = %d\n", rank);
/* Осуществляется барьерная синхронизация */
MPI_Barrier(MPI_COMM_WORLD);
/* затем ветвь c номером 0 печатает аргументы командной строки. */
if (rank == 0) {
printf(“Command line of process 0:\n");
for(i = 0; i < argc; i++) {
printf("%d: \"%s\"\n", i, argv[i]);
}
}
/* Все задачи завершают выполнение */
MPI_Finalize();
return 0;
}