Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs
复制标题
优先级调度程序中值相关同步的精确分析
DOI：
10.1007/978-3-642-54013-4_2
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
K. Apinis
中科院分区：
文献类型：
--
作者：
M. Schwarz;H. Seidl;V. Vojdani;K. Apinis
尽管并发程序中的优先级调度提供了一种干净的同步方式，但开发人员仍然额外依赖基于整数变量的手工设计的方案来保护临界区。我们为变量确定了一组充分条件以满足此目的。我们提供了有效的方法来验证这些条件，这使我们能够在中断驱动的并发程序中构建一个增强的互斥分析。我们所有的算法都是建立在现成的程序间分析之上的。我们已经将这种方法用于汽车控制器的分析，并证明与纯粹基于优先级的技术相比，它在数据竞争检测的精度方面有了很大的提高。
Although priority scheduling in concurrent programs provides a clean way of synchronization, developers still additionally rely on hand-crafted schemes based on integer variables to protect critical sections. We identify a set of sufficient conditions for variables to serve this purpose. We provide efficient methods to verify these conditions, which enable us to construct an enhanced analysis of mutual exclusion in interrupt-driven concurrent programs. All our algorithms are build upon off-the-shelf inter-procedural analyses alone. We have implemented this approach for the analysis of automotive controllers, and demonstrate that it results in a major improvement in the precision of data race detection compared to purely priority-based techniques.
DOI：
--
发表时间：
1992
期刊：
International Conference on Compiler Construction
影响因子：
--
作者：
J. Knoop;B. Steffen
通讯作者：
B. Steffen