[논문 리뷰] TARDIS: Timestamp based Coherence Algorithm for Distributed Shared Memory

Xiangyao Yu, Srinivas Devadas|arXiv (Cornell University)|2015. 01. 19.

Parallel Computing and Optimization Techniques참고 문헌 34인용 수 8

한 줄 요약

TARDIS는 분산 공유 메모리용 신규 타임스탬프 기반 일관성 프로토콜로, 다중방송이나 $O(N)$ 수준의 공유자 추적을 사용하지 않고 순차 일관성을 강제한다. 캐시 블록당 $O(\log N)$ 저장소를 사용하며, 16~256코어 벤치마크에서 디렉터리 프로토콜 성능을 따라가며, 전역 시계 동기화나 브로드캐스트를 요구하지 않아도 되어 확장성과 단순성이 뛰어나다.

ABSTRACT

A new memory coherence protocol, Tardis, is proposed. Tardis uses timestamp counters representing logical time as well as physical time to order memory operations and enforce sequential consistency in any type of shared memory system. Tardis is unique in that as compared to the widely-adopted directory coherence protocol, and its variants, it completely avoids multicasting and only requires O(log N) storage per cache block for an N-core system rather than O(N) sharer information. Tardis is simpler and easier to reason about, yet achieves similar performance to directory protocols on a wide range of benchmarks run on 16, 64 and 256 cores.

연구 동기 및 목표

• 다중방송 또는 $O(N)$ 수준의 공유자 추적을 필요로 하는 전통적인 디렉터리 기반 일관성 프로토콜의 확장성 한계를 해결한다.
• 물리적 시간 동기화나 브로드캐스트 메커니즘에 의존하지 않고 순차 일관성을 강제하는 일관성 프로토콜을 개발한다.
• 대규모 공유 메모리 시스템, 특히 막대한 코어 수를 가진 분산 시스템에서 높은 성능과 낮은 저장소 오버헤드를 달성한다.
• 공유자를 명시적으로 추적할 필요를 제거함으로써 프로토콜 설계와 검증을 단순화하면서도 순차 일관성 하에서 정확성을 유지한다.
• 타임스탬프 기반 접근 방식이 복잡한 디렉터리 프로토콜과 비슷한 성능을 낼 수 있으며, 하드웨어 복잡도를 최소화할 수 있음을 입증한다.

제안 방법

• 전역 메모리 순서를 나타내기 위해 물리적 시간이 아닌 논리적 타임스탬프를 사용하여 전역 시계 동기화 없이도 메모리 연산의 순서를 정할 수 있도록 한다.
• 각 메모리 연산에 전역 실행 순서에서의 위치를 반영하는 타임스탬프를 할당하여 규칙 1(프로그램 순서는 메모리 순서를 암시한다)을 준수하도록 한다.
• 모든 이전 연산이 순서가 정해지면 쓰기자가 타임스탬프 카운터를 업데이트하여 시간을 앞당길 수 있도록 하여, 무효화 확인 응답을 기다리지 않고 즉시 쓰기 작업을 수행할 수 있도록 한다.
• 캐시 블록당 현재 타임스탬프와 소유자 ID만 저장함으로써 공유자 목록이 필요 없어져 블록당 저장소를 $O(\log N)$로 줄였다.
• 다중방송을 제거하여 타임스탬프 기반 순서를 통해 일관성을 암묵적으로 강제함으로써 모든 공유자에게 무효화 메시지를 보내는 필요성을 없앤다.
• 고콘텐션 상황에서 업데이트를 연기하기 위해 레이스 기반 메커니즘을 사용하여 읽기 중심 워크로드에서 성능을 향상시킨다.

실험 결과

연구 질문

• RQ1 논리적 타임스탬프에만 의존하는 일관성 프로토콜이 물리적 시간 동기화나 다중방송에 의존하지 않고도 순차 일관성을 강제할 수 있는가?
• RQ2 블록당 저장소 오버헤드를 $O(N)$에서 $O\left(\log N\right)$로 줄일 수 있으며, 이와 동시에 디렉터리 프로토콜 수준의 성능을 유지할 수 있는가?
• RQ3 쓰기자가 논리적 시간을 뛰어넘어 '앞서서' 진행할 수 있도록 허용하는 타임스탬프 기반 프로토콜이 순차 일관성 하에서 정확성을 유지하는 방식은 무엇인가?
• RQ4 16~256코어의 대규모 공유 메모리 시스템에서 다중방송과 공유자 추적을 제거했을 때의 성능 영향은 어떠한가?
• RQ5 보다 단순한 프로토콜인 TARDIS가 정확성을 희생시키지 않고 실제 벤치마크에서 기존의 복잡한 디렉터리 기반 기법보다 뛰어나거나 비슷한 성능을 낼 수 있는가?

주요 결과

• TARDIS는 16, 64, 256코어 시스템에서 다양한 벤치마크에서 기준 디렉터리 프로토콜과 유사한 성능을 달성한다.
• 공유자를 명시적으로 추적할 필요 없이 블록당 저장소를 $O(N)$에서 $O(\log N)$로 줄였다.
• TARDIS는 다중방송과 전역 시계 동기화를 피함으로써 구현을 단순화하고 확장성을 향상시켰다.
• 순차 일관성 하에서 프로토콜의 정확성이 공식적으로 증명되었으며, 核심 통찰은 쓰기자가 무효화를 기다리지 않고 논리적 시간을 뛰어넘어 앞으로 점프할 수 있다는 것이다.
• 대부분의 워크로드에서 레이스 기간에 대한 민감도가 낮아, 스피닝 벤치마크에서는 장기 레이스에서 성능 저하가 나타나는 것으로 나타나 지능적인 레이스 관리의 여지가 있음을 시사한다.
• TARDIS는 공유 복제본의 만료를 기다리지 않고 다중방송이나 물리적 시간 의존성을 피함으로써 기존의 타임스탬프 기반 프로토콜인 LCC보다 뛰어난 성능을 낸다.