#[repr(C)]pub struct EnergyBudget {
pub global_remaining: AtomicI64,
pub per_mark: [AtomicI64; 128],
pub per_mark_initial: i64,
pub realloc_pool: AtomicI64,
}Expand description
3-level energy budget in shared memory.
Lives in MAP_SHARED memory so all forked processes share the same counters.
Fields§
§global_remaining: AtomicI64Global energy remaining across all marks.
per_mark: [AtomicI64; 128]Per-mark energy budgets (indexed by assertion slot index).
per_mark_initial: i64Initial energy assigned to each new mark.
realloc_pool: AtomicI64Pool of energy returned by barren marks, available for productive marks.
Auto Trait Implementations§
impl !Freeze for EnergyBudget
impl RefUnwindSafe for EnergyBudget
impl Send for EnergyBudget
impl Sync for EnergyBudget
impl Unpin for EnergyBudget
impl UnsafeUnpin for EnergyBudget
impl UnwindSafe for EnergyBudget
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more