AI 요약
Vx는 이기종 컴퓨팅(CPU, GPU, NPU, 가속기)을 하나의 언어로 다루기 위해 설계된 시스템 프로그래밍 언어다. 데이터가 어디에 저장되는지(호스트 DRAM, NPU HBM 등)를 타입 시스템에 포함시켜, 호스트 스레드가 디바이스 포인터를 역참조하는 것을 컴파일 단계에서 오류로 잡아낸다. 주소 공간 타입 지정, 용량 승인, 선형 타입, 위상 도달 가능성 등 기존에 런타임 크래시로 나타나던 버그를 정적으로 검증한다. H100, H200, B200, A100, MI300X, Apple M4 등 실제 하드웨어의 메모리 계층을 기술한 머신 파일을 제공하며, macOS(Apple Silicon)와 Linux x86_64를 지원한다.
핵심 포인트
- 가속기 메모리(NPU HBM 등)를 타입으로 표현하고, 명시적
transfer()없이는 경계를 넘지 못하도록 강제 - SMT 증명기를 활용해 비동기 전송 가시성(seam contract)을 검증, 선형 타입으로 use-after-move 방지
- H100, H200, B200, A100, MI300X, Apple M4 및 멀티 GPU 노드용 머신 파일 제공, 미검증 수치는 명시적으로 표기
- SI(GB=10^9)와 IEC(GiB=2^30) 단위를 정수 변환으로 엄격히 구분
향후 전망
- 이기종 컴퓨팅 환경에서 컴파일 타임 안전성이 표준 요구사항이 될 경우, Vx 같은 타입 기반 접근이 주류로 부상할 가능성
- 벤더별 머신 파일 생태계 확장이 언어 채택의 핵심 관건이 될 전망
출처:hackernews