Aikido: accelerating shared data dynamic analyses

Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the lack of hardware support for inspecting the complex behavior of these parallel programs. Inter-thread communication, which must be instrumented for many types of analyses, may occur with any memory operation. To detect such thread communication in software, many existing tools require the instrumentation of all memory operations, which leads to significant performance overheads. To reduce this overhead, some existing tools resort to random sampling of memory operations, which introduces false negatives. Unfortunately, neither of these approaches provide the speed and accuracy programmers have traditionally expected from their tools. In this work, we present Aikido, a new system and framework that enables the development of efficient and transparent analyses that operate on shared data. Aikido uses a hybrid o...

• Type: Journal
• Year: 2012
• Where: ASPLOS
• Authors: Marek Olszewski, Qin Zhao, David Koh, Jason Ansel, Saman P. Amarasinghe
• Keywords: ASPLOS 2012, Level Accuracy, Memory Accesses, Multicore Processors, Programming Languages