Hong-Sen
commented
1 year ago 경쟁 상태(Race Condition)
-
공유 자원을 두 개 이상의 프로세스나 스레드가 동시에 읽거나 쓰는 상황
-
예) 멀티스레드 환경에서 여러 스레드중 어느 것이 먼저 실행될 지 순서를 알 수 없기때문에 발생위험
-
경쟁 상태가 발생하는 코드 영역이 임계영역
-
해결 방법
-
뮤텍스
- 프로세스나 스레드가 공유 자원을 lock()을 통해 접근을 막는 방법
- 상호배제하여 두 스레드가 동시에 사용할 수 없도록 함.
- 사용 후에는 unlock()으로 잠금 해제
- 잠금: 다른 프로세스,스레드는 잠긴 코드 영역에 접근 못함
→ 잠금 메커니즘
-
세마포어
- 공유자원에 세마포어의 변수만큼 접근할 수 있다.
- 간단한 정수값 + 함수2개 (wait, signal)
- wait(): 자신의 차례 기다림
- signal(): 다음 프로세스로 순서를 넘겨줌
- 동작 원리
- 공유 자원에 접근하면 세마포어에서 wait()
- 해제하면 세마포어에서 signal()
- 바이너라 세마포어
- 0,1 값
- 카운팅 세마포어
- 여러개의 값
- 여러 자원에 대한 접근을 제어하는데 사용
→ 신호 메커니즘
-
모니터
- 공유자원에 안전하게 접근할 수 있도록 공유 자원을 숨기고
- 해당 접근에 대해 인터페이스만 제공
→ 모두 상호 배제, 한정 대기, 융통성 조건 만족
-
-
경쟁조건을 피하기 위한 조건
- 상호배제: 두개의 프로세스가 동시에 임계구역에 존재하면 안된다.
- CPU의 개수나 속도에 대해 어떠한 가정도 하지 않는다.
- progress: 임계구역 외부에서 실행하고 있는 프로세스가 다른 프로세스를 막아서는 안된다.
- 제한된 대기: 임계구역에 진입하기 위해 무한히 기다리는 프로세스는 없어야 한다.
JongHoooon
Race Condition에 대해 설명하시오.