[논문 리뷰] Distributed Abstraction Algorithm for Online Predicate Detection

Himanshu Chauhan, Vijay K. Garg외 2명|arXiv (Cornell University)|2013. 04. 16.

Ferroelectric and Negative Capacitance Devices참고 문헌 21인용 수 6

한 줄 요약

이 논문은 분산 시스템에서 정규 술어에 대해 계산 분할을 위한 최초의 분산 온라인 알고리즘을 제안한다. 프로세스 간에 상태 공간 분석을 분산시킴으로써, 각 프로세스의 공간 및 계산 복잡도를 O(n) 정도로 감소시켜, 중심화된 접근 방식에 비해 상태 탐색을 지수적으로 줄이는 효율적인 온라인 술어 검출을 가능하게 한다.

ABSTRACT

Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By abstracting the computation, unnecessary explorations can be avoided. Computation slicing is an approach for abstracting dis- tributed computations with respect to a given predicate. We focus on regular predicates, a family of predicates that covers a large number of commonly used predicates for runtime verification. The existing algorithms for computation slicing are centralized in nature in which a single process is responsible for computing the slice in either offline or online manner. In this paper, we present a distributed online algorithm for computing the slice of a distributed computation with respect to a regular predicate. Our algorithm distributes the work and storage requirements across the system, thus reducing the space and computation complexities per process. In addition, for conjunctive predicates, our algorithm also reduces the message load per process.

연구 동기 및 목표

• 조합적 상태공간 폭발으로 인한 대규모 분산 시스템에서 중심화된 술어 검출의 확장성 한계를 해결하기 위해.
• 분산된 분할을 통해 관련이 없는 계산 부분을 추상화하여 효율적인 온라인 술어 검출을 가능하게 하기 위해.
• 모든 프로세스에 걸쳐 분할 작업을 분산시켜 각 프로세스의 메모리 및 계산 부담을 줄이기 위해.
• 런타임 검증에 널리 사용되는 정규 술어를 지원하기 위해 확장 가능하고 분산된 온라인 알고리즘을 제공하기 위해.
• 메시지 전달 아키텍처를 갖춘 다코어 및 분산 시스템에서 효율적인 런타임 검증을 위한 기반을 마련하기 위해.

제안 방법

• 알고리즘은 시스템 내 모든 프로세스에 걸쳐 계산 분할 과정을 분산시켜 단일 조정자에 의존하지 않는다.
• 각 프로세스는 로컬 상태 정보를 유지하고 다른 프로세스와의 통신을 통해 정규 술어와 관련된 계산의 분할을 점진적으로 구성한다.
• 알고리즘은 인과적 의존성과 일관된 컷을 추적하기 위해 분산 데이터 구조를 사용하여 추상화된 계산의 정확성을 보장한다.
• 실시간으로 프로세스 간에 슬라이스 구성과 동기화를 위해 메시지 전달 메커니즘을 활용한다.
• 불필요한 상태 전파를 잘라내어 재정의된 계산과 메시지 트래픽을 줄이는 최적화된 변종을 적용한다.
• 결과로 생성된 슬라이스는 술어를 만족하는 전부이자 오직 전역 상태만 포함하여 상태공간 크기를 최소화한다.

실험 결과

연구 질문

• RQ1 다중 프로세스에 걸쳐 계산 분할을 효과적으로 분산시켜 온라인 술어 검출에서 각 프로세스의 자원 사용을 줄일 수 있는가?
• RQ2 정규 술어를 위한 분산 온라인 분할 알고리즘이 중심화된 접근 방식에 비해 공간 및 시간 복잡도를 크게 감소시키는가?
• RQ3 분산 알고리즘이 모든 일관된 컷에서 술어 만족 여부를 정확하고 완전하게 유지하는가?
• RQ4 메시지 수와 실행 시간 측면에서 분산 알고리즘의 성능은 중심화된 온라인 분할에 비해 어떻게 비교되는가?
• RQ5 알고리즘이 정확성을 훼손하지 않으면서도 재정의된 계산과 메시지 교환을 제거하기 위해 최적화될 수 있는가?

주요 결과

• 중앙화된 접근 방식에 비해 분산 알고리즘이 각 프로세스의 공간 및 계산 복잡도를 O(n) 정도로 감소시킨다.
• 많은 경우에 알고리즘이 원래 계산보다 지수적으로 작은 슬라이스를 구성하여 분석해야 할 전역 상태 수를 크게 줄인다.
• 최적화된 버전은 메시지 오버헤드를 줄이고 슬라이스 구성 중 재정의된 계산을 방지한다.
• 실험 평가(확장된 버전에서)는 시간 및 통신 비용 측면에서 중심화된 알고리즘보다 향상된 성능을 보였다.
• 알고리즘은 추상화된 슬라이스만 분석하여 전체 계산에서 술어 만족 여부를 정확히 탐지하여 정규 술어에 대해 타당성과 완전성을 보장한다.