세마포어, 뮤텍스, 모니터, 메시지 패싱에 대한 용어 이해 및 정리

소개글

간단하고 이해하기 쉽게 정리한 자료

목차

1. 세마포어
2. 뮤텍스
3. 모니터
4. 메시지 패싱

본문내용

세마포어

세마포어는 프로세스간 데이터를 동기화하고 보호하는데 목적을 두고 1965년 E. W. Dijkstra에 의해 제안되었다. 간단히 예를 들어 문제점을 지적하자면 어떤 a라는 변수에 10이 들어있다고 가정한다. 첫 번째 프로세스가 a라는 변수에 접근하여 1을 증가시키는 동안 또 다른 두 번째 프로세스가 a에 접근하여 1을 증가시킨다. 그렇다면 값을 12가 되어야 하지만 두 번째 프로세스가 a변수의 값을 변경하고 있는 중이므로 원하는 결과 값이 아닌 쓰레기 값을 가질 수 있다. 이러한 연유로 Dijkstra는 세마포어란 정수변수를 제안함으로서 이러한 문제를 해결하고 있다. 차단을 원하는 자원에 대하여 세마포어 변수를 생성하면 해당 자원을 가리키는 세마포어 값이 할당된다. 이 세마포어 값은 현재 접근할 수 있는 프로세스의 숫자를 나타낸다. 프로세스간 메시지 전송이나 공유메모리 사용 시 공유된 자원에 대해서 동시에 여러 프로세스가 접근하면 안 되므로 이러한 잘못된 상황을 방지하기 위해서 세마포어는 존재한다.

참고 자료

없음