Проверяет новое значение семафора и выполняет следующие действия:
В очереди отката отыскиваются любые корректировки данного семафора и эти корректировки сбрасываются в ноль.
Значение семафора устанавливается в заданное.
Корректируется значение sem_ctime .
Вызывается функция , которая проходит по очереди ожидающих операций в поисках тех из них, которые могут быть завершены в результате выполнения операции . Все задачи которые оказываются больше незаблокированными - пробуждаются.
