공부 내용

운영체제의 thread와 locks, race condition에 관한 내용을 복습 및 정리하였다.

병행성 관련 주요 용어 정리

• 임계 영역(ciritical section): 공유 자원을 접근하는 코드의 일부분(lock이 걸리는 이유가 되는 코드 부분)
• 경쟁 조건: 거의 동시에 같은 critical section을 접근하려고 할 때 경쟁이 일어남.(의도치 않은 결과)
• 비결정적: 쓰레드의 실행 시점에 의존하기 때문에 실행할 때마다 결과가 달라짐 ㅠ
• 상호 배제(mutual exclusion): 하나의 쓰레드만 임계 영역에 접근할 수 있도록 하는 것

locks

• load, add, store가 세 개의 명령어로 나누어져 있다보니 add까지 한 상태로 interrupt가 발생할 경우 counter 값에 반영이 안 된 상태로 t2가 실행되어 counter값이 기대한 값이 나오지 않음

  → 그래서 우리는 여러가지 방법으로 임계 영역에 대한 접근을 관리함 = lock

Lock 평가 기준

1. Correctness
   • 상호 배제: 한 번에 하나의 thread만
   • deadlock-free: 데드락 걸리면 안 돼
   • starvation-free: 계속 기다리기만 하는 놈이 있으면 안 돼
2. Fairness: 락을 기다리는 시간이 같아야해(공평)
3. Performance: 성능(spin과 관련)

lock 제어 방법