id 소프트웨어 공동 창업자이자 둠·퀘이크의 엔진을 설계한 존 카맥(John Carmack)이 'Goose'라는 이름의 언어를 두고 짧지만 눈에 띄는 코멘트를 남겼다. 그는 Goose가 보여준 설계를 "정말 깔끔해 보인다"고 평하면서, 특히 데이터를 다루는 방식에 주목했다. 저수준 성능과 메모리 레이아웃에 평생을 천착해 온 엔지니어가 어떤 지점을 높이 샀는지를 뜯어보면, 언어 설계에서 자주 간과되는 '데이터의 물리적 표현'이라는 주제가 드러난다.
카맥이 꼽은 첫 번째 핵심은 다중 데이터 스택(multiple data stacks)과 크기 조절이 가능한 필드(resizable fields)를 자동으로 분석하고 활용한다는 점이다. 그는 이 조합 덕분에 Goose의 접근 방식이 "이런 식으로 많은 작업을 할 수 있다" 수준에서 "사실상 모든 것을 이렇게 할 수 있다" 수준으로 올라선다고 표현했다. 다시 말해, 특정 유형의 데이터에만 통하던 최적화 패턴을 범용적으로 적용할 수 있게 됐다는 뜻으로 읽힌다. 개발자가 메모리 배치를 손으로 세심하게 조율하던 영역을 언어·런타임이 자동 분석으로 떠안는다면, 적용 범위가 좁은 기법이 일반적인 기본값이 될 수 있다.
왜 '데이터 스택'과 가변 필드가 중요한가
전통적으로 프로그램은 하나의 호출 스택 위에서 지역 변수와 데이터를 함께 쌓는다. 여기에 데이터 성격별로 별도의 스택을 두고, 필드 크기를 상황에 맞게 조절한다는 발상은 캐시 지역성과 메모리 밀도를 끌어올리기 위한 전형적인 수작업 최적화에 해당한다. 게임 엔진이나 고성능 시스템에서는 데이터를 용도별로 분리해 연속된 메모리에 촘촘히 배치하는 기법이 성능을 좌우하는데, 이는 보통 개발자가 직접 설계해야 하는 영역이었다. 카맥의 평가가 의미심장한 이유는, 이런 수작업의 자동화 가능성을 그가 직접 지목했기 때문이다.
상대 참조와 직접 메모리 매핑
두 번째로 그가 언급한 것은 상대 참조(relative references)와 내장된 이진 구조 검증(binary structure validation)이다. 포인터를 절대 주소 대신 기준점으로부터의 상대 오프셋으로 표현하면, 데이터 블록을 통째로 복사하거나 다른 주소에 올려도 내부 참조가 깨지지 않는다. 카맥은 이 두 요소가 데이터 구조의 직접 메모리 매핑(direct memory mapping)을 가능하게 한다고 봤다. 파일이나 네트워크로 받은 바이트 덩어리를 역직렬화(파싱)하는 중간 단계 없이, 그대로 메모리에 올려 곧바로 자료 구조로 사용할 수 있다는 의미다. 이진 구조 검증이 내장돼 있다면 그렇게 매핑한 데이터가 올바른 형태인지도 언어 차원에서 확인할 수 있다.
실무 관점에서 이 조합이 매력적인 이유는 분명하다. 대용량 데이터를 디스크에서 읽어 바로 쓰거나, 프로세스 간·언어 간에 데이터를 주고받을 때 직렬화/역직렬화 비용은 전체 성능의 큰 부분을 차지한다. mmap 기반으로 파일을 그대로 자료 구조로 취급하는 방식은 이미 FlatBuffers나 Cap'n Proto 같은 도구가 추구해 온 방향이지만, 이를 별도 스키마가 아니라 언어의 기본 데이터 모델 차원에서 제공한다면 그 적용 범위와 편의성은 달라진다. 파싱 오버헤드 제거, 시작 지연 단축, 메모리 공유 등이 자연스럽게 따라온다.
다만 냉정하게 볼 지점도 있다. 지금 공개된 것은 카맥의 트윗 한 건이며, 그나마 인용된 설명문은 문장 중간에서 잘려 있다. Goose 언어의 공식 문서, 성능 수치, 실제 벤치마크, 지원 플랫폼, 성숙도에 관한 구체적 정보는 이 자료만으로는 확인되지 않는다. 카맥의 코멘트는 어디까지나 설계 방향에 대한 긍정적 인상이지, 프로덕션 검증을 거친 보증이 아니다. 상대 참조와 자동 메모리 레이아웃은 이점이 큰 만큼, 디버깅 난이도, 포인터 안전성, 다양한 아키텍처에서의 정렬·엔디언 문제 같은 현실적 비용도 함께 따져봐야 한다.
그럼에도 한국의 시스템·게임·데이터 인프라 개발자에게 이 사례가 던지는 메시지는 실용적이다. 언어를 고를 때 문법이나 생태계뿐 아니라 '데이터가 메모리에 어떻게 놓이는가'가 성능과 상호운용성을 좌우한다는 사실, 그리고 그 최적화를 개인의 손기술에 의존하지 않고 언어·런타임이 떠안는 흐름이 계속 탐색되고 있다는 점이다. Goose가 그 해법이 될지는 추가 자료로 검증해야겠지만, 데이터 표현을 일급으로 다루는 설계가 왜 주목받는지를 이해해 두는 것은 기술 선택의 안목을 넓히는 데 도움이 된다.