NDLI: Butterfly analysis:adapting dataflow analysis to dynamic parallel monitoring (CARN, Vol. 38, Issue. 1)

Content Provider	ACM Digital Library
Author	Goodstein, Michelle L. Mowry, Todd C. Chen, Shimin Kozuch, Michael A. Vlachos, Evangelos Gibbons, Phillip B.
Abstract	Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challenging because the tools must account for inter-thread dependences and relaxed memory consistency models. Existing tools assume sequential consistency and often slow down the monitored program by orders of magnitude. In this paper, we present a novel approach that avoids these pitfalls by not relying on strong consistency models or detailed inter-thread dependence tracking. Instead, we only assume that events in the distant past on all threads have become visible; we make no assumptions on (and avoid the overheads of tracking) the relative ordering of more recent events on other threads. To overcome the potential state explosion of considering all the possible orderings among recent events, we adapt two techniques from static dataflow analysis, reaching definitions and reaching expressions, to this new domain of dynamic parallel monitoring. Significant modifications to these techniques are proposed to ensure the correctness and efficiency of our approach. We show how our adapted analysis can be used in two popular memory and security tools. We prove that our approach does not miss errors, and sacrifices precision only due to the lack of a relative ordering among recent events. Moreover, our simulation study on a collection of Splash-2 and Parsec 2.0 benchmarks running a memory-checking tool on a hardware-assisted logging platform demonstrates the potential benefits in trading off a very low false positive rate for (i) reduced overhead and (ii) the ability to run on relaxed consistency models.
Starting Page	257
Ending Page	270
Page Count	14
File Format	PDF
ISSN	01635964
DOI	10.1145/1735970.1736050
Journal	ACM SIGARCH Computer Architecture News (CARN)
Volume Number	38
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1981-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Parallel programming Static analysis Data flow analysis Dynamic program monitoring
Content Type	Text
Resource Type	Article

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

Butterfly analysis:adapting dataflow analysis to dynamic parallel monitoring (SIGP, Vol. 45, Issue. 3)

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring

ParaLog:enabling and accelerating online parallel monitoring of multithreaded applications (CARN, Vol. 38, Issue. 1)

An asymmetric distributed shared memory model for heterogeneous parallel systems (CARN, Vol. 38, Issue. 1)

SherLog:error diagnosis by connecting clues from run-time logs (CARN, Vol. 38, Issue. 1)

DySel:Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model (CARN, Vol. 44, Issue. 2)

Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability (CARN, Vol. 43, Issue. 1)

Programming framework for clusters with heterogeneous accelerators (CARN, Vol. 38, Issue. 4)

Programming framework for clusters with heterogeneous accelerators (CARN, Vol. 38, Issue. 4)

Butterfly analysis:adapting dataflow analysis to dynamic parallel monitoring (CARN, Vol. 38, Issue. 1)

Similar Documents

Butterfly analysis:adapting dataflow analysis to dynamic parallel monitoring (SIGP, Vol. 45, Issue. 3)

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring

ParaLog:enabling and accelerating online parallel monitoring of multithreaded applications (CARN, Vol. 38, Issue. 1)

An asymmetric distributed shared memory model for heterogeneous parallel systems (CARN, Vol. 38, Issue. 1)

SherLog:error diagnosis by connecting clues from run-time logs (CARN, Vol. 38, Issue. 1)

DySel:Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model (CARN, Vol. 44, Issue. 2)

Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability (CARN, Vol. 43, Issue. 1)

Programming framework for clusters with heterogeneous accelerators (CARN, Vol. 38, Issue. 4)

Programming framework for clusters with heterogeneous accelerators (CARN, Vol. 38, Issue. 4)

Butterfly analysis:adapting dataflow analysis to dynamic parallel monitoring (CARN, Vol. 38, Issue. 1)