Lock

Principle

• Initially free
• at most One lock holder at a time
• no holder → get lock
• release → waiter gets lock

two atomic operations

• lock::acquire
  • wait until lock is free
  • acquire before accessing shared data
• lock::release
  • release lock, wake up
  • release after finishing with shared data

Thread-safe

• lock을 했어도 malloc이 아직 돌아가고 있으면 p→field1 접근시 오류!

Condition Variables

Operations

• Wait()
  • release lock, go to sleep, aquire lock
  • 이러는 이유는 lock을 들고 있는동안(critical section) sleep할 수 없기 때문이다.
  • 따라서 lock을 풀어주고 기다리는 것!
• Signal()
  • wake up waiter
• Broadcast()
  • wake up everyone

• 첫번째 경우

1. remove가 먼저 acquire 성공
2. queue에 아무것도 없으므로
   1. lock풀어주기 go to sleep
3. addtoqueue가 acquire성공
4. addtoqueue에서 signal 이러면 remove가 wake해 acquire
5. add에서 release 후 종료
6. remove에서 acquire성공 후 remove
7. remove에서 release 후 return.

• 두번째 경우

1. add가 먼저 acquire
2. queue에 넣고 signal 아무도 깨어나지 않는다
3. add에서 release
4. remove에서 acquire 이후 동일