Deadlock Analysis¶

Существующие работы¶

Древние работы¶

1. Richard C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys (CSUR), v.4 n.3, p.179-196, Sept. 1972.
2. Siffacis
3. Закревский

Старые работы¶

1. T.F. Leibfried, A deadlock detection and recovery algorithm using the formalism of a directed graph matrix, ACM SIGOPS Operating Systems Review, v.23 n.2, p.45-55, April 1989.
2. Kamel Barkaoui , Claude Dutheillet , Serge Haddad, An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets, Proceedings of the 14th International Conference on Application and Theory of Petri Nets, p.69-88, June 21-25, 1993.
3. Ju Gyun Kim, An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing Systems, Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis, p.233, March 17-21, 1997.
4. Pun H. Shiu , YuDong Tan , Vincent J. Mooney, III, A novel parallel deadlock detection algorithm and architecture, Proceedings of the ninth international symposium on Hardware/software codesign, p.73-78, April 2001.

Новые работы (Gotmanov, Verbeek, Schmaltz, etc.)¶

1. Alexander Gotmanov , Satrajit Chatterjee , Michael Kishinevsky, Verifying deadlock-freedom of communication fabrics, Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation, p.214-231, January 23-25, 2011.
2. Freek Verbeek, Julien Schmaltz. Hunting deadlocks efficiently in microarchitectural models of communication fabrics, October 2011, FMCAD '11: Proceedings of the International Conference on Formal Methods in Computer-Aided Design.

Новые работы (Lee, Xiao)¶

1. Jaehwan John Lee, Xiang Xiao. Instant Multiunit Resource Hardware Deadlock Detection Scheme for System-on-Chips, 2012.
2. Xiang Xiao , Jaehwan John Lee, A Novel O(1) Deadlock Detection Methodology for Multiunit Resource Systems and Its Hardware Implementation for System-on-Chip, IEEE Transactions on Parallel and Distributed Systems, v.19 n.12, p.1657-1670, December 2008.
3. Xiang Xiao , Jaehwan John Lee, A True O(1) Parallel Deadlock Detection Algorithm for Single-Unit Resource Systems and Its Hardware Implementation, IEEE Transactions on Parallel and Distributed Systems, v.21 n.1, p.4-19, January 2010.