일관성(coherence)과 일치성(consistency)의 차이점은 무엇인가요?

일관성은 단일 메모리 위치에 관한 것입니다. 모든 캐시는 궁극적으로 해당 값에 동의하고 해당 값에 대한 쓰기 작업을 순서대로 보아야 합니다. 일치성(메모리 일치성 모델)은 다른 프로세서에 의해 관찰되는 다른 위치에 걸친 연산의 순서에 관한 것입니다. 일관성은 잘 정의된 일치성 모델을 위해 필요하지만 충분하지는 않습니다.

거짓 공유(false sharing)란 무엇인가요?

거짓 공유는 다른 코어에서 사용되는 독립적인 변수들이 우연히 동일한 캐시 블록에 위치할 때 발생합니다. 일관성은 블록 단위로 작동하기 때문에, 한 코어의 쓰기 작업은 다른 변수를 건드리더라도 다른 코어의 블록을 무효화하여 불필요한 일관성 트래픽과 속도 저하를 유발합니다.

캐시 일관성 프로토콜

캐시 일관성 프로토콜은 공유 메모리 다중 처리기 내의 여러 개인 캐시를 일관되게 유지하여, 한 코어가 메모리 위치에 기록할 때 다른 코어가 오래된 캐시된 복사본을 계속 읽지 않도록 보장합니다.

PaperMind(으)로 주제 찾기곧 제공Find papers & topics

Tools & resources

슬라이드 다운로드

Learn & explore

동영상곧 제공

Definition

캐시 일관성 프로토콜은 각 캐시 블록의 상태를 추적하고 읽기 및 쓰기 작업을 조정하여 쓰기 작업이 가시화되고 오래된 복사본이 사용되지 않도록 함으로써, 여러 프로세서의 개인 캐시 전반에 걸쳐 공유 메모리의 일관된 보기를 유지하는 메커니즘입니다.

Scope

이 주제는 일관성 문제와 그 해결책을 다룹니다: 무효화(invalidation) 대 업데이트(update) 프로토콜, 공유 버스 상의 스누핑(snooping) 프로토콜, 확장 가능한 시스템을 위한 디렉토리 기반 프로토콜, 그리고 MSI 및 MESI와 같은 표준 상태 머신. 하드웨어가 캐시 전반에 걸쳐 일관된 메모리 보기를 어떻게 유지하는지 설명합니다. 주소 전반의 연산 순서(메모리 일관성, 공유 메모리 및 일관성 하에서)와 단일 캐시 정책(캐시 구성 및 정책)은 제외합니다.

Core questions

캐시가 일관적이라는 것은 무엇을 의미하며, 왜 일관성이 필요한가요?
무효화 프로토콜과 업데이트 프로토콜은 어떻게 다른가요?
스누핑 프로토콜은 공유 인터커넥트를 사용하여 어떻게 일관성을 유지하나요?
디렉토리 프로토콜은 공유 버스를 넘어 어떻게 일관성을 확장하나요?

Key concepts

일관성 문제
무효화 대 업데이트 프로토콜
스누핑 프로토콜
디렉토리 기반 프로토콜
MSI 및 MESI 상태
공유 버스 및 인터커넥트
거짓 공유
쓰기 직렬화

Key theories

상태 기반 일관성 (MSI/MESI): 각 캐시된 블록은 소수의 상태(예: 수정됨(Modified), 독점(Exclusive), 공유(Shared), 무효(Invalid))로 추적됩니다. 읽기 및 쓰기 작업은 상태 전환 및 일관성 메시지를 트리거하여 최대 하나의 작성자를 보장하고 독자가 오래된 데이터를 보지 않도록 합니다.

Mechanisms

각 캐시 블록은 일관성 상태를 가집니다. 스누핑 프로토콜에서는 모든 캐시가 버스 트랜잭션을 관찰(스누핑)하고 그에 따라 자신의 복사본을 업데이트하거나 무효화합니다. 디렉토리 프로토콜에서는 디렉토리가 각 블록을 어떤 캐시가 가지고 있는지 기록하고 대상 일관성 메시지를 보냅니다. 공유 블록에 대한 쓰기 작업은 먼저 다른 복사본을 무효화(무효화 프로토콜에서)하여, 데이터를 수정하기 전에 작성자에게 독점적인 소유권을 부여합니다.

Clinical relevance

일관성은 공유 메모리 다중 처리를 프로그래밍 가능하게 만듭니다. 소프트웨어는 메모리를 단일 공유 저장소로 취급할 수 있으며 하드웨어는 여러 캐시의 존재를 숨깁니다. 그러나 일관성 트래픽과 거짓 공유(false sharing)와 같은 효과는 병렬 프로그램의 성능을 지배할 수 있으므로, 확장 가능한 다중 스레드 소프트웨어 개발에 있어 일관성에 대한 인식은 중요합니다.

History

일관성 프로토콜은 1980년대 버스 기반 다중 처리기와 함께 등장했으며, 이때 쓰기-무효화(write-invalidate) 및 MESI 계열과 같은 스누핑 방식이 표준이 되었습니다. 시스템이 단일 버스를 넘어 확장됨에 따라 분산 공유 메모리를 위한 디렉토리 기반 프로토콜이 개발되었고, 일관성은 멀티코어 프로세서에서 여전히 핵심 설계 문제로 남아 있습니다.

Debates

스누핑 대 디렉토리 일관성: 스누핑은 소규모 공유 버스 시스템에서 간단하고 빠르지만 확장성이 떨어지는 반면, 디렉토리는 복잡성과 저장 공간 비용으로 많은 코어로 확장됩니다. 대규모 설계에서는 종종 계층적 또는 하이브리드 접근 방식을 결합합니다.

Key figures

David E. Culler
Mark D. Hill
James R. Goodman
John L. Hennessy

Seminal works

hennessy2019
culler1999

Frequently asked questions

일관성(coherence)과 일치성(consistency)의 차이점은 무엇인가요?: 일관성은 단일 메모리 위치에 관한 것입니다. 모든 캐시는 궁극적으로 해당 값에 동의하고 해당 값에 대한 쓰기 작업을 순서대로 보아야 합니다. 일치성(메모리 일치성 모델)은 다른 프로세서에 의해 관찰되는 다른 위치에 걸친 연산의 순서에 관한 것입니다. 일관성은 잘 정의된 일치성 모델을 위해 필요하지만 충분하지는 않습니다.
거짓 공유(false sharing)란 무엇인가요?: 거짓 공유는 다른 코어에서 사용되는 독립적인 변수들이 우연히 동일한 캐시 블록에 위치할 때 발생합니다. 일관성은 블록 단위로 작동하기 때문에, 한 코어의 쓰기 작업은 다른 변수를 건드리더라도 다른 코어의 블록을 무효화하여 불필요한 일관성 트래픽과 속도 저하를 유발합니다.