Expand description
SoftGPU Phase 6 functional execution (CPU) + Phase 7 GPU semantic machine
- Phase 8 sanitizers.
Research gate (locked): SoftGPU Functional IR (softgpu-sfir-v1) — an
explicit, SoftGPU-owned IR. Phase 7 adds SoftGPU software waves/lanes, group
memory, barriers, structured divergence, and selected atomics. Phase 8 adds
a declared SoftGPU happens-before sanitizer subset. SoftGPU does not
claim gfx1201 ISA emulation.
See docs/functional-path.md and Articles 7–9.
Re-exports§
pub use error::FunctionalError;pub use error::Result;pub use exec::run;pub use exec::run_with_budget;pub use exec::run_with_config;pub use exec::run_with_config_sanitized;pub use exec::run_with_sanitizer;pub use exec::ExecConfig;pub use exec::LaunchConfig;pub use exec::RunReport;pub use exec::SchedulePolicy;pub use exec::DEFAULT_WAVE_SIZE;pub use exec::FUNCTIONAL_MODE_MARKER;pub use exec::MAX_GROUP_BYTES;pub use ir::load_program_path;pub use ir::load_program_str;pub use ir::AddrSpace;pub use ir::AtomicOrder;pub use ir::AtomicScope;pub use ir::Op;pub use ir::Program;pub use ir::TypeId;pub use ir::SFIR_SCHEMA;pub use memory::GlobalArena;pub use sanitize::Finding;pub use sanitize::FindingKind;pub use sanitize::ReplayBundle;pub use sanitize::SanitizeMode;pub use sanitize::SanitizeReport;pub use sanitize::Sanitizer;pub use sanitize::WorkItemId;pub use sanitize::MAX_SHADOW_BYTES;pub use sanitize::SANITIZER_REPLAY_SCHEMA;
Modules§
- error
- Fail-closed functional-execution errors.
- exec
- Deterministic SoftGPU Functional IR interpreter (Phase 6–7).
- ir
- SoftGPU Functional IR (
softgpu-sfir-v1). - kernels
- Built-in SoftGPU Functional IR kernels (Rust builders + JSON twins).
- memory
- Host-backed global memory arena (SoftGPU functional address space).
- sanitize
- SoftGPU Phase 8 sanitizers (functional fidelity).
Constants§
- VERSION
- Crate version.