Language-based replay via data flow cut
Language-based replay via data flow cut
复制标题
通过数据流剪切进行基于语言的重播
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Zheng Zhang
中科院分区：
文献类型：
--
作者：
Ming Wu;Fan Long;Xi Wang;Zhilei Xu;Haoxiang Lin;Xuezheng Liu;Zhenyu Guo;Huayang Guo;Lidong Zhou;Zheng Zhang
重放工具旨在再现程序的执行，它将自己插入程序和环境之间的适当重放接口。在记录过程中，它记录从环境通过接口传递的所有不确定性副作用，并在重放过程中反馈这些副作用。重放接口对于重放工具的正确性和记录开销至关重要。
iTarget是一种新颖的重放工具，它使用编程语言技术自动寻找重放接口，既确保正确性，又最大限度地减少记录开销。它执行静态分析来提取数据流，通过动态分析来估计其记录成本，计算最小化记录开销的最佳重放接口，并相应地对程序进行干预。实验结果表明，iTarget可以成功地重放复杂的C程序，包括Apache Web服务器和Berkeley DB，并且它可以将日志大小减少两个数量级，速度降低50%。
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it logs all non-deterministic side effects passing through the interface from the environment and feeds them back during replay. The replay interface is critical for correctness and recording overhead of replay tools.
iTarget is a novel replay tool that uses programming language techniques to automatically seek a replay interface that both ensures correctness and minimizes recording overhead. It performs static analysis to extract data flows, estimates their recording costs via dynamic profiling, computes an optimal replay interface that minimizes the recording overhead, and instruments the program accordingly for interposition. Experimental results show that iTarget can successfully replay complex C programs, including Apache web server and Berkeley DB, and that it can reduce the log size by up to two orders of magnitude and slowdown by up to 50%.