리스펙스 실행 방식 고르기

빠른 선택

기준 인터프리터

기준 인터프리터는 현재 리스펙스 프로파일 전체를 실행하고 lispex rule.lspx의 기본 경로로 동작합니다. 네이티브와 npm과 WebAssembly와 플레이그라운드에서 작성과 애플리케이션 실행에 사용합니다.

검증된 가상 머신

네이티브는 source를 정규 Core IR과 검증된 바이트코드로 컴파일하고 --engine vm에서 Rust VM을 실행합니다. macOS ARM64에서는 정확한 설치형 토파즈 5.11 VM을 사용하고 한 바이트코드 아티팩트로 두 VM을 비교할 수 있습니다.

Rust tree와 Rust VM은 Rust 구현 계보를 공유합니다. 토파즈 VM은 별도 관리하는 source 구현을 사용하고 토파즈 Rust Stage 0 producer 식별자를 기록합니다. 비교 영수증은 두 계보와 정확한 아티팩트와 결과와 진단과 자원을 공개합니다.

독립 실행 AOT 제품

토파즈 AOT 경로는 검증된 제어 흐름에서 읽을 수 있는 토파즈와 source map과 독립 실행 파일을 만듭니다. source와 Core IR과 바이트코드와 생성 bundle과 compiler와 실행 파일과 요청과 결과와 자원 식별자를 기록합니다.

자원 제어 실행

lispex embed는 결정 프로파일을, lispex embed full은 primitive 205행을 포함한 현재 프로파일 전체를 선택합니다. 두 제품은 import 없는 WebAssembly 구성요소와 새 인스턴스와 분리한 준비·평가 자원과 휴대 코어를 사용합니다.

경로 검사하고 잠그기

lispex routes inventory --out inventory.json
lispex routes doctor --inventory inventory.json
lispex routes select --route rust-vm --out route.json
lispex routes run --selection route.json rule.lspx

외부 제품은 정확한 절대 설치 경로를 사용합니다. 선택 잠금은 로컬 경로를 잠금 밖에 두고 제품 식별자와 경로 선택을 기록합니다.

로컬 실행 측정하기

lispex routes measure \
  --selection route.json \
  --samples 3 \
  --input input.datum \
  --out timing.json \
  rule.lspx

측정은 해당 로컬 실행의 host 식별자와 route 식별자와 sample 수와 nanosecond 관측을 기록합니다. 비교 영수증은 언어 결과와 자원 계수기를 따로 기록합니다.

제품 제공 현황

다음으로

다운로드 · 검증된 바이트코드 실행하기 · 토파즈 AOT 제품 만들기