我们一起聊聊信号量对象没有所有者

开发 前端
如果线程在设法释放信号量之前退出(或崩溃),则信号量计数器不会自动还原。相较于互斥对象,如果所有者线程在持有互斥对象时终止,则释放互斥对象。因此,对于这种使用模式,使用互斥对象更加合适一些。

相较于互斥对象(Mutex)和临界区对象(Critical Section) ,信号量没有所有者,它们只有计数。

ReleaseSemaphore 函数将会以指定的数量增加对应信号量对象的计数。 (增加计数这个动作,可能会释放正在等待的线程)但是释放信号量的线程不必与最初声明它的线程相同。这与互斥对象和临界区对象不同,后者要求声明线程也是释放线程。

有些人以类似互斥对象的方式使用信号量: 他们创建一个初始计数为 1 的信号量,并像这样使用它,如下面代码所示:

WaitForSingleObject(hSemaphore, INFINITE);
… do stuff ..
ReleaseSemaphore(hSemaphore, 1, NULL);

如果线程在设法释放信号量之前退出(或崩溃),则信号量计数器不会自动还原。相较于互斥对象,如果所有者线程在持有互斥对象时终止,则释放互斥对象。因此,对于这种使用模式,使用互斥对象更加合适一些。

如果资源的概念所有权可以跨线程,则信号量非常有用。我们来看下图:

此技巧不适用于互斥对象或临界区对象,因为互斥对象和临界区对象具有所有者,并且只有所有者才能释放互斥对象或临界区对象。

请注意,如果 KeepWorking 函数退出并忘记释放信号量,则计数器不会自动恢复。操作系统不知道信号量”属于”该工作项。

信号量的另一种常见用法模式与资源保护模式相反:它是资源生成模式。在此模型中,信号量计数通常为零,但在有工作要完成时递增。

请注意,在这种情况下,甚至没有信号量的概念”所有者”,除非你将工作项本身(位于工作列表数据结构上的某处)视为所有者。如果 ProcessWork 线程退出,则不希望自动释放信号量,那会破坏掉内部计数。在这种情况下,信号量是合适的对象。

(生产者/使用者信号量的更高性能版本是 I/O 完成端口。)

总结

既然提到了所谓的高性能版本,我想原作者所表达的意思是:对于尔等 C++ 工人来说,平常使用无妨,但是如果是性能攸关的代码,频繁地切换内核上下文所带来的性能开销,不可小视。

责任编辑:武晓燕 来源: 今日头条
相关推荐

2023-05-30 07:52:38

信号量版本C++

2020-11-05 09:59:24

Linux内核信号量

2023-08-04 08:20:56

DockerfileDocker工具

2022-05-24 08:21:16

数据安全API

2023-09-10 21:42:31

2023-08-10 08:28:46

网络编程通信

2023-06-30 08:18:51

敏捷开发模式

2021-08-27 07:06:10

IOJava抽象

2024-02-20 21:34:16

循环GolangGo

2021-09-07 07:53:42

Semaphore 信号量源码

2023-07-24 09:41:08

自动驾驶技术交通

2021-08-12 07:49:24

mysql

2022-02-23 08:41:58

NATIPv4IPv6

2022-09-22 08:06:29

计算机平板微信

2023-03-26 23:47:32

Go内存模型

2022-10-08 00:00:05

SQL机制结构

2022-06-26 09:40:55

Django框架服务

2022-02-14 07:03:31

网站安全MFA

2022-11-12 12:33:38

CSS预处理器Sass

2023-12-28 09:55:08

队列数据结构存储
点赞
收藏

51CTO技术栈公众号