2장: Wasm 런타임 아키텍처 심층 분석

학습 목표

• 스택 머신 실행 모델의 동작 원리를 이해합니다
• 모듈, 인스턴스, 메모리, 테이블의 관계를 설명할 수 있습니다
• 주요 Wasm 런타임의 특징과 적합한 사용 사례를 파악합니다
• AOT 컴파일과 JIT 컴파일의 장단점을 비교합니다

스택 머신 실행 모델

WebAssembly는 스택 머신(Stack Machine) 기반의 실행 모델을 채택하고 있습니다. 레지스터 기반 아키텍처(x86, ARM)와 달리, 모든 연산이 가상 스택을 통해 이루어집니다.

간단한 덧셈 연산 (a + b) * c가 스택 머신에서 어떻게 처리되는지 살펴보겠습니다.

;; (a + b) * c를 계산
local.get $a    ;; 스택: [a]
local.get $b    ;; 스택: [a, b]
i32.add         ;; 스택: [a+b]
local.get $c    ;; 스택: [a+b, c]
i32.mul         ;; 스택: [(a+b)*c]

스택 머신을 선택한 이유는 명확합니다. 인코딩이 컴팩트합니다. 레지스터 번호를 지정할 필요가 없으므로 바이너리 크기가 줄어듭니다. 검증이 간단합니다. 타입 검사를 스택 상태만으로 수행할 수 있어, 모듈 로딩 시 빠르게 유효성을 확인할 수 있습니다.

Wasm의 핵심 구성 요소

WebAssembly의 실행 구조는 네 가지 핵심 요소로 구성됩니다.

모듈(Module)

**모듈(Module)**은 컴파일된 Wasm 바이너리에 해당합니다. 함수, 메모리, 테이블, 글로벌 변수의 정의와 임포트/익스포트 선언을 포함합니다. 모듈 자체는 불변(immutable)이며, 여러 인스턴스 간에 공유될 수 있습니다.

// 모듈 컴파일 (비동기)
const response = await fetch('calculator.wasm');
const bytes = await response.arrayBuffer();
const module = await WebAssembly.compile(bytes);
 
// 또는 스트리밍 컴파일 (더 효율적)
const module = await WebAssembly.compileStreaming(
  fetch('calculator.wasm')
);

인스턴스(Instance)

**인스턴스(Instance)**는 모듈의 실행 가능한 복사본입니다. 모듈을 인스턴스화하면 메모리가 할당되고, 임포트가 바인딩되며, 익스포트된 함수를 호출할 수 있게 됩니다.

const importObject = {
  env: {
    log: (value) => console.log('Wasm says:', value),
    memory: new WebAssembly.Memory({ initial: 1 })
  }
};
 
const instance = await WebAssembly.instantiate(module, importObject);
const result = instance.exports.add(10, 20);

메모리(Memory)

1장에서 살펴본 선형 메모리입니다. 인스턴스는 최대 하나의 메모리를 가질 수 있으며(향후 다중 메모리 제안이 진행 중), 64KB 페이지 단위로 확장됩니다.

테이블(Table)

**테이블(Table)**은 함수 참조의 배열입니다. 간접 호출(indirect call)을 구현하는 데 사용됩니다. C/C++의 함수 포인터, Rust의 dyn Trait 등이 테이블을 통해 구현됩니다.

주요 런타임 비교

2026년 현재, WebAssembly 런타임 생태계는 성숙기에 접어들었습니다. 각 런타임은 서로 다른 설계 철학과 최적화 목표를 가지고 있습니다.

Wasmtime

Wasmtime은 Bytecode Alliance가 개발하는 참조 구현 런타임입니다. Rust로 작성되었으며, Cranelift 코드 생성기를 사용합니다.

# Wasmtime으로 WASI 프로그램 실행
wasmtime run hello.wasm
 
# 파일 시스템 접근 허용
wasmtime run --dir /tmp::/ hello.wasm
 
# AOT 컴파일
wasmtime compile hello.wasm -o hello.cwasm
wasmtime run hello.cwasm

Wasmtime의 강점은 표준 준수에 있습니다. WASI Preview 2, 컴포넌트 모델 등 새로운 표준을 가장 먼저 구현합니다. Spin 프레임워크와 Fermyon Cloud의 기반 런타임이기도 합니다.

Wasmer

