Expand description
SoftGPU Phase 6 functional execution (CPU) + Phase 7 GPU semantic machine
- Phase 8 sanitizers + Phase 9 debugger.
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. Phase 9 adds versioned
traces, breakpoints, inspection, and seeded schedule exploration. SoftGPU
does not claim gfx1201 ISA emulation.
See docs/functional-path.md and Articles 7–10.
Re-exports§
pub use debug::explore_and_minimize_race;pub use debug::inspect_sanitizer_finding;pub use debug::parse_trace_jsonl;pub use debug::run_debug;pub use debug::Breakpoint;pub use debug::DebugAction;pub use debug::DebugRunReport;pub use debug::DebugSession;pub use debug::DebugStop;pub use debug::ExecObserver;pub use debug::ExploreReport;pub use debug::ExploreTrial;pub use debug::NoopObserver;pub use debug::StateSnapshot;pub use debug::TraceEvent;pub use debug::TraceLog;pub use debug::DEBUG_TRACE_SCHEMA;pub use debug::DEFAULT_TRACE_EVENT_BUDGET;pub use debug::MAX_TRACE_BYTES;pub use debug::MAX_TRACE_LINE_BYTES;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_observer;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§
- debug
- SoftGPU Phase 9 debugger and deterministic exploration.
- 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.