커널 검증
검증 절차는 구조적 유효성, 수치적 정확성, 하드웨어 동작, 정적 스케줄 데이터를 구분합니다.
- 커널 컴파일(
cargo furiosa-opt compile)은 모든#[device]본문을 변환하고 검증하며, 아무것도 실행하지 않고 매핑 및 형태 오류를 잡아냅니다. - CPU 실행(일반 cargo)은 호스트 측 텐서 결과를 호스트 오라클과 비교합니다.
- NPU 실행은 컴파일된 EDF(executable device format)를 Furiosa SDK를 통해 실제 하드웨어에서 실행합니다.
- 스케줄 데이터는 생성된 스케줄 JSON을 검사하고, 릴리스, 형태, 타입, 매핑을 고정한 상태에서 makespan을 비교합니다.
커널 컴파일은 정적입니다. 선택한 모든 커널이 변환되고 검증된다는 것을 증명하지만, 수치적 정확성은 증명하지 않습니다. 스케줄 makespan은 릴리스, 형태, 데이터 타입, 매핑이 고정된 경우에만 비교하십시오. 스케줄 자체는 처리량 측정값이 아닙니다. 고정된 스케줄 후보를 비교하려면 스케줄링과 튜닝을 참고하십시오. 각 비교마다 소스 리비전, 백엔드, 형태, 매핑, 오라클 결과, 스케줄 산출물을 기록하십시오.