Системное программирование в UNIX средствами Free Pascal

       

Переменная semid является идентификатором набора


uses ipc;
Function semop(semid:longint;op_array:pointer;num_ops:cardinal):Boolean;
Переменная semid является идентификатором набора семафоров, полученным с помощью вызова semget. Параметр op_array является массивом структур TSEMbuf, определенных в файле ipc. Каждая структура TSEMbuf содержит описание операций, выполняемых над семафором.
И снова основной акцент делается на операции с наборами семафоров, при этом функция semop позволяет выполнять группу операций как атомарную операцию. Это означает, что пока не появится возможность одновременного выполнения всех операций с отдельными семафорами набора, не будет выполнена ни одна из этих операций. Если не указано обратного, процесс приостановит работу до тех пор, пока он не сможет выполнить все операции сразу.
Рассмотрим структуру TSEMbuf. Она включает в себя следующие элементы:
TSEMbuf=record
  sem_num : word;
  sem_op  : integer;
  sem_flg : integer;
end;
Поле sem_num содержит индекс семафора в наборе. Если, например, набор содержит всего один элемент, то значение sem_num должно быть равно нулю. Поле sem_op содержит целое число со знаком, значение которого сообщает функции semop, что необходимо сделать. При этом возможны три случая:
Случай 1: отрицательное значение sem_op
Это обобщенная форма команды для работы с семафорами р(), которая обсуждалась ранее. Действие функции semop можно описать при помощи псевдокода следующим образом (обратите внимание, что ABS() обозначает модуль переменной):


if semval >= ABS(sem_op) then
begin
  semval := semval - ABS(sem_op)
end
else
begin
  if (sem_flg and IPC_NOWAIT) <> 0 then
    немедленно вернуть -1
  else
  behin
    ждать, пока semval не станет больше или равно ABS(sem_op)
    затем, как и выше, вычесть ABS(sem_op)
  end;
end;
Основная идея заключается в том, что функция semop вначале проверяет значение semval, связанное с семафором sem_num. Если значение semval достаточно велико, то оно сразу уменьшается на указанную величину. В противном случае процесс будет ждать, пока значение semval не станет достаточно большим. Тем не менее, если в переменной sem_flg установлен флаг
IPC_NOWAIT, то возврат из вызова sem_op произойдет немедленно, и переменная ipcerror будет содержать код ошибки Sys_EAGAIN.
Случай 2: положительное значение sem_op
Это соответствует традиционной операции
v(). Значение переменной sem_op просто прибавляется к соответствующему значению semval. Если есть процессы, ожидающие изменения значения этого семафора, то они могут продолжить выполнение, если новое значение семафора удовлетворит их условия.
Случай 3: нулевое значение sem_op
В этом случае вызов sem_op будет ждать, пока значение семафора не станет равным нулю; значение semval этим вызовом не будет изменяться. Если в переменной sem_flg установлен флаг
IPC_NOWAIT, а значение semval еще не равно нулю, то функция semop сразу же вернет сообщение об ошибке.

Содержание раздела