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

Нуу наверное это методология поочередного доступа к ресурсу при многопоточном исполнении программы. Но это не точно. Можно назвать это как угодно.

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