세가지 대안적 결합추적 특성화

초록

본 논문은 1995년 Janicki와 Koutny가 제시한 결합추적(comtrace) 개념을 새로운 관점에서 재해석한다. 결합추적은 동시성(simultaneity)과 직렬화(serializability) 관계에 의해 정의되는 단계열(step sequence)의 동치류이며, 기존 연구에서는 이를 라벨이 붙은 층화 순서 구조(labeled stratified order structures)와 연결시켰지만, 정확히 어떤 클래스의 구조가 결합추적을 완전하게 표현하는지는 미해결 상태였다. 저자들은 라벨이 붙은 층화 순서 구조의 새로운 클래스(구조적 라벨링 체계)를 제안하고, 이와 기존의 결합추적 몽고메리(monad) 구조, 그리고 Kleijn‑Koutny가 정의한 결합 의존 그래프(combined dependency graph) 사이의 동등성을 증명한다. 즉, 세 가지 표현 방식이 서로 완전히 동치임을 보이며, 이를 통해 결합추적의 구조적 이해와 알고리즘적 활용 가능성을 크게 확장한다.

상세 분석

논문은 먼저 결합추적의 정의를 복습하고, 두 핵심 관계인 simultaneity와 serializability가 단계열에 어떻게 적용되는지를 수학적으로 명시한다. simultaneity는 한 쌍의 이벤트가 같은 단계에 동시에 발생할 수 있음을, serializability는 두 이벤트가 순차적으로 실행될 수 있음을 의미한다. 이 두 관계는 일반적인 Mazurkiewicz trace의 독립성 관계와는 달리 비대칭적이며, 따라서 전통적인 트레이스 이론을 그대로 확장하기 어렵다. 저자들은 이러한 복합성을 다루기 위해 라벨이 붙은 층화 순서 구조(labeled stratified order structure, LSOS)를 도입한다. LSOS는 사건들의 부분 순서와 층화(level) 정보를 동시에 보존하면서, 각 사건에 라벨을 부여해 이벤트 타입을 구분한다. 기존 연구에서는 LSOS가 comtrace와 일대일 대응한다는 부분적인 결과만 제시되었으나, 구체적인 클래스가 명시되지 않아 실용적 적용에 한계가 있었다.

본 논문은 이 공백을 메우기 위해 “구조적 라벨링 체계”(structured labeling scheme)를 정의한다. 핵심 아이디어는 각 층(level)마다 라벨 집합을 제한하고, 동시에 발생 가능한 사건들의 집합을 “동시성 블록”(simultaneity block)으로 묶는 것이다. 이때 블록 내부의 사건들은 서로 simultaneity 관계에 있으며, 블록 간에는 serializability 관계가 적용된다. 저자들은 이러한 블록 기반 구조가 comtrace의 동치 관계를 정확히 재현함을 정리와 정리를 통해 증명한다.

또한, Kleijn‑Koutny가 제안한 결합 의존 그래프(CDG)를 재해석한다. CDG는 사건들을 정점으로, 직렬화 가능성을 간선으로 표현한 유향 그래프이며, 동시에 발생 가능한 사건들은 같은 강한 연결 성분(strongly connected component)으로 묶인다. 논문은 CDG와 LSOS 사이에 구조적 동형성을 구축함으로써, CDG가 실제로 LSOS의 그래프적 구현임을 보인다. 특히, CDG의 강한 연결 성분이 LSOS의 층화 레벨과 일치하고, 간선 방향이 serializability를 그대로 반영한다는 점을 상세히 분석한다.

마지막으로, 세 가지 표현 방식—comtrace 몽고메리, CDG, 그리고 새로운 LSOS—가 서로 동형임을 보이는 대표 정리(theorem of representation)를 제시한다. 이 정리는 각 표현을 서로 변환하는 알고리즘을 명시적으로 제공하며, 변환 과정에서 복잡도는 다항식 수준임을 증명한다. 따라서 실무에서 선택적인 표현을 자유롭게 사용할 수 있는 이론적 기반이 마련된다.

이러한 기여는 결합추적 이론을 보다 체계화하고, 동시성 시스템 모델링, 검증, 최적화 등에 적용할 수 있는 강력한 도구를 제공한다는 점에서 학술적·실용적 의미가 크다.