[논문 리뷰] Local Linearizability

Andreas Haas, Thomas A. Henzinger외 7명|arXiv (Cornell University)|2015. 02. 25.

Distributed systems and fault tolerance참고 문헌 34인용 수 4

한 줄 요약

이 논문은 큐나 스택과 같은 컨테이너 유형의 동시성 데이터 구조를 위한 완화된 일관성 조건인 로컬 선형화 가능성(local linearizability)을 도입한다. 이 조건은 각 스레드가 자신의 연산과 자신의 값들을 제거하는 연산을 선형화 가능한 순서로 관찰하도록 보장한다. 기존의 선형화 가능한 빌딩 블록과 로컬 빠른 경로 최적화를 활용함으로써, 저자들은 전통적인 선형화 가능 구현과 완화된 구현 방식보다도 뛰어난 성능과 확장성을 달성하였으며, 핵심 워크로드에서 k-out-of-order 유형조차도 능가한다.

ABSTRACT

The semantics of concurrent data structures is usually given by a sequential specification and a consistency condition. Linearizability is the most popular consistency condition due to its simplicity and general applicability. Nevertheless, for applications that do not require all guarantees offered by linearizability, recent research has focused on improving performance and scalability of concurrent data structures by relaxing their semantics. In this paper, we present local linearizability, a relaxed consistency condition that is applicable to container-type concurrent data structures like pools, queues, and stacks. While linearizability requires that the effect of each operation is observed by all threads at the same time, local linearizability only requires that for each thread T, the effects of its local insertion operations and the effects of those removal operations that remove values inserted by T are observed by all threads at the same time. We investigate theoretical and practical properties of local linearizability and its relationship to many existing consistency conditions. We present a generic implementation method for locally linearizable data structures that uses existing linearizable data structures as building blocks. Our implementations show performance and scalability improvements over the original building blocks and outperform the fastest existing container-type implementations.

연구 동기 및 목표

• 동시성 데이터 구조에서 선형화 가능성이 가지는 성능 및 확장성 한계를 해결하기 위해 완화된 일관성 조건을 도입하는 것.
• 전체 스레드의 정확성을 유지하면서도 전역 동기화 오버헤드를 줄이는 일관성 모델을 정의하는 것.
• 기존의 선형화 가능한 데이터 구조를 빌딩 블록으로 사용하는 일반적인 구현 방법을 제공하는 것.
• 기존 접근 방식과 비교하여 로컬 선형화 가능 구현의 성능 및 확장성에 대한 실증적 평가를 수행하는 것.
• 로컬 선형화 가능성이 실세계 워크로드에 적합한 실용적이고 고성능 동시성 데이터 구조를 가능하게 하는지 보여주는 것.

제안 방법

• 각 스레드의 연산(자신의 삽입 및 자신의 값들을 제거하는 연산)이 선형화 가능하도록 보장하는 스레드 로컬 일관성 조건으로서 로컬 선형화 가능성을 제안한다.
• 스레드에 의해 삽입된 값의 삽입 및 제거 연산에 대해 전역 실행을 투영한 것을 스레드에 의해 유도된 역사(history)로 정의하며, 제거가 어디서 발생하는지에 관계없이 적용된다.
• 기존의 선형화 가능한 데이터 구조(예: MS 큐, Treiber 스택)를 빌딩 블록으로 사용하고, 성능 향상을 위해 로컬 빠른 경로를 추가로 강화한다.
• 로컬 연산과 원격 동기화를 조합한 하이브리드 접근 방식을 사용하며, 로컬 연산은 즉각적인 전역 일관성 검사를 거치지 않고 처리된다.
• 모듈러 검증 기법을 적용한다: 전체 구조의 정확성은 빌딩 블록의 선형화 가능성과 유도된 역사에서의 로컬 선형화 가능성에 기반한다.
• 40코어 시스템에서 스레드 수를 다양하게 설정한 프로듀서-컨슈머 및 순차 교차 워크로드를 대상으로 마이크로 벤치마크를 수행하여 성능 및 확장성 평가를 수행한다.

실험 결과

연구 질문

• RQ1 성능과 확장성을 향상시키면서도 각 스레드의 정확성을 유지하는 완화된 일관성 조건을 정의할 수 있는가?
• RQ2 실제로 로컬 선형화 가능성은 k-out-of-order나 수면 일관성과 같은 기존의 완화된 의미론과 비교하여 어떻게 성능을 내는가?
• RQ3 기존의 선형화 가능한 데이터 구조를 최소한의 수정으로 로컬 선형화 가능하게 조합할 수 있으며, 이로 인해 측정 가능한 성능 향상이 이루어지는가?
• RQ4 로컬 빠른 경로가 고콘텐션 워크로드에서 확장성에 미치는 영향은 어떠한가?
• RQ5 로컬 선형화 가능성이 큐나 스택과 같은 일반적인 컨테이너 유형에 대해 정확하고 효율적인 구현을 가능하게 하는가?

주요 결과

• LCRQ(Locally Consistent Ring Queue)와 LLD(Locally Linearized Dual) 데이터 구조는 고콘텐션 워크로드에서 표준 선형화 가능 구현과 k-out-of-order 유형 모두를 능가한다.
• LLD LCRQ와 LL + D Treiber 스택은 80개 스레드까지 거의 선형 확장성을 보이며, 10개 스레드를 넘어서면 MS 큐와 Treiber 스택을 능가한다.
• LLD 최적화(로컬 연산 우선순위)는 특히 k-FIFO가 성능이 떨어지는 거의 비어 있는 상태에서 성능 향상에 크게 기여한다.
• 순차 교차 워크로드에서 LLD LCRQ와 LLD k-Stack은 k-out-of-order 대비 우수한 성능을 보이며, 로컬 빠른 경로의 이점이 입증된다.
• 로컬 선형화 가능성을 통해 정확성과 고확장성을 동시에 확보한 구현이 가능하며, 기존의 선형화 가능 대비 몇 배 빠른 성능 향상을 달성할 수 있다.
• 로컬 선형화 가능성의 검증은 모듈러하고 구성 가능하며, 빌딩 블록의 선형화 가능성과 큐잉 및 디큐잉 순서에 대한 단순한 공리적 조건에 기반한다.