[논문 리뷰] Proust: A Design Space for Highly-Concurrent Transactional Data Structures

Thomas Dickerson, Paul Gazzillo외 2명|arXiv (Cornell University)|2017. 02. 16.

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

한 줄 요약

Proust는 기존의 스레드 세이프한 동시성 데이터 구조를 최소한의 가짜 충돌을 유발하면서도 트랜잭셔널로 전환할 수 있는 프레임워크를 제안한다. 이는 작업의 교환성과 기존 STM 시스템과의 통합을 통해 달성된다. Proust는 부스팅과 예측 기반 기법을 일반화하여 충돌 추상화와 업데이트 전략의 설계 공간을 제시함으로써 높은 동시성과 잘 설계된 라이브러리의 재사용을 가능하게 하며, 다시 작성하지 않고도 구현할 수 있다.

ABSTRACT

Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. This paper introduces Proust, a framework for the design and implementation of transactional data structures. Proust is designed to maximize re-use of existing well-engineered by providing transactional "wrappers" to make existing thread-safe concurrent data structures transactional. Proustian objects are also integrated with an underling STM system, allowing them to take advantage of well-engineered STM conflict detection mechanisms. Proust generalizes and unifies prior approaches such as boosting and predication.

연구 동기 및 목표

• 읽기/쓰기 세트 추적으로 인한 가짜 충돌로 인해 STM 시스템이 동시성 데이터 구조 라이브러리 지원에 한계를 가진다는 문제를 해결한다.
• 트랜잭셔널 의미 체계를 지원하기 위해 기존의 스레드 세이프 데이터 구조를 다시 작성할 필요 없이 통합할 수 있도록 한다.
• 부스팅과 예측 기반 기법을 통합적이고 확장 가능한 설계 공간으로 일반화하여 트랜잭셔널 데이터 구조를 위한 기반을 마련한다.
• 가짜 충돌을 최소화하는 트랜잭셔널 래퍼를 제공함으로써 잘 설계된 동시성 데이터 구조 라이브러리의 재사용을 가능하게 한다.
• 다양한 STM과 워크로드에 맞게 충돌 해결 전략과 업데이트 전략을 체계적으로 선택할 수 있는 방법론을 제공한다.

제안 방법

• 데이터 유형 내의 의미적 충돌 관계를 STM 내의 구체적 충돌 검출 메커니즘으로 매핑하는 충돌 추상화를 정의한다.
• 작업의 교환성—쌍별 또는 추상 상태 요소의 교환성으로 표현—을 기반으로 가짜 충돌을 줄인다.
• 기존의 STM 시스템과 통합하여 충돌 검출 및 롤백 메커니즘을 활용함으로써 재발명을 피한다.
• 두 가지 업데이트 전략을 지원한다: 작업의 역함수(즉각 롤백용)와 실사본(지연 재실행용), 메모이제이션된 재실행 최적화를 포함한다.
• SMT 솔버나 이중 단계 락을 사용하여 교환성의 자동 또는 보수적 근사치를 도출함으로써 설계 복잡도를 감소시킨다.
• 스칼라STM에서 프로토타입을 구현하여 다양한 구성(예: 즉각/지연, 낙관적/비관적)에서 성능 및 확장성 평가를 수행한다.

실험 결과

연구 질문

• RQ1 기존의 스레드 세이프 동시성 데이터 구조를 얼마나 적은 가짜 충돌로 트랜잭셔널 객체로 감싸는가?
• RQ2 어떤 설계 원칙이 의미적 충돌 정보를 일반적인 STM 시스템에 통합하는 데 기여하는가?
• RQ3 다양한 충돌 해결 전략(낙관적/비관적)과 업데이트 전략(즉각/지연)의 조합이 성능과 정확성에 어떤 영향을 미치는가?
• RQ4 Proust는 예측 기반과 같은 전용 STM 솔루션과 경쟁할 수 있는 성능을 달성할 수 있는가, 특히 임의의 데이터 유형을 지원할 수 있는가?
• RQ5 교환성 관계를 얼마나 자동으로 추론하거나 근사화할 수 있는가, 수동 지정을 줄일 수 있는가?

주요 결과

• Proustian 맵은 경쟁이 증가함에 따라 기존의 STM 구현보다 더 낮은 가짜 충돌로 인해 성능이 뛰어나며, 특히 최적화된 업데이트 전략을 사용할 경우 두드러진다.
• 즉각/낙관적 구성은 CCSTM에서 완전히 투명하지 않지만 벤치마크에서 정확성 위반 없이 작동하여 실용적인 타당성을 보였다.
• 객체 업데이트 빈도가 높아지면 성능이 저하되며, 이는 로그 재실행 비용이 업데이트 수에 비례하기 때문이다. 이는 예측 기반의 위치 기반 재실행과는 대비된다.
• 실사본의 메모이제이션은 최종 상태 변경 사항만 재실행함으로써 합성 업데이트 워크로드에서 성능을 크게 향상시킨다.
• Proust는 예측 기반과 같은 전용 기법과 경쟁 가능한 확장성을 달성하지만, 집합과 맵을 넘어서도 광범위하게 적용 가능하다.
• 이 프레임워크는 기존의 동시성 데이터 구조 라이브러리의 재사용을 가능하게 하며, 다시 작성하지 않고도 높은 동시성을 유지하면서 엔지니어링 비용을 줄였다.