동적 언어에서 객체 속성 접근이 빨라지는 비밀: '히든 클래스(Map)' 구현 파헤치기

요약 파이썬, 루비, 자바스크립트 같은 동적 타입 언어에서 객체는 흔히 이름(키)과 값을 연결하는 유연한 맵 형태로 구현됩니다. 많은 가상 머신(VM) 구현체들이 직관적인 해시 테이블을 사용해 객체 속성(attribute)을 관리하도록 설계되곤 하지만, 이는 실제 성능에 치명적인 약점을 가집니다. 속성을 조회하거나 쓸 때마다 해시 계산과 충돌 탐색(probing) 과정을 거쳐야 하며, 객체 본체에서 외부 해시 테이블 저장소로 점프하는 과정에서 수많은 종속적 메모리 로드와 캐시 미스(cache miss)가 발생하기 때문입니다. 단 한 번의 속성 접근(예: `a.b`)에도 수백, 수천 개의 CPU 명령어가 소모될 수 있습니다. 이러한 비효율을 해결하기 위해 최신 런타임 구현자들은 흔히 '맵(Maps)', '히든 클래스(Hidden Classes)', '셰이프(Shapes)', '레이아웃(Layouts)' 등으로 불리는 최적화 기법을 도입합니다. 글쓴이는 복잡한 상용 런타임의 방대한 예외 처리 코드를 걷어내고 핵심 개념을 파악하기 위해, CF Bolz-Tereick의 'A Simple Object Model' 자료를 바탕으로 500줄 이하의 단순화된 객체 모델 및 맵 시스템을 구현했습니다. 이 최적화의 핵심 목적은 세 가지입니다. 첫째, 빈번한 속성 조회/쓰기 경로에서 문자열 해싱 대신 작은 정수 인덱스 연산으로 전환하는 것, 둘째, 메모리 간접 참조(indirection)를 없애고 객체 내부에 속성을 인라인(in-line)으로 저장하는 것, 셋째, 객체의 레이아웃 형태를 설명하는 안정적인 식별자 역할을 수행하는 것입니다. 글쓴이는 이를 일종의 데이터베이스 인덱스나 캐시 개념으로 설명하며, 동적 언어의 VM이 어떻게 보이지 않는 곳에서 객체 속성 접근 속도를 극대화하는지 그 원리를 정리했습니다.