Главная
страница 1страница 2страница 3страница 4страница 5

2. Поддержка семафоров

В ОС UNIX в адресном пространстве ядра имеется таблица семафоров, в которой отслеживаются все создаваемые в системе наборы семафоров. В каждом элементе таблицы семафоров находятся следующие данные об одном наборе семафоров:



  • имя — целочисленный идентификатор, присвоенный процессом, который его создал;

  • идентификаторы создателя и группы;

  • идентификаторы назначенного владельца и его группы;

  • права доступа («запись-чтение» по категориям «владелец-группа-прочие»);

  • количество семафоров в наборе;

  • время изменения одного или нескольких значений семафоров последним процессом;

  • время последнего изменения управляющих параметров набора каким-либо процессом;

  • указатель на массив семафоров.

Семафоры в наборе обозначаются индексами массива: 1-й семафор имеет индекс 0, 2-й — единицу, и т. д. В каждом семафоре содержатся следующие данные:



  • значение семафора;

  • идентификатор процесса, который оперировал семафором в последний раз;

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

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

Семафоры хранятся в адресном пространстве ядра и являются устойчивыми, то есть сохраняются независимо от завершения создавшего их процесса. Если набор семафоров удаляется, то ядро активизирует все процессы, которые в данный момент заблокированы семафорами этого набора; все произведенные данными процессами системные вызовы прерываются и возвращают -1.

Ограничения на манипулирование семафорами определяются в заголовке .

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

Элементы таблицы семафоров имеют тип данных struct semid_ds, который определяется в заголовке :


Поле

Данные

sem_perm

Данные, хранящиеся в записи struct ipc_perm;

sem_nsems

Число семафоров в наборе;

sem_base

Указатель на массив семафоров;

sem_otime

Время, когда какой-либо процесс в последний раз выполнял операции под семафорами;

sem_ctime

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

Тип данных struct sem из заголовка используется для представления данных, хранящихся в семафоре:





Поле

Данные

semval

Целочисленные значения текущего семафора;

sempid

Идентификатор процесса, который выполнял операции над данным семафором в последний раз;

semncnt

Число процессов, которые заблокированы и ожидают увеличения значения семафора;

semzcnt

Число процессов, которые заблокированы и ожидают обращения значения семафора в ноль.

В ОС UNIX имеются 3 системных вызова, предназначенные для манипулирования семафорами: semget, semop, semctl.

Прототип системного вызова semget имеет следующий вид:
int semget(key_t key, int num_sem, int flag);
Этот системный вызов открывает набор семафоров, идентификатор которого задан значением аргумента key, и возвращает неотрицательный целочисленный дескриптор.


  • если key >= 0 (целое), системный вызов открывает такой набор семафоров;

  • если key = (макрос) IPC_PRIVATE, системный вызов создает набор семафоров, который будет использоваться исключительно вызывающим процессом для синхронизации родительского и порожденных процессов.

Если flag = 0, системный вызов прерывает свою работу, если нет набора семафоров с идентификатором key; в противном случае возвращает дескриптор этого набора семафоров.

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

Значение num_sem может быть равно нулю, если IPC_CREAT в flag не указан, или числу семафоров в создаваемом наборе.

Например:


int perms = S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH;

int semd = semget(15, 2, IPC_CREAT | perms);
Создается набор из 2-х семафоров с идентификатором 15 и разрешением на чтение-запись для владельца, чтение — для группы и прочих.

В случае неудачи semget возвращает -1.


Прототип системного вызова semop имеет следующий вид:
int semop(int semfd, struct sembuf *op, int len);
С помощью этого системного вызова можно изменять значение одного или нескольких семафоров в наборе с дескриптором semfd и/или проверять равенство их значений нулю.

Аргумент op — это указатель на массив объектов типа struct sembuf, описанной в заголовке , каждый из которых задает одну операцию (запрос или изменение значения).

len — показывает, сколько элементов имеется в массиве, указанном op.
struct sembuf

{

short sem_num; // индекс семафора

short sem_op; // операция над семафором

short sem_flg; // флаг(и) операции

};
Переменная sem_op может иметь следующие значения:


  • полож. число — увеличить значение указ. семафора на эту величину;

  • отриц. число — уменьшить значение указ. семафора на эту величину;

  • 0 — проверить равенство значения семафора нулю.

Если системный вызов semop попытается уменьшить значение семафора до отрицательного числа или посчитает, что значение семафора равно 0, когда на самом деле это не так, то ядро заблокирует вызывающий процесс. Этого не произойдет, если в sem_flg указан макрос IPC_NOWAIT. Если sem_flg = SEM_UNDO, то при завершении вызывающего процесса ядро ликвидирует сделанные изменения, чтобы процессы, ожидающие изменения семафоров, не были заблокированы навечно.

В случае успешного выполнения semop возвращает 0, неудачи — -1.


Пример.
#include

#include

#include

