协慌网

登录 贡献 社区

二进制信号量和互斥量之间的区别

二进制信号量和互斥量之间是否存在差异,或它们基本相同?

答案

它们不是一回事。它们用于不同的目的!
虽然两种类型的信号量都具有完整 / 空状态并使用相同的 API,但它们的使用方式却截然不同。

互斥信号量
互斥信号量用于保护共享资源(数据结构,文件等)。

Mutex 信号量由接受它的任务 “拥有”。如果任务 B 尝试 semGive 当前由任务 A 持有的互斥锁,则任务 B 的调用将返回错误并失败。

互斥锁始终使用以下顺序:

- SemTake
  - Critical Section
  - SemGive

这是一个简单的例子:

Thread A                     Thread B
   Take Mutex
     access data
     ...                        Take Mutex  <== Will block
     ...
   Give Mutex                     access data  <== Unblocks
                                  ...
                                Give Mutex

二进制信号量
Binary Semaphore 解决了一个完全不同的问题:

  • 任务 B 等待发生某事(例如传感器被绊倒)。
  • 传感器跳闸和中断服务程序运行。它需要通知行程的任务。
  • 任务 B 应该运行并对传感器跳闸采取适当的措施。然后回去等。
Task A                      Task B
   ...                         Take BinSemaphore   <== wait for something
   Do Something Noteworthy
   Give BinSemaphore           do something    <== unblocks

请注意,对于二进制信号量,B 可以使用信号量和 A 来提供它。
同样,二进制信号量不保护资源不被访问。给予和获取信号量的行为从根本上是分离的。
对于相同的任务来说,通常对同一个二进制信号量的给予和接受没有多大意义。

厕所的例子是一个令人愉快的比喻:

互斥:

是厕所的关键。一个人可以拥有钥匙 - 占用厕所 - 当时。完成后,该人员将(释放)密钥提供给队列中的下一个人。

正式说:“互斥锁通常用于序列化对一部分重入代码的访问,这些代码不能由多个线程同时执行。互斥对象只允许一个线程进入受控部分,强制其他线程尝试访问该部分要等到第一个线程退出该部分。“参考:Symbian 开发人员库

(互斥体实际上是一个值为 1 的信号量。)

信号:

是免费相同的厕所钥匙的数量。例如,我们说有四个带有相同锁和钥匙的马桶。信号量计数 - 键数 - 在开始时设置为 4(所有四个厕所都是免费的),然后计数值随着人们的进入而减少。如果所有厕所都已满,即。没有剩余的自由键,信号量计数为 0. 现在,当 eq。一个人离开厕所,信号量增加到 1(一个自由键),并给予队列中的下一个人。

正式地说:“信号量将共享资源的同时用户数量限制为最大数量。线程可以请求访问资源(递减信号量),并且可以发信号通知他们已经完成了使用资源(递增信号量)。 “参考:Symbian 开发人员库

Mutex 只能由获取它的线程释放,而您可以从任何其他线程(或进程)发出信号量信号,因此信号量更适合某些同步问题,如 producer-consumer。

在 Windows 上,二进制信号量更像是事件对象而不是互斥体。