6-1 Process Synchronization

Race Condition

• 멀티 프로세서
  • IPC - Shared Memory를 이용하는 경우 Race Condition 문제가 발생할 수 있다.(Shared Memory 내의 Kernel data)
    
  • 커널 모드 수행 중 인터럽트 발생 시
    
  • Process가 System Call을 하여 Kernel Mode로 수행 중인데 Context Switching이 일어나는 경우
    

요약

Process Synchronization 문제

• 공유 데이터의 동시 접근은 데이터의 불일치 문제를 발생시킬 수 있다.

• 일관성 유지를 위해서는 협력 프로세스 간의 실행 순서를 정해주는 매커니즘 필요

• Race Condition

  • 여러 프로세스들이 동시에 공유 데이터를 접근하는 상황
  • 데이터의 최종 연산 결과는 마지막에 그 데이터를 다룬 프로세스에 따라 달라짐
  • Race Condition을 막기 위해서는 동시에 수행하는 process가 동기화되어야 한다.

Critical Section

• n개의 프로세스가 공유 데이터를 동시에 사용하기를 원하는 경우
• 각 프로세스의 code segment에는 공유 데이터를 접근하는 코드인 critical section이 존재