Finding concurrency bugs with context-aware communication graphs

Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs has addressed the general problem in an ad-hoc fashion, focusing mostly on data races and atomicity violations. Using graph...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) s. 553 - 563
Hlavní autoři:	Lucia, Brandon, Ceze, Luis
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 12.12.2009 IEEE
Edice:	ACM Conferences
Témata:	Application software Computer architecture Computer bugs Computer systems organization > Architectures > Parallel architectures > Multiple instruction, multiple data Computing methodologies > Concurrent computing methodologies > Concurrent programming languages Concurrent computing Context Degradation Design Inspection Multicore processing Reliability Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software notations and tools > General programming languages > Language types > Concurrent programming languages Software performance Yarn
ISBN:	9781605587981, 1605587982
ISSN:	1072-4451
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!