PARSNIP performant architecture for race safety with no impact on precision

Data race detection is a useful dynamic analysis for multithreaded programs that is a key building block in record-and-replay, enforcing strong consistency models, and detecting concurrency bugs. Existing software race detectors are precise but slow, and hardware support for precise data race detect...

Full description

Saved in:

Bibliographic Details
Published in:	MICRO-50 : the 50th annual IEEE/ACM International Symposium on Microarchitecture : proceedings : October 14-18, 2017, Cambridge, MA pp. 490 - 502
Main Authors:	Peng, Yuanfeng, Wood, Benjamin P., Devietti, Joseph
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 14.10.2017
Series:	ACM Conferences
Subjects:	Clocks Computer systems organization > Architectures > Parallel architectures > Multicore architectures data race detection Detectors Hardware hardware support History Metadata multithreaded programming Safety Software Software and its engineering > Software notations and tools > Software maintenance tools data race detection hardware support multithreaded programming
ISBN:	1450349528, 9781450349529
ISSN:	2379-3155
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!