세마포어(Semaphore)는 에츠허르 데이크스트라가 고안한 컴퓨터 과학의 개념으로, 다중 프로그래밍 환경에서 공유 자원에 대한 접근을 제어하기 위해 사용하는 동기화 기법이다. 여러 프로세스나 스레드가 동시에 같은 자원에 접근할 때 발생할 수 있는 데이터 불일치나 충돌 문제를 방지하기 위한 목적으로 활용된다. 본래 세마포어라는 명칭은 철도의 깃발 신호기에서 유래하였으며, 특정 자원을 사용할 수 있는지 여부를 나타내는 상태 값을 통해 프로세스의 흐름을 관리한다.

세마포어의 핵심 작동 원리는 P 연산과 V 연산이라는 두 가지 원자적 연산을 기반으로 한다. P 연산은 네덜란드어 'Proberen(테스트하다)'에서 유래하여 'wait'라고도 불리며, 자원을 점유하기 전 세마포어 값을 감소시킨다. 만약 값이 0 이하라면 자원이 가용해질 때까지 해당 프로세스를 대기 상태로 전환한다. 반면 V 연산은 'Verhogen(증가시키다)'에서 유래하여 'signal'이라고도 하며, 자원 사용을 마친 후 세마포어 값을 증가시켜 대기 중인 다른 프로세스에게 자원이 해제되었음을 알리는 신호를 보낸다.

세마포어는 관리할 수 있는 자원의 개수에 따라 이진 세마포어와 카운팅 세마포어로 구분된다. 이진 세마포어는 값이 0과 1만 가질 수 있는 형태로, 한 번에 하나의 프로세스만 접근 가능한 상호 배제를 구현하는 데 사용된다. 카운팅 세마포어는 가용한 자원의 개수만큼 정수 값을 가질 수 있어, 유한한 개수를 가진 자원 풀을 관리할 때 유용하다. 예를 들어 특정 개수의 데이터베이스 연결이나 네트워크 포트를 관리할 때 카운팅 세마포어를 통해 동시에 접근 가능한 스레드 수를 제한할 수 있다.

현대의 운영체제에서 세마포어는 임계 구역 문제를 해결하는 필수적인 도구이다. 임계 구역은 두 개 이상의 프로세스가 동시에 접근해서는 안 되는 공유 자원의 영역을 의미하며, 세마포어는 이러한 구역에 대한 진입 규칙을 설정함으로써 데이터 무결성을 보장한다. 동기화 장치가 적절히 작동하지 않으면 경쟁 상태가 발생하여 프로그램이 예측 불가능하게 동작하거나 시스템 전체의 안정성이 훼손될 위험이 크다.

그러나 세마포어를 잘못 설계하거나 부적절하게 사용하면 교착 상태나 기아 현상과 같은 부작용이 발생할 수 있다. 두 프로세스가 서로가 가진 자원을 해제하기를 무한히 기다리는 교착 상태는 시스템의 중단을 야기하며, 특정 프로세스가 우선순위에서 밀려 계속 자원을 할당받지 못하는 기아 현상은 효율성을 저하시킨다. 따라서 세마포어는 뮤텍스와 같은 다른 동기화 기법과의 차이점을 명확히 이해하고 프로그램의 목적에 맞게 정밀하게 구현되어야 한다.