NDLI: Aikido:accelerating shared data dynamic analyses (SIGP, Vol. 47, Issue. 4)

Content Provider	ACM Digital Library
Author	Zhao, Qin Olszewski, Marek Amarasinghe, Saman Ansel, Jason Koh, David
Abstract	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 of existing hardware features and dynamic binary rewriting to detect thread communication with low overhead. Aikido runs a custom hypervisor below the operating system, which exposes per-thread hardware protection mechanisms not available in any widely used operating system. This hybrid approach allows us to benefit from the low cost of detecting memory accesses with hardware, while maintaining the word-level accuracy of a software-only approach. To evaluate our framework, we have implemented an Aikido-enabled vector clock race detector. Our results show that the Aikido enabled race-detector outperforms existing techniques that provide similar accuracy by up to 6.0x, and 76% on average, on the PARSEC benchmark suite.
Starting Page	173
Ending Page	184
Page Count	12
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/2248487.2150995
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	47
Issue Number	4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Multicore Debugging Data race detection
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Aikido:accelerating shared data dynamic analyses (CARN, Vol. 40, Issue. 1)

Parallelizing data race detection (SIGP, Vol. 48, Issue. 4)

Transparent mutable replay for multicore debugging and patch validation (SIGP, Vol. 48, Issue. 4)

ProRace:Practical Data Race Detection for Production Use (SIGP, Vol. 52, Issue. 4)

Low-level detection of language-level data races with LARD (SIGP, Vol. 49, Issue. 4)

A case for unlimited watchpoints (SIGP, Vol. 47, Issue. 4)

Data races vs. data race bugs:telling the difference with portend (SIGP, Vol. 47, Issue. 4)

TxRace:Efficient Data Race Detection Using Commodity Hardware Transactional Memory (SIGP, Vol. 51, Issue. 4)

CRUISE:cache replacement and utility-aware scheduling (SIGP, Vol. 47, Issue. 4)

Aikido:accelerating shared data dynamic analyses (SIGP, Vol. 47, Issue. 4)

Similar Documents

Aikido:accelerating shared data dynamic analyses (CARN, Vol. 40, Issue. 1)

Parallelizing data race detection (SIGP, Vol. 48, Issue. 4)

Transparent mutable replay for multicore debugging and patch validation (SIGP, Vol. 48, Issue. 4)

ProRace:Practical Data Race Detection for Production Use (SIGP, Vol. 52, Issue. 4)

Low-level detection of language-level data races with LARD (SIGP, Vol. 49, Issue. 4)

A case for unlimited watchpoints (SIGP, Vol. 47, Issue. 4)

Data races vs. data race bugs:telling the difference with portend (SIGP, Vol. 47, Issue. 4)

TxRace:Efficient Data Race Detection Using Commodity Hardware Transactional Memory (SIGP, Vol. 51, Issue. 4)

CRUISE:cache replacement and utility-aware scheduling (SIGP, Vol. 47, Issue. 4)

Aikido:accelerating shared data dynamic analyses (SIGP, Vol. 47, Issue. 4)