摘要:本文深入解析 C 语言信号量编程核心库semaphore.h
,系统阐述 POSIX 信号量机制的基本原理、函数分类及高级应用。通过丰富示例与最佳实践,帮助开发者掌握并发控制技术,构建线程安全、高效协作的多线程应用。
关键词:C 语言、semaphore.h、POSIX 信号量、并发控制、线程同步、互斥锁
1. 函数分类与用途总览
功能分类 | 核心函数 | 主要用途 |
---|---|---|
信号量创建与销毁 | sem_init , sem_destroy , sem_open , sem_unlink |
初始化、销毁、打开和删除信号量 |
信号量操作 | sem_wait , sem_trywait , sem_timedwait , sem_post |
等待信号量、尝试等待、带超时等待和释放信号量 |
信号量值查询 | sem_getvalue |
获取当前信号量的值 |
命名信号量 | sem_open , sem_unlink |
创建和管理具有文件系统名称的命名信号量,用于进程间同步 |
2. 信号量基础概念
2.1 信号量类型
- 二进制信号量:值只能为 0 或 1,用作互斥锁
- 计数信号量:值可以为任意非负整数,用于资源计数
- 进程间信号量:使用
sem_open
创建的命名信号量,可被多个进程共享 - 线程间信号量:使用
sem_init
创建的匿名信号量,在线程间共享
2.2 信号量操作原语
- P 操作(wait):减少信号量值,若值为 0 则阻塞
- V 操作(post):增加信号量值,唤醒等待的线程
2.3 信号量与互斥锁的对比
特性 | 信号量(Semaphore) | 互斥锁(Mutex) |
---|---|---|
初始值 | 可设置为任意非负整数 | 只能初始化为 1 |
拥有者概念 | 无 | 有(锁只能由持有者释放) |
应用场景 | 资源计数、多生产者多消费者问题 | 保护临界区,防止竞态条件 |
操作 | wait/post | lock/unlock |
3. 核心函数详解
3.1 信号量初始化与销毁
sem_init
功能:初始化匿名信号量。
示例:
#include <semaphore.h>
#include <pthread.h>
#include <stdio.h>
sem_t my_semaphore;
void* thread_function(void* arg) {
// 等待信号量
sem_wait(&my_semaphore);
prin