Struct ExecutableProgram 

pub struct ExecutableProgram { /* private fields */ }

The ExecutableProgram struct provides a reusable host-side execution form for one lexed BESL program.

Implementations

impl ExecutableProgram

pub fn run_main( &self, descriptors: &mut DescriptorBindings<'_>, ) -> Result<(), VmError>

Executes the compiled main function using the currently bound descriptor resources.

pub fn run_main_with_config( &self, descriptors: &mut DescriptorBindings<'_>, config: &ExecutionConfig, ) -> Result<(), VmError>

Executes main with explicit execution limits and shader invocation coordinates.

Each call represents one invocation. Workgroup barriers preserve local instruction order but do not schedule or wait for peer invocations.

pub fn run_task_workgroup( &self, descriptors: &mut DescriptorBindings<'_>, configs: &[ExecutionConfig], ) -> Result<(), VmError>

Executes every task invocation in one workgroup with synchronized barriers and shared bound state.

Configurations run in slice order between barriers. This ordering makes atomic compaction deterministic for VM assertions. The scheduler rejects barriers in nested helper functions because only the main frame participates in the rendezvous.

impl ExecutableProgram

pub fn compile(program: NodeReference) -> Result<Self, VmError>

Compiles a lexed BESL program into a runnable VM program.

pub fn compile_with_specializations( program: NodeReference, specializations: &SpecializationValues, ) -> Result<Self, VmError>

Compiles a lexed BESL program using host-provided specialization values.

pub fn descriptor_layout(&self, slot: ResourceSlot) -> Option<&DescriptorLayout>

pub fn buffer_layout(&self, slot: ResourceSlot) -> Option<&BufferLayout>

pub fn push_constant_layout(&self) -> Option<&BufferLayout>

pub fn input_layout(&self, location: u8) -> Option<&BufferLayout>

pub fn output_layout(&self, location: u8) -> Option<&BufferLayout>

pub fn builtin_position_layout(&self) -> Option<&BufferLayout>