Semaphores are variables that help with critical section problems and process synchronisation. Learn its properties, types, advantages etc.