다차원 타입과 결정적 메모리 관리 설계‑시 의미 보존

본 논문은 차원(type‑unit) 정보를 컴파일 전 과정에 메타데이터로 유지하고, 이를 메모리 관리와 결합한 새로운 컴파일 프레임워크를 제안한다. 저자는 먼저 차원 시스템을 **Dimensional Type System(DTS)** 로 정의한다. DTS는 기본 물리 차원(길이, 시간, 질량 등)으로 생성된 **유한 생성 자유 아벨 군** ℤⁿ 위에서 차원을 표현한다. 각 수치값은 정수 벡터 형태의 차원을 갖고, 연산 규칙은 선형 대수(덧셈·뺄셈·곱·나눗셈)로 단순화된다. 이러한 구조는 **Hindley‑Milner** 타입 추론에 차원 변수를 추가함으로써 **선형 방정식** 형태의 제약을 생성하고, Gaussian elimination을 통해 **다항식 시간**에 해를 구한다. 결과는 **완전**하고 **주요**한 타입(가장 일반적인 형태)이며, 별도 어노테이션 없이도 모든 차원 일관성을 검증한다. 다음으로 저자는 차원 정보를 **Program Semantic Graph(PSG)** 라는 중간 표현에 보관한다. PSG는 각 노드가 ‘dimension’, ‘value‑range’, ‘escape‑class’, ‘coeffect’ 등 다양한 속성을 갖는 그래프이며, 이는 컴파일러의 모든 후속 단계에서 접근 가능하도록 설계되었다. 차원 추론이 끝난 AST는 PSG로 변환되면서 차원 메타데이터가 속성으로 붙는다. 이후 **MLIR** 단계에서 PSG의 속성을 읽어 **표현 선택**을 수행한다. 예를 들어, 특정 차원·범위 조합이 IEEE‑754 64‑bit 부동소수점보다 **posit<32,2>** 혹은 **fixed<24,signed>**이 더 적합하다고 판단되면, 해당 표현을 선택하고 워드 폭을 결정한다. 표현 선택과 동시에 메모리 발자국이 계산된다. 저자는 메모리 관리 모델을 **Deterministic Memory Management(DMM)** 로 명명하고, 이를 **코효과(coeffect)** 로 PSG에 통합한다. DMM은 탈출 분석을 기반으로 네 가지 라이프타임 클래스를 정의한다: 스택‑스코프, 클로저‑캡처, 반환‑탈출, by‑ref‑탈출. 각 클래스는 검증된 할당 전략(스택 할당, 힙 할당, 전역 버퍼, 레퍼런스 복제 등)과 연결된다. 메모리 발자국과 탈출 클래스가 결합되면, 캐시 지역성 추정과 타깃 간 데이터 전송 정확도(예: FPGA‑CPU 간 포맷 변환)까지 자동으로 결정된다. 자동 미분에 대한 논의도 포함된다. 차원 대수는 체인 규칙에 대해 닫혀 있어, 전방 모드 미분 연산이 **코효과 서명** (추가 메모리 탭 없음, O(1) 보조 메모리) 을 갖는다. 따라서 미분 코드를 생성할 때도 기존 차원·범위·탈출 분석 결과를 재활용할 수 있다. 구현 측면에서 저자는 **Clef** 라는 함수형 언어와 **Fidelity** 컴파일 프레임워크를 사용한다. Clef은 F#‑계열 문법을 차용하면서 차원·표현·메모리 정보를 별도 메타데이터로 유지한다. 컴파일 파이프라인은 다음과 같다: 1. **Source → Typed AST** : 차원 추론 수행, 모든 수치식에 차원 부착. 2. **Typed AST → PSG** : 차원·범위·탈출 정보를 노드 속성으로 저장. 3. **PSG → MLIR** : PSG 속성을 읽어 적절한 MLIR dialect(예: arith, memref) 로 변환, 차원·코효과는 메타데이터로 남김. 4. **MLIR → Target‑specific lowering** : 각 백엔드(CPU, GPU, FPGA, AI‑Engine 등)가 PSG에서 전달받은 메타데이터를 기반으로 표현과 메모리 배치를 최적화. 5. **Target dialect → Machine code** : 최종 코드 생성 단계에서는 차원 메타데이터가 필요 없으며, 디버깅/프로파일링을 위한 DWARF 등 메타데이터만 남긴다. 이 과정에서 차원·코효과 정보는 **런타임 비용을 발생시키지 않는다**. 대신 설계‑시점 툴링을 가능하게 한다. 언어 서버 **Lattice** 와 IDE **Atelier** 는 PSG에 저장된 분석 결과를 실시간으로 시각화한다. 개발자는 탈출 위험, 캐시 지역성, 표현 정확도, 메모리 사용량 등을 즉시 확인하고, 필요 시 코드 구조를 리팩터링하거나 어노테이션을 추가해 최적화를 유도할 수 있다. 논문은 또한 기존 차원 시스템과 의존 타입 시스템을 비교한다. 차원 시스템은 **선형 대수** 기반이라 **결정 가능**하고 **다항식 시간**에 해를 구할 수 있지만, **표현력**은 제한적이다(임의의 논리식은 표현 불가). 반면 의존 타입은 **표현력**이 풍부하지만 **불완전**하고 **시간 제한**이 필요하다. 저자는 DTS가 이 두 영역 사이의 **중간 지점**을 제공한다고 주장한다. 마지막으로, 차원·메모리 정보를 그래프 형태로 보존함으로써 **Program Hypergraph(PHG)** 로 확장 가능성을 제시한다. PHG는 다중 관계(예: 클리포드 대수의 그레이드, DMA 라우팅) 를 지원하며, 차원·메모리 분석을 보다 복잡한 공간 데이터 흐름에도 적용할 수 있음을 시사한다. 요약하면, 이 논문은 차원 정보를 컴파일 전 과정에 메타데이터로 유지하고, 이를 메모리 관리와 결합해 **설계‑시점 의미 보존**을 실현한다. 선형 대수 기반의 차원 추론, PSG 기반 코효과 모델링, MLIR 기반 다중 타깃 지원, 그리고 실시간 설계‑시점 피드백 제공이라는 네 가지 핵심 기여를 통해, 물리‑계산, 센서‑퓨전, FPGA‑CPU‑Neuromorphic 이종 시스템 등 다양한 도메인에서 안전하고 효율적인 네이티브 코드를 자동 생성할 수 있는 새로운 컴파일 패러다임을 제시한다.