Struct SharedRegion 

pub struct SharedRegion<T: GpuValue, const OWNER: u8> { /* private fields */ }

A region of shared memory owned by a specific role.

The key insight: shared memory races happen because ownership is implicit. By making ownership explicit, we prevent races at the type level.

OWNER is a type-level tag (u8 discriminator) that prevents cross-type access at compile time. The owner field carries the runtime lane range metadata (which lanes belong to this role). These encode different concerns: OWNER prevents mixing regions at the type level; Role describes the lane geometry.

Ownership is enforced at compile time only (const generic tag). The owner field is metadata for debugging — write/read do not verify the caller’s role at runtime. In a real GPU implementation, kernel launch guarantees would replace runtime checks.

Implementations

impl<T: GpuValue + Default, const OWNER: u8> SharedRegion<T, OWNER>

pub fn new(owner: Role) -> Self

impl<T: GpuValue, const OWNER: u8> SharedRegion<T, OWNER>

pub fn write(&mut self, index: usize, value: T)

pub fn read(&self, index: usize) -> T

pub fn grant_read(&self) -> SharedView<'_, T, OWNER>

pub fn owner(&self) -> Role