한국정보과학회논문지:시스템및이론 (Journal of KIISE:Computer Systems and Theory)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

일반적 모델의 분산 교착상태의 신속한 해결 기법

A Fast Resolution Algorithm for Distributed Deadlocks in the Generalized Model

  • 이수정 (경인교육대학교 컴퓨터교육과)
  • 발행 : 2004.06.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

일반적 모델 기반의 분산 교착상태 문제를 해결하기 위한 대부분의 알고리즘들은 diffusing computation이라는 기법을 이용하였는데 이 기법의 주된 특징은 PROBE를 전파하고 그에 따른 응답 메시지에 교착상태 발견에 필요한 정보를 전달하는 것이다. 신속한 교착상태의 발견은 매우 중요하기 때문에 본 연구에서는 응답 메시지 대신 PROBE 상에 교착상태 발견을 위한 정보를 전달하게 한다. 이는 응답 메시지의 역전송 과정을 불필요하게 하기 때문에 기존 알고리즘에 비해 시간을 거의 두 배로 단축시키는 결과를 가져온다. 또한, 기존 알고리즘은 단지 알고리즘이 한번만 실행되는 경우를 고려하였으나 본 연구에서 제시한 알고리즘은 동시 수행하는 경우를 효율적으로 처리하여, 교착상태를 발견하는 시간을 더욱 단축시킬 수 있다. 제안된 알고리즘의 성능은 시뮬레이션을 통하여 타 알고리즘들과 비교하였다.

Most algorithms for handling distributed deadlock problem in the generalized request model use the diffusing computation technique where propagation of probes and backward propagation of replies carrying dependency information between processes are both required to detect deadlock Since fast deadlock detection is critical, we propose an algorithm that lets probes rather than replies carry the information required for deadlock detection. This helps to remove the backward propagation of replies and reduce the time cost for deadlock detection to almost half of that of the existing algorithms. Moreover, the proposed algorithm is extended to deal with concurrent executions, which achieves further improvement of deadlock detection time, whereas the current algorithms deal only with a single execution. We compare the performance of the proposed algorithm with that of the other algorithms through simulation experiments.

키워드

참고문헌

  1. M. Singhal, 'Deadlock detection in distributed systems,' IEEE Computer, Vol. 22, pp. 37-48, 1989 https://doi.org/10.1109/2.43525
  2. S. Lee and J. L. .Kim, 'Performance Analysis of Distributed Deadlock Detection Algorithms,' IEEE Transactions on Knowledge and Data Engineering, Vol. 13, No.4, pp. 623-636, 2001 https://doi.org/10.1109/69.940736
  3. K. Makki and N. Pissinou, 'Efficient Detection and Resolution of Deadlocks in Distributed Database Systems,' Journal of Computer Communications, Vol. 22, No.7, pp. 637-643, 1999 https://doi.org/10.1016/S0140-3664(99)00007-9
  4. J. Mayo and P. Keams, 'Distributed deadlock detection and resolution based on hardware clocks,' Int'l Conf. on Distributed Computing Systems, pp. 208-215, 1999 https://doi.org/10.1109/ICDCS.1999.776522
  5. J. R. Mendivil, F. Farina, J. Garitagoitia, C. F. Alastruey, and J,M. Bemabeu-Auban, 'A distributed deadlock resolution algorithm for the AND model,' IEEE Trans. Parallel and Distributed Systems, Vol. 10, No.5, pp. 433-447, 1999 https://doi.org/10.1109/71.770131
  6. H. Wu, W-N. Chin, and J. Jaffar, 'An efficient distributed deadlock avoidance algorithm for the AND model,' IEEE transactions on software engineering, Vol. 28, No.1, pp. 18-29, 2002 https://doi.org/10.1109/32.979987
  7. A. Boukerche and C. Tropper, 'A distributed graph algorithm for the detection of local cycles and knots,' IEEE Trans. Parallel and Distributed Systems, Vol. 9, No.8, pp. 748-757, 1998 https://doi.org/10.1109/71.706047
  8. D. Manivannan and M. Singhal, 'A Distributed Algorithm for Knot Detection in a Distributed Graph,' Proc. Int'l Conf. Parallel Processing, 2002 https://doi.org/10.1109/ICPP.2002.1040905
  9. J. Villadangos, F. Farina, J. R. Mendivil, J. R. Garitagoitia, and A. Cordoba, 'A safe algorithm for resolving OR deadlocks,' IEEE Trans. Softw. Engr., Vol. 29, No.7, pp. 608-622, 2003 https://doi.org/10.1109/TSE.2003.1214325
  10. G. Bracha and S. Toueg, 'A distributed algorithm for generalized deadlock detection,' Distributed Computing, Vol. 2, pp. 127-138, 1987 https://doi.org/10.1007/BF01782773
  11. A. D. Kshemkalyani and M. Singhal, 'A onephase algorithm to detect distributed deadlocks in replicated databases,' IEEE Transactions on Knowledge and Data Engineering, Vol. 11, No.6, pp. 880-895, 1999 https://doi.org/10.1109/69.824601
  12. J. Wang and S. Huang and N. Chen, 'A distributed algorithm for detecting generalized deadlocks,' Tech. Rep., Dept. of Computer Science, National Tsing-Hua Univ., 1990
  13. J. Brzezinski and J. -M. Helary and M. Raynal and M. Singhal, 'Deadlock models and a general algorithm for distributed deadlock detection,' Journal of Parallel and Distributed Computing, Vol. 31, No.2, pp. 112-125, 1995 https://doi.org/10.1006/jpdc.1995.1150
  14. S. Chen and Y. Deng and P.C. Attie, 'Deadlock detection and resolution in distributed systems based on locally constructed wait-for graphs,' Tech. Report, School of Computer Science, Florida International University, Aug., 1995
  15. E. W. Dijkstra and C. S. Scholten, 'Termination detection for diffusing computations,' Information Processing Letters, Vol. 11, No.1, pp. 1-4, 1980 https://doi.org/10.1016/0020-0190(80)90021-6