GPU Programming

Το versioned GPU artifact, η επαληθευμένη σύνταξη και το attested status.

GPU Programming

Το Sounio έχει πλέον δύο checked-in compiler profiles σε αυτό το checkout:

  • souc-linux-x86_64-jit: το default JIT profile
  • souc-linux-x86_64-gpu: το δημόσιο GPU profile

Επαληθευμένο σήμερα

export SOUC_GPU_BIN="$(pwd)/artifacts/omega/souc-bin/souc-linux-x86_64-gpu"
export SOUNIO_STDLIB_PATH="$(pwd)/stdlib"

"$SOUC_GPU_BIN" info
"$SOUC_GPU_BIN" check examples/gpu.sio
"$SOUC_GPU_BIN" check tests/run-pass/gpu_launch_surface.sio
"$SOUC_GPU_BIN" build examples/kernel_matmul.sio --backend gpu -o /tmp/kernel_matmul.ptx

Αυτό αποδεικνύει σήμερα ότι:

  • το checked-in GPU artifact έχει ενεργοποιημένο GPU codegen
  • το δημόσιο PTX emission path είναι το build --backend gpu
  • τα kernel fn, with GPU, GPU.launch και GPU.sync γίνονται δεκτά από το checked GPU profile

Τρέχουσα δημόσια επιφάνεια

Μέρος της δημόσιας και επαληθευμένης επιφάνειας:

  • kernel fn
  • with GPU
  • perform GPU.launch(...)
  • perform GPU.sync()
  • PTX emission μέσω build --backend gpu

Δεν ανήκουν ακόμη στη checked δημόσια επιφάνεια:

  • gpu.thread_id.*
  • gpu.block_id.*
  • gpu.block_dim.*
  • gpu.alloc<T>(...)

Backend evidence

Τα ισχυρότερα artifacts βρίσκονται στο artifacts/omega/:

  • gpu_codegen_parity.v1.json
  • gpu_binary_attestation.v1.json
  • gpu_runtime_attest_gate.v1.json
  • gpu_public_contract.v1.json

Attested compute lanes σήμερα:

  • CUDA: cuda-sm80
  • ROCm: rocm-gfx942