深入浅出：Semaphore（信号量）的 init、wait 和 post 操作140

在并发编程的世界里，资源竞争是一个永恒的挑战。多个线程或进程同时访问共享资源时，如果没有有效的同步机制，很容易导致数据不一致、死锁等问题。而信号量（Semaphore）就是一种强大的同步工具，它可以有效地控制对共享资源的访问，避免竞争冲突。本文将深入浅出地讲解信号量的 `init`、`wait`（有时也称作 `pend` 或 `down`）和 `post`（有时也称作 `signal` 或 `up`）这三个核心操作，并结合代码示例进行说明。

什么是信号量？

信号量本质上是一个计数器，它维护着一个非负整数，表示可用资源的数量。信号量提供两种原子操作：`wait` 和 `post`。 `wait` 操作会递减计数器，如果计数器为 0，则线程或进程会被阻塞，直到计数器大于 0；`post` 操作会递增计数器，如果存在等待的线程或进程，则唤醒其中一个。

`init` 操作：初始化信号量

在使用信号量之前，必须对其进行初始化，指定初始的可用资源数量。 `init` 操作并非一个标准的系统调用，而是指在创建信号量时赋予它的初始值。不同的操作系统和编程库可能有不同的实现方式。例如，在 POSIX 系统中，使用 `sem_init` 函数进行初始化：#include <semaphore.h>
int sem_init(sem_t *sem, int pshared, unsigned int value);

其中：
sem: 指向信号量对象的指针。
pshared: 指定信号量是进程内共享 (0) 还是进程间共享 (1)。进程间共享需要更多额外的系统调用和同步机制。
value: 信号量的初始值，表示初始的可用资源数量。

例如，创建一个初始值为 5 的进程内信号量：sem_t sem;
sem_init(&sem, 0, 5); // 初始化为5

`wait` 操作：获取资源

当一个线程或进程需要访问共享资源时，它需要调用 `wait` 操作。 `wait` 操作会尝试递减信号量的计数器。如果计数器大于 0，则递减成功，线程继续执行；如果计数器为 0，则线程被阻塞，进入等待队列，直到其他线程调用 `post` 操作使计数器大于 0。

在 POSIX 系统中，使用 `sem_wait` 函数：#include <semaphore.h>
int sem_wait(sem_t *sem);

如果 `sem_wait` 返回 0，则表示获取资源成功；如果返回 -1，则表示发生了错误（例如，被信号中断）。

`post` 操作：释放资源

当一个线程或进程完成对共享资源的访问后，它需要调用 `post` 操作释放资源。`post` 操作会递增信号量的计数器，如果存在等待的线程或进程，则唤醒其中一个。

在 POSIX 系统中，使用 `sem_post` 函数：#include <semaphore.h>
int sem_post(sem_t *sem);

如果 `sem_post` 返回 0，则表示释放资源成功；如果返回 -1，则表示发生了错误。

示例：生产者消费者问题

经典的生产者消费者问题可以很好地说明信号量的应用。假设有一个缓冲区，生产者线程向缓冲区添加产品，消费者线程从缓冲区取出产品。为了避免生产者在缓冲区满时继续生产，以及消费者在缓冲区空时继续消费，可以使用两个信号量：一个表示缓冲区中空闲空间的数量，另一个表示缓冲区中产品的数量。

(由于篇幅限制，此处省略生产者消费者问题的完整代码示例。读者可以自行搜索相关资料学习)

总结

信号量是并发编程中非常重要的同步工具，`init`、`wait` 和 `post` 三个操作构成了其核心机制。理解和掌握这些操作对于编写高效、安全的并发程序至关重要。 需要注意的是，信号量的使用需要谨慎，不恰当的使用可能会导致死锁等问题。 选择合适的信号量类型 (进程内或进程间共享) 以及正确的使用 `wait` 和 `post` 操作才能保证程序的正确性和稳定性。 此外，不同操作系统和编程语言对信号量的实现细节可能略有不同，需要参考具体的文档。

2025-04-19

上一篇：深入浅出SEM：Close、Sem、Unlink的含义与应用

下一篇：SEO、SEM与SEM专员：全方位解读搜索引擎营销