메모리 모델 입문 - Sequential Consistency와 Total Store Order 이해하기

이 게시물은 메모리 모델의 기초 개념과 두 가지 대표 메모리 모델인 Sequential Consistency(SC)와 Total Store Order(TSO)를 설명합니다.

메모리 모델 개요

• SC는 프로그래머의 직관과 맞는 명령 순서 모델
• TSO는 x86 CPU의 동작을 형식화한 모델로 저장 버퍼와 바이패싱을 고려함
• 실제 CPU는 성능을 위해 SC보다 느슨한 모델을 따른다

중요 개념과 예시

• 메모리 접근 순서가 뒤바뀌는 현상(메모리 접근 작업의 교체)과 저장 버퍼의 역할
• SC와 TSO의 형식화 정의 및 차이점
• 고급 언어에서 기본적으로 SC를 기대할 수 있으나, 원자적 연산 사용 시 메모리 모델 이해가 필요

참고 문헌

• 『A Primer on Memory Consistency and Cache Coherence』, 『프로그래머를 위한 CPU 입문』 등 관련 서적 소개