Архитектура операционной системы UNIX

Значение id идентифицирует запись таблицы разделяемой памяти, cmd определяет тип операции, а shmstatbuf является адресом пользовательской структуры, в которую помещается информация о состоянии области. Ядро трактует тип операции точно так же, как и при управлении сообщениями. Удаляя область разделяемой памяти, ядро освобождает соответствующую ей запись в таблице разделяемой памяти и просматривает таблицу областей: если область не была присоединена ни к одному из процессов, ядро освобождает запись таблицы и все выделенные области ресурсы, используя для этого алгоритм freereg (раздел 6.5.6). Если же область по-прежнему подключена к каким-то процессам (значение счетчика ссылок на нее больше 0), ядро только сбрасывает флаг, говорящий о том, что по завершении последнего связанного с нею процесса область не должна освобождаться. Процессы, уже использующие область разделяемой памяти, продолжают работать с ней, новые же процессы не могут присоединить ее. Когда все процессы отключат область, ядро освободит ее. Это похоже на то, как в файловой системе после разрыва связи с файлом процесс может вновь открыть его и продолжать с ним работу.

11.2.3 Семафоры

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

Дийкстрой был опубликован алгоритм Деккера, описывающий реализацию семафоров как целочисленных объектов, для которых определены две элементарные операции: P и V (см. [Dijkstra 68]). Операция P заключается в уменьшении значения семафора в том случае, если оно больше 0, операция V — в увеличении этого значения (и там, и там на единицу). Поскольку операции элементарные, в любой момент времени для каждого семафора выполняется не более одной операции P или V. Связанные с семафорами системные функции являются обобщением операций, предложенных Дийкстрой, в них допускается одновременное выполнение нескольких операций, причем операции уменьшения и увеличения выполняются над значениями, превышающими 1. Ядро выполняет операции комплексно; ни один из посторонних процессов не сможет переустанавливать значения семафоров, пока все операции не будут выполнены. Если ядро по каким-либо причинам не может выполнить все операции, оно не выполняет ни одной; процесс приостанавливает свою работу до тех пор, пока эта возможность не будет предоставлена.

Семафор в версии V системы UNIX состоит из следующих элементов:

• Значение семафора,

• Идентификатор последнего из процессов, работавших с семафором,

• Количество процессов, ожидающих увеличения значения семафора,

• Количество процессов, ожидающих момента, когда значение семафора станет равным 0.

Для создания набора семафоров и получения доступа к ним используется системная функция semget, для выполнения различных управляющих операций над набором — функция semctl, для работы со значениями семафоров — функция semop.

#include ‹sys/types.h›

#include ‹sys/ipc.h›

#include ‹sys/shm.h›

#define SHMKEY 75

#define K 1024

int shmid;

main {

 int i, *pint;

 char *addr1, *addr2;

 extern char *shmat;

 extern cleanup;

 for (i = 0; i ‹ 20; i++) signal(i, cleanup);

 shmid = shmget(SHMKEY, 128*K, 0777IPC_CREAT);

 addr1 = shmat(shmid, 0, 0);

 addr2 = shmat(shmid, 0, 0);

 printf("addr1 0x%x addr2 0x%x\n", addr1, addr2);

 pint = (int *) addr1;

 for (i = 0; i ‹ 256, i++) *pint++ = i;

 pint = (int *) addr1;

 *pint = 256;

 pint = (int *) addr2;

 for (i = 0; i ‹ 256, i++) printf("index %d\tvalue %d\n", i, *pint++);

 pause;

}

cleanup {

 shmctl(shmid, IPC_RMID, 0);

 exit;

}

Рисунок 11.11. Присоединение процессом одной и той же области разделяемой памяти дважды

#include ‹sys/types.h›

#include ‹sys/ipc.h›

#include ‹sys/shm.h›