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