NDLI: CoreDet:a compiler and runtime system for deterministic multithreaded execution (CARN, Vol. 38, Issue. 1)

Content Provider	ACM Digital Library
Author	Bergan, Tom Grossman, Dan Devietti, Joseph Ceze, Luis Anderson, Owen
Abstract	The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in the execution of multithreaded programs. This severely complicates many tasks, including debugging, testing, and automatic replication. In this work, we avoid these complications by eliminating their root cause: we develop a compiler and runtime system that runs arbitrary multithreaded C/C++ POSIX Threads programs deterministically. A trivial non-performant approach to providing determinism is simply deterministically serializing execution. Instead, we present a compiler and runtime infrastructure that ensures determinism but resorts to serialization rarely, for handling interthread communication and synchronization. We develop two basic approaches, both of which are largely dynamic with performance improved by some static compiler optimizations. First, an ownership-based approach detects interthread communication via an evolving table that tracks ownership of memory regions by threads. Second, a buffering approach uses versioned memory and employs a deterministic commit protocol to make changes visible to other threads. While buffering has larger single-threaded overhead than ownership, it tends to scale better (serializing less often). A hybrid system sometimes performs and scales better than either approach individually. Our implementation is based on the LLVM compiler infrastructure. It needs neither programmer annotations nor special hardware. Our empirical evaluation uses the PARSEC and SPLASH2 benchmarks and shows that our approach scales comparably to nondeterministic execution.
Starting Page	53
Ending Page	64
Page Count	12
File Format	PDF
ISSN	01635964
DOI	10.1145/1735970.1736029
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	Multicore Determinism Multithreading Compilers
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

CoreDet:a compiler and runtime system for deterministic multithreaded execution (SIGP, Vol. 45, Issue. 3)

CoreDet: a compiler and runtime system for deterministic multithreaded execution

Kendo:efficient deterministic multithreading in software (CARN, Vol. 37, Issue. 1)

Respec:efficient online multiprocessor replayvia speculation and external determinism (CARN, Vol. 38, Issue. 1)

RCDC:a relaxed consistency deterministic computer (CARN, Vol. 39, Issue. 1)

Kendo:efficient deterministic multithreading in software (SIGP, Vol. 44, Issue. 3)

Analyzing multicore dumps to facilitate concurrency bug reproduction (CARN, Vol. 38, Issue. 1)

Request behavior variations (CARN, Vol. 38, Issue. 1)

Coredet: a compiler and runtime system for deterministic multithreaded execution.

CoreDet:a compiler and runtime system for deterministic multithreaded execution (CARN, Vol. 38, Issue. 1)

Similar Documents

CoreDet:a compiler and runtime system for deterministic multithreaded execution (SIGP, Vol. 45, Issue. 3)

CoreDet: a compiler and runtime system for deterministic multithreaded execution

Kendo:efficient deterministic multithreading in software (CARN, Vol. 37, Issue. 1)

Respec:efficient online multiprocessor replayvia speculation and external determinism (CARN, Vol. 38, Issue. 1)

RCDC:a relaxed consistency deterministic computer (CARN, Vol. 39, Issue. 1)

Kendo:efficient deterministic multithreading in software (SIGP, Vol. 44, Issue. 3)

Analyzing multicore dumps to facilitate concurrency bug reproduction (CARN, Vol. 38, Issue. 1)

Request behavior variations (CARN, Vol. 38, Issue. 1)

Coredet: a compiler and runtime system for deterministic multithreaded execution.

CoreDet:a compiler and runtime system for deterministic multithreaded execution (CARN, Vol. 38, Issue. 1)