[논문 리뷰] CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks

Alexander V. Shafarenko, Raimund Kirner|arXiv (Cornell University)|2011. 01. 17.

Distributed systems and fault tolerance참고 문헌 4인용 수 3

한 줄 요약

이 논문은 S-Net에서 상태가 없는 스트리밍 컴포넌트에 대한 기능적 및 비기능적 제약 조건—예를 들어 계산 지연, 메모리 사용량, 메시지 생성률—을 기술하기 위한 선언적 언어 CAL을 소개한다. CAL은 제약 기반 문법을 통해 입력-출력 행동과 성능 특성에 대한 형식적이고 기계 검증 가능한 진술을 가능하게 하여 스트리밍 네트워크 내 컴포넌트 행동에 대한 자동화된 추론을 가능하게 한다.

ABSTRACT

In this article we present the {\em Constraint Aggregation Language} (CAL), a declarative language for describing properties of stateless program components that interact by exchanging messages. CAL allows one to describe functional as well as extra-functional behaviours, such as computation latency. The CAL language intention is to be able to describe the behaviour of so-called boxes in the context of S-Net. However, the language would find application in other coordination models based on stateless components.

연구 동기 및 목표

• 상태가 없는 스트리밍 컴포넌트의 기능적 및 비기능적 특성을 형식적이고 선언적으로 표현하기 위한 언어를 제공하는 것.
• 계산 지연, 메모리 사용량, 메시지 생성률과 같은 성능 관련 제약 조건을 특정화할 수 있도록 하는 것.
• 스트리밍 네트워크 내 컴포넌트 행동에 대한 자동화된 추론과 제약 조건 해결을 지원하는 것.
• 행동 제약 조건을 구현 로직에서 분리하여 모듈성과 검증을 촉진하는 것.
• 동적 자원 할당과 동시 분산 시스템에서의 성능 분석을 촉진하는 것.

제안 방법

• CAL은 입력 조건가 지시하는 출력 진술을 표현하는 절 기반의 선언적 문법을 사용한다.
• 세 가지 유형의 변수를 도입한다: 객체 변수(입력/출력 데이터용), 환경 변수(스레드 수와 같은 시스템 컨텍스트용), 자유 변수(존재기호로 양자화된 변수).
• 산술, 집합, 술어 표현식을 포함한 텀 대수를 사용하여 제약 조건을 표현하며, 유리수와 +, -, *, /, ^ 등의 기본 연산을 지원한다.
• 복합 표현식을 지원하여, 예를 들어 Poisson 분포를 사용해 확률적 메시지 생성률을 표현하거나, $$M0, $$M1 등의 변수를 통해 메시지 수의 범위를 제약할 수 있다.
• 기능적 제약 조건은 배열 랭크, 요소 유형 등의 유형 및 형상 진술을 통해 표현되며, 비기능적 제약 조건은 지연과 자원 사용을 모델링한다.
• 입력 술어에 기반해 절이 조건부로 활성화되어, 맥락 민감한 행동 모델링이 가능하다.

실험 결과

연구 질문

• RQ1 기능적 및 비기능적 특성을 통합된 언어로 형식적이고 선언적으로 특정할 수 있는 방법은 무엇인가?
• RQ2 지연과 메모리 사용량과 같은 성능 관련 제약 조건을 조합 가능한 방식으로 표현할 수 있는 메커니즘은 무엇인가?
• RQ3 제약 기반 언어를 통해 입력 의존적 행동과 조건부 성능 모델을 어떻게 표현할 수 있는가?
• RQ4 CAL과 같은 제약 언어가 스트리밍 네트워크 내 컴포넌트 행동에 대한 정적 및 동적 추론을 지원할 수 있는가?
• RQ5 메시지 생성률과 자원 사용량은 어떻게 컴포넌트 인터페이스를 통해 모델링하고 공유할 수 있는가?

주요 결과

• CAL은 입력 및 출력 객체에 대한 유형 진술을 통해 배열 형상, 요소 유형, 랭크 등의 정확한 기능적 특성을 형식적으로 특정할 수 있다.
• 언어는 비기능적 특성도 성공적으로 모델링하며, 입력 조건에 따라 O(m log m / n_th) 또는 O(m^1.5)로 표현되는 계산 지연을 지원한다.
• 메시지 생성률은 $$M1 :=: 0와 같은 환경 변수를 통해 모델링되며, 이는 입력 크기가 작을 경우 출력이 없음을 나타낸다.
• 감시된 절을 통해 조건부 성능 모델이 지원되며, 지연과 메시지 수는 $k > 100 * n_th와 같은 입력 매개변수에 따라 달라진다.
• 언어는 메시지 생성의 확률적 모델링을 지원하며, 예를 들어 Poisson(1/N)과 같은 표현식을 통해 Poisson 분포를 가진 출력률을 표현할 수 있다.
• 프레임워크는 컴포넌트 행동의 모듈러하고 조합 가능한 특정화를 가능하게 하여, 스트리밍 시스템 내 자동 추론과 성능 분석을 가능하게 한다.