Skip to content

Commit

Permalink
rune: Make miri happy about how environments are passed
Browse files Browse the repository at this point in the history
  • Loading branch information
udoprog committed Oct 26, 2024
1 parent 680e732 commit b0876fb
Show file tree
Hide file tree
Showing 2 changed files with 33 additions and 26 deletions.
46 changes: 30 additions & 16 deletions crates/rune/src/runtime/env.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
//!
//! See the corresponding function for documentation.
use core::mem::ManuallyDrop;
use core::ptr::NonNull;

#[cfg_attr(feature = "std", path = "env/std.rs")]
Expand Down Expand Up @@ -39,9 +40,9 @@ where
// Safety: context and unit can only be registered publicly through
// [`Guard`], which makes sure that they are live for the duration of the
// registration.
let context = unsafe { context.as_ref() };
let unit = unsafe { unit.as_ref() };
c(context, unit)
let context = unsafe { ManuallyDrop::new(Arc::from_raw(context.as_ptr().cast_const())) };
let unit = unsafe { ManuallyDrop::new(Arc::from_raw(unit.as_ptr().cast_const())) };
c(&context, &unit)
}

/// Call the given closure with access to the checked environment accessing it
Expand Down Expand Up @@ -69,14 +70,14 @@ where
// Safety: context and unit can only be registered publicly through
// [`Guard`], which makes sure that they are live for the duration of the
// registration.
let context = unsafe { context.as_ref() };
let unit = unsafe { unit.as_ref() };
let context = unsafe { ManuallyDrop::new(Arc::from_raw(context.as_ptr().cast_const())) };
let unit = unsafe { ManuallyDrop::new(Arc::from_raw(unit.as_ptr().cast_const())) };
let diagnostics = match guard.env.diagnostics {
Some(mut d) => Some(unsafe { d.as_mut() }),
None => None,
};

c(context, unit, diagnostics)
c(&context, &unit, diagnostics)
}

pub(crate) struct Guard {
Expand All @@ -90,29 +91,42 @@ impl Guard {
///
/// The returned guard must be dropped before the pointed to elements are.
pub(crate) fn new(
context: NonNull<Arc<RuntimeContext>>,
unit: NonNull<Arc<Unit>>,
context: Arc<RuntimeContext>,
unit: Arc<Unit>,
diagnostics: Option<NonNull<VmDiagnosticsObj>>,
) -> Guard {
let env = self::no_std::rune_env_replace(Env {
context: Some(context),
unit: Some(unit),
diagnostics,
});
let env = unsafe {
self::no_std::rune_env_replace(Env {
context: Some(NonNull::new_unchecked(Arc::into_raw(context).cast_mut())),
unit: Some(NonNull::new_unchecked(Arc::into_raw(unit).cast_mut())),
diagnostics,
})
};

Guard { env }
}
}

impl Drop for Guard {
fn drop(&mut self) {
let _ = self::no_std::rune_env_replace(self.env);
let old_env = self::no_std::rune_env_replace(self.env);

unsafe {
if let Some(context) = old_env.context {
drop(Arc::from_raw(context.as_ptr().cast_const()));
}

if let Some(unit) = old_env.unit {
drop(Arc::from_raw(unit.as_ptr().cast_const()));
}
}
}
}

#[derive(Debug, Clone, Copy)]
struct Env {
context: Option<NonNull<Arc<RuntimeContext>>>,
unit: Option<NonNull<Arc<Unit>>>,
context: Option<NonNull<RuntimeContext>>,
unit: Option<NonNull<Unit>>,
diagnostics: Option<NonNull<VmDiagnosticsObj>>,
}

Expand Down
13 changes: 3 additions & 10 deletions crates/rune/src/runtime/vm.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3657,11 +3657,7 @@ impl Vm {
where
F: FnOnce() -> T,
{
let _guard = crate::runtime::env::Guard::new(
NonNull::from(&self.context),
NonNull::from(&self.unit),
None,
);
let _guard = crate::runtime::env::Guard::new(self.context.clone(), self.unit.clone(), None);
f()
}

Expand All @@ -3679,11 +3675,8 @@ impl Vm {

// NB: set up environment so that native function can access context and
// unit.
let _guard = crate::runtime::env::Guard::new(
NonNull::from(&self.context),
NonNull::from(&self.unit),
diagnostics,
);
let _guard =
crate::runtime::env::Guard::new(self.context.clone(), self.unit.clone(), diagnostics);

let mut budget = budget::acquire();

Expand Down

0 comments on commit b0876fb

Please sign in to comment.