[운영체제] Synchronization - 1

하나의 address space에 서로 다른 스레드들이 동시에 접근하면 문제가 발생한다.

 

Race Condition

• 두 개 이상 프로세스/스레드가 shared resource에 동시에 concurrent하게 접근함으로써 결과 값이 확정 되지가 않고, 그때 그때 실행할 때마다 조금씩 바뀌는 현상
• 두 개 이상의 concurrent 한 프로세스, 스레드들이 공유 자원에 접근 할 때 동기화 해결 과정없이 수행하는 상황

race condition을 방지하기 위한 기법 → synchronization

 

Critical Section

• 코드에서 두개 이상의 프로세스가 동시에 리소스를 업데이트 할 수 있는 구간.
• 각 프로세스에서 공유 데이터에 접근하는 프로그램 코드 부분.
• 여러 개의 스레드가 수행되는 프로그램에서 각 프로세스/스레드들이 공유하는 데이터 등을 변경하는 코드 영역

critical section을 보호하기 위해 반드시 지켜져야 하는 3가지

• Mutual exclusion
  • critical section에 오직 한번에 하나의 프로세스만 들어갈 수 있음.
  • 한 프로세스가 수행 중인 상태에서는 다른 프로세스가 절대 수행 중인 critical section에 접근할 수 없음.
• Progress
  • lock에 대해서 여러개가 요청했을 때, lock을 잡고 있는 사람이 아무도 없는 경우에는 요청한 여러 개 중에 하나는 반드시 lock을 잡을 수 있어야 함. critical section에 들어갈 수 있어야 함.
• Bounded waiting
  • lock을 잡으려고 하는데 한명이 계속 lock을 못 잡는 상황 발생하면 안됨. starvaiton 현상 예방할 수 있어야함.
  • critical section에 들어가고자 하는 프로세스는 언젠가는 꼭 진입할 수 있어야 함.