Модель логически упорядоченных процессов
.Семафоры представляют собой доступные ресурсы, которые могут быть приобретены несколькими потоками в одно и то же время, пока пул ресурсов не опустеет.
... потока (такой объект используется как основа для реализации объекта « критическая секция »).