Что такое семафор в контексте программирования?