直接裸用 std::thread 会导致线程爆炸、资源耗尽、写冲突未定义行为;应限并发数、用线程池或 std::async 按格子分发、共享写入加锁、优选 std::jthread 和平方距离比较。

为什么 std::thread 直接裸用在碰撞检测里会崩得很快
物理引擎的碰撞检测本质是 O(n²) 的两两遍历,线程数不加控制地塞满 std::thread,会导致线程创建开销远超计算收益,还容易触发系统级资源耗尽(比如 Linux 默认 per-process 线程数限制约 1024,而 10⁴ 个刚体就可能生成上万对潜在碰撞对)。更隐蔽的问题是:多个线程同时写入同一份接触约束数组,若没加锁或无锁设计,结果直接未定义行为——不是丢接触点,就是内存越界。
- 用
std::thread手动管理时,务必限制最大并发数(建议 ≤ 核心数 × 2),别按物体对数开线程 - 所有共享写入目标(如
contact_list)必须用std::vector<contact>&</contact>+std::mutex或更优的tbb::concurrent_vector - 避免在循环体内反复构造/析构
std::thread对象;改用线程池复用
用 std::async + std::future 分割空间格子最稳
把场景划分成均匀三维格子(Grid3D),每个格子只负责检测内部物体 + 相邻 26 个格子的跨格碰撞。这时用 std::async 按格子分发任务,比按物体分发更均衡——既避免某线程处理超重格子卡住全局,又天然减少重复检测(每对只在编号小的格子中检测一次)。
- 设置
std::launch::async强制异步,别依赖默认策略(可能延迟执行) - 每个
std::future返回独立的std::vector<contact></contact>,最后主线程合并,彻底规避写冲突 - 格子尺寸要调:太小 → 格子数爆炸、管理开销大;太大 → 单格内物体过多,失去并行意义(实测常用值为平均刚体包围盒直径的 1.5–2 倍)
std::jthread(C++20)能帮你少踩三个坑
老式 std::thread 在异常退出或忘记 join()/detach() 时直接 terminate,而物理引擎里碰撞检测函数常因数值不稳定抛异常。C++20 的 std::jthread 自动在析构时 join(),且支持协作中断(request_stop()),这对实时调试特别关键——比如鼠标拖拽刚体时想临时停掉碰撞检测。
- 把原来
std::thread t{detect, grid}换成std::jthread t{detect, std::ref(grid)},安全边界立刻提升 - 若需中途取消(如场景重置),在
detect()函数开头加if (stoken.stop_requested()) return; - 注意:MSVC 19.30+ / GCC 11+ / Clang 12+ 才完整支持,旧项目慎用
别让浮点比较和 SIMD 混着用
碰撞检测大量用 sqrtf()、dot()、distance_squared(),有人会下意识用 __m128 加速。但问题在于:SIMD 向量寄存器和标量浮点单元状态不一致(尤其 x87 控制字),若混用 AVX 指令和 std::sqrt(),可能触发 x87 状态污染,导致后续标量计算结果错乱(现象是刚体突然穿模或弹飞)。
- 统一用
std::sqrt()+ 编译器自动向量化(-O3 -march=native),比手写 intrinsics 更稳 - 若真要用 SIMD,全程用
_mm_sqrt_ps()等配套指令,且禁用 x87(GCC/Clang 加-mfpmath=sse) - 所有距离比较一律用平方距离(
dist_sq ),避免 sqrt 开销和精度抖动
物理引擎的并行碰撞检测,真正难的不是“怎么跑多线程”,而是让每毫秒都确定性地输出可复现的接触点——数值误差、内存竞争、指令混用,任何一个点松动,都会在几十帧后放大成明显穿模。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











