REINS：智能体引导线程调度检测并发缺陷
热点事件持续更新
REINS：智能体引导线程调度检测并发缺陷
1 篇报道1 个报道来源6 小时前更新
先了解这件事
AI 综述
Yu Zhang、Corina S. Pasareanu 和 Guowei Yang 发表论文提出 REINS，一种用智能体引导线程调度来检测和复现并发缺陷的方法。它通过推理程序并发语义与已知缺陷模式，把缺陷假设转化为事件顺序和变量状态约束，驱动受控调度器探索可能触发缺陷的交错路径，并根据执行结果持续修正约束。 在三个公开基准上，REINS 在相同时间预算内检出更多缺陷；在真实项目中发现了六个此前未知的并发缺陷，其中三个已获开发者确认。
AI 根据报道生成 · 6 小时前更新
最新进展10月12日 12:00
REINS：用智能体引导线程调度检测与复现并发缺陷报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- arXiv cs.SEREINS：用智能体引导线程调度检测与复现并发缺陷
REINS 是一种智能体方法，通过推理程序并发语义与已知并发缺陷模式来引导线程调度，将缺陷假设转化为事件顺序和变量状态约束，驱动受控调度器探索可能触发缺陷的交错路径，并根据执行结果持续修正约束。在三个公开基准上，REINS 在相同时间预算内检出更多缺陷，并在真实项目中发现了六个此前未知的并发缺陷，其中三个已获开发者确认。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月12日 12:00
- 近 24 小时变化
- –
02.557.510
12:0013:0014:0015:0016:0017:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。