WASM 함수

인라인 WebAssembly Text 소스에는 function.wat, 사전 컴파일된 바이너리에는 function.wasm을 사용합니다.

분류: 함수 설정 레퍼런스. WAT 블록은 작은 레지스트리 예제입니다. 사전 컴파일 예제는 외부 컴포넌트 빌드, 파일 시스템 엔트리, guest WIT와 일치하는 export 메서드, 정확한 바이너리에서 계산한 SHA-256 digest를 전제로 합니다. 실제처럼 보이는 sample hash는 예시입니다.

인라인 WAT 함수

_index.yaml에서 WAT 함수를 직접 정의합니다.

entries:
  - name: answer
    kind: function.wat
    source: |
      (module
        (func (export "answer") (result i32)
          i32.const 42
        )
      )      
    wit: |
      answer: func() -> s32;      
    method: answer
    pool:
      type: inline

더 큰 WAT 소스의 경우 파일 참조를 사용합니다:

  - name: answer
    kind: function.wat
    source: file://answer.wat
    wit: |
      answer: func() -> s32;      
    method: answer
    pool:
      type: inline

WAT 설정 필드

사전 컴파일된 WASM 함수

파일시스템 엔트리에서 컴파일된 .wasm 바이너리를 로드합니다:

entries:
  - name: assets
    kind: fs.directory
    directory: ./wasm

  - name: compute
    kind: function.wasm
    fs: myns:assets
    path: /compute.wasm
    hash: sha256:292b796376f8b4cc360acf2ea6b82d1084871c3607a079f30b446da8e5c984a4
    method: compute
    pool:
      type: lazy
      max_size: 4

WASM 설정 필드

워커 풀

각 WASM 함수는 사전 컴파일된 인스턴스 풀을 사용합니다. 풀 타입은 동시성과 리소스 사용을 제어합니다.

풀 설정

pool:
  type: static
  size: 4            # Total pool size
  workers: 2         # Worker threads
  buffer: 16         # Request queue buffer (default: workers * 64)

pool:
  type: lazy
  max_size: 8        # Maximum concurrent instances

pool:
  type: adaptive
  max_size: 16       # Upper scaling bound

워커 100개 기본값은 암묵적으로 선택된 풀(type이 설정되지 않은 경우)에만 적용됩니다. max_size 없이 type: lazy 또는 type: adaptive를 명시적으로 설정하면 기본 최대값은 워커 16개입니다.

워커 클래스와 코어 어피니티

pool.worker_class를 설정하면 함수가 위의 공유 풀 타입 대신 OS 스레드에 고정된 전용 워커 풀로 라우팅됩니다 (설정 시 type은 무시됩니다; 관례적 이름: wasm):

pool:
  worker_class: wasm
  workers: 8         # optional; defaults to reserved cores, else min(NumCPU, 4)

코어 격리는 .wippy.yaml에서 런타임별로 옵트인합니다:

scheduler:
  wasm_isolation:
    enabled: true      # default: false
    reserved_cores: 2  # cores reserved for WASM pools (default: 1)

격리가 활성화되면 액터 스케줄러와 고정된 WASM 풀이 서로 겹치지 않는 CPU 집합에서 실행됩니다 (sched_setaffinity, Linux 전용 — 다른 플랫폼은 풀 크기만 조정하고 스레드를 바인딩하지 않습니다). 그러면 오래 실행되는 WASM 호출이 액터 스케줄링을 굶주리게 만들 수 없습니다.

트랜스포트

트랜스포트는 런타임과 WASM 모듈 간의 입출력 매핑 방식을 제어합니다.

Payload 트랜스포트

기본 트랜스포트는 인자를 직접 전달합니다. Lua 값은 Go 타입으로 변환된 후 WIT 타입으로 로우어링됩니다:

  - name: compute
    kind: function.wasm
    fs: myns:assets
    path: /compute.wasm
    hash: sha256:...
    method: compute
    pool:
      type: inline

-- Arguments passed directly as WASM function parameters
local result, err = funcs.call("myns:compute", 6, 7)
if err then return nil, err end
-- result: 42

WASI HTTP 트랜스포트

wasi-http 트랜스포트는 HTTP 요청을 WASM에 매핑하고 결과를 HTTP 응답에 다시 기록합니다. WASM 함수를 HTTP 엔드포인트로 노출할 때 사용합니다:

  - name: greet_wasm
    kind: function.wasm
    fs: myns:assets
    path: /greet.wasm
    hash: sha256:...
    method: greet
    transport: wasi-http
    pool:
      type: inline

  - name: greet_endpoint
    kind: http.endpoint
    meta:
      router: myns:api
    method: POST
    path: /api/greet
    func: greet_wasm

실행 제한

options.limits 블록은 함수의 실행 시간, 웜 워커 메모리, 열 수 있는 소켓 수를 제한합니다:

options:
  limits:
    max_execution_ms: 5000
    max_retained_memory_bytes: 134217728
    retained_memory_check_interval: 32
    max_open_sockets: 8
    socket_timeout_ms: 5000

음수 값은 부팅 시 거부됩니다.

WASI 설정

게스트 모듈의 WASI 기능을 설정합니다:

wasi:
  args: ["--verbose"]
  cwd: "/app"
  env:
    - id: myns:api_key
      name: API_KEY
      required: true
    - id: myns:debug_mode
      name: DEBUG
  mounts:
    - fs: myns:data_files
      guest: /data
      read_only: true
    - fs: myns:output
      guest: /output

환경 변수는 호출 시점에 환경 레지스트리에서 확인됩니다. 필수 변수가 존재하지 않으면 오류가 발생합니다.

마운트 경로는 절대 경로이고 고유해야 합니다. 각 마운트는 런타임 파일시스템 엔트리를 게스트 디렉터리 경로에 매핑합니다.

예제

데이터 변환 파이프라인

entries:
  - name: wasm_binaries
    kind: fs.directory
    directory: ./wasm

  - name: transform_users
    kind: function.wasm
    fs: myns:wasm_binaries
    path: /mapper.wasm
    hash: sha256:7304fc7d19778605458ae5804dae9a7343dcd3f5fc22bcc9415e98b5047192dd
    method: transform-users
    pool:
      type: lazy
      max_size: 4

  - name: filter_active
    kind: function.wasm
    fs: myns:wasm_binaries
    path: /mapper.wasm
    hash: sha256:7304fc7d19778605458ae5804dae9a7343dcd3f5fc22bcc9415e98b5047192dd
    method: filter-active
    pool:
      type: lazy
      max_size: 4

local funcs = require("funcs")

local users = {
    {id = 1, name = "Alice", tags = {"admin", "dev"}, active = true},
    {id = 2, name = "Bob", tags = {"user"}, active = false},
    {id = 3, name = "Carol", tags = {"dev"}, active = true},
}

-- Transform: adds display field and tag count
local transformed, err = funcs.call("myns:transform_users", users)
if err then return nil, err end

-- Filter: returns only active users
local active, filter_err = funcs.call("myns:filter_active", users)
if filter_err then return nil, filter_err end

WASI Clocks를 사용한 비동기 슬립

wasi:clocks, wasi:io, wasi:poll을 임포트하는 WASM 컴포넌트는 클럭과 폴링을 사용할 수 있습니다. 비동기 양보 메커니즘은 Wippy 디스패처와 통합됩니다:

  - name: sleep_ms
    kind: function.wasm
    fs: myns:wasm_binaries
    path: /sleep_test.wasm
    hash: sha256:...
    method: "test-sleep#sleep-ms"
    imports:
      - wasi:io
      - wasi:poll
      - wasi:clocks
    pool:
      type: inline

method 필드의 # 구분자는 인터페이스 메서드를 참조합니다: test-sleep#sleep-ms는 test-sleep 인터페이스의 sleep-ms 함수를 호출합니다.

참고

• 개요 - WebAssembly 런타임 개요
• 호스트 함수 - 사용 가능한 호스트 인터페이스
• 프로세스 - WASM을 프로세스로 실행하기
• 엔트리 종류 - 모든 레지스트리 엔트리 종류