임계 구역(Critical Section)과 뮤텍스, 세마포어, 모니터
·
👶🏻 CS/Operating System
경쟁 상태여러 프로세스들이 동시에 데이터에 접근하는 상황에서, 어떤 순서로 접근하냐에 따라 결과 값이 달라지는 것을 경쟁 상태(Race Condition)이라고 한다. 이러한 문제를 방지하기 위해 동기화 기법이 사용되며, 이때 공유 자원에 접근하는 코드가 임계 구역(Critical Section)이다.   Critical Section Problem(임계 구역 문제)임계 구역은 하나의 프로세스나 스레드만 들어갈 수 있는 코드 영역이다.예를 들어, 여러 스레드가 같은 메모리 영역에 값을 쓰려고 하면 충돌이 발생할 수 있는데, 이때 각 스레드가 동시에 해당 메모리 영역을 쓰지 않도록 보호해야 한다. 이러한 설계를 위해서는 3가지 요구조건을 만족해야 한다. 1. Mutual Exclusion(상호 배제)하나의..
Sync&Async, Blocking&Non-Blocking
·
👶🏻 CS/Operating System
이 4가지는 IO(입출력)를 처리할 때 접할 수 있는 용어들이다. Blocking&Non-BlockingBlocking&Non-Blocking은 단어 그대로 현재 작업이 block(차단, 대기)되느냐 아니냐의 차이다. Blocking은 자신의 작업을 진행하다가 다른 주체의 작업이 시작되면 다른 작업이 끝날 때까지 기다렸다가 자신의 작업을 시작하는 것이다.(제어권이 넘어간 것)Non-Blocking은 다른 주체의 작업에 관련 없이 자신의 작업을 하는 것이다.(제어권을 돌려받는 것) Sync&Async동기/비동기는 요청한 작업에 대해 순서가 지켜지는지, 결과에 관심이 있는지에 대한 관점에 있다. A프로세스가 본인 작업을 하다가 B프로세스에게 어떤 작업을 요청한다고 가정해 보자. Sync는 본인이 하던 작업을..