캐시 일관성 유지기법

I. 캐시 메모리 일관성 문제점

가. 캐시 메모리 일관성(Coherence) 문제

• 다중 프로세스 환경에서 데이터가 여러 캐시에 복사되어 있어 캐시 간 데이터 불일치 현상 발생

나. 캐시 데이터 불일치 원인

①   변경 가능 데이터 공유 ② 입출력 동작 ③ 멀티 프로세서환경

 

II. 캐시 일관성(Cache Coherence) 유지기법

가. S/W 측면의 캐시 일관성 유지기법

기법	설명
공유 캐시	– 모든 프로세서들이 하나의 공유 캐시 – 장점: 항상 캐시 일관성 유지 – 단점: 프로세서 간 캐시 액세스 충돌 가능
공유 변수 캐시 미사용	– 변경 가능한 변수는 주기억장치에만 저장 – Lock 변수(임계영역) 공유 캐시 미사용

– H/W 기법보다 간단하나 캐시 이용률 저하

나. H/W 측면의 캐시 일관성 유지기법

기법	설명
디렉토리 프로토콜 기반	– 캐시 블록 공유 상태 저장하는 공간 이용 – Full map: 중앙집중식, 복사본 포인터 – Limited: Fullmap 작게 유지, 메모리 효율화 – Cache: 포인터를 Linked-list로 연결
스누피 프로토콜 기반	– 주소버스 감시, 캐시 상 접근 검사 – 다른 캐시 쓰기 발생 시 자기 정보 무효화 – Write Through: 캐시 수정 → 메모리 갱신 – Write Back: 캐시 수정 → 메모리 갱신X

– Write Through는 VI 프로토콜, Write Back은 MESI 프로토콜로 대표됨
 

III. 캐시 일관성 문제 해결 기법 VI와 MESI

가. Write Through 기반 VI(Valid & Invalid)

구분	상세설명
개념도
개념	– 프로세서가 캐시 데이터 수정 시 주기억장치로 갱신
캐시 상태	V: Valid → 캐시 내용 = 주기억장치 내용
	I: Invalid → 캐시 내용 != 주기억장치 내용

– 스누피 제어기는 메인 메모리 변경 내용이 자신의 캐시 주소에 있는지 검사, 존재 시 무효화(Invalid)

나. Write Back 기반 MESI

구분	상세설명
개념도
개념	– 변경된 캐시 스누피 제어기가 다른 스누피 제어기에게 변경된 내용 통보
MESI 프로 토콜	수정(Modified): 데이터가 수정(변경)된 상태
	배타(Exclusive): 유일한 복사복, 주기억장치와 동일 상태
	공유(Shared): 데이터가 2개 이상 프로세서 캐시 공유
	무효(Invalid): 데이터가 다른 프로세서의 수정으로 무효

– Cache Flush는 캐시 내용만 초기화, Cache Clean은 캐시 데이터를 주기억장치와 동기화 수행