Advanced
Availability Analysis of 2N Redundancy System Using Stochastic Models
Availability Analysis of 2N Redundancy System Using Stochastic Models
Journal of the Korea Institute of Information and Communication Engineering. 2014. Nov, 18(11): 2634-2639
Copyright © 2014, The Korean Institute of Information and Commucation Engineering
This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License(http://creativecommons.org/li-censes/by-nc/3.0/) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • Received : September 17, 2014
  • Accepted : October 20, 2014
  • Published : November 30, 2014
Download
PDF
e-PUB
PubReader
PPT
Export by style
Share
Article
Author
Metrics
Cited by
TagCloud
About the Authors
동현 김
School of Computer Science & Engineering, Pusan National University, Busan 609-735, Korea
유태 이
Department of Information and Communications Engineering, Dongeui University, Busan 614-714, Korea
ylee@deu.ac.kr

Abstract
시스템 및 네트워크의 안정적인 서비스를 위한 기본적인 구조로 다양한 이중화 방식이 있다. 또한 시스템 및 네트워크의 성능을 분석하기 위하여 페트리네트에서부터 Stochastic Reward Net(SRN)에 이르기까지 다양한 성능 분석모형이 존재한다. 본 논문에서는 정상 상태에서 하나의 액티브 서비스 유닛과 하나의 스탠바이 서비스 유닛을 가진 2N 이중화 방식을 SRN으로 모형화 한다. 성능 분석 소프트웨어인 추계적 페트리네트 패키지 SPNP를 사용하여 2N 이중화 방식의 가용도를 분석한다.
Keywords
Ⅰ. 서 론
네트워크 시스템을 개발할 때 고려해야 할 품질 요소는 크게 시스템의 처리 효율을 나타내는 성능과 시스템의 신뢰도를 높이기 위한 안정성으로 나눌 수 있다. 신뢰도, 가용도, 보수성 등이 시스템의 안정성을 나타내는 품질 요소에 해당하고, 처리율, 응답시간, 손실확률, 지연시간 등은 시스템의 성능을 나타내는 품질 요소에 해당한다.
신뢰도 및 가용도 모델은 시스템의 구조와 구성 요소의 고장 및 복구에 근거하여 시스템의 동작 행동을 분석할 수 있어야 한다. 컴퓨터 시스템에는 가용도를 향상시키기 위한 각종 기능이 내장되어 있다. 예를 들어, 장애에 대한 내구력을 강화하기 위한 프로세서의 이중화 기능, 장애를 조기에 검출하기 위한 프로세서 진단기능, 장애의 원인 규명을 용이하게 하기 위한 보수 정보의 로깅 기능 등이 있을 수 있다.
네트워크 및 시스템의 성능 및 안정성을 분석하는 도구에는 수학적인 분석 방법과 시뮬레이션을 통한 분석방법이 있다. 수학적 분석 방법에는 응용 확률론의 한 분야인 대기 행렬 이론을 이용하는 방법이 흔히 사용되고 있다. 대기 행렬 이론은 먼저 네트워크 및 시스템을 대기 행렬 모형으로 모델링하고 모델링한 대기 행렬 모형을 다양한 확률 과정을 이용하여 수학적으로 엄밀하게 분석하는 이론이다. 네트워크 및 시스템이 복잡해짐에 따라 대기 행렬 모형으로 모델링하는데 어려움이 있으며, 일단 모델링을 했다 하더라도 수학적으로 분석하기가 어려운 경우가 많다.
본 논문에서는 복잡해지는 네트워크 모델을 손쉽게 분석하기 위하여 여러 가지 성능분석 모델에 대해 알아보고, 이를 기반으로 이중화 모델에 대한 성능을 분석하고자 한다. 이러한 이중화 시스템의 성능 분석 문제를 해결하기 위해 본 논문에서는 이중화 시스템을 Stochastic Reward Net(SRN)으로 모델링하고 이를 Stochastic Petri Net Package(SPNP)를 이용하여 분석하고자 한다 [1 - 3] .
본 논문의 구성은 다음과 같다. 2장에서는 시스템 분석 모델과 이중화 모형에 대하여 소개하고, 3장에서는 2N 이중화 모델을 SRN 모델을 이용하여 설계한다. 4장에서는 설계된 SRN 모형을 분석하기 위한 시스템 파라미터를 설명하고 설계된 2N 이중화 모델의 성능을 분석한다. 5장에서는 논문의 결론을 맺고 향후 연구 방향을 소개한다.
Ⅱ. 관련연구
- 2.1. 시스템 분석모델
네트워크나 시스템을 모델링하는데 사용하는 대표적인 도구로서 페트리 네트가 있다. 페트리 네트는 장소, 천이, 토큰 등으로 구성되는데, 장소는 원으로, 천이는 막대로, 토큰은 점이나 숫자로 나타낸다. 토큰은 한장소로부터 천이를 거쳐서 다른 장소로 움직이며, 이때 천이의 통과를 발사라고 한다. 천이의 각 입력 장소에 적어도 하나의 토큰이 있으면 그 천이는 활성화되었다고 한다 [4] .
추계적 페트리 네트는 모델 규격을 명세화 할 수 있는 다양한 그래픽 기능을 가지고 있으며 대응되는 연속시간 마르코프 체인의 해에 의해 페트리 네트 모델의 해를 구할 수 있다. 추계적 페트리 네트는 각 천이에 발사시간을 할당한 페트리 네트의 확장모델이다. 발사시간이 지수분포를 따르는 천이를 시간천이라 하고, 시간의 지체 없이 바로 발사되는 천이를 즉시천이라고 한다 [5] .
확장된 추계적 페트리 네트는 최소한 하나의 즉시 천이가 발사 가능한 무형마킹과 시간 천이들의 마킹인 유형마킹으로 구성된다. 여기서 마킹이란 페트리 네트의 상태를 나타내는 것으로 토큰들이 할당된 장소나 개수가 같지 않으면 서로 다른 마킹에 해당된다 [5] .
확장된 추계적 페트리 네트에 모델링 기능을 강화하여 복잡한 시스템을 간결한 모형으로 모델링할 수 있도록 해 주는 모델이 바로 SRN이다. 이 SRN에서는 각 유형 마킹에 하나 이상의 보상율을 배정할 수 있다. 시간천이의 발사율, 다수의 입출력 아크, 그리고 마킹에 대한 보상율과 같은 파라미터는 SRN에서 장소에 있는 토큰 수에 대한 함수로 나타난다. SRN에서 모든 출력 값은 보상율 함수의 기댓값으로 표현된다. SRN 모델에 적당한 보상 값을 할당하여 시스템의 성능 값을 구할 수 있다.
이 SRN 모형은 모형에 따라 수학적으로 엄밀히 분석하는 것이 가능할 수도 있고, 수치적으로 분석할 수도있으며, 시뮬레이션을 통한 분석이 가능할 수도 있다. SRN 모형의 장점은 시스템의 동작 원리만 알면 분석을 위한 모델링 작업이 어렵지 않다는 데 있다.
SRN 모델의 해를 구하기 위해 소프트웨어 도구인 SPNP를 사용한다. SPNP에 대한 자세한 설명은 [5] 를 참고한다. SRN은 SPNP에 의해 마르코프 보상 모델(Markov Reward Model)로 변환되며, 마르코프 보상 모델의 성능분석으로 SRN에서 지정한 성능을 구하게 된다. 즉 SRN 모델은 다음 단계에 의하여 해석적, 수치적으로 해를 구할 수 있다 [6] .
첫째, 모델로부터 도달성 그래프가 생성된다. 둘째, 도달성 그래프는 마르코프 보상 모델로 변환된다. 셋째, 마르코프 보상 모델로부터 수치적으로 해를 구한다. 마지막으로 구한 해의 기댓값으로 성능을 계산한다.
- 2.2. 이중화 기술
이중화 기술은 복수의 시스템을 이용해 서비스를 구성하여 장애 발생 시에도 그 가용성을 극대화시킬 수있다.
알려진 이중화 모델에는 2N 이중화, N+M 이중화, N-way 이중화, N-way Active 이중화 기법 등이 있고 본 논문에서는 다양한 이중화 기법 중 2N 이중화 기법에 대하여 설명하고 그 성능을 분석한다.
2N 이중화 모델에서 Service Group(SG)에는 모든 Service Instance(SI)에 대하여 액티브한 하나의 Service Unit(SU)과 모든 SI에 대하여 스탠바이인 하나의 SU가 존재한다. 각 SI에는 많아야 하나의 액티브 SU와 스탠바이 SU가 할당된다 [7] .
Ⅲ. 2N 이중화 모형의 SRN 모델
2N 이중화 모형의 SRN 모델을 설명하기 전에 이중화를 하지 않은 단일 시스템의 SRN모델에 대하여 알아본다.
단일 시스템은 한 개의 SU가 한 개의 SG로 동작한다. 하나의 SU는 액티브 상태로 동작하다 장애가 발생하면 수리하여 다시 액티브 상태로 동작한다. 그림 1 은 단일 시스템의 SRN 모델을 나타내었다.
PPT Slide
Lager Image
단일 시스템의 SRN 모형 Fig. 1 SRN model of single system
본 논문에서는 두 개의 SU로 이루어진 한 개의 SG를 다룬다. 두 개의 SU를 각각 SU1, SU2라 한다. SG는2N 이중화 구조로 동작하는데, 정상상태에서 두 SU 중 하나는 액티브 상태에 있게 되고, 다른 하나는 스탠바이 상태에 있게 된다.
그림 2 는 SU가 두 개인 2N 이중화 모형의 SRN 모델 이다. 모델은 [8] 의 SRN 모형을 참고하여 설계하였다. 각 SU는 active, standby, active_faulty, standby_faulty, unistantiated, instantiated 중 하나의 상태에 있게 되고, 이 상태를 각각 하나의 장소로 표시하였다. 천이 Tiaf와 Tisf는 SUi가 각각 액티브 상태와 스탠바이 상태에서 결함이 발생하는 것을 나타내는데, 정상 상태에서 결함이 발생할 때까지의 시간은 발생률이 각각 λiaf와 λisf인 지수 분포를 따른다고 가정한다. 천이 Tiac와 Tisc는 SUi가 각각 active_faulty 상태와 standby_faulty 상태에서 cleanup 과정을 수행하는 것을 나타내는데, 그 기간은 rate이 각각 λiac와 λisc인 지수분포를 따른다고 가정한다. 천이 Tiwa는 SUi를 인스턴트화하는 과정을 나타내며 그 기간은 rate이 λiwa인 지수 분포를 따른다고 가정한다.
PPT Slide
Lager Image
2N 이중화 시스템의 SRN 모형[8] Fig. 2 SRN model of 2N redundancy system[8]
천이 Tisa_aa는 SUi가 스탠바이 상태에서 액티브 상태로 전환하는 것을 나타내며, guard 조건 Gisa_aa를 만족할 때 활성화되어 천이를 완료하는데 걸리는 시간은 rate이 λisa_aa인 지수분포를 따른다고 가정한다. 천이 Tisa와 Tiaa는 instantiated 된 SUi가 각각 스탠바이 상태와 액티브 상태로 전환하는 것을 나타내며, 각각 guard 조건 Gisa와 Giaa를 만족할 때 활성화되어 천이를 완료하는데 걸리는 시간은 rate이 각각 λisa와 λiaa인 지수 분포를 따른다고 가정한다.
이중화 모형의 각 천이에 대한 guard 조건은 표1 과 같다 [8] .
2N 이중화 모형의 guard 조건Table. 1 Guard conditions of 2N redundancy model
PPT Slide
Lager Image
2N 이중화 모형의 guard 조건 Table. 1 Guard conditions of 2N redundancy model
Ⅳ. 2N 이중화 모형의 성능평가
- 4.1. 성능분석을 위한 시스템 파라미터
2N 이중화 모델의 성능평가지표로 가용도를 이용한다. 가용도란 이용자의 입장에서 보아 어느 정도 사용할 수 있는가 하는 것을 표시하는 것으로 임의의 시간에 시스템이 가용한 상태에 있을 확률로 계산할 수있다.
표2 는 가용도를 구하기 위해 SU가 두 개인 2N 이중화 시스템의 가용도를 분석하기 위한 파라미터 값이다. 이 파라미터 값 중 일부는 [8] 에서 제시한 값을 사용하였다.
SU가 두 개인 2N 이중화 모형의 성능평가 파라미터Table. 2 Performance parameters of 2N redundancy model with two SUs
PPT Slide
Lager Image
SU가 두 개인 2N 이중화 모형의 성능평가 파라미터 Table. 2 Performance parameters of 2N redundancy model with two SUs
- 4.2. 2N 이중화 시스템의 가용도
그림 1 와 같은 단일 시스템을 표2 의 파라미터를 사용하여 가용도를 분석하면 99.9984%로 99.999%(five nines)의 가용도에 미치지 못한다.
본 절에서는 SU가 두 개인 2N 이중화 시스템을 고려했을 때 가용도가 얼마나 향상되는지 알아본다. 이 경우에 시스템은 하나의 액티브 SU와 하나의 스탠바이SU로 구성되며 스페어 SU는 존재하지 않는다.
표 3 은 1/λsa의 값을 100 ms로 설정하고, 1/λaa의 값이 100 ms, 200 ms, 300 ms, 400 ms, 500 ms인 경우 각각에 대하여, 스탠바이 SU를 액티브 SU로 전환하는 시간(1/λsa_aa)을 100 ms에서 500 ms까지 변화시키면서 2N 이중화 시스템의 가용도를 분석한 것이다. 스탠바이 에서 액티브로 전환하는 시간이 길어짐에 따라 가용도가 낮아지는 것을 알 수 있다. 또한 표2 의 시스템 파라미터를 적용했을 때, 99.999%(five nines)의 가용도를 얻기 위해서는 스탠바이 SU를 액티브 SU로 전환하는 시간(1/λsa_aa)을 400 ms이하로 유지할 필요가 있다는 것을 표 3 을 통해 알 수 있다.
SU가 두 개인 2N 이중화 시스템에서 1/λ sa_aa과 1/λ aa에 따른 가용도(%)Table. 3 Availability of 2N redundancy system in two SUs according to 1/λ sa_aa and 1/λ aa(%)
PPT Slide
Lager Image
SU가 두 개인 2N 이중화 시스템에서 1/λ sa_aa과 1/λ aa에 따른 가용도(%) Table. 3 Availability of 2N redundancy system in two SUs according to 1/λ sa_aa and 1/λ aa(%)
표 4 는 1/λaa의 값을 500 ms로 설정하고, 1/λsa의 값이 100 ms, 200 ms, 300 ms, 400 ms, 500 ms인 경우 각각에 대하여, 스탠바이 SU를 액티브 SU로 전환하는시간(1/λsa_aa)을 100 ms에서 500 ms까지 변화시키면서 2N 이중화 시스템의 가용도를 분석한 것이다. 이러한 환경에서도 스탠바이에서 액티브로 전환하는 시간이 길어짐에 따라 가용도가 낮아지는 것을 알 수 있다. 또한 표2 의 시스템 파라미터를 적용했을 때, 99.999% (five nines)의 가용도를 얻기 위해서는 스탠바이 SU을 액티브 SU로 전환하는 시간(1/λsa_aa)을 400 ms이하 로 유지할 필요가 있다는 것을 표4 를 통해서도 알 수 있다.
SU가 2개인 2N 이중화 시스템에서 1/λsa_aa과 1/λsa에 따른 가용도(%)Table. 4 Availability of 2N redundancy system in two SUs according to 1/λ sa_aa and 1/λ sa(%)
PPT Slide
Lager Image
SU가 2개인 2N 이중화 시스템에서 1/λsa_aa과 1/λsa에 따른 가용도(%) Table. 4 Availability of 2N redundancy system in two SUs according to 1/λ sa_aa and 1/λ sa(%)
Ⅴ. 결론 및 향후 연구
본 연구는 안정적인 서비스를 위한 2N 이중화 모델의 가용도를 분석하는 연구로 먼저 성능분석 모델에 대하여 설명하였다. 복잡한 이중화 시스템을 효율적으로 분석하기 위해 SRN을 기반으로 이중화 모형을 모델링 하였고, 이것을 SPNP를 이용하여 구현하였다. 구현된 2N 이중화 모델의 SPNP 모형을 이용하여 시스템 변수에 따른 가용도를 분석하였다.
향후, 다양한 시스템 변수에 따른 가용도 분석 기법과 시스템 변수들 간의 가용도 향상 방법에 대하여 연구할 것이다. 또한 2N 이중화와 다른 N+M, N-way, N-way Active 등의 이중화 방식의 성능을 비교할 것이다.
Acknowledgements
이 논문은 2014학년도 동의대학교 교내연구비에 의해 연구되었음(2014AA102). 이 논문은 2013년도 정부(교육부)의 재원으로 한국연구재단의 지원을 받아 수행된 기초연구사업임 (No. NRF-2013R1A1A4A01013094).
BIO
김동현(Dong Hyun Kim)
2013년 11월 ~ 현재 부산대학교 IT기반 융합산업 창의인력양성사업단 박사후연구원
2013년 8월 부산대학교 전자전기컴퓨터공학과 공학박사
※관심분야 : 이동통신, 멀티미디어 전송, 무선통신망 성능분석
이유태(Yutae Lee)
2001년 3월-현재 동의대학교 정보통신공학과 교수
1998년 3월-2001년 2월 한국전자통신연구원 선임연구원
1997년 8월 한국과학기술원 수학과 이학박사
※관심분야 : 가용도 분석, 통신망 분석, 대기 행렬 모형
References
Trivedi K. S. , Muppala J. K. , Woolet S. P. , Haverkort B. R. 1992 "Composite performance and dependability analysis," Performance Evaluation 14 197 - 215    DOI : 10.1016/0166-5316(92)90004-Z
Haverkort B. R. 1993 "Approximate performability and dependability modeling using generalized stochastic Petri nets," Performance Evaluation 18 61 - 78    DOI : 10.1016/0166-5316(93)90027-R
Bobbio A. , Trivedi K. S. 1990 "Computing cumulative measures of stiff Markov chains using aggregation," IEEE Transaction on Computers 39 (10) 1291 - 1298    DOI : 10.1109/12.59859
Malhotra M. , Muppala J. K. , Trivedi K. S. 1994 "Stiffnesstolerant methods for transien analysis of stiff Markov chains," Microelectron. Relib 34 (11) 1825 - 1841    DOI : 10.1016/0026-2714(94)90137-6
Ciardo G. , Trivedi K. S. 1999 "SPNP Users Manual, Version 6.0," Technical report Duke University
Mainkar V. , Trivedi K. S. 1996 "Sufficient conditions for existence of a fixed point stochastic reward net-based iterative models," IEEE Transaction on Software Engineering 22 (9) 640 - 653    DOI : 10.1109/32.541435
The Service Availability Forum, Application Interface Specification http://www.saforum.org
Kanso A. , Khendek F. , Mishra A. , Toero M. “Integrating Legacy Applications for High Availability: a Case Study” in Proceeding of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering 2011 83 - 90