Deadlock prediction via generalized dependency-Reference-Cited by-同舟云学术

Deadlock prediction via generalized dependency

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Zhou Jinpeng¹,Yang Hanmei²,Lange John³,Liu Tongping²

Affiliation:

1. University of Pittsburgh, USA

2. University of Massachusetts at Amherst, USA

3. Oak Ridge National Laboratory, USA / University of Pittsburgh, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3533767.3534377

Reference43 articles.

1. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

2. Apache. 2022. ab - apache http server benchmarking tool. https://httpd.apache.org/docs/2.4/programs/ab.html Apache. 2022. ab - apache http server benchmarking tool. https://httpd.apache.org/docs/2.4/programs/ab.html

3. Saddek Bensalem and Klaus Havelund . 2005 . Dynamic deadlock analysis of multi-threaded programs . In Haifa Verification Conference. 208–223 . Saddek Bensalem and Klaus Havelund. 2005. Dynamic deadlock analysis of multi-threaded programs. In Haifa Verification Conference. 208–223.

4. Christian Bienia and Kai Li . 2009 . PARSEC 2.0: A New Benchmark Suite for Chip-Multiprocessors . In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation. Christian Bienia and Kai Li. 2009. PARSEC 2.0: A New Benchmark Suite for Chip-Multiprocessors. In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation.

5. MySQL Bugzilla. 2013. https://bugs.mysql.com/bug.php?id=68251 MySQL Bugzilla. 2013. https://bugs.mysql.com/bug.php?id=68251

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Petri Net Unfolding-Based Detection and Replay of Program Deadlocks;IEEE Access;2024

2. TemLock: A Lightweight Template-based Approach for Fixing Deadlocks Caused by ReentrantLock;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03

3. Peahen: fast and precise static deadlock detection via context reduction;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07