Нейл Мэтью - Основы программирования в Linux

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

Функция semctlпозволяет напрямую управлять данными семафора.

int semctl (int sem_id, int sem_num, int command, ...);

Первый параметр sem_id — идентификатор семафора, полученный от функции semget. Параметр sem_num— номер семафора. Он применяется при работе с массивом семафоров. Обычно этот параметр равен 0, первый и единственный семафор. Параметр command— предпринимаемое действие, и четвертый параметр, если присутствует, — union(объединение) типа semun, которое в соответствии со стандартом X/Open должно содержать как минимум следующие элементы:

union semun {

int val;

struct semid_ds *buf;

unsigned short *array;

}

В большинстве версий ОС Linux определение объединения semunвключено в заголовочный файл (обычно sem.h), несмотря на то, что стандарт X/Open настаивает на том, что вы должны привести собственное объявление. Если вы поймете, что должны объявить его самостоятельно, проверьте, нет ли объявления этого объединения на страницах интерактивного справочного руководства, относящихся к функции semctl. Если вы найдете его, мы полагаем, что вы примените определение из вашего справочного руководства, даже если оно отличается от приведенного на страницах этой книги.

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

Два часто используемых значения commandтаковы:

□ SETVAL— применяется для инициализации семафора с заданным значением. Это значение передается как элемент valобъединения semun. Такое действие необходимо для того, чтобы увеличить значение семафора перед первым его применением;

□ IPC_RMID— применяется для удаления идентификатора семафора, когда он больше не нужен.

Функция semctlвозвращает разные значения, зависящие от параметра command. Если значение команды — IPC_RMID, функция в случае успешного завершения вернет 0 и -1 в противном случае.

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

К счастью, большинство задач, нуждающихся в семафорах, можно решить, применяя единственный бинарный семафор — простейший тип семафора. В следующем примере (упражнение 14.1) вы используете полный программный интерфейс для создания очень простого интерфейса типа Р и V для бинарного семафора. Затем вы примените этот простенький интерфейс для демонстрации того, как функционируют семафоры.

В экспериментах с семафорами будет использоваться единственная программа sem1.с, которую вы сможете запускать несколько раз. Необязательный параметр будет применяться для того, чтобы показать, отвечает ли программа за создание и уничтожение семафора.

Вывод двух разных символов будет обозначать вход в критическую секцию и выход из нее. Программа, запущенная с параметром, выводит Xпри входе в критическую секцию и выходе из нее. Другие экземпляры запущенной программы будут выводить символ Опри входе в свои критические секции и выходе из них. Поскольку в любой заданный момент времени только один процесс способен войти в свою критическую секцию, все символы Xи Oдолжны появляться парами.

1. После системных директив #includeвы включаете файл semun.h. Он определяет объединение типа semunв соответствии со стандартом X/Open, если оно уже не описано в системном файле sys/sem.h. Далее следуют прототипы функций и глобальная переменная, расположенные перед входом в функцию main. В ней создается семафор с помощью вызова semget, который возвращает ID семафора. Если программа вызывается первый раз (т.е. вызывается с параметром и argc > 1), выполняется вызов set_semvalueдля инициализации семафора и переменной op_charприсваивается значение O.