ARM에서 x86 프로그램 돌릴 때 성능 깎아먹는 주범, x86 메모리 모델의 저주

요약 리눅스용 x86/x86-64 에뮬레이터인 FEX-Emu 개발진이 x86 에뮬레이션 과정에서 가장 큰 골칫거리로 꼽히는 '메모리 모델 에뮬레이션' 문제를 심층 분석했습니다. 핵심 원인은 x86과 ARM 간의 근본적인 메모리 일관성 모델 차이에 있습니다. x86은 순서가 엄격하게 보장되는 강력한 일관성 모델인 'x86-TSO(Total Store Ordering)'를 채택하여, 메모리에 쓰기(Store)를 실행하면 즉시 다른 모든 프로세서에 반영되는 직관적인 구조를 지닙니다. 반면 ARM은 전력 효율과 성능 최적화를 극대화하기 위해 메모리 읽기/쓰기 순서가 엄격하게 묶이지 않는 '약한 메모리 모델(Weak Ordering)'을 기본으로 사용합니다. 즉, ARM에서는 한 코어가 메모리에 쓴 내용이 다른 코어의 캐시라인에 즉각 전파되지 않아 멀티스레드 환경에서 데이터 불일치가 발생할 수 있습니다. 과거 ARMv7 이전에는 이를 맞추기 위해 무거운 메모리 배리어 명령어를 써야 했으나, ARMv8.0-a부터는 성능 부담을 줄인 load-acquire 및 store-release 명령어가 도입되었습니다. FEX-Emu 같은 에뮬레이터는 초기 구현에서 x86의 메모리 접근을 흉내 내기 위해 모든 x86 메모리 로드를 ARM의 load-acquire로, 모든 메모리 스토어를 store-release로 변환하는 방식을 사용했습니다. 하지만 원래 드물게 쓰이도록 설계된 동기화 명령어가 실행 코드의 대다수를 차지하게 되면서 막대한 성능 하락(오버헤드)을 유발하는 구조적 한계에 부딪히게 되었습니다.