信号量/关键部分实现

Question

我正在尝试了解互斥锁、信号量和临界区，但我对信号量的一些事情不确定。信号量与临界区相同吗？ semaphore.h 中关于如何使用信号量的定义说明了用途：

sem_t m;
sem_init(&m, 0, X); // initialize semaphore to X; what should X be?

sem_wait(&m);
// critical section here
sem_post(&m);

所以我的问题真的是“//这里的关键部分”实际上是一个关键部分吗？

Answer 1

信号量是用于保护关键部分的工具：确保一次只执行一个 CS。

在您的示例中，执行sem_wait(&m) 的第一个进程将执行其关键部分的副本；任何其他尝试执行其对应的sem_wait 的进程都将被阻止，直到第一个进程通过执行sem_post 完成其CS。此时，对sem_wait 的其他调用将返回，重新开始该过程。