定義：保護共享資源，使得資源在一個時刻只有一個進程（線程）擁有

原理：信號量值為正時說明空閑，若為0或負值則說明被占用

分類：內核信號量與用戶信號量，用戶信號量分為POXIS信號量和SYSTEMV信號量，POXIS信號量分為有名信號量和無名信號量

內核信號量：

• #include
• void sema_init(struct semaphore *sem, int val);
• void init_MUTEX(struct semaphore *sem); //初始值1
• void init_MUTEX_LOCKED(struct semaphore *sem); //初始值0
• void down(struct semaphore *sem); //可睡眠
• int down_interruptible(struct semaphore *sem); //可中斷
• int down_trylock(struct semaphore *sem); //m非阻塞
• void up(struct semaphore *sem);

SYSTEMV信號量：

• #include
• int semget(key_t key, int nsems, int oflag);
• int semop(int semid, struct sembuf *opsptr, size_t nops);
• int semctl(int semid, int semum, int cmd,...);

POSIX無名信號量

• #include
• sem_t sem;
• int sem_init(sem_t *sem, int pshared, unsigned int val); //pshared為0則線程間共享，pshared為1則父子進程共享
• int sem_wait(sem_t *sem); //阻塞
• int sem_trywait(sem_t *sem); //非阻塞
• int sem_post(sem_t *sem);
• int sem_destroy(sem_t *sem);
• 進程間共享則sem必須放在共享內存區域（mmap, shm_open, shmget），父進程的全局變量、堆、棧中存儲是不行的

POSIX有名信號量

• sem_t *sem_open(const char *name, int oflag, mode_t mode, int val);
• int sem_wait(sem_t *sem);
• int sem_trywait(sem_t *sem);
• int sem_post(sem_t *sem);
• int sem_close(sem_t *sem);
• int sem_unlink(const char *name);
• 每個open的位置都要close和unlink，但只有最后執行的unlink生效