ЛАБОРАТОРНАЯ РАБОТА № 5. СЕМАФОРЫ В UNIX КАК СРЕДСТВО СИНХРОНИЗАЦИИ ПРОЦЕССОВ

При разработке средств System V IPC семафоры вошли в их состав как неотъемлемая часть. Следует отметить, что набор операций над семафорами System V IPC отличается от классического набора операций {P, V }, предложенного Дейкстрой. Он насчитывает три операции:

· A(S, n) - увеличить значение семафора S на величину n;

· D(S, n) - пока значение семафора S < n процесс блокируется. Далее S = S - n;

· Z(S) - процесс блокируется до тех пор, пока значение семафора S не станет равным 0.

Изначально все IPC семафоры инициируются нулевым значением.

Легко видеть, что классической операции P(S) соответствует операция D(S,1), а классической операции V(S) соответствует операция A(S,1). Аналогом ненулевой инициализации Дейкстровских семафоров значением n может служить выполнение операции A(S,n) сразу после создания семафора S, с обеспечением атомарности создания семафора и ее выполнения посредством другого семафора. Мы показали, что классические семафоры реализуются через семафоры System V IPC. Обратное не является верным. Используя операции P(S) и V(S), мы не сумеем реализовать операцию Z(S).

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

Не нашли, что искали? Воспользуйтесь поиском: