1. Deadlock and Starvation

1. DeadLock

• 둘 이상의 프로세스가 서로 상대방에 의해 충족될 수 있는 event를 무한히 기다리는 현상

  ex) 하드웨어 A → B로 자료를 옮기는 과정에서 A,B 세마포어를 모두 가져야만 하는 프로세스가 두 개 일때

  

• P0에서 S를 획득한 상태에서 CPU를 뺏겨서 P1가 실행됨 → waiting

• P1가 Q를 획득한 상태에서 S를 기다림 → waiting

• 각각 S와 Q는 임계구역을 빠져나가고 release 되는데, 그렇지 못하므로 deadlock에 빠짐

• 해결

  • 둘 다 S,Q로 순서를 맞춰주면 됨

2. Syncronization 문제

1. Bonded-Buffer Problem

• 크기가 유한인 버퍼 문제

1. Producer-Consumer Problem

• 생산자 프로세스는 데이터를 만들어서 버퍼에 넣는다.
• 소비자 프로세스는 데이터를 버퍼에서 꺼내간다.

2. 문제점

• 공유 데이터에 대한 Syncronization 문제

  • 생산자 - 생산자
    • 생산자가 도착해서 빈 곳에 데이터를 쓰고 있다. 근데 CPU를 빼앗기고, 다른 생산자가 도착해서 동일한 버퍼에 데이터를 쓴다 ⇒ 데이터 유실
  • 소비자 - 소비자
    • 소비자가 도착해서 데이터 하나 꺼내 쓰려고 했는데 CPU를 빼앗기고, 다른 소비자가 동일한 데이터를 가져간다면?
  • 해결방법
    • 공유 버퍼에 Lock을 걸어 해결한다. (Semaphore)

• 버퍼가 유한하기 때문에 생기는 문제

  • 생산자 - 생산자
    • 버퍼가 다 차있는데 생산자가 도착한다면, 사용할 수 있는 자원이 없는 상태이다.
    • 생산자 입장 가용 자원 : 비어있는 버퍼의 수
  • 소비자 - 소비자
    • 버퍼가 비어있는데 소비자가 도착한다면, 사용할 수 있는 자원이 없는 상태이다.
    • 소비자 입장 가용 자원 : 차있는 버퍼의 수
  • 해결방법
    • 버퍼가 비어있는지, 차있는지 확인하고 각 생산자, 소비자를 상대방이 깨워주자

  

2. Readers-Writers Problem

• 공유데이터 : DB, readCount
• 고려할 점
  • Write는 동시에 하면 안되지만, Read는 동시에 해도 된다.
    • Read가 왔는데도 Block시킨다면 비효율적
    • 근데 Read에도 락을 걸기는 해야한다. (Write는 오면 안되니까!)