[논문 리뷰] A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications (Extended Abstract)

Alan Dearle, Graham Kirby외 1명|arXiv (Cornell University)|2010. 06. 24.

Advanced Software Engineering Methodologies참고 문헌 3인용 수 20

한 줄 요약

이 논문은 구성요소 기반 분산 응용 프로그램의 배포 및 자율적 관리에 대한 제약 기반 프레임워크를 제안한다. 이는 배포 목표를 기술적으로 기술하기 위해 선언적 제약 언어를 사용하고, 제약 솔버를 통해 유효한 구성 설정을 생성하며, 목표가 더 이상 충족되지 않을 경우 런타임 재구성 기능을 통해 자가 치유 및 유연성을 확보하는 방식으로 동적인 환경에서의 안정성을 보장한다.

ABSTRACT

We propose a framework for the deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints over aspects such as component-host mappings and component interconnection topology. A constraint solver is used to find a configuration that satisfies the goal, and the configuration is deployed automatically. The deployed application is instrumented to allow subsequent autonomic management. If, during execution, the manager detects that the original goal is no longer being met, the satisfy/deploy process can be repeated automatically in order to generate a revised deployment that does meet the goal.

연구 동기 및 목표

• 구성요소 기반 분산 응용 프로그램의 복잡하고 변화하는 배포를 수동으로 관리하는 과제를 해결한다.
• 컴ponent 배치 및 토폴로지에 대한 형식화된 선언적 제약 조건을 통해 자동화된 배포를 가능하게 한다.
• 목표 위반을 감지하고 재배치를 트리거하여 목표 속성을 복원함으로써 런타임 적응을 지원한다.
• 자율적 관리를 설치 수명 주기 전체에 통합하여 시스템의 내재성과 유지보수성을 향상시킨다.

제안 방법

• 컴포넌트-호스트 매핑 및 상호연결 토폴로지 등을 포함한 배포 목표를 표현하기 위해 선언적 제약 언어를 정의한다.
• 모든 지정된 제약 조건을 만족하는 구성 설정을 자동으로 생성하기 위해 제약 솔버를 활용한다.
• 생성된 구성 설정을 대상 인프라에 자동으로 배포한다.
• 런타임 동작을 모니터링하고 원래 목표에서의 이탈을 감지하기 위해 배포된 응용 프로그램을 인스트루멘테이션한다.
• 목표 위반을 감지할 경우 재만족 및 재배포 프로세스를 트리거하여 동적 재구성을 가능하게 한다.
• 초기 설치와 런타임 재구성에 동일한 프레임워크를 재사용하여 관리 로직의 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 분산 응용 프로그램의 배포 목표를 어떻게 형식적으로 명시하여 자동화된 구성 설정을 가능하게 할 수 있는가?
• RQ2 런타임 실행 중에 배포 목표 위반을 자동으로 감지할 수 있는 메커니즘은 무엇인가?
• RQ3 초기 설치와 런타임 재구성에 동일한 프레임워크를 재사용하여 일관성을 확보할 수 있는가?
• RQ4 제약 해결이 스케일링 가능하고 정확한 배포 구성 설정을 달성하는 데 어떤 역할을 하는가?
• RQ5 자율적 관리를 설치 수명 주기 전체에 통합하여 자가 치유 행동을 지원할 수 있는가?

주요 결과

• 프레임워크는 선언적 제약 언어를 사용하여 구성요소 기반 분산 응용 프로그램의 자동 배포를 성공적으로 수행한다.
• 제약 해결을 통해 수동 간섭 없이도 유효하고 목표에 부합하는 구성 설정을 생성할 수 있다.
• 런타임 모니터링 및 재구성 기능을 통해 환경 변화로 인한 목표 위반 발생 시 시스템이 적응할 수 있다.
• 초기 및 런타임 재구성에 동일한 설치 로직을 재사용함으로써 일관성과 복잡도 감소를 확보한다.
• 통합된 제약 중심 모델을 통해 자율적 관리의 실현 가능성을 분산 시스템에서 입증한다.