힙 할당 제로, 컴파일러가 보장합니다!

기존 언어들은 프로파일러를 통해 런타임에 할당을 추적하고 제거하는 방식이지만, 코드 수정 시 회귀(Regression) 가능성이 높습니다. OxCaml의 `@zero_alloc` 어노테이션은 컴파일 시점에 호출 트리(Call Tree) 전체의 힙 할당을 정적으로 분석하여 이를 원천적으로 방지합니다. 이는 예측 가능한 성능(Predictable Performance)을 보장하고, 개발자가 할당 관련 버그(Allocation Bugs)를 놓칠 위험을 크게 줄여줍니다.

커뮤니티에서는 Zig의 경우 함수 인자로 할당자(Allocator)를 전달하는 관례(Convention)를 통해 할당을 최소화하려 하지만, 이는 무시될 수 있다는 지적이 있습니다. D 언어의 `@nogc`는 가비지 컬렉션(GC) 할당을 방지하지만, 수동 할당이나 실험적인 예외 처리를 통해 우회될 수 있습니다. 반면 OxCaml의 `@zero_alloc`은 컴파일러 레벨에서의 강제성을 통해 이러한 우회 가능성을 최소화한다는 점에서 차별화됩니다.

글쓴이는 Swift의 `@_noAllocation` (실험적 플래그)과 Clang의 `nonallocating` 속성도 유사한 기능을 제공한다고 언급합니다. 이 기능들은 컴파일러가 함수 효과(Function Effects)를 분석하여 할당 여부를 판단한다는 점에서 OxCaml과 맥락을 같이합니다. 다만, 이러한 기능들이 아직 실험적이거나 경고(Warning) 수준에 머무르는 경우가 많아, OxCaml의 `@zero_alloc`처럼 빌드 실패(Build Failure)를 유발하는 강력한 제약 조건으로 활용되는지는 추가 확인이 필요합니다.

논의 중에는 `@zero_alloc`과 같은 기능이 효과 시스템(Effect System)의 한 형태로 볼 수 있다는 의견이 제시되었습니다. 이는 컴파일러가 함수가 발생시킬 수 있는 부수 효과(Side Effects)를 명시적으로 추적하고 제어하는 방식입니다. 이러한 접근 방식은 '패닉 없음(No Panic)', '락 프리(Lock-Free)', '항상 종료(Always Terminates)' 등 다양한 속성을 정적으로 검증하는 데 확장될 수 있다는 점에서 큰 잠재력을 가집니다.

일부 사용자는 `@zero_alloc`이 가비지 컬렉션(GC) 할당만 방지하며, FFI(Foreign Function Interface) 호출이나 수동 할당을 통한 우회 가능성을 지적합니다. 또한, 버퍼 재사용(Buffer Reuse)과 같은 분산 할당(Amortized Allocation) 패턴을 사용하는 경우, 명시적인 제약 조건보다는 의존성 관리(Dependency Management)와 전체 호출 그래프(Whole Call Graph)에 대한 수동 검증이 중요해질 수 있습니다. 이는 데이터 격리 아키텍처(Data Isolation Architecture) 설계 시에도 유사하게 고려될 부분입니다.