동시 AOP 프로그램 동적 슬라이스 계산 방법

초록

본 논문은 동시성 및 관점지향 기능을 동시에 갖는 프로그램을 대상으로, 실행 시점에 슬라이스를 구하는 동적 슬라이스 알고리즘을 제안한다. 이를 위해 비관점 코드와 관점 코드를 각각의 시스템 의존 그래프(SDG)와 관점 의존 그래프(ADG)로 표현하고, 이들을 연결한 Concurrent Aspect‑oriented System Dependence Graph(CASDG)를 정의한다. 제안된 CADS 알고리즘은 기존 NMDS 방식을 확장하여 실행 노드를 마킹·언마킹함으로써 정확하고 효율적인 동적 슬라이스를 산출한다.

상세 분석

논문은 먼저 AOP와 동시성의 결합이 프로그램 구조를 복잡하게 만들며, 기존 정적·동적 슬라이스 기법을 그대로 적용하기 어렵다는 점을 강조한다. 이를 해결하기 위해 저자들은 CASDG라는 새로운 중간 표현을 설계했는데, 이는 비관점 코드에 대한 전통적인 SDG와 관점 코드에 대한 ADG를 통합하고, 포인트컷, 어드바이스, 소개(introduction)와 같은 AOP 특성을 반영하는 추가 의존 에지를 포함한다. CASDG는 제어 의존, 데이터 의존, 통신 의존, 동기화 의존을 모두 포괄하여 동시 실행 흐름을 정확히 모델링한다.
동적 슬라이스 알고리즘인 CADS는 기존 NMDS(Node Marking Dynamic Slicing) 알고리즘을 기반으로 하면서, 실행 시점에 각 노드의 마킹 상태를 실시간으로 업데이트한다. 특히 recentDef(var)와 같은 최신 정의 정보를 유지함으로써, 동시 스레드 간에 발생하는 변수 재정의와 사용 관계를 정확히 추적한다. 알고리즘은 마킹·언마킹 연산만으로 슬라이스를 계산하므로, 별도의 실행 트레이스 저장이 필요 없어 메모리 오버헤드가 크게 감소한다.
복잡도 분석에서는 CADS가 NMDS와 동일한 시간 복잡도 O(|V|+|E|)를 유지하면서, 동시성으로 인한 추가 의존성을 효과적으로 처리함을 보인다. 구현 부분에서는 Java 기반의 AspectJ 프로그램을 대상으로 프로토타입을 구축하고, 실험을 통해 기존 정적 슬라이스와 비교했을 때 슬라이스 크기가 평균 30% 이상 감소하고, 실행 시간 오버헤드가 5% 이하에 머무르는 것을 확인하였다.
전체적으로 이 논문은 동시 AOP 환경에서 동적 슬라이스를 실현하기 위한 체계적인 그래프 모델과 효율적인 알고리즘을 제시함으로써, 디버깅, 프로그램 이해, 유지보수 등 다양한 분야에 실용적인 도구를 제공한다는 점에서 의의가 크다.