Welcome to the Workshop on Binary Instrumentation and Applications 2009, the third in the series. Instrumentation is an effective technique to observe and verify program properties. This technique has been used for diverse purposes, from profile guided compiler optimizations, to microarchitectural research via simulations, to enforcement of software security policies. While instrumentation can be performed at the source level as well as binary level, the latter has the advantage of having the ability to instrument the whole program, including dynamically linked libraries. Binary instrumentation also obviates the need to have source code. As a result, instrumentation at the binary level has become immensely useful and has growing popularity. This workshop provides an opportunity for developers and users of binary instrumentation to exchange ideas for building better instrumentation systems and new use cases for binary instrumentation, static or dynamic.
The first session contains papers that use binary instrumentation to study and improve hardware features. In "Studying Microarchitectural Structures with Object Code Reordering," Shah Mohammad Faizur Rahman, Zhe Wang and Daniel A. Jimenez describe an approach to understand microarchitectural structures by running different versions of the same program. Using branch predictors as an example, they vary the object code layout. In "Synthesizing Contention," Jason Mars and Mary Lou Soffa present a profiling approach for studying performance aspects of applications running on multi-core systems due to interference from other cores. The approach creates contention by running a synthetic application at the same time as the real application. In "Assessing Cache False Sharing Effects by Dynamic Binary Instrumentation," Stephan M. Gunther and Josef Weidendorfer use binary instrumentation to estimate the effects of false sharing in caches for multi-threaded applications.
The second session contains papers that improve software systems. The ideas presented improve existing binary instrumentation techniques or use binary instrumentation to improve other software systems. In "Metaman: System-Wide Metadata Management," Daniel Williams and Jack W. Davidson describe an infrastructure to store and access meta-information for programs during its entire build process and runtime, thereby improving the build and runtime systems. In "A Binary Instrumentation Tool for the Blackfin Processor," Enqiang Sun and David Kaeli provide a static binary instrumentation system for embedded systems and use it to perform dynamic voltage and frequency scaling as a case study. In "Improving Instrumentation Speed via Buffering," Dan Upton, Kim Hazelwood, Robert Cohn and Greg Lueck present a technique for reducing instrumentation overhead by decoupling data collection (i.e. instrumentation) from data analysis. Finally, in "ThreadSanitizer -- Data Race Detection In Practice," Konstantin Serebryany and Timur Iskhodzhanov present a new tool based on Valgrind for detecting data races.
[1]
Harish Patil,et al.
Pin: building customized program analysis tools with dynamic instrumentation
,
2005,
PLDI '05.
[2]
Barton P. Miller,et al.
What are race conditions?: Some issues and formalizations
,
1992,
LOPL.
[3]
Leslie Lamport,et al.
Time, clocks, and the ordering of events in a distributed system
,
1978,
CACM.
[4]
Satish Narayanasamy,et al.
Automatically classifying benign and harmful data races using replay analysis
,
2007,
PLDI '07.
[5]
Jong-Deok Choi,et al.
Hybrid dynamic data race detection
,
2003,
PPoPP '03.
[6]
Nicholas Nethercote,et al.
Valgrind: a framework for heavyweight dynamic binary instrumentation
,
2007,
PLDI '07.
[7]
Jerry J. Harrow.
Runtime Checking of Multithreaded Applications with Visual Threads
,
2000,
SPIN.
[8]
Michael Burrows,et al.
Eraser: a dynamic data race detector for multithreaded programs
,
1997,
TOCS.
[9]
Zhiqiang Ma,et al.
A theory of data race detection
,
2006,
PADTAD '06.
[10]
Scott Meyers,et al.
C++ and the Perils of Double-Checked Locking ∗
,
2004
.