它们不是一回事。它们用于不同的目的!
虽然两种类型的信号量都具有完整 / 空状态并使用相同的 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 解决了一个完全不同的问题:
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 上,二进制信号量更像是事件对象而不是互斥体。