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