Struct MachineAssign

pub struct MachineAssign<DL>
where
    DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static,
{
    pub id: u64,
    pub scheduler: Scheduler<DL>,
    pub expand_cycles: u64,
    pub expand_syscalls: Vec<Box<dyn Syscalls<CoreMachine>>>,
}

Fields

id: u64

scheduler: Scheduler<DL>

expand_cycles: u64

expand_syscalls: Vec<Box<dyn Syscalls<CoreMachine>>>

Implementations

impl<DL> MachineAssign<DL>

where DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static,

pub fn new( id: u64, args: &[Bytes], scheduler: Scheduler<DL>, ) -> Result<Self, Error>

pub fn consume_cycles(&mut self, cycles: u64) -> Result<(), Error>

pub fn exit_code(&self) -> i8

pub fn step(&mut self, decoder: &mut Decoder) -> Result<(), Error>

pub fn wait(&mut self) -> Result<(), Error>

pub fn done(&mut self) -> Result<(), Error>

Trait Implementations

impl<DL> CoreMachine for MachineAssign<DL>

where DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static,

type REG = u64

type MEM = <DefaultCoreMachine<u64, WXorXMemory<FlatMemory<u64>>> as CoreMachine>::MEM

fn pc(&self) -> &Self::REG

fn update_pc(&mut self, pc: Self::REG)

fn commit_pc(&mut self)

fn memory(&self) -> &Self::MEM

fn memory_mut(&mut self) -> &mut Self::MEM

fn registers(&self) -> &[Self::REG]

fn set_register(&mut self, idx: usize, value: Self::REG)

fn version(&self) -> u32

fn isa(&self) -> u8

impl<DL> Display for MachineAssign<DL>

where DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<DL> Machine for MachineAssign<DL>

where DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static,

fn ecall(&mut self) -> Result<(), Error>

fn ebreak(&mut self) -> Result<(), Error>

impl<DL> SupportMachine for MachineAssign<DL>

where DL: CellDataProvider + HeaderProvider + ExtensionProvider + Send + Sync + Clone + 'static,

fn cycles(&self) -> u64

fn set_cycles(&mut self, cycles: u64)

fn max_cycles(&self) -> u64

fn set_max_cycles(&mut self, cycles: u64)

fn running(&self) -> bool

fn set_running(&mut self, running: bool)

fn reset(&mut self, max_cycles: u64)

fn reset_signal(&mut self) -> bool

fn code(&self) -> &Bytes

fn add_cycles(&mut self, cycles: u64) -> Result<(), Error>

fn add_cycles_no_checking(&mut self, cycles: u64) -> Result<(), Error>

fn load_elf_inner( &mut self, program: &Bytes, update_pc: bool, ) -> Result<u64, Error>

fn load_elf(&mut self, program: &Bytes, update_pc: bool) -> Result<u64, Error>

fn load_binary_inner( &mut self, program: &Bytes, metadata: &ProgramMetadata, update_pc: bool, ) -> Result<u64, Error>

fn load_binary( &mut self, program: &Bytes, metadata: &ProgramMetadata, update_pc: bool, ) -> Result<u64, Error>

fn initialize_stack( &mut self, args: impl ExactSizeIterator<Item = Result<Bytes, Error>>, stack_start: u64, stack_size: u64, ) -> Result<u64, Error>