[논문 리뷰] Maintaining Acyclicity of Concurrent Graphs

Sathya Peri, Muktikanta Sa외 1명|arXiv (Cornell University)|2016. 11. 12.

Distributed systems and fault tolerance참고 문헌 7인용 수 6

한 줄 요약

이 논문은 동시 업데이트 상황에서 방향 그래프의 무사이클성(invariant)을 유지하기 위해 고안된 두 가지 동시 알고리즘—장애 없이 스냅샷을 활용하는 알고리즘과 대기 없이 도달 가능성을 검사하는 알고리즘—을 제시한다. 이는 거친 잠금 기반 기반선 대비 뛰어난 성능 향상을 이룩하며, 스케일러블하고 효율적인 그래프 연산을 가능하게 하면서도, 데이터베이스의 일관성 그래프 테스트나 트랜잭셔널 메모리와 같은 응용 분야에서 핵심적인 역할을 하는 무사이클성 불변성을 유지한다.

ABSTRACT

In this paper, we consider the problem of preserving acyclicity in a directed graph (for shared memory architecture) that is concurrently being updated by threads adding/deleting vertices and edges. To the best of our knowledge, no previous paper has presented a con- current graph data structure. We implement the concurrent directed graph data-structure as a concurrent adjacency list representation. We extend the lazy list implementation of concurrent linked lists for maintaining concurrent adjacency lists. There exists a number of graph applications which require the acyclic invariant in a directed graph. One such example is Serialization Graph Testing Algorithm used in databases and transactional memory. We present two concurrent algorithms for maintaining acyclicity in a concurrent graph: (i) Based on obstruction-free snapshots (ii) Using wait-free reachability. We compare the performance of these algorithms against the coarse-grained locking strategy, commonly used technique for allowing concurrent updates. We present the speedup obtained by these algorithms over sequential execution. As a future direction, we plan to extend this data structure for other progress conditions.

연구 동기 및 목표

• 동시 업데이트 상황에서도 무사이클성을 유지하는 동시 그래프 데이터 구조의 부재를 해결하기 위해.
• 스레드가 동적으로 정점과 간선을 추가하거나 삭제하는 공유 메모리 시스템에서 효율적이고 스케일러블한 그래프 연산을 가능하게 하기 위해.
• 데이터베이스의 일관성 그래프 테스트나 트랜잭셔널 메모리와 같이 무사이클성 불변성이 요구되는 핵심 응용을 지원하기 위해.
• 동시 액세스 상황에서도 정확성을 보장하면서 블로킹과 경쟁을 최소화하는 알고리즘 설계를 위해.

제안 방법

• 동시 연결 리스트를 위한 레이지 리스트 접근 방식을 확장하여 방향 그래프에서 동시 인접 리스트를 구현한다.
• 장애 없는 스냅샷을 사용하여 동시 간선 삽입 중에 사이클을 탐지하고 방지한다.
• 블로킹 없이 도달 가능성을 검사함으로써 무사이클성을 확인하고, 경쟁 상황에서도 진행 보장을 보장한다.
• 스레드 세이프한 방식으로 동적 그래프 업데이트를 지원하기 위해 동시 인접 리스트 표현을 구현한다.
• 실시간으로 무사이클성 특성을 검증하기 위한 경량이면서 효율적인 사이클 탐지 메커니즘을 통합한다.
• 기준선으로 거친 잠금 기반 대비 성능을 평가하며, 주로 속도 향상과 스케일러비리티에 중점을 둔다.

실험 결과

연구 질문

• RQ1 장애 없는 스냅샷 기반 기법이 동시 방향 그래프에서의 무사이클성 유지에 효과적으로 활용될 수 있는가?
• RQ2 대기 없는 도달 가능성 기반 기법이 거친 잠금 기반 대비 사이클 탐지에 있어 스케일러블한 대안이 될 수 있는가?
• RQ3 제안된 알고리즘의 성능은 거친 잠금 기반 대비 속도 향상과 스케일러비리티 측면에서 어떻게 비교되는가?
• RQ4 동시 업데이트 상황에서 무사이클성 유지를 위한 진행 보장과 성능 사이의 상충 관계는 어떠한가?

주요 결과

• 제안된 알고리즘은 순차적 실행 대비 뚜렷한 속도 향상을 보이며, 동시 환경에서 높은 스케일러비리티를 입증한다.
• 장애 없는 스냅샷 기반 알고리즘은 거친 잠금 기반 대비 경쟁을 줄이고 처리량을 향상시킨다.
• 대기 없는 도달 가능성 접근 방식은 고도의 경쟁 상황에서도 진행 보장을 보장하여 더 강력한 진행 보장을 제공한다.
• 두 알고리즘 모두 동시 정점 및 간선 연산 중에 무사이클성 불변성을 성공적으로 유지한다.
• 성능 평가 결과, 알고리즘이 스케일러비리티와 반응성 측면에서 거친 잠금 기반을 뛰어넘는 것으로 확인되었다.
• 결과적으로, 강력한 정확성 보장을 갖춘 효율적인 동시 그래프 데이터 구조를 구축할 수 있음을 검증한다.