취미가 좋다

Busy waiting 문제를 해결하기 위해서 OS가 지원하는 Solution을 살펴보자. Spinlock Semaphore Evencount/sequencer Spinlock : 정수 변수로, 초기화, P( ), V( ) 연산으로만 접근 가능하다. P( ), V( )는 atomic 연산을 하도록 OS 가 보장해준다. 즉, 중간에 preemption되지 않는다. - P는 물건을 꺼내고, V는 물건을 넣는 것으로 볼 수 있다. - S는 물건의 개수로 보면 된다. - P는 자물쇠를 잠그고, S는 자물쇠를 푼다고 생각할 수도 있다. P(S) { while (S = 1 이어야 메시지를 가져갈 수 있다. - 정리하면 In >= u + 1 - 메시지가 있으면 가져가고 Out을 증가시킨다. 다음 글에서는 마지막으로 ..

SW 방식, HW 방식으로 Process Mutual Exclusion을 해결해보자. Dekker's Algorithm Peterson's Algorithm Dijkstra's Algorithm TAS (TestAndSet) instruction SW Solutions 1. Dekker's Algorithm 전략 위의 1번 3번 방법을 섞어서 turn과 flag를 모두 사용한다. 둘 다 flag를 들고 while문에 들어가면 turn을 살핀다. 자신의 turn이 아닌 쪽이 flag를 다시 내리고, turn을 가진 프로세스가 CS에 들어가서 수행한다. 프로세스의 수행이 끝나면 turn과 flag를 최신화 하고 기다리던 프로세스가 flag를 들고 CS로 들어간다. 2. Peterson's Algorithm ..

프로세스 동기화 & 상호 배제에 대해서 살펴보자. synchronization (동기화) Critical Section (임계 영역) Mutual Exclusion (상호 배제) Mutual Exclution Methods Mutual Exclution Primitives (turn, flag) Process Synchronization (동기화) 동기화라는 개념이 어떻게 나왔을까? 다중 프로그래밍 시스템이 등장하면서 시작되었다. 다중 프로그래밍 시스템 : 여러 개의 프로세스들이 서로 독립적으로 동시에 동작한다. - 따라서 공유 자원 또는 데이터가 있을 때, 문제가 발생할 수도 있다. 동기화 (Synchronization) : 자원을 공유할 때 생기는 문제를 방지하기 위해 프로세스들이 대화하는 것이다. ..