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

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

비동기적 분산 시스템하에서 선출 문제와 합의 문제의 관련성

The Relationship between Election and Consensus in Asynchronous Distributed System

  • 박성훈 (남서울대학교 컴퓨터학과)
  • 발행 : 2000.12.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서는 신뢰할 수 없는 고장추적 장치로 구성된 비동기적 분산 시스템 하에서 선출(election) 문제와 합의(consensus) 문제의 관련성에 관하여 연구하고자 한다. 먼저 선출 문제는 합의 문제보다 더욱 어려운 문제임을 보인다. Chandra와 Toueg는 [8]에서 합의 문제는 비동기적 분산 시스템에서 신뢰할 수 없는 고장 추적 장치(unreliable failure detector)를 이용하여 해결 할 수 있음을 언급하였다. 그러나, 합의 문제와는 대조적으로 선출 문제는 시스템 상에서 단 한 개의 노드가 죽은 경우에도 신뢰 할 수 없는 고장 추적 장치를 이용하여 선출 문제를 해결할 수 없다. 이는 선출 문제는 합의의 문제보다 더욱 어려운 문제임을 의미한다. 보다 엄격하게 표현하자면, 선출 문제를 해결하는데 필요한 가장 약한 고장 추적 장치 (perfect failure detector) 이어야 하는 것으로, 이는 합의 문제를 해결하는데 필요한 가장 약한 고장 추적 장치보다 확실히 강한 것이다. 선출 문제가 합의 문제보다 어렵다는 것을 보이기 위해 축소(reduction) 프로토콜을 이용한다.

키워드

참고문헌

  1. G. LeLann, 'Distributed systems-towards a formal approach,' in Information Processing 77, B. Gilchrist, Ed. North-Holland, 1977
  2. H.Garcia-Molian, 'Elections in a distributed computing system,' IEEE Transactions on Computers, vol. C-31, no. 1, pp. 49-59, Han 1982 https://doi.org/10.1109/TC.1982.1675885
  3. H. Abu-Amara and J. Lokre, 'Election in asynchronous complete networks with intermittent link failures.' IEEE Transactions on Computers, vol. 43, no.7, pp.778-788, 1994 https://doi.org/10.1109/12.293257
  4. H.M. Sayeed, M. Abu-Amara, and H. Aou-Avara, 'Optimal asynchronous agreement and leader election algorithm for complete networks with byzantine faulty links.,' Distributed Computing, vol. 9, no. 3, pp. 147-156, 1995 https://doi.org/10.1007/s004460050016
  5. J. Brunekreef, J.-P. Katoen, R. Koyrnans, and S. Mauw, 'Design and analysis of dynamic leader election protocols in broadcast networks,' Distributed Computing, vol. 9, no. 4, pp. 157-171, 1996 https://doi.org/10.1007/s004460050017
  6. G. Singh, 'Leader election in the presence of link failures,' IEEE Transactions on Parallel and Distributed Systems, vol. 7, no. 3, pp. 231-236, March 1996 https://doi.org/10.1109/71.491576
  7. M. Fischer, N. Lynch, and M. Paterson. Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM, pp. 374-382. (32) 1985 https://doi.org/10.1145/3149.214121
  8. T. Chandra and S.Toueg. Unreliable failure detectors for reliable clistributed systems. Technical Report, Department of computer Science, Cornell Univ., 1994
  9. D. Doleb and R Strong. A Simple Model For Agreement in Distributed Systems. In Fault-Tolerant Distributed computing, pp. 42-59. B. Simons and A. Spector ed, Springer Verlag (LNCS 448, 1987
  10. T. Chandra, V. Hadzilacos, and S. Toueg. The Weakest Failure Detector for Solving Consensus. Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, pp. 147-158. ACM press, 1992
  11. Rachid Guerraoui. Revisiting the relationship between non-blocking atomic commitment and consensus. In Proceedings of the 10th International Workshop on Distributed Algorithms, Springer Verlag (LNCS 857), 1996
  12. P.A.Bernstein, V. Hadzilacos, and N. Goodman. ？Concurrency Control and Recovery in Database Systems. Addison Wesley, 1987
  13. Hopcroft J.E. and Ullman J.D. Introduction to Automata Theory, Languages and Computation. Addison Wesley, Reading, Mass., 418 pages, 1979
  14. Garey M.R. and Johnson D.S. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman W.H & Co, New York, 340 pages, 1979
  15. Eddy Fromentin, Michel R RAY, Frederic TRONEL. On Classes of Problems in Asynchronous Distributed Systems. In Proceedings of Distributed Computing Conference. IEEE 10.4, June 1999 https://doi.org/10.1109/ICDCS.1999.776549
  16. Hadzilacos V. and Toueg S. Reliable Broadcast and Related Problems. In Distributed Systems (Second Edition), ACM Press, New York, pp.97-145, 1993
  17. V. Hadzilacos. On the relationship between the atomic commitment and consensus problems. In Fault- Tolerant Distributed Computing, pp. 201208. B. Simons and A. spector ed, Springer Verlag (LNCS 448), 1987
  18. A. Schiper and A. Sandoz. Primary Partition Virtually-Synchronous Communication harder than consensus. In Proceedings of the 8th Workshop on Distributed Algorithms, 1994
  19. L. Sabel and K. Marzullo. Election vs. Consensus in Asynchronous Systems. Technical Report TR95-1488, cornell Univ, 1995
  20. R. Guerraoui and A. Schiper. Transaction model vs Virtual Synchrony model: bridging the gap. In Distributed Systems: From Theory to Practice, pp. 121-132. K. Birman, F. Mattern and A. Schiper ed, Springer Verlag (LNCS 938), 1995 https://doi.org/10.1007/3-540-60042-6_9