Critical Regions

• 우리는 mutual exclusion 하게 수행하고 싶음
• 공유 자원에 접근하는 것을 동기화

Critical Section Problem (CSP) Requirements

• mutual exclusion
  • 최대 하나의 스레드만 실행해야 함
• bounded waiting (no starvation)
  • 스레드 T가 크리티컬 섹션을 기다리고 있다면, T는 결국에는 들어가야 함
• progress
  • 스레드 A가 크리티컬 섹션 밖에 있다면, 스레드 A는 스레드 B가 크리티컬 섹션에 들어가는 것을 막지 못함
• CPU의 속도, 숫자를 가정해서는 안됨

Mechanisms for Solving the Critical Section Problem

• Locks
• Semaphores
• Monitors
• Messages

Mutual Exclusion with Busy Waiting

• 인터럽트를 disable

  • 멀티프로세스에서는 효과적 X
  • 커널모드에서만..

• lock 전역변수

  

  • 1 이면 문을 닫음
  • 0 이면 들어갈 수 있음

  → 문제점) lock 에 1 을 할당받기 전에 멈춘다면? 여러 프로세스가 들어올 수 있다..

• Strict Alteration

  • Busy waiting
    • 특정 값이 나타날 때 까지 계속해서 변수를 확인한다
    • CPU 시간 낭비
  • Spin lock
    • busy waiting 하면서 lock 변수가 변하기를 기다리는 것

  while (TRUE) {
  	while (turn != 0) /* loop */
  	critical_region();
  	turn = 1;
  	noncritical_region();
  }
  

  while (TRUE) {
  	while (turn != 1) /* loop */
  	critical_region();
  	turn = 0;
  	noncritical_region();
  }
  

  → 문제점) progress 조건 만족 X

• Peterson’s Solution

  집에서 읽어보세요 ~~.~~~spi