Pointer Race Freedom
Pointer Race Freedom
复制标题
指针竞赛自由
DOI：
10.1007/978-3-662-49122-5_19
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
S. Wolff
中科院分区：
文献类型：
--
作者：
F. Haziza;L. Holík;R. Meyer;S. Wolff
我们提出了一个新的概念指针竞争的并发程序操纵一个共享堆。指针竞争是对已释放的内存地址的访问，无论单元是否已重新分配，都不受访问者的控制。我们建立了两个结果。(1)在指针竞争自由的假设下，验证一个程序在显式内存管理下运行，就像它在垃圾收集下运行一样是合理的。(2)甚至指针竞争自由本身的要求也可以在垃圾收集语义下得到验证。然后，我们证明了类似的定理，一个更强的概念，指针种族需要科普性能关键的代码，故意使用活泼的比较，甚至活泼的指针引用。作为一个实际的贡献，我们应用我们的结果来优化显式内存管理下的线程模块化分析。我们的实验证实了高达两个数量级的加速。
We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor’s control whether or not the cell has been re-allocated. We establish two results. (1) Under the assumption of pointer race freedom, it is sound to verify a program running under explicit memory management as if it was running with garbage collection. (2) Even the requirement of pointer race freedom itself can be verified under the garbage-collected semantics. We then prove analogues of the theorems for a stronger notion of pointer race needed to cope with performance-critical code purposely using racy comparisons and even racy dereferences of pointers. As a practical contribution, we apply our results to optimize a thread-modular analysis under explicit memory management. Our experiments confirm a speed-up of up to two orders of magnitude.
登录
查看更多内容
DOI：
--
发表时间：
2013
期刊：
European Symposium on Programming
影响因子：
--
作者：
Alexey Gotsman;N. Rinetzky;Hongseok Yang
通讯作者：
Hongseok Yang
用于线程相关性分析的抽象变压器
DOI：
10.1007/978-3-642-10672-9_5
发表时间：
2009
期刊：
The international journal of biochemistry & cell biology
影响因子：
--
作者：
M. Segalov;T. Lev;R. Manevich;Ramalingam Ganesan;M. Sagiv
通讯作者：
M. Sagiv
使用低级指针操作进行数据细化
DOI：
10.1007/11575467_3
发表时间：
2005
期刊：
J. ACM
影响因子：
--
作者：
Ivana Mijajlovic;Hongseok Yang
通讯作者：
Hongseok Yang
无锁引用计数
影响因子：
1.3
作者：
David Detlefs;P. Martin;Mark Moir;G. Steele
通讯作者：
G. Steele
RGSep 动作推理
DOI：
10.1007/978-3-642-11319-2_25
发表时间：
2010
期刊：
ArXiv
影响因子：
--
作者：
Viktor Vafeiadis
通讯作者：
Viktor Vafeiadis