Abstract:With the advent of multicores, multithreaded programming has acquired increased importance. In order to obtain good performance, the synchronization constructs in multithreaded programs need to be carefully implemented. These implementations can be broadly classified into two categories: busy–wait and schedule‐based. For shared memory architectures, busy–wait synchronizations are preferred over schedule‐based synchronizations because they can achieve lower wakeup latency, especially when the expected wait time is much shorter than the scheduling time. While busy–wait synchronizations can improve the performance of multithreaded programs running on multicore machines, they create a challenge in program debugging, especially in detecting and identifying the causes of data races. Although significant research has been done on data race detection, prior works rely on one important assumption—the debuggers are aware of all the synchronization operations performed during a program run. This assumption is a significant limitation as multithreaded programs, including the popular SPLASH‐2 benchmark have busy–wait synchronizations such as barriers and flag synchronizations implemented in the user code. We show that the lack of knowledge of these synchronization operations leads to unnecessary reporting of numerous races. To tackle this problem, we propose a dynamic technique for identifying user‐defined synchronizations that are performed during a program run. Both software and hardware implementations are presented. Furthermore, our technique can be easily exploited by a record/replay system to significantly speedup the replay. It can also be leveraged by a transactional memory system to effectively resolve a livelock situation. Our evaluation confirms that our synchronization detector is highly accurate with no false negatives and very few false positives. We further observe that the knowledge of synchronization operations results in 23% reduction in replay time. Finally, we show that using synchronization knowledge livelocks can be efficiently avoided during runtime monitoring of programs. Copyright © 2009 John Wiley & Sons, Ltd.

Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

A Polynomial Complexity Deadlock Avoidance Method for a Class of Flexible Manufacturing Systems

Deadlock and Blockage Control for Manufacturing Systems with Failure-Prone Workstations

Finite Capacity Place Method Based Deadlock Prevention Algorithm

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model

Multi-Level Execution Trace Based Lock Contention Analysis

Capability Analysis and Integrated Application of Deadlock Detection Tools

On Performance Debugging of Unnecessary Lock Contentions on Multicore Processors: A Replay-based Approach

Research and Improvements on Phantom Deadlock Rate of Deadlock Detection Algorithms

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Lock Contention Management in Multithreaded MPI

A new approach to deadlock avoidance in embedded system

Automated Dynamic Detection of Busy–wait Synchronizations

A framework for deadlock detection in core ABS

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

Don't Get Stuck: A Deadlock Recovery Approach

Approach to detect dead statements for concurrent programs

Improving Online Railway Deadlock Detection using a Partial Order Reduction

On-the-fly Deadlock Detection with Partial-order Reduction Based on CEGAR