论文标题
RTOS应用程序的静态比赛检测
Static Race Detection for RTOS Applications
论文作者
论文摘要
我们提出了一种用于检测实时操作系统（RTOS）应用程序中数据种族的静态分析技术。这些应用通常用于安全至关重要的任务中，种族的存在可能会导致错误的行为，并带来严重的后果。由于它们使用的多种非标准同步机制，分析这些应用是具有挑战性的。我们提出了一种基于陈述之间“中间”关系的概念的技术。这个概念使我们能够捕获各种同步机制的相互作用。我们使用一项预先分析和一小部分在模式之间的不存在的不存在，以检测两个陈述是否可以相互竞争。我们的实验评估表明，该技术在高精度识别种族方面既高效又有效。
We present a static analysis technique for detecting data races in Real-Time Operating System (RTOS) applications. These applications are often employed in safety-critical tasks and the presence of races may lead to erroneous behaviour with serious consequences. Analyzing these applications is challenging due to the variety of non-standard synchronization mechanisms they use. We propose a technique based on the notion of an "occurs-in-between" relation between statements. This notion enables us to capture the interplay of various synchronization mechanisms. We use a pre-analysis and a small set of not-occurs-in-between patterns to detect whether two statements may race with each other. Our experimental evaluation shows that the technique is efficient and effective in identifying races with high precision.
