세마포어

#include <semaphore.h>

위와 같이 선언해서 사용 가능

sem_init(sem_t *sem, int pshared, unsigned int value);
sem_wait(sem_t *s) // csapp.h -> P(sem_t *s)
sem_post(sem_t *s) // csapp.h -> S(sem_t *s)

위 세 함수 사용 가능

기본적으로 카운팅 세마포어이다 !!

sem_t {
    int count;               // 현재 카운트 값
    queue<thread> waiters;   // 대기 중인 스레드들 (FIFO or priority queue)
}

내부적으로 대기중인 스레드들을 펜딩 큐에 저장해둠 !!

sem_init()

• sem
  • 초기화할 세마포어 변수의 주소
• pshared
  • 0 → 스레드 간 공유
  • 1 → 프로세스 간 공유
    • mmap이나 shm_open등을 이용해 공유 메모리에 세마포어를 올려야 함
• value
  • 세마포어 변수의 count 값 초기화
  • 프로세스나 스레드가 해당 세마포어에 동시에 진입할수 있는지 설정

sem_wait()

→ Wait() 함수와 같다

해당 세마포어의 count값을 1감소시킨 후, 0보다 크거나 같다면 진입한다 !!

• count 값은 음수가 될 수 있다 !! ( -n == n 개의 스레드 대기중 )

만약 0보다 작다면, block 상태로 waiters 큐에 들어간다