GPU Programming

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

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

Self-hosted GPU διαδρομή

Ο default self-hosted compiler (bin/souc) δέχεται GPU kernel syntax και το kretikos μπορεί να εκπέμψει προκαθορισμένα artifact templates:

# Εκπομπή του προκαθορισμένου vec_add PTX template
kretikos emit-ptx vec_add     -o /tmp/kernel.ptx
kretikos emit-ptx vec_sub     -o /tmp/kernel.ptx
kretikos emit-ptx vec_mul     -o /tmp/kernel.ptx
kretikos emit-ptx vec_div     -o /tmp/kernel.ptx
kretikos emit-ptx vec_add_f64 -o /tmp/kernel.ptx
kretikos emit-ptx fma         -o /tmp/kernel.ptx

kretikos emit-metal vec_add          -o /tmp/kernel.metal
kretikos emit-metal ossm_oct_step    -o /tmp/kernel.metal
kretikos emit-metal sedenion_cd_step -o /tmp/kernel.metal

# Εκπομπή του προκαθορισμένου vec_add_f32 CUBIN template
kretikos emit-cubin vec_add_f32 -o /tmp/kernel.cubin

# Εκπομπή PTX+CUBIN και structural bundle manifest
kretikos bundle -o /tmp/kretikos-bundle

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

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