Semaphores are synchronization tools used in concurrent programming to manage access to shared resources by multiple threads. They use counters to signal whether a resource is available, ensuring that no two threads access the critical section simultaneously, thus preventing race conditions.