Semop: Wenn ein Satz von Semaphoren verkleinert wird, werden alle auf einmal dekrementiert oder blockiert er beim ersten Fehler?

Question

Also, wenn ich ein Semaphore gesetztsemid mit num_of_sems Semaphore und ein sembuf*deleter_searchers_down

struct sembuf *deleter_searchers_down 
         = malloc(sizeof (*deleter_searchers_down) * num_of_sems); 
for (i = 0; i < num_of_sems; ++i) { 
      (deleter_searchers_down + i)->sem_op = -1; 
      (deleter_searchers_down + i)->sem_num = i; 
      (deleter_searchers_down + i)->sem_flg = SEM_UNDO; 
     } 
semop(semid, deleter_searchers_down, num_of_sems); 

Der Anruf wird versuchen, semop alle Semaphore in der Menge zu senken, auf einmal oder wird es sperren, sobald er versucht, den ersten Semaphor, der 0 ist, zu senken und nach einigen anderen Prozessen diesen bestimmten Semaphor fortzusetzen?

Answer 1

Es werden keine Aktualisierungen durchgeführt, bis alle Aktualisierungen als eine Einheit fortgesetzt werden können.

Die POSIX-Spezifikation könnte über diesen Punkt klarer sein, obwohl es besagt, dass semop atomar ist.

Unter Linux ist semop(3) in Glibc ein einfacher Wrapper um semop(2). Die semop(2) -Manpage wiederum sagt

Der Satz von Operationen in sops enthalten ist, in Array Reihenfolge durchgeführt und atomar, das heißt, werden die Operationen durchgeführt, entweder als komplette Einheit, oder gar nicht.

Der HP-UX semop(2) -Manpage ist noch deutlicher:

Semaphore Array-Operationen sind atomar daß keine der Semaphor-Operationen bis blockierende Bedingungen auf allen der Semaphore in das Array durchgeführt werden, wurden entfernt.