Concepts
在编程中,信号量是一个变量,用于控制 多线程或多进程 对 共享资源的访问。它类似于互斥锁,因为它可以阻止其他线程访问共享资源或临界区。
但是,mutex意味着对锁拥有所有权(即 在临界区执行时,单个线程被称为拥有锁),信号量则是计数器,它可以允许多个线程进入临界区。

理论上讲,信号量是一个共享的counter,可以做原子级别的加减(PV操作)。例如,上图中Task A,B,C都想进入临界区。每个Task都调用了semaphoreTake(),使得信号量计数减1.这时,这三个task都在临界区里,信号量的值为0.
如果Task D也想进入临界区,它也先会调用semaphoreTake()。然而,这时信号量为0,semaphoreTake()会告诉Task D 等待。当任何一个别的task想要离开临界区,必须调用semaphoreGive(),对信号量原子增加。这时,Task D 再调用semaphoreTake()进入临界区。
看起来信号量工作模式像一个通用互斥锁,能够记大于 1 的数字。但是,在实践中,您很少像这样使用信号量,因为即使在临界区,也无法仅使用一个信号量来保护单个资源 ; 还需要使用其他保护机制,如队列或互斥锁来补充支持信号量。
在实践中,信号量通常被用在 通知其他线程 一些公共资源 是不是可以使用。在生产者-消费者场景中表现很好,即一个或多个tasks生产数据,一个或多个tasks使用数据。

上面例子中,task A 和 task B(生产者)创造数据然后推入一块共享资源,例如buffer或者链

最低0.47元/天 解锁文章
1096

被折叠的 条评论
为什么被折叠?



