信号量（Semaphore）作为Linux C编程中实现进程间同步与互斥的核心工具，通过维护一个共享计数器，有效控制多个进程对临界资源的访问，在System V IPC与POSIX IPC两大体系中，信号量以其高效性与灵活性，成为解决并发问题的关键机制。
信号量的基本概念与核心原理
信号量的本质是一个整数变量,用于表示可用资源的数量，进程通过对信号量执行P操作（wait，减1）和V操作（post，加1）来协调资源分配：当资源充足时，进程可顺利获取资源；当资源耗尽时，试图获取资源的进程会被阻塞，直到其他进程释放资源，信号量分为二值信号量（仅0和1，类似互斥锁）与计数信号量（支持多个资源实例），适用于不同场景的并发控制。
在Linux C中，信号量需遵循“初始化-操作-销毁”的生命周期，且需特别注意原子性——P/V操作必须不可分割，避免竞态条件，内核通过系统调用保证这些操作的原子性，确保并发安全。
System V信号量：面向进程的同步机制
System V信号量是经典的IPC（进程间通信）工具，支持信号量数组，适合复杂的多进程同步场景，其核心操作通过三个函数完成：semget、semop与semctl。
创建与获取信号量：semget函数用于创建或获取信号量集，参数包括键值（key）、信号量数量（nsems）与标志（如IPC_CREAT），若键值已存在且无IPC_EXCL标志，则返回现有信号量集；否则创建新集。
int semid = semget(IPC_PRIVATE, 1, IPC_CREAT | 0666); // 创建1个信号量的信号量集
初始化信号量：semctl函数可设置信号量初始值，需配合SETVAL命令，例如将信号量值初始化为1：
union semun arg; arg.val = 1; semctl(semid, 0, SETVAL, arg); // 对信号量集的第0个信号量设置值为1
P/V操作：semop函数执行原子操作，通过sembuf结构体指定操作类型（sem_op），若sem_op为负，表示请求资源（P操作），若信号量值不足则阻塞；若sem_op为正，表示释放资源（V操作）。
struct sembuf sop = {0, -1, 0}; // P操作：获取资源
semop(semid, &sop, 1); // 执行1次操作
销毁信号量：使用semctl的IPC_RMID命令彻底释放信号量集资源，避免泄漏。
POSIX信号量：更现代的同步接口
POSIX信号量相比System V接口更简洁，支持有名信号量（跨进程）与无名信号量（线程或共享内存进程），API设计更符合现代编程习惯，核心函数包括sem_open、sem_wait、sem_post等。
有名信号量创建与打开：sem_open通过路径名创建或打开信号量，参数包括模式（O_CREAT）、初始值（mode_t）。
sem_t *sem = sem_open("/mysem", O_CREAT, 0666, 1); // 创建初始值为1的有名信号量
P/V操作：sem_wait对应P操作（减1，阻塞），sem_post对应V操作（加1，唤醒）。
sem_wait(sem); // 获取资源 // 临界区代码 sem_post(sem); // 释放资源
资源释放：有名信号量需通过sem_close关闭描述符，sem_unlink删除信号量（仅当无进程使用时）；无名信号量需手动释放内存（如通过sem_destroy）。
核心使用场景与示例
信号量广泛应用于多进程/多线程同步场景，典型案例如下：
-
生产者-消费者模型：通过信号量控制缓冲区的访问，使用“空缓冲区”信号量（初始为缓冲区大小）和“满缓冲区”信号量（初始为0），生产者生产后增加“满缓冲区”信号量，消费者消费前需等待“满缓冲区”信号量大于0。
-
进程间互斥访问共享资源：多个进程需修改同一文件或共享内存时，通过二值信号量（初始1）确保同一时间仅一个进程进入临界区，父子进程通过共享内存+信号量避免文件写入冲突。
-
资源池管理：如数据库连接池、线程池，通过计数信号量限制并发访问数量，防止资源耗尽。
注意事项与最佳实践
- 错误处理：所有信号量操作均需检查返回值，避免因信号量不存在、权限不足等问题导致程序异常。
sem_wait可能因信号量被意外删除而失败，需通过errno捕获错误。 - 资源释放：确保程序退出前销毁信号量（System V的
semctl、POSIX的sem_unlink），避免僵尸信号量占用系统资源。 - 死锁预防：避免多个进程按不同顺序获取多个信号量，可通过统一获取顺序或超时机制（如
sem_timedwait）规避死锁。 - 性能优化：减少不必要的信号量操作，仅在真正需要同步时使用；对高频访问的临界区，可考虑结合自旋锁降低上下文切换开销。
信号量作为Linux C并发编程的基石，通过简洁的接口实现了复杂的同步逻辑，无论是System V的信号量数组，还是POSIX的现代化接口，掌握其原理与使用场景，是构建高可靠并发系统的关键，在实际开发中，需结合具体需求选择合适的信号量类型，并严格遵循同步规范，才能充分发挥其效能。