#include
struct sembuf buf[2] = {0, -1, SEM_UNDO | IPC_NOWAIT}, {1, 0, 1};

// SEM_UNDO – уменьшить знач. 1-го семафора на 1

// 0 в {1, 0, 1} – проверить знач. 2-го семафора на рав. 0
main()

{

int perms = S_IRWXU | S_IRWXG | S_IRWXO;

int fd = semget(100, 2, IPC_CREAT | perms);

if (fd == -1)

{

printf("Ошибка в semget\n");

exit(1);

}

if (semop(fd, buf, 2) == -1) perror("semop");

}
В примере открывается набор из 2-х семафоров с идентификатором 100. Этот набор создается, если его не было, с правами 777. Если системный вызов semget проходит успешно, вызывается semop, который уменьшает значение 1-го семафора на 1 и проверяет значение 2-го семафора на равенство 0.
Прототип системного вызова semctl имеет следующий вид:
int semctl(int semfd, int num, int cmd, union semun arg);
C помощью этого системного вызова можно запрашивать и изменять управляющие параметры набора семафоров с дескриптором semfd, а также удалять семафор.

Значение num — это индекс семафора, cmd — задает операцию, которая должна быть выполнена над конкретным семафором данного набора.

arg — это объект типа union semun, который может использоваться для задания или выборки управляющих параметров набора семафоров в соответствии с аргументом cmd.

Тип данных union semun определяется в заголовке :


union semun

{

int val; // значение семафора

struct semid_ds *buf; // управляющие параметры набора

ushort *array; // массив значений семафоров

};
cmd может принимать следующие значения:

  • IPC_STAT — копировать управляющие параметры набора семафоров в объект, указанный аргументом arg.buf.

  • IPC_SET — заменить управляющие параметры набора семафоров данными, определенными в arg.buf.

  • IPC_RMID — удалить семафор из системы.

  • GETALL — скопировать все значения семафоров в arg.array.

  • SETALL — установить все значения семафоров равными значениям, содержащимся в массиве, на который указывает arg.array.

  • GETVAL — возвратить значение семафора с номером num. arg не используется.

  • SETVAL — установить значение семафора с номером num, равному значению, указанному в arg.val.

  • GETPID — возвратить идентификатор процесса, который выполнял операции над семафором с номером num последним. arg не используется.

  • GETNCNT — возвратить количество процессов, которые в текущий момент заблокированы и ожидают увеличения семафора с номером num (arg не используется).

  • GETZCNT — возвратить количество процессов, которые в текущий момент заблокированы и ожидают обращение значения семафора с номером num в нуль (arg не используется).

Системный вызов semctl возвращает значение, соответствующее конкретному cmd или -1.
Пример.
#include

#include

#include
union semun

{

int val;

struct semid_ds *buf;

ushort *array;

} arg;
main()

{

struct semid_ds buf;

arg.buf = &buf;

int fd = semget(100, 0, 0);

if (fd > 0 && semctl(fd, 0, IPC_STAT, arg))

{

printf("Кол-во семафоров в наборе: %d\n", arg.buf->sem_nsems);

arg.buf->sem_perm.uid = getuid();

if (semctl(fd, 0, IPC_SET, arg) == -1) perror("semctl2");

}

else

perror("semctl1");

if (semctl(fd, 0, IPC_RMID, 0) == -1) perror("semctl3");

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

<< предыдущая страница   следующая страница >>
Смотрите также:
Методические указания к лабораторным и домашним работам по дисциплине «Операционные системы» Специальности: 230401 Прикладная математика
584.93kb.
5 стр.
Методические указания к лабораторным работам №1-­5 для студентов специальности 210100
346.16kb.
1 стр.
Программа дисциплины математическое моделирование для специальности 230401. 65 «Прикладная математика»
153.49kb.
1 стр.
Методические указания к лабораторным работам по дисциплине «Дендрология» для студентов специальности 050807 «Лесохозяйственное дело»
81.03kb.
1 стр.
Прикладная математика и информатика
283.44kb.
1 стр.
Учебно-методический комплекс по дисциплине «Операционные системы, среды и оболочки» для студентов специальности 080801 «Прикладная информатика в экономике»
565.65kb.
3 стр.
Программа дисциплины «Квантовые вычисления»
112.23kb.
1 стр.
Вопросы к экзамену: Зоопарк операционных систем
21.77kb.
1 стр.
Методические указания к лабораторной работе операционные усилители д исциплина "Физические основы электроники"
83.78kb.
1 стр.
Методические указания к лабораторным работам для студентов iy-y курсов фэн всех форм обучения Новосибирск 2003 (076. 5)
133.46kb.
1 стр.
Методические указания к лабораторным работам по биологической химии для студентов 2 курса медицинского факультета Петрозаводск 2002
878.9kb.
3 стр.
Исследование полупроводниковых диодов методические указания к лабораторным работам по курсу «Электроника»
370.01kb.
3 стр.