Project

General

Profile

Edit History

Wiki »

Deadlock Analysis » History » Version 2

Alexander Kamkin, 02/24/2014 09:56 AM

1 1 Alexander Kamkin 
h1. Deadlock Analysis
2 





    3
    
    
    
h2. Существующие работы





    4
    
    
    





    5
    
    
    
h3. Древние работы





    6
    2
    Alexander Kamkin
    





    7
    1
    Alexander Kamkin
    
# Richard C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys (CSUR), v.4 n.3, p.179-196, Sept. 1972.





    8
    
    
    
# Siffacis





    9
    
    
    
# Закревский





    10
    
    
    





    11
    
    
    
h3. Старые работы





    12
    2
    Alexander Kamkin
    





    13
    1
    Alexander Kamkin
    
# 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.





    14
    
    
    
# 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.





    15
    
    
    
# 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.





    16
    
    
    
# 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.





    17
    
    
    





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





    19
    
    
    





    20
    
    
    
# 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.





    21
    
    
    
# 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.





    22
    
    
    





    23
    
    
    
h3. Новые работы (Lee, Xiao)





    24
    2
    Alexander Kamkin
    





    25
    1
    Alexander Kamkin
    
# Jaehwan John Lee, Xiang Xiao. Instant Multiunit Resource Hardware Deadlock Detection Scheme for System-on-Chips, 2012.





    26
    
    
    
# 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.





    27
    
    
    
# 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.