A Case for Unlimited Watchpoints

作者：Greathouse, Joseph L^*; Xin, Hongyi; Luo, Yixin; Austin, Todd

来源：ACM Sigplan Notices, 2012, 47(4): 159-171.

DOI：10.1145/2248487.2150994

• Design
• Performance
• Watchpoints
• Data Race Detection
• Deterministic Concurrent Execution
• Taint Analysis
• Demand-Driven Analysis

Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit their use to pre-deployment testing, while more advanced systems have such severe performance impacts that they may require special-purpose hardware. Previous works have described hardware that can accelerate individual analyses, but such specialization stymies adoption; generalized mechanisms are more likely to be added to commercial processors. This paper demonstrates that the ability to set an unlimited number of fine-grain data watchpoints can reduce the runtime overheads of numerous dynamic software analysis techniques. We detail the watchpoint capabilities required to accelerate these analyses while remaining general enough to be useful in the future. We describe a hardware design that stores watchpoints in main memory and utilizes two different on-chip caches to accelerate performance. The first is a bitmap lookaside buffer that stores fine-grained watchpoints, while the second is a range cache that can efficiently hold large contiguous regions of watchpoints. As an example of the power of such a system, it is possible to use watchpoints to accelerate read/write set checks in a software data race detector by nearly 9x

• 出版日期2012-4
• 单位上海交通大学