Project

General

Profile

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.