리스펙스는 이름 붙은 소스 프로그램과 정확한 관측 결과로 백엔드를 비교합니다. 행렬의 각 행은 구현과 capability registry와 실행 경로와 코퍼스와 영수증 형식을 식별합니다.
실행 계열
| 계열 | 구현 | 현재 관측 |
|---|---|---|
| Rust 기준 | 네이티브와 WebAssembly의 기준 인터프리터 | 추적하는 primitive 205행 중 205행 |
| LIL | 리스펙스로 쓴 리스펙스 인터프리터 | 추적하는 primitive 205행 중 205행 |
| LIT | 토파즈로 쓴 리스펙스 인터프리터 | 추적하는 primitive 205행 중 84행 |
| Rust VM | 정규 Core IR과 검증된 바이트코드를 실행하는 Rust VM | 정확한 소스, Core IR, 바이트코드, 결과, 진단, 자원 식별자 |
| 토파즈 VM | 별도 설치한 토파즈 5.11 VM 제품 | 정확한 provider, 요청, 바이트코드, 결과, 진단, 자원 식별자 |
| 토파즈 AOT | 리스펙스를 독립 실행 토파즈 제품으로 컴파일 | source map, 생성 bundle, 실행 파일, 요청, 결과, 자원 식별자 |
| SICP | 네이티브와 @lispex/sicp WebAssembly의 명시적 SICP 프로파일 | typed sicp-observation/v1과 정확한 lispex-trace/v1 실행 trace |
비교 기록
| 기록 | 비교 대상 |
|---|---|
csk.differential-receipt/v0 | 역사적인 Rust, LIL, LIT 코퍼스 |
lispex.rust-engine-comparison/v1 | 한 Core IR과 바이트코드 아티팩트에서 실행한 Rust tree와 Rust VM |
lispex.topaz-vm-comparison/v1 | 한 바이트코드 아티팩트에서 실행한 Rust VM과 정확한 설치형 토파즈 VM |
csk.meaning-differential-report/v1 | 선택한 소스의 Rust 기준 동작과 Meaning Environment v1 |
sicp-observation/v1 | SICP 프로파일의 종료, 값, stdout, 진단, 경고, 아티팩트 식별자 |
모든 기록은 코퍼스나 소스, 실행기 식별자, 프로파일, 관측 채널, 비교 상태를 담습니다. capability 행은 지원과 미지원 결과를 명시하므로 백엔드 성장이 행 단위로 드러납니다.
숫자 읽는 법
primitive 수는 registry 지원을 나타냅니다. 코퍼스 수는 영수증에서 실행한 이름 붙은 프로그램을 나타냅니다. 엔진 비교는 정확한 경로와 아티팩트를 나타냅니다. 이 값들이 구현 진척과 downstream tool이 사용할 관측을 함께 보여줍니다.