Detecting Fair Non-termination in Multithreaded Programs

@inproceedings{Atig2012DetectingFN,
  title={Detecting Fair Non-termination in Multithreaded Programs},
  author={Mohamed Faouzi Atig and Ahmed Bouajjani and Michael Emmi and Akash Lal},
  booktitle={CAV},
  year={2012}
}
We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., those in which the infinitely-often enabled threads repeatedly execute the same sequences of actions over and over. By limiting the number of context-switches each thread is allowed along any repeating action sequence, our algorithm quickly discovers practically-arising non-terminating executions. Limiting the number of context… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS