WebAssembly · 02 WAT와 바이너리
단계: 모듈과 수치 계약 · 외부 실행 예제 · 미리보기 안내 · 저장 ID: webassembly-step-02
목표와 학습 후 역량
- 학습 결과: 텍스트 형식의 역할을 설명한다. 입력 사례: 기존 sum 함수와 변경한 상수.
- 산출물: 빌드 로그와 export 호출 결과. 빌드 처리 근거를 코드와 연결해 설명한다.
선수 지식
1단위 「모듈과 선형 메모리」의 모듈 경계 및 미리보기 범위 실습 결과를 준비한다.
핵심 개념과 설명
텍스트 형식
WAT는 모듈 구조를 읽을 수 있는 표현이다. 브라우저는 WAT 문자열을 곧바로 Wasm 바이너리처럼 실행하지 않는다.
빌드
wat2wasm은 텍스트를 바이너리로 변환한다. 빌드 결과와 실행 결과를 따로 확인한다.
실습 준비
예제 화면의 실행 범위 안내를 먼저 확인하세요. 다음은 과제를 별도 프로젝트로 확장할 때의 준비 환경입니다. iframe 미리보기는 WebAssembly.Memory와 JS 기준 계산 실험이며 실제 Wasm 모듈 실행으로 표시하지 않는다. 실제 모듈 실습은 별도 Node 22+ 또는 통제한 로컬 웹 프로젝트에서 한다. 기존 src/labs/webassembly-02·03의 kernel.wat·kernel.wasm·benchmark.mjs를 사용하며 WAT 수정 시 공식 wat2wasm 도구로 다시 빌드한다. CSP·격리를 완화하지 않고 측정값은 직접 기록한다.
연결된 예제는 출발점입니다. 아래 과제 전체가 완성된 코드는 아니며, 예제의 지원 범위를 넘는 작업은 별도 프로젝트에서 수행하세요.
실습 과제
- 별도 실습 프로젝트의 day-2.mjs에 별도 폴더에 kernel.wat을 복사하고 공식 도구로 wat2wasm kernel.wat -o kernel.wasm을 실행한다. 기존 1·14·28단위 예제는 출발점으로만 참고한다.
- 입력 조건: 기존 sum 함수와 변경한 상수. 기준: 정상 WAT. 기준 조건에서 실행한 뒤 관찰값과 오류를 notes/day-2.md에 남긴다.
- 변경 변수: 소스. 변경값: 문법 오류 WAT. 같은 입력 경로로 다시 실행한다. 저장할 산출물: 빌드 로그와 export 호출 결과. 확인할 가설: 문법 오류는 빌드에서 드러난다. 실제 결과와 비교해 일치 여부 및 차이의 원인을 기록한다.
관찰할 변수
| 변수 | 기준 조건 | 바꿀 조건 | 예상할 변화·검증 가설 |
|---|---|---|---|
| 소스 | 정상 WAT | 문법 오류 WAT | 문법 오류는 빌드에서 드러난다. |
표의 예상은 측정 결과가 아닙니다. 한 번에 한 조건만 바꾸고 실제 결과가 다르면 원인을 기록하세요.
완료 조건
- 필수 산출물: 빌드 로그와 export 호출 결과. 기준 및 변경 조건 각각의 결과가 있어 총 2조건을 비교할 수 있고, 입력값과 실행 환경을 함께 기록했다.
- 두 조건의 차이에 관한 설명에 다음 개념을 모두 연결했다: 텍스트 형식, 빌드. 예상과 다른 항목은 원인 또는 미해결 이유를 1개 이상 적었다.
자가 점검
- 이번 실습에서 텍스트 형식 개념은 어느 처리 단계에 영향을 주는가? 입력 사례: 기존 sum 함수와 변경한 상수.
- 변경 변수: 소스. 확인할 가설: 문법 오류는 빌드에서 드러난다. 실제 결과가 가설과 일치했는가? 빌드 관점에서 근거를 설명하라.
공식 참고
연결된 예제와 실행 범위
Standalone WAT + Node assertions; iframe CSP blocks Wasm compilation.
원본 코드·기록은 자동으로 덮어쓰지 않습니다. 기존 예제를 초기화할 때도 필기는 유지됩니다.
다음 학습
이전: 모듈과 선형 메모리 · 다음: Compile과 Instance