[논문 리뷰] High Availability Cluster System for Local Disaster Recovery with Markov Modeling Approach

Thi Tar Lwin, Thandar Thein|ArXiv.org|2009. 12. 09.

Software System Performance and Reliability참고 문헌 11인용 수 10

한 줄 요약

이 논문은 지역 재해 복구를 위한 고가용성(HA) 클러스터 시스템을 제안하며, 시스템 가용성을 분석하기 위해 반마르코프 과정(SMP) 모델을 사용하고, 이를 연속 시간 마르코프 체인(CTMC) 모델의 근사치와 비교한다. 연구는 SMP 모델이 기존 CTMC 근사치보다 더 정확한 가용성 평가를 제공함을 입증하며, SHARPE 도구를 사용한 수치적 검증과 실제 시스템 파rameter를 적용하여, 최소한의 정지 시간으로 내구성 있는 IT 인fra를 설계하기 위한 견고한 프레임워크를 제공한다.

ABSTRACT

The need for high availability (HA) and disaster recovery (DR) in IT environment is more stringent than most of the other sectors of enterprises. Many businesses require the availability of business-critical applications 24 hours a day, seven days a week, and can afford no data loss in the event of a disaster. It is vital that the IT infrastructure is resilient with regard to disruption, even site failures, and that business operations can continue without significant impact. As a result, DR has gained great importance in IT. Clustering of multiple industries standard servers together to allow workload sharing and fail-over capabilities is a low cost approach. In this paper, we present the availability model through Semi-Markov Process (SMP) and also analyze the difference in downtime of the SMP model and the approximate Continuous Time Markov Chain (CTMC) model. To acquire system availability, we perform numerical analysis and SHARPE tool evaluation.

연구 동기 및 목표

• 지역 장애가 발생하더라도 비즈니스 핵심 애플리케이션의 지속적 운영을 보장하는 비용 효율적인 고가용성 클러스터 시스템을 설계하기 위해.
• 기존 CTMC 근사치보다 더 정확한 정확도를 확보하기 위해 반마르코프 과정(SMP)을 사용하여 시스템 가용성을 모델링하기 위해.
• 실제 IT 인fra 환경에서 SMP 및 CTMC 모델의 정지 시간 예측을 평가하고 비교하기 위해.
• 형식적 모델링 기법을 사용하여 내구성 있는 지역 재해 복구 솔루션을 설계하기 위한 정량적 프레임워크를 제공하기 위해.

제안 방법

• 클러스터 노드의 기능 상태, 고장 상태, 복구 상태 간 전이를 표현하기 위해 반마르코프 과정(SMP)을 사용하여 시스템을 모델링한다.
• 통합 마르코프 체인과 체류 시간 분포를 사용하여 SMP 모델에서 가용성 식을 유도한다.
• 비교를 위해 지수 분포를 가정하는 연속 시간 마르코프 체인(CTMC) 근사 모델을 구축한다.
• SHARPE 도구를 사용하여 다양한 고장 및 복구 비율 하에서 시스템 가용성을 계산하기 위해 수치 분석을 수행한다.
• 클러스터 구성 요소의 평균 고故 시간(MTTF) 및 평균 복구 시간(MTTR)과 같은 현실적인 파rameter를 모델에 통합한다.
• SMP 기반 가용성과 CTMC 근사치를 비교하여 정확도 차이를 평가하기 위해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 고가용성 클러스터에서 실패 및 복구 시간이 지수 분포가 아닐 경우, 반마르코프 과정(SMP) 모델이 CTMC 근사치보다 시스템 가용성 추정 정확도를 어떻게 향상시키는가?
• RQ2 비지수 분포를 가지는 실패 및 복구 시간 분포가 지역 재해 복구 시나리오에서 시스템 가용성에 어떤 영향을 미치는가?
• RQ3 SMP 및 CTMC 모델링 하에서 다양한 고장 및 복구 비율이 클러스터 시스템의 총 가용성에 어떤 영향을 미치는가?
• RQ4 SHARPE 도구는 이 맥락에서 SMP 기반 가용성 모델의 정확한 수치 평가를 어느 정도 지원하는가?
• RQ5 내구성 있는 지역 재해 복구 시스템 설계에 있어 SMP를 CTMC보다 사용할 경우 실용적인 함의는 무엇인가?

주요 결과

• 실패 및 복구 시간이 지수 분포가 아닐 경우, SMP 모델이 CTMC 근사치보다 더 정확한 시스템 가용성 추정을 제공한다.
• 비지수 분포 하에서 SMP와 CTMC 모델 간 예측 정지 시간의 격차는 크며, 이는 CTMC 모델이 실제 환경에서의 한계를 드러낸다.
• SHARPE 도구를 통한 수치 결과는 동일한 시스템 파rameter 하에서 SMP 모델이 CTMC 근사치보다 더 높은 가용성 수치를 도출함을 확인한다.
• 이 연구는 SMP 모델링을 통해 재해 복구 환경에서 고가용성 클러스터 설계에 더 나은 정보 기반 의사결정이 가능하다는 것을 입증한다.
• 제안된 접근법은 정확한 가용성 정량화를 가능하게 하여, 최소한의 데이터 손실과 정지 시간으로 내구성 있는 IT 인fra를 개발하는 데 기여한다.