[논문 리뷰] Sequential Consistency and Concurrent Data Structures

Ali Sezgin|arXiv (Cornell University)|2015. 06. 16.

Distributed systems and fault tolerance인용 수 3

한 줄 요약

이 논문은 동시성 데이터 구조에서 선형화 가능성보다 약한 대안으로 순차 일관성(SC)을 조사하며, 스레드가 동기화 없이 작동할 수 있는 단순히 손상된 구현이 허용된다는 점을 드러낸다. 이를 해결하기 위해 저자는 k-SC를 제안한다. k-SC는 최대 k개의 로컬 이벤트 이후 동기화를 강제하는 SC의 정량적 강화 버전으로, SC와 선형화 가능성 사이에 확장 가능한 계층을 형성한다.

ABSTRACT

Linearizability, the de facto correctness condition for concurrent data structure implementations, despite its intuitive appeal is known to lead to poor scalability. This disadvantage has led researchers to design scalable data structures satisfying consistency conditions weaker than linearizability. Despite this recent trend, sequential consistency as a strictly weaker consistency condition than linearizability has received no interest. In this paper, we investigate the applicability of sequential consistency as an alternative correctness criterion for concurrent data structure implementations. Our first finding formally justifies the reluctance in moving towards sequentially consistent data structures: Implementations in which each thread modifies only its thread-local variables are sequentially consistent for various standard data structures such as pools, queues and stacks. We also show that for almost all data structures, and the data structures we consider in this paper, it is possible to have sequentially consistent behaviors in which a designated thread does not synchronize at all. As a potential remedy, we define a hierarchy of quantitatively strengthened variants of sequential consistency such that the stronger the variant the more synchronization it enforces which at the limit is equal to that enforced by linearizability.

연구 동기 및 목표

• 선형화 가능성에 비해 이론적으로 매력적이지만, 동시성 데이터 구조에 대한 타당한 정확성 기준으로서 순차 일관성(SC)을 평가하기 위해.
• 표준 데이터 구조에서 비동기화 및 의미론적으로 잘못된 행동을 허용하는 SC의 근본적인 약점을 밝혀내기 위해.
• 고립된 비동기화 스레드를 방지하면서도 확장성을 유지할 수 있도록 SC를 정량적으로 개선한 k-SC를 제안하기 위해.
• 제한된 비동기화 간격을 통해 SC와 선형화 가능성 사이의 형식적 계층을 구축하기 위해.
• 큐, 스택, 풀과 같은 일반적인 데이터 구조가 SC의 강제 메커니즘이 부족하여 취약하다는 것을 입증하기 위해.

제안 방법

• 메서드 시퀀스가 데이터 구조의 현재 상태와 관계없이 유효한 성질로 강건성(robustness)을 정의한다.
• 어떤 두 유효한 동작도 다른 유효한 동작으로 교차 배치될 수 있는 구조적 성질로 복합성(composability)을 도입한다.
• 로컬 이벤트 시퀀스가 강건할 경우 스레드가 동기화를 무기한 연기할 수 있는 SC의 구현을 구성한다.
• k-SC를 제안한다: 모든 스레드가 최대 k개의 로컬 이벤트 이후에 적어도 한 번은 동기화해야 하는 SC의 변종.
• 로컬 버퍼링을 통해 연산을 일시 저장하고, k개의 이벤트가 발생했거나 강건성 위반이 발생했을 때 원자적으로 커밋하는 k-SC의 템플릿 알고리즘을 설계한다.
• k-SC를 특징짓는 k-직렬력 히스토리(k-serial histories)를 형식적으로 정의하며, 0-SC는 선형화 가능성과 동치이다.

실험 결과

연구 질문

• RQ1 큐, 스택, 풀과 같은 일반적인 데이터 구조의 순차 일관성 구현에서, 동기화가 부족하여 의미론적으로 잘못된 동작이 발생할 수 있는가?
• RQ2 복합성, 강건성 등의 구조적 조건에서 SC의 구현이 의미 있는 동기화를 강제하지 못하는 조건는 무엇인가?
• RQ3 비동기화 스레드를 방지하면서도 확장성을 유지할 수 있도록 SC를 정량적으로 강화할 수 있는가?
• RQ4 k-SC는 선형화 가능성과 어떻게 관련되어 있으며, 실용적인 중간 일관성 조건으로서 기능할 수 있는가?
• RQ5 로컬 버퍼링과 원자적 커밋 메커니즘을 사용하여 k-SC는 실제로 효과적으로 구현될 수 있는가?

주요 결과

• 모든 표준 데이터 구조(풀, 큐, 스택, 레지스터)에 대해 스레드가 다른 스레드와 동기화 없이 무한히 긴 시퀀스를 수행할 수 있는 순차 일관성 구현이 존재한다.
• 큐와 스택과 같은 복합성 있는 데이터 구조에서는 완전히 비동기화된 구현이 순차 일관성에 부합하여, 처리되지 않은 작업과 같은 잘못된 프로그램 동작을 유도할 수 있다.
• 강건한 시퀀스(예: push, enqueue)의 존재는 스레드가 일관성에 영향을 주지 않고 고립된 상태에서 연산을 수행할 수 있음을 의미한다.
• k-SC는 스레드가 최대 k개의 이벤트 이후에 적어도 한 번은 동기화해야 한다는 조건으로 형식적으로 정의되며, 0-SC는 선형화 가능성과 동치이다.
• k-SC 모델은 SC와 선형화 가능성 사이에 연속적인 스펙트럼을 제공하여, 제한된 비동기화 간격을 갖는 확장 가능한 구현을 가능하게 한다.
• k-SC 템플릿은 기존의 단일 구현을 로컬 버퍼링과 임계값 또는 강건성 위반 시 원자적 커밋을 적용하여 수정함으로써 효과적으로 구현될 수 있다.