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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	MICRO-50 : the 50th annual IEEE/ACM International Symposium on Microarchitecture : proceedings : October 14-18, 2017, Cambridge, MA s. 490 - 502
Hlavní autoři:	Peng, Yuanfeng, Wood, Benjamin P., Devietti, Joseph
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 14.10.2017
Edice:	ACM Conferences
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!