0

0

C++如何实现带超时机制的信号量?(同步原语进阶)

冰火之心

冰火之心

发布时间:2026-03-12 11:04:03

|

438人浏览过

|

来源于php中文网

原创

c++如何实现带超时机制的信号量?(同步原语进阶)

std::counting_semaphore 不支持超时,得换方案

标准 C++20 的 std::counting_semaphore 没有 try_acquire_fortry_acquire_until 这类带超时的成员函数——它只有阻塞式的 acquire() 和非阻塞的 try_acquire()。如果你需要「等 5 秒拿不到就放弃」,直接用它不行,得自己封装或换底层机制。

常见错误是强行用 try_acquire() 配合循环 + std::this_thread::sleep_for 模拟超时,但这会浪费 CPU、不精确、且无法响应中断(比如线程被 std::jthread 请求停止)。

  • 真正可靠的超时等待必须基于系统级可中断等待,比如 Linux 的 sem_timedwait 或 Windows 的 WaitForSingleObjectEx
  • C++ 标准库不暴露这些能力,所以得绕过 std::counting_semaphore,用 POSIX 或 Win32 原生信号量封装
  • 别试图给 std::counting_semaphore 加锁+条件变量模拟超时——竞态多、逻辑重、性能差

Linux 下用 sem_timedwait 实现可超时信号量

POSIX 信号量(sem_t)原生支持超时:sem_timedwait 接收绝对时间点(struct timespec),超时立即返回 -1 并设 errno = ETIMEDOUT。这是最轻量、最符合语义的做法。

注意:POSIX 信号量分命名(sem_open)和未命名(sem_init)两种,线程内同步必须用未命名版,且需在堆或静态存储上分配(栈上 sem_t 可能因线程栈销毁导致 UB)。

立即学习C++免费学习笔记(深入)”;

Krea AI
Krea AI

多功能的一站式AI图像生成和编辑平台

下载
  • 初始化必须调用 sem_init(&sem, 0, initial_value),第二个参数为 0 表示线程间共享(非进程间)
  • sem_timedwait 的超时时间是绝对时间,不是相对时长,需用 clock_gettime(CLOCK_REALTIME, &ts) + 手动加偏移计算
  • 务必检查返回值:成功返回 0;超时返回 -1errno == ETIMEDOUT;其他负值可能是 EINTR(被信号打断),需重试
// 示例:等待最多 100ms
struct timespec ts;
clock_gettime(CLOCK_REALTIME, &ts);
ts.tv_nsec += 100 * 1000000;
if (ts.tv_nsec >= 1000000000) {
    ts.tv_sec++;
    ts.tv_nsec -= 1000000000;
}
int r = sem_timedwait(&sem, &ts);
if (r == 0) {
    // 成功获取
} else if (errno == ETIMEDOUT) {
    // 超时,继续干别的
} else if (errno == EINTR) {
    // 被信号打断,可选择重试或退出
}

Windows 下 WaitForSingleObjectEx 是唯一靠谱选择

Windows 没有 POSIX 信号量对应物,但 WaitForSingleObjectEx 支持超时 + 可中断(通过 bAlertable = TRUE 响应 APC)。配合 CreateSemaphoreEx 创建的内核信号量,就能实现等效行为。

别用 std::condition_variable + std::mutex 模拟——它只能等相对时间(wait_for),且无法在等待中被外部取消;而 WaitForSingleObjectEx 在线程收到 APC 时会提前返回 WAIT_IO_COMPLETION,适合与 std::jthread 的 stop_token 协作。

  • CreateSemaphoreExdwMaximumCount 必须大于 lInitialCount,否则创建失败
  • 超时单位是毫秒,传 100 就是 100ms;传 0 等价于 try_acquire(),传 INFINITE 则永久阻塞
  • 返回值为 WAIT_OBJECT_0 表示拿到信号量;WAIT_TIMEOUT 表示超时;WAIT_IO_COMPLETION 表示被 APC 中断(比如线程 stop_requested)

跨平台封装要注意的三个硬伤

想写一次代码跑两边?小心这三点:一是 POSIX 信号量和 Windows 信号量资源释放方式不同(sem_destroy vs CloseHandle),忘记清理会导致句柄泄漏;二是超时精度差异大(Linux sem_timedwait 精度依赖系统 timer,Windows 在低负载下可到 1–15ms);三是错误码体系完全不兼容(ETIMEDOUT vs WAIT_TIMEOUT),抽象层必须做映射。

最容易被忽略的是:POSIX 未命名信号量不能跨进程复用,但 Windows CreateSemaphoreEx 默认就是跨进程的——如果误把 Windows 版信号量用于纯线程场景,会引入不必要的内核对象开销和权限检查。

  • 不要在析构函数里直接调用 CloseHandlesem_destroy:Windows 句柄可能已被其他线程关闭;POSIX sem_destroy 要求信号量无人等待,否则 UB
  • 避免在信号量等待路径里做耗时操作(比如日志、内存分配),否则超时逻辑会被拖慢甚至失效
  • 如果项目已重度依赖 std::counting_semaphore,与其强行改造,不如在业务层用 std::jthread + stop_token 主动取消等待任务——有时候换思路比换原语更稳

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

443

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

605

2023.08.10

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

443

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

605

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

765

2023.08.10

windows查看端口占用情况
windows查看端口占用情况

Windows端口可以认为是计算机与外界通讯交流的出入口。逻辑意义上的端口一般是指TCP/IP协议中的端口,端口号的范围从0到65535,比如用于浏览网页服务的80端口,用于FTP服务的21端口等等。怎么查看windows端口占用情况呢?php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

1496

2023.07.26

查看端口占用情况windows
查看端口占用情况windows

端口占用是指与端口关联的软件占用端口而使得其他应用程序无法使用这些端口,端口占用问题是计算机系统编程领域的一个常见问题,端口占用的根本原因可能是操作系统的一些错误,服务器也可能会出现端口占用问题。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1170

2023.07.27

windows照片无法显示
windows照片无法显示

当我们尝试打开一张图片时,可能会出现一个错误提示,提示说"Windows照片查看器无法显示此图片,因为计算机上的可用内存不足",本专题为大家提供windows照片无法显示相关的文章,帮助大家解决该问题。

835

2023.08.01

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

76

2026.03.11

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 11.2万人学习

C 教程
C 教程

共75课时 | 5.4万人学习

C++教程
C++教程

共115课时 | 21.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号