94 points by u/GolfFoxtrotLima in c/science · 59m ago · 1 lemmy2 lemmy
cross-posted from: https://lemmy.world/post/50808662
> ***Health data appears to be most affected by administration’s attempt to wipe findings that don’t align with its priorities, tracker shows***
>
> A database of federal law enforcement officer misconduct records. A survey…
3 points by theelx in lobste.rs · 2h ago · 1 lobsters
High-performance GPU programming has traditionally forced a compromise between execution efficiency and memory safety. While Rust guarantees compile-time memory safety
for host CPUs via its strict ownership model, applying these constraints to massively parallel GPU execution environments has previously mandated either vendor-locked Domain-Specific Languages (DSLs) or escaping to explicit unsafe raw pointers. This paper presents a zero-overhead, multi-vendor
GPU compilation framework built natively into the Rust compiler (rustc) and LLVM backends.
We leverage Rust’s rich type system, ownership system, and strict aliasing guarantees (𝑛𝑜𝑎𝑙𝑖𝑎𝑠) to efficiently manage and optimize data transfers through LLVM’s Offload infrastructure. We expose the technical challenges of cross-vendor ABI lowering mismatches between Host and Device targets and introduce a two-pass compilation pipeline capable of safely handling both manual and compiler-generated memory movements. Evaluating our framework on RAJAPerf demonstrates that our rustc-based solution can generate competitive LLVM IR for GPU kernels, achieving a solid kernel performance against native, hand-optimized CUDA and HIP C++ baselines.