라인·2024년 2월 5일

백엔드

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

메모리 모델 입문 관점에서 SC와 TSO를 비교하며 x86에서 재정렬이 발생하는 이유를 설명했습니다. 또한 저장 버퍼와 바이패싱을 통해 실제 동작을 형식화하고, DRF 프로그램과 원자적 연산의 관계도 정리했습니다.