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

Full description

Saved in:
Bibliographic Details
Published in:2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) pp. 553 - 563
Main Authors: Lucia, Brandon, Ceze, Luis
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 12.12.2009
IEEE
Series:ACM Conferences
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first