세마포어

1 개요

semaphore

세마포어

• 두 개의 원자적 함수로 조작되는 정수 변수
• 공유 자원에 대한 접속을 제어하기 위해 사용되는 신호
• 멀티프로그래밍 환경에서 공유 자원에 대한 접근을 제한하는 방법
• 철학자들의 만찬 문제의 고전적인 해법
• 에츠허르 데이크스트라가 고안함
• 모든 교착 상태를 해결하지는 못함

function V(semaphore S, integer I):
    [S ← S + I]

function P(semaphore S, integer I):
    repeat:
        [if S >= I:
            S ← S - I
            break]

2 같이 보기

• 생산자-소비자 문제
• 독자-저자 문제
• 철학자들의 만찬 문제
• 교착 상태
• 뮤텍스
• 프로세스 간 통신
• 에츠허르 데이크스트라

3 참고

• https://en.wikipedia.org/wiki/Semaphore_(programming)
• http://terms.naver.com/entry.nhn?docId=852341&cid=42346&categoryId=42346