Dreadlocks: efficient deadlock detection

No abstract is available for this paper.

• Publication year

  2008

• Venue

  ACM Symposium on Parallelism in Algorithms and Architectures

• Publication date

  2008-06-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1378533.1378585
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Transactional boosting: a methodology for highly-concurrent transactional objects

  2008cited by this paper
• What Really Makes Transactions Faster

  2006cited by this paper
• Transactional Locking II

  2006cited by this paper
• McRT-STM: a high performance software transactional memory system for a multi-core runtime

  2006influential reference
• Software Transactional Memory Should Not Be Obstruction-Free

  2005cited by this paper
• Pulse: A Dynamic Deadlock Detection Mechanism Using Speculative Execution

  2005cited by this paper
• Network Applications of Bloom Filters: A Survey

  2004cited by this paper
• The SPIN Model Checker - primer and reference manual

  2003cited by this paper
• The SPIN Model Checker

  2003cited by this paper
• Non-blocking timeout in scalable queue-based spin locks

  2002cited by this paper
• Deadlock detection in MPI programs

  2002cited by this paper
• Deadlock detection in distribution object systems

  2001cited by this paper
• Dynamic Software Testing of MPI Applications with Umpire

  2000cited by this paper
• A deadlock detection tool for concurrent Java programs

  1999cited by this paper
• Implementing statecharts in PROMELA/SPIN

  1998cited by this paper
• Evaluating Deadlock Detection Methods for Concurrent Software

  1996cited by this paper
• Linearizability: a correctness condition for concurrent objects

  1990cited by this paper
• Deadlock detection in distributed systems

  1989cited by this paper
• Detection of Ada Static Deadlocks Using Petri Net Invariants

  1989cited by this paper
• Deadlock detection in distributed databases

  1987cited by this paper
• Space/time trade-offs in hash coding with allowable errors

  1970influential reference

• Encapsulated open nesting for STM: fine-grained higher-level conflict detection

  2019cites this paper
• Fast and Robust Transaction Processing on Emerging Hardware

  2018cites this paper
• Scalable Synchronization in Shared-Memory Systems: Extrapolating, Adapting, Tuning

  2018cites this paper
• Pinpointing and repairing performance bottlenecks in concurrent programs

  2018cites this paper
• Synchronized-by-Default Concurrency for Shared-Memory Systems

  2017cites this paper
• Symmetric MultiProcessing for the Pintos Instructional Operating System

  2017cites this paper
• Mostly-Optimistic Concurrency Control for Highly Contended Dynamic Workloads on a Thousand Cores

  2016cites this paper
• A Theory of Vertically Composable Transactional Objects

  2016cites this paper
• Surveying concurrency bug detectors based on types of detected bugs

  2016cites this paper
• Locking Made Easy

  2016cites this paper
• MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C++ Programs

  2016cites this paper
• Vertical Composition of Reversible Atomic Objects Timos Antonopoulos

  2016cites this paper
• SyncProf: detecting, localizing, and optimizing synchronization bottlenecks

  2016influential citation
• A Survey on Hardware and Software Support for Thread Level Parallelism

  2016cites this paper
• specSTM: Software Transactional Memory with Thread-Level Speculation Support

  2015cites this paper
• Multi-versioning in Transactional Memory

  2015cites this paper
• Scalable Equivalence Checking for Behavioral Synthesis

  2015cites this paper
• Deadlock detection runtime service for Embedded Linux

  2015cites this paper
• Design Principles for Scaling Multi-core OLTP Under High Contention

  2015cites this paper
• Some Issues , Challenges and Problems of Distributed Software System

  2014cites this paper
• Composable Transactional Objects: A Position Paper

  2014cites this paper
• Two Types of Deadlock Detection: Cyclic and Acyclic

  2014cites this paper
• An Evaluation of the Advantages and Disadvantages of Deterministic Database Systems

  2014cites this paper
• Collaborative Technique for Concurrency Bug Detection

  2014cites this paper
• Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability

  2014cites this paper
• Testing Database-Centric Applications for Causes of Database Deadlocks

  2013cites this paper
• Lockout: Efficient Testing for Deadlock Bugs

  2013cites this paper
• Shared-Memory Synchronization

  2013cites this paper
• Enhanced Concurrency Control with Transactional NACKs

  2013influential citation
• Toward Scalable Transaction Processing

  2013cites this paper
• Type Systems Based Data Race Detector

  2012cites this paper
• Efficient Locking Techniques for Databases on Modern Hardware

  2012influential citation
• Applying transactional memory to concurrency bugs

  2012cites this paper
• Coarse-grained transactions (extended version)

  2011influential citation
• Towards Detecting Thread Deadlock in Java Programs with JVM Introspection

  2011cites this paper
• SMV: Selective Multi-Versioning STM

  2011influential citation
• Understanding and Improving Bloom Filter Configuration for Lazy

  2011cites this paper
• Understanding and Improving Bloom Filter Configuration for Lazy Address-set Disambiguation

  2011cites this paper
• Locking atomic sections

  2010cites this paper
• Transactional Memory, 2nd edition

  2010cites this paper
• CMU-CS-10-101 1 Data-Oriented Transaction Execution

  2010cites this paper
• Coarse-grained transactions

  2010cites this paper
• Fast Multi-Level Locks for Java A Preliminary Performance Evaluation

  2010cites this paper
• Data-oriented transaction execution

  2010cites this paper
• DYNAMIC RELOCATION OF DATA FRAGMENTS IN A DISTRIBUTED DATABASE

  2010cites this paper
• Taking the heat off transactions: Dynamic selection of pessimistic concurrency control

  2009cites this paper
• Brief announcement: concurrent non-commutative boosted transactions

  2009cites this paper
• Concurrent Non-commutative Boosted Transactions

  2009influential citation
• Transactional memory concurrency: new models and systems

  2009cites this paper
• Deadlock Immunity: Enabling Systems to Defend Against Deadlocks

  2008cites this paper
• Lock Inference Proven Correct

  2008cites this paper
• Aggressive Transactional Boosting

  2008cites this paper
• Chip Multiprocessor Architecture: Techniques to Improve Throughput and Latency

  2007cites this paper