Question

如果我有多个信号量，如果至少有一个信号量是空闲的，我怎么能有一个进程块？我知道我可以通过忙等待循环执行此操作，例如：

// blocks until one of the semaphores in sems is free, returns
// index of semaphore that was available
int multiple_sem_wait(sem_t **sems, int num_sems) {
   while (true) {
      for (int i = 0; i < num_sems; ++i) {
         if (sem_trywait(sems[i]) == 0) {
            return i;
         }
      }
   }
}

但有没有办法在没有繁忙循环的情况下做到这一点？也许我应该使用除信号量以外的一些IPC技术？

由于

Answer 1

Here (developers.sun.com)是Sun的一篇简短文章，讲述了他们如何在Solaris中实现WaitForMultipleObjects仿真。基本思想是将条件变量列表与句柄（由互斥锁保护）相关联，并在每次发出句柄信号时发出所有条件变量的信号。每次调用模拟WaitForMultipleObjects时，都会创建一个新的条件变量并将其添加到您感兴趣的所有句柄的列表中。在WaitForMultipleObjects仿真中，您将阻止条件变量，并检查每个当你醒来时你的手柄。

存在条件变量列表（而不是单个变量）的原因是您可能在句柄上有两个线程阻塞：线程1在A和B上被阻塞，线程2在A和C上被阻塞。信令B不应该唤醒线程2.由于每次调用WaitForMultipleObjects都会创建一个新的条件变量，在这种情况下，B和C每个都有一个不同的条件变量，而A将有两个条件变量。

有关详细信息，您需要阅读文章本身。

Answer 2

使用多个单独的服务员线程，如：

每个线程都在等待一个单独的信号量。
成功等待信号量后，任何给定的服务员线程信号（通过另一个信号量，条件变量或任何原语最方便）是想要“等待多个信号量”的线程。

在没有忙碌等待的情况下等待多个信号量（C / C ++ Linux）

2 个答案: