Wasm, 스택 머신이라고? 사실은 레지스터 머신에 가깝다!
by DD
2개월 전
조회수 8
Wasm(WebAssembly)은 스택 머신으로 알려져 있지만, 실제로는 레지스터 머신에 가까운 구조를 가짐
기존 스택 머신과 달리 스택 조작 명령어(Stack Manipulation Instructions)가 부족하여 최적화에 제약이 존재함
공통 부분식 제거(Common Subexpression Elimination)와 같은 최적화 기법 적용이 어려움
레지스터 머신(Register Machine) 관점에서 Wasm을 이해하는 것이 더 적합하다는 분석
Wasm의 스택 머신 vs 레지스터 머신
일반적으로 Wasm(WebAssembly)은 스택 머신으로 간주되지만, 저자는 Wasm의 스택 조작 명령어(Stack Manipulation Instructions) 부족을 지적하며 레지스터 머신에 가깝다고 주장한다. 기존 스택 머신은 `dup`, `swap`과 같은 명령어를 통해 스택 내 값의 재사용을 용이하게 하지만, Wasm은 이러한 기능이 제한적이다. 이러한 차이점은 Wasm 컴파일러가 공통 부분식 제거(Common Subexpression Elimination)와 같은 최적화를 수행하는 데 어려움을 야기한다.
Wasm의 최적화 제약
Wasm의 스택 조작 명령어 부재는 컴파일러가 최적화(Optimization)를 수행하는 데 제약을 가한다. 예를 들어, `x = 1 + 2 + 3 + 4`와 `y = x * x * x`와 같은 코드를 최적화하기 위해, 레지스터 머신은 `x` 값을 재사용할 수 있지만, Wasm은 변수를 도입해야 한다. 이는 Wasm이 레지스터 머신(Register Machine)처럼 동작하게 되며, 스택 머신의 장점을 활용하기 어렵게 만든다. 결과적으로 Wasm은 단순한 표현식 외에는 최적화에 취약하다.
