TSL (Test and Set Lock) instruction

Sleep and Wakeup

• spinlocks의 대안

• sleep() - 프로세스를 블락하는 시스템 콜

• wakeup() - 블락된 프로세스를 깨우는 시스템 콜

• busy waiting 하지 않음

• Producer-consumer problem

  • producer
    • 버퍼에 아이템을 넣음, 카운트 증가시킴
    • 카운트가 N이 되면 sleep()
    • 카운트가 1이 되면 wakeup(consumer)
  • consumer
    • 버퍼에서 아이템을 꺼냄, 카운트 감소시킴
    • 카운트가 0이 되면 sleep()
    • 카운트가 N-1이 되면 wakeup(producer)

• 문제점?

  • 카운트, 버퍼 값이 최신 값이 아닐 수 있음
  • Synchronization - if문에서 멈추면 둘 다 sleep() 해서 데드 락

→ 아토믹 X

Semaphores

• down(semaphore)
  • 변수 체크, 0보다 크면 1 감소시키고 그렇지 않으면 wait
• up(semaphore)
  • 변수 1 증가시키고, 하나의 스레드를 깨운다

→ 아토믹 액션

• Binary semaphore

• Counting semaphore

• Producer-consumer problem

  • mutual exclusion 을 위해
    • mutex
  • synchronization 을 위해
    • full
    • empty