深入理解Linux POSIX信号量从基础到实践：掌握线程同步的利器

1. 什么是信号量？

信号量本质上是一个计数器，用于保护共享资源的访问。它由荷兰计算机科学家Dijkstra提出，通过两个原子操作P（等待）和V（发信号）来控制线程的执行顺序。在Linux中，POSIX信号量分为两种：无名信号量（基于内存，常用于线程间同步）和有名信号量（与文件路径关联，可用于进程间同步）。

2. POSIX信号量核心函数

使用POSIX信号量需要包含头文件。以下是常用函数：

• sem_init(sem_t *sem, int pshared, unsigned int value) — 初始化一个无名信号量，pshared=0表示线程间共享，value为初始计数。
• sem_wait(sem_t *sem) — 等待信号量，若计数为0则阻塞，否则计数减1并立即返回。
• sem_post(sem_t *sem) — 释放信号量，计数加1，并唤醒等待的线程。
• sem_destroy(sem_t *sem) — 销毁无名信号量，释放资源。

3. 实战：生产者-消费者模型

下面通过一个经典的生产者-消费者示例，展示如何使用POSIX信号量实现互斥与同步。程序创建两个线程，生产者向缓冲区写入数据，消费者从中读取数据，通过两个信号量控制缓冲区空满状态。

    #include #include #include #include #define BUFFER_SIZE 5int buffer[BUFFER_SIZE];int in = 0, out = 0;sem_t empty, full, mutex;void* producer(void* arg) {for (int i = 0; i < 10; i++) {sem_wait(&empty);      // 等待空位sem_wait(&mutex);      // 互斥访问缓冲区buffer[in] = i;printf("生产：%d 放到位置 %d", i, in);in = (in + 1) % BUFFER_SIZE;sem_post(&mutex);sem_post(&full);       // 增加已填充数量sleep(1);}return NULL;}void* consumer(void* arg) {for (int i = 0; i < 10; i++) {sem_wait(&full);       // 等待有数据sem_wait(&mutex);      // 互斥访问缓冲区int item = buffer[out];printf("消费：从位置 %d 取出 %d", out, item);out = (out + 1) % BUFFER_SIZE;sem_post(&mutex);sem_post(&empty);      // 增加空位sleep(2);}return NULL;}int main() {pthread_t prod, cons;sem_init(&empty, 0, BUFFER_SIZE); // 初始空位数为BUFFER_SIZEsem_init(&full, 0, 0);             // 初始满位数为0sem_init(&mutex, 0, 1);            // 互斥量初始为1pthread_create(&prod, NULL, producer, NULL);pthread_create(&cons, NULL, consumer, NULL);pthread_join(prod, NULL);pthread_join(cons, NULL);sem_destroy(&empty);sem_destroy(&full);sem_destroy(&mutex);return 0;}  

4. 注意事项与最佳实践

- 初始化值：信号量初始值决定了资源的初始数量，设置不当会导致死锁或资源溢出。- 销毁时机：确保所有线程不再使用信号量后再调用sem_destroy，尤其是无名信号量。- 避免死锁：当需要多个信号量时，确保所有线程以相同顺序获取，否则可能发生死锁。- 对于进程间同步，应使用有名信号量（sem_open、sem_close、sem_unlink）。

5. 总结

POSIX信号量作为Linux下经典的线程同步工具，既简单又强大。通过本文的学习，你应该已经掌握了无名信号量的基本用法，并能在多线程编程中灵活运用互斥与同步思想。希望你能动手实践，加深对POSIX信号量的理解。