Synchronization
-
[OS] Synchronization ProblemCS/Operating System 2021. 12. 1. 23:07
Semaphore를 사용하여 race condition이 발생할 수 있는 문제들을 해결해보자!!!!!! Bounded-Buffer Problem Bounded-Buffer Problem은 앞의 포스팅에서 봤던 Producer-Consumer Problem을 말한다. 이때 아이템을 생성하고 소비하는 데이터가 공유되기 때문에 race condition이 발생했다. 👉 Semaphore를 사용하여 해결한다. 조건 Producer와 Consumer 스레드를 가진다. N 크기의 buffer를 가진다. 공유 데이터 Semaphore mutex = 1 → critical section Semaphore full = 0 → buffer 안의 아이템의 수 Semaphore empty = N → buffer 안의 빈 슬롯..
-
[OS] Critical Section Problem S/W Solution - Peterson's SolutionCS/Operating System 2021. 12. 1. 19:53
앞의 Synchronization과 Critical-Section Problem에서 설명했던 critical section problem의 solution에 대해 알아보자! Critical section의 기본 조건 1. Mutual Exclusion 어떤 프로세스가 Critical section을 실행 중이라면, 다른 프로세스는 Critical section을 실행할 수 없다! 2. Progress 어떠한 프로세스도 critical section을 실행하지 않고, critical section을 실행하려는 프로세스가 있다면, 다음 critical section을 실행하는 프로세스가 무기한 연기되어선 안 된다! 👉 deadlock 방지 3. Bounded Waiting 각 프로세스는 유한한 횟수의 시도 ..
-
[OS] Synchronization과 Critical-Section ProblemCS/Operating System 2021. 12. 1. 18:50
🔍 Background process synchronization이 필요한 이유! ❗️ 다수의 프로세스/스레드가 공유 데이터에 동시(concurency -> single core), 병렬(parallel -> multicore) 접근으로 인한 데이터 불일치(inconsistency)가 발생할 수 있다. Example - Producer-Consumer problem Producer: 데이터 생성 스레드 Consumer: 데이터 소비 스레드 👉 이 두 스레드는 같은 데이터를 생산하고 소비하는 스레드이기 때문에 반드시 동기화되어야 한다!!! 두 thread가 각각 이러한 코드를 가지고 있다고 생각해보자. global variable로 선언되어 있는 counter 변수는 두 thread가 공유하는 변수이다. ..