Можете объяснить принцип функционирования семафора в многопоточном программировании?