POSIX: значение семафора после выхода из sem_wait()

Question

семафор инициализируется со значением 0.

sem_t sem; 
sem_init(&sem, 0, 0); 

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

// value is 0 
sem_wait(&sem); // blocks 
            // value is 0 
            sem_post(&sem); 
            // value becomes 1 
// unblocked 

Во-вторых, случай, когда официанту не нужно ждать.

        // value is 0 
            sem_post(&sem); 
            // value becomes 1 

// value is 1 
sem_wait(&sem); // does not block 
// value has become 0 

Проблема заключается в том, что окончательное значение sem отличается в двух случаях: 1 в первом случае и 0 во втором. Это своего рода состояние гонки.

В идеале проблема не возникает, если:

• , когда значение семафора 0 и sem_wait() называется, значение станет -1, а не оставаться 0. Таким образом, окончательное значение будет должно быть 0 в обоих случаях
• или существует вариант sem_post(), который просыпался бы один процесс или увеличивать значение (при ожидании процессов значение не будет увеличиваться). также в этом случае конечное значение будет 0 в обоих случаях

Есть ли способ решить это несоответствие в POSIX?

Answer 1

Я бы сказал, что ваши последние предположения для 1-го случая ошибочны.

При возврате из заблокированного вызова sem_wait() семафор получает декремент, поэтому он заканчивается значением 0.

man sem_wait() С (Курсив мной):

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

Это выше формулировка отличается от wording used by POSIX, однако это помогает пролить свет на семафор «значение» коррелирует с семафорами запирающих состояния.