Wasm, 스택 머신이라 부르기엔 뭔가 부족하다?
by DD
2개월 전
조회수 12
Wasm(WebAssembly)은 스택 머신으로 알려져 있지만, 실제로는 레지스터 머신(Register Machine)에 가깝다는 주장이 제기됨
스택 머신은 `dup` 및 `swap`과 같은 스택 조작 연산이 필수적이나, Wasm은 이러한 연산이 부족하여 최적화에 제약(Optimization Constraints)이 존재함
Wasm은 SSA(Static Single Assignment) 형태의 바이트코드를 위한 직렬화 형식(Serialization Format)으로 설계되었으며, JIT 컴파일러(JIT Compiler)를 통해 레지스터 머신으로 변환됨
커뮤니티에서는 Wasm의 스택 기반 설계가 네트워크 전송을 위한 코드 압축(Code Compression)에 유리하다는 점을 강조함
Wasm의 스택 머신 vs. 레지스터 머신 논쟁
게시물에서는 Wasm이 스택 머신으로 알려져 있지만, 실제로는 레지스터 머신에 가깝다고 분석한다. 기술적으로 보면, 스택 머신은 `dup`, `swap`과 같은 스택 조작 연산을 통해 데이터 재사용(Data Reuse)을 효율적으로 처리해야 한다. 하지만 Wasm은 이러한 연산이 부족하여, 컴파일러가 공통 부분식 제거(Common Subexpression Elimination)와 같은 최적화를 수행하는 데 제약이 따른다. 이러한 특성은 Wasm이 단순한 표현식 평가에 적합하도록 설계되었음을 시사한다.
Wasm의 설계 배경: SSA와 코드 압축
댓글에서는 Wasm의 스택 기반 설계가 SSA(Static Single Assignment) 형태의 바이트코드를 위한 직렬화 형식(Serialization Format)으로 채택되었다고 설명한다. 특히, 네트워크를 통해 코드를 전송해야 하는 Wasm의 특성상, 스택 기반 코드가 레지스터 기반 코드보다 이 높다는 점이 강조된다. 이러한 설계는 Wasm이 JIT 컴파일러를 통해 레지스터 머신으로 변환될 것을 전제로 한다.