Wasmer는 다중 컴파일러 전략을 특징으로 합니다.

Wasmer는 또한 **WAPM(WebAssembly Package Manager)**을 운영하며, Wasm 패키지 생태계 구축에 힘쓰고 있습니다.

WasmEdge

WasmEdge는 CNCF(Cloud Native Computing Foundation) 프로젝트로, 클라우드 네이티브와 AI 추론에 최적화되어 있습니다. Kubernetes 환경에서의 Wasm 워크로드 실행, TensorFlow/ONNX 모델 추론 등에 강점을 보입니다.

V8 (브라우저)

Chrome, Node.js, Deno, Cloudflare Workers의 기반이 되는 V8 엔진은 가장 널리 배포된 Wasm 런타임입니다. TurboFan JIT 컴파일러와 Liftoff 베이스라인 컴파일러의 이중 구조로 빠른 시작과 높은 최적화를 동시에 달성합니다.

AOT vs JIT 컴파일

Wasm 런타임의 컴파일 전략은 크게 두 가지로 나뉩니다.

JIT 컴파일 (Just-In-Time)

실행 시점에 Wasm 바이트코드를 네이티브 코드로 변환합니다. V8의 Liftoff가 대표적인 베이스라인 JIT 컴파일러입니다.

장점: 별도 빌드 단계 없이 바로 실행 가능합니다. 런타임 프로파일링 정보를 활용한 적응적 최적화가 가능합니다.

단점: 첫 실행 시 컴파일 오버헤드가 존재합니다. 메모리 사용량이 상대적으로 높습니다.

AOT 컴파일 (Ahead-Of-Time)

실행 전에 미리 Wasm을 네이티브 코드로 컴파일합니다. Wasmtime의 wasmtime compile 명령이 대표적입니다.

장점: 인스턴스화 시간이 극도로 짧습니다. 콜드 스타트가 약 0.5ms 수준으로, 서버리스 환경에서 결정적인 이점입니다.

단점: 대상 플랫폼별로 미리 컴파일해야 합니다. 빌드 파이프라인이 복잡해질 수 있습니다.

임베딩 API

Wasm 런타임을 자체 애플리케이션에 내장하는 것을 **임베딩(Embedding)**이라고 합니다. Wasmtime은 다양한 언어용 임베딩 API를 제공합니다.

use wasmtime::*;
 
fn main() -> Result<()> {
    // 엔진 생성
    let engine = Engine::default();
    
    // 모듈 컴파일
    let module = Module::from_file(&engine, "plugin.wasm")?;
    
    // 스토어 생성 (인스턴스 상태 관리)
    let mut store = Store::new(&engine, ());
    
    // 호스트 함수 정의
    let log_func = Func::wrap(&mut store, |caller: Caller<'_, ()>, msg: i32| {
        println!("Plugin logged: {}", msg);
    });
    
    // 인스턴스화
    let instance = Instance::new(&mut store, &module, &[log_func.into()])?;
    
    // 함수 호출
    let process = instance.get_typed_func::<(i32,), i32>(&mut store, "process")?;
    let result = process.call(&mut store, (42,))?;
    
    println!("Result: {}", result);
    Ok(())
}

이 패턴은 플러그인 시스템을 구축할 때 매우 유용합니다. 사용자가 제공한 Wasm 코드를 안전하게 실행하면서, 호스트 함수를 통해 필요한 기능만 선택적으로 노출할 수 있습니다.

런타임 선택 가이드

정리

이번 장에서는 WebAssembly 런타임의 아키텍처를 심층적으로 분석했습니다.

• Wasm은 스택 머신 실행 모델을 사용하여 컴팩트한 바이너리와 간편한 검증을 달성합니다
• 모듈, 인스턴스, 메모리, 테이블이 Wasm의 핵심 구성 요소입니다
• Wasmtime, Wasmer, WasmEdge, V8 등 각 런타임은 고유한 강점을 가지고 있습니다
• AOT 컴파일은 서버리스 환경의 콜드 스타트 문제를 획기적으로 해결합니다

다음 장 미리보기

3장에서는 WebAssembly를 브라우저 밖으로 꺼내는 핵심 열쇠인 **WASI(WebAssembly System Interface)**를 다룹니다. Capability-based 보안의 원리, WASI Preview 2의 구조, 그리고 비동기 지원을 위한 WASI 0.3의 로드맵을 살펴봅니다.