Deadlock Analysis » History » Version 1
Alexander Kamkin, 02/24/2014 09:56 AM
| 1 | 1 | Alexander Kamkin | h1. Deadlock Analysis |
|---|---|---|---|
| 2 | |||
| 3 | h2. Существующие работы |
||
| 4 | |||
| 5 | h3. Древние работы |
||
| 6 | # Richard C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys (CSUR), v.4 n.3, p.179-196, Sept. 1972. |
||
| 7 | # Siffacis |
||
| 8 | # Закревский |
||
| 9 | |||
| 10 | h3. Старые работы |
||
| 11 | # 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. |
||
| 12 | # 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. |
||
| 13 | # 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. |
||
| 14 | # 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. |
||
| 15 | |||
| 16 | h3. Новые работы (Gotmanov, Verbeek, Schmaltz, etc.) |
||
| 17 | |||
| 18 | # 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. |
||
| 19 | # 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. |
||
| 20 | |||
| 21 | h3. Новые работы (Lee, Xiao) |
||
| 22 | # Jaehwan John Lee, Xiang Xiao. Instant Multiunit Resource Hardware Deadlock Detection Scheme for System-on-Chips, 2012. |
||
| 23 | # 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. |
||
| 24 | # 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. |