[논문 리뷰] Distributionally Linearizable Data Structures

Dan Alistarh, Trevor Brown외 3명|arXiv (Cornell University)|2018. 04. 03.

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

한 줄 요약

이 논문은 랜덤화된 완화된 동시 데이터 구조에 대한 새로운 정합성 조건인 분포 선형화 가능성을 도입하고, MultiQueue의 변종과 새로운 MultiCounter 데이터 구조가 순차적 동작에서의 이탈에 대해 강력한 확률적 보장을 달성함을 증명한다. 저자들은 비동기적 두 선택 로드 밸런싱 프로세스를 분석하며, 비일관된 읽기 상황에서도 낮은 편향과 확장성을 보임을 보이며, MultiCounter 기반 타임스탬프를 사용해 TL2 트랜잭셔널 알고리즘의 성능을 최대 3배로 향상시켜 실증적으로 검증한다.

ABSTRACT

Relaxed concurrent data structures have become increasingly popular, due to their scalability in graph processing and machine learning applications. Despite considerable interest, there exist families of natural, high performing randomized relaxed concurrent data structures, such as the popular MultiQueue pattern for implementing relaxed priority queue data structures, for which no guarantees are known in the concurrent setting. Our main contribution is in showing for the first time that, under a set of analytic assumptions, a family of relaxed concurrent data structures, including variants of MultiQueues, but also a new approximate counting algorithm we call the MultiCounter, provides strong probabilistic guarantees on the degree of relaxation with respect to the sequential specification, in arbitrary concurrent executions. We formalize these guarantees via a new correctness condition called distributional linearizability, tailored to concurrent implementations with randomized relaxations. Our result is based on a new analysis of an asynchronous variant of the classic power-of-two-choices load balancing algorithm, in which placement choices can be based on inconsistent, outdated information (this result may be of independent interest). We validate our results empirically, showing that the MultiCounter algorithm can implement scalable relaxed timestamps, which in turn can improve the performance of the classic TL2 transactional algorithm by up to 3 times, for some settings of parameters.

연구 동기 및 목표

• MultiQueue와 근사 카운터와 같이 널리 사용되는 완화된 동시 데이터 구조에 대한 공식적인 정합성 보장이 부족한 문제를 해결하기 위해.
• 기존 선형화가 적용되지 않는 랜덤화된 완화된 동시 데이터 구조에 적합한 정합성 조건을 체계화하기 위해.
• 비동기성과 비일관된 읽기 상황에서 동시 실행 환경에서의 두 선택 로드 밸런싱 프로세스의 강건성 분석을 위해.
• TL2와 같은 실제 알고리즘에서 MultiCounter가 성능 향상에 기여할 수 있음을 보여줌으로써 실용적 유용성을 입증하기 위해.
• 임의의 동시 환경에서 랜덤화된 동시 데이터 구조의 행동과 보장을 이해하기 위한 첫 번째 분석 프레임워크를 제공하기 위해.

제안 방법

• 비용 함수와 이격도에 대한 분포를 매개변수로 하는 분포 선형화 가능성을 제안하여 동시 실행을 완화된 순차적 프로세스로 매핑하는 정합성 조건으로서의 역할을 수행한다.
• 선택이 오래된 값에 기반하는 고전적인 두 선택 로드 밸런싱 알고리즘의 비동기 변종을 분석하며, 악의적인 인터리빙 조건 하에서도 낮은 불균형도(O(log log n))를 유지함을 증명한다.
• 스레드가 두 개의 랜덤 카운터를 선택하고, 더 작은 카운터를 증가시키며, 크기를 유지하기 위해 n으로 스케일링된 무작위로 선택된 카운터를 반환하는 분산 카운터로서 MultiCounter를 체계화한다.
• MultiCounter가 순차적 두 선택 로드 밸런싱 프로세스에 대해 분포 선형화 가능함을 증명하며, 이로 인해 편향이 제한되고 확장성이 보장됨을 입증한다.
• 프레임워크를 MultiQueues로 확장하여 이 인기 있는 완화된 우선순위 큐 패턴에 대한 첫 번째 공식적 보장을 도출한다.
• MultiCounter를 구현하고, TL2 트랜잭셔널 메모리 시스템에서 확장 가능한 근사 타임스탬프 메커니즘으로 평가한다.

실험 결과

연구 질문

• RQ1 랜덤화된 완화된 동시 데이터 구조인 MultiQueue와 근사 카운터의 행동을 공식적으로 기술하고 추론할 수 있는가?
• RQ2 비동기성과 비일관된 읽기 상황에서 동시 실행 환경에서 두 선택 로드 밸런싱 전략이 여전히 효과적인가?
• RQ3 완화되고 랜덤화된 동시 데이터 구조에 대한 확률적 보장을 포괄하는 정합성 조건을 정의할 수 있는가?
• RQ4 실제로 MultiCounter 데이터 구조가 낮은 편향과 확장성을 얼마나 오랫동안 유지하는가?
• RQ5 이러한 완화된 데이터 구조를 기존 동시 알고리즘의 성능 향상에 활용할 수 있는가?

주요 결과

• 오래된 읽기 상황이 있는 비동기적 두 선택 로드 밸런싱 프로세스는 예상 최대 로드 차이가 O(log log n)로 유지되어 악의적인 동시성 조건 하에서도 강력한 균형을 확보한다.
• MultiCounter 데이터 구조는 순차적 두 선택 프로세스에 대해 분포 선형화 가능함이 증명되었으며, 이는 순차적 동작에서의 이격도에 대한 공식적인 확률적 보장을 제공한다.
• 인기 있는 완화된 우선순위 큐 패턴인 MultiQueues는 분포 선형화 가능함이 공식적으로 입증되었으며, 이는 이 클래스의 데이터 구조에 대한 첫 번째 분석적 보장을 제공한다.
• 실증 평가 결과, MultiCounter 기반 근사 타임스탬프가 특정 파라미터 설정에서 TL2 트랜잭셔널 메모리 알고리즘의 성능을 최대 3배로 향상시킬 수 있음을 보였다.
• 분석 프레임워크는 MultiQueue의 변종과 근사 카운터를 포함한 다양한 완화된 동시 데이터 구조를 커버할 수 있을 정도로 일반적이며 유연하다.
• 결과적으로, 완화되고 랜덤화된 동시 데이터 구조는 공식적으로 분석 가능하며 고성능 시스템에서 실용적으로 효과적일 수 있음을 입증한다.