Abstract:The prevalent multi-core architecture today makes real concurrency come true.In order to benefit from the concurrency power of hardware,concurrent programming is becoming more and more popular.However,out of inherent concurrency and non-determinism,concurrent programs are more likely to suffer from concurrency bugs,which are hard to detect,debug and repair.In this paper,we point out the trend that software development is turning toward concurrent model from sequential model.We reveal three characteristics respectively for concurrent programs and concurrency bugs and explore three challenges confronted by concurrency bug analysis.We then divide concurrency bugs into four categories,i.e.deadlock,data race,atomicity violation and order violation and investigate relations among them.For each category of concurrency bugs, we make analyses,comparisons and summarizations on previous researches about how to quickly expose,in time detect and efficiently avoid them.At last,we look into the research priorities in future from the following five aspects:smart and quick concurrency bugs exposure,common and accurate concurrency bug detection,deterministic replay support,collaborative design involving software and hardware and new concurrent programming model.

Concurrent Ada Dead Statements Detection

Detecting dead statements for concurrent programs

Approach to detect dead statements for concurrent programs

Finite Capacity Place Method Based Deadlock Prevention Algorithm

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

Static Dependency Analysis For Concurrent Ada 95 Programs

Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems

Detecting Concurrently Executed Pairs of Statements Using an Adapted MHP Algorithm

An approach to analyzing dependency of concurrent programs

Approaches to Obtaining Shared Memory Dependences for Dynamic Analysis of Concurrent Programs: A Survey

Fast and Low Cost Deadlock Detection and Resolution in Distributed Systems

A framework for deadlock detection in core ABS

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

A SURVEY ON MODEL CHECKING-BASED CONCURRENT PROGRAMMING ANALYSIS

Context-Sensitive Data Race Detection for Concurrent Programs

A Survey on Exposing,Detecting and Avoiding Concurrency Bugs

Static Data Race Detection for X10 Parallel Programs

Capability Analysis and Integrated Application of Deadlock Detection Tools

Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Deadlock Prevention Policy of Concurrent Programming Base on Petri Net