Tags: #网络操作系统

本文提出 NosRacer,一个工业级 NOS 的 race condition 动态分析框架。两阶段设计:concentration 缩范围(三维度 90% 缩减)+ perturbation 构造反序证据。5 组件检出 21 个 confirmed bug,精度 66%,开销 < 10%,CI 跑 3 个月。