diff options
Diffstat (limited to 'components/script/dom/bindings/root.rs')
-rw-r--r-- | components/script/dom/bindings/root.rs | 402 |
1 files changed, 11 insertions, 391 deletions
diff --git a/components/script/dom/bindings/root.rs b/components/script/dom/bindings/root.rs index 912ed9acee4..4e8cbf21882 100644 --- a/components/script/dom/bindings/root.rs +++ b/components/script/dom/bindings/root.rs @@ -24,232 +24,24 @@ //! originating `DomRoot<T>`. //! -use std::cell::{Cell, OnceCell, UnsafeCell}; +use std::cell::{OnceCell, UnsafeCell}; use std::default::Default; use std::hash::{Hash, Hasher}; use std::marker::PhantomData; -use std::ops::Deref; use std::{mem, ptr}; use js::jsapi::{JSObject, JSTracer}; use malloc_size_of::{MallocSizeOf, MallocSizeOfOps}; +pub(crate) use script_bindings::root::*; use script_layout_interface::TrustedNodeAddress; use style::thread_state; use crate::dom::bindings::conversions::DerivedFrom; use crate::dom::bindings::inheritance::Castable; -use crate::dom::bindings::reflector::{DomObject, MutDomObject, Reflector}; -use crate::dom::bindings::trace::{trace_reflector, JSTraceable}; +use crate::dom::bindings::reflector::DomObject; +use crate::dom::bindings::trace::JSTraceable; use crate::dom::node::Node; -/// A rooted value. -#[cfg_attr(crown, crown::unrooted_must_root_lint::allow_unrooted_interior)] -pub(crate) struct Root<T: StableTraceObject> { - /// The value to root. - value: T, - /// List that ensures correct dynamic root ordering - root_list: *const RootCollection, -} - -impl<T> Root<T> -where - T: StableTraceObject + 'static, -{ - /// Create a new stack-bounded root for the provided value. - /// It cannot outlive its associated `RootCollection`, and it gives - /// out references which cannot outlive this new `Root`. - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - pub(crate) unsafe fn new(value: T) -> Self { - unsafe fn add_to_root_list(object: *const dyn JSTraceable) -> *const RootCollection { - assert_in_script(); - STACK_ROOTS.with(|root_list| { - let root_list = &*root_list.get().unwrap(); - root_list.root(object); - root_list - }) - } - - let root_list = add_to_root_list(value.stable_trace_object()); - Root { value, root_list } - } -} - -/// `StableTraceObject` represents values that can be rooted through a stable address that will -/// not change for their whole lifetime. -/// It is an unsafe trait that requires implementors to ensure certain safety guarantees. -/// -/// # Safety -/// -/// Implementors of this trait must ensure that the `trace` method correctly accounts for all -/// owned and referenced objects, so that the garbage collector can accurately determine which -/// objects are still in use. Failing to adhere to this contract may result in undefined behavior, -/// such as use-after-free errors. -pub(crate) unsafe trait StableTraceObject { - /// Returns a stable trace object which address won't change for the whole - /// lifetime of the value. - fn stable_trace_object(&self) -> *const dyn JSTraceable; -} - -unsafe impl<T> StableTraceObject for Dom<T> -where - T: DomObject, -{ - fn stable_trace_object(&self) -> *const dyn JSTraceable { - // The JSTraceable impl for Reflector doesn't actually do anything, - // so we need this shenanigan to actually trace the reflector of the - // T pointer in Dom<T>. - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - struct ReflectorStackRoot(Reflector); - unsafe impl JSTraceable for ReflectorStackRoot { - unsafe fn trace(&self, tracer: *mut JSTracer) { - trace_reflector(tracer, "on stack", &self.0); - } - } - unsafe { &*(self.reflector() as *const Reflector as *const ReflectorStackRoot) } - } -} - -unsafe impl<T> StableTraceObject for MaybeUnreflectedDom<T> -where - T: DomObject, -{ - fn stable_trace_object(&self) -> *const dyn JSTraceable { - // The JSTraceable impl for Reflector doesn't actually do anything, - // so we need this shenanigan to actually trace the reflector of the - // T pointer in Dom<T>. - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - struct MaybeUnreflectedStackRoot<T>(T); - unsafe impl<T> JSTraceable for MaybeUnreflectedStackRoot<T> - where - T: DomObject, - { - unsafe fn trace(&self, tracer: *mut JSTracer) { - if self.0.reflector().get_jsobject().is_null() { - self.0.trace(tracer); - } else { - trace_reflector(tracer, "on stack", self.0.reflector()); - } - } - } - unsafe { &*(self.ptr.as_ptr() as *const T as *const MaybeUnreflectedStackRoot<T>) } - } -} - -impl<T> Deref for Root<T> -where - T: Deref + StableTraceObject, -{ - type Target = <T as Deref>::Target; - - fn deref(&self) -> &Self::Target { - assert_in_script(); - &self.value - } -} - -impl<T> Drop for Root<T> -where - T: StableTraceObject, -{ - fn drop(&mut self) { - unsafe { - (*self.root_list).unroot(self.value.stable_trace_object()); - } - } -} - -/// A rooted reference to a DOM object. -pub(crate) type DomRoot<T> = Root<Dom<T>>; - -impl<T: Castable> DomRoot<T> { - /// Cast a DOM object root upwards to one of the interfaces it derives from. - pub(crate) fn upcast<U>(root: DomRoot<T>) -> DomRoot<U> - where - U: Castable, - T: DerivedFrom<U>, - { - unsafe { mem::transmute::<DomRoot<T>, DomRoot<U>>(root) } - } - - /// Cast a DOM object root downwards to one of the interfaces it might implement. - pub(crate) fn downcast<U>(root: DomRoot<T>) -> Option<DomRoot<U>> - where - U: DerivedFrom<T>, - { - if root.is::<U>() { - Some(unsafe { mem::transmute::<DomRoot<T>, DomRoot<U>>(root) }) - } else { - None - } - } -} - -impl<T: DomObject> DomRoot<T> { - /// Generate a new root from a reference - pub(crate) fn from_ref(unrooted: &T) -> DomRoot<T> { - unsafe { DomRoot::new(Dom::from_ref(unrooted)) } - } - - /// Create a traced version of this rooted object. - /// - /// # Safety - /// - /// This should never be used to create on-stack values. Instead these values should always - /// end up as members of other DOM objects. - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - pub(crate) fn as_traced(&self) -> Dom<T> { - Dom::from_ref(self) - } -} - -impl<T> MallocSizeOf for DomRoot<T> -where - T: DomObject + MallocSizeOf, -{ - fn size_of(&self, ops: &mut MallocSizeOfOps) -> usize { - (**self).size_of(ops) - } -} - -impl<T> PartialEq for DomRoot<T> -where - T: DomObject, -{ - fn eq(&self, other: &Self) -> bool { - self.value == other.value - } -} - -impl<T> Clone for DomRoot<T> -where - T: DomObject, -{ - fn clone(&self) -> DomRoot<T> { - DomRoot::from_ref(self) - } -} - -unsafe impl<T> JSTraceable for DomRoot<T> -where - T: DomObject, -{ - unsafe fn trace(&self, _: *mut JSTracer) { - // Already traced. - } -} - -/// A rooting mechanism for reflectors on the stack. -/// LIFO is not required. -/// -/// See also [*Exact Stack Rooting - Storing a GCPointer on the CStack*][cstack]. -/// -/// [cstack]: https://developer.mozilla.org/en-US/docs/Mozilla/Projects/SpiderMonkey/Internals/GC/Exact_Stack_Rooting -pub(crate) struct RootCollection { - roots: UnsafeCell<Vec<*const dyn JSTraceable>>, -} - -thread_local!(static STACK_ROOTS: Cell<Option<*const RootCollection>> = const { Cell::new(None) }); - pub(crate) struct ThreadLocalStackRoots<'a>(PhantomData<&'a u32>); impl<'a> ThreadLocalStackRoots<'a> { @@ -265,48 +57,6 @@ impl Drop for ThreadLocalStackRoots<'_> { } } -impl RootCollection { - /// Create an empty collection of roots - pub(crate) fn new() -> RootCollection { - assert_in_script(); - RootCollection { - roots: UnsafeCell::new(vec![]), - } - } - - /// Starts tracking a trace object. - unsafe fn root(&self, object: *const dyn JSTraceable) { - assert_in_script(); - (*self.roots.get()).push(object); - } - - /// Stops tracking a trace object, asserting if it isn't found. - unsafe fn unroot(&self, object: *const dyn JSTraceable) { - assert_in_script(); - let roots = &mut *self.roots.get(); - match roots - .iter() - .rposition(|r| std::ptr::addr_eq(*r as *const (), object as *const ())) - { - Some(idx) => { - roots.remove(idx); - }, - None => panic!("Can't remove a root that was never rooted!"), - } - } -} - -/// SM Callback that traces the rooted reflectors -pub(crate) unsafe fn trace_roots(tracer: *mut JSTracer) { - trace!("tracing stack roots"); - STACK_ROOTS.with(|collection| { - let collection = &*(*collection.get().unwrap()).roots.get(); - for root in collection { - (**root).trace(tracer); - } - }); -} - /// Get a slice of references to DOM objects. pub(crate) trait DomSlice<T> where @@ -327,121 +77,24 @@ where } } -/// A traced reference to a DOM object -/// -/// This type is critical to making garbage collection work with the DOM, -/// but it is very dangerous; if garbage collection happens with a `Dom<T>` -/// on the stack, the `Dom<T>` can point to freed memory. -/// -/// This should only be used as a field in other DOM objects. -#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)] -#[repr(transparent)] -pub(crate) struct Dom<T> { - ptr: ptr::NonNull<T>, -} - -// Dom<T> is similar to Rc<T>, in that it's not always clear how to avoid double-counting. -// For now, we choose not to follow any such pointers. -impl<T> MallocSizeOf for Dom<T> { - fn size_of(&self, _ops: &mut MallocSizeOfOps) -> usize { - 0 - } -} - -impl<T> Dom<T> { +pub(crate) trait ToLayout<T> { /// Returns `LayoutDom<T>` containing the same pointer. /// /// # Safety /// /// The `self` parameter to this method must meet all the requirements of [`ptr::NonNull::as_ref`]. - pub(crate) unsafe fn to_layout(&self) -> LayoutDom<T> { - assert_in_layout(); - LayoutDom { - value: self.ptr.as_ref(), - } - } -} - -impl<T: DomObject> Dom<T> { - /// Create a `Dom<T>` from a `&T` - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - pub(crate) fn from_ref(obj: &T) -> Dom<T> { - assert_in_script(); - Dom { - ptr: ptr::NonNull::from(obj), - } - } - - /// Return a rooted version of this DOM object ([`DomRoot<T>`]) suitable for use on the stack. - pub(crate) fn as_rooted(&self) -> DomRoot<T> { - DomRoot::from_ref(self) - } -} - -impl<T: DomObject> Deref for Dom<T> { - type Target = T; - - fn deref(&self) -> &T { - assert_in_script(); - // We can only have &Dom<T> from a rooted thing, so it's safe to deref - // it to &T. - unsafe { &*self.ptr.as_ptr() } - } -} - -unsafe impl<T: DomObject> JSTraceable for Dom<T> { - unsafe fn trace(&self, trc: *mut JSTracer) { - let trace_string; - let trace_info = if cfg!(debug_assertions) { - trace_string = format!("for {} on heap", ::std::any::type_name::<T>()); - &trace_string[..] - } else { - "for DOM object on heap" - }; - trace_reflector(trc, trace_info, (*self.ptr.as_ptr()).reflector()); - } + unsafe fn to_layout(&self) -> LayoutDom<T>; } -/// A traced reference to a DOM object that may not be reflected yet. -#[cfg_attr(crown, crown::unrooted_must_root_lint::must_root)] -pub(crate) struct MaybeUnreflectedDom<T> { - ptr: ptr::NonNull<T>, -} - -impl<T> MaybeUnreflectedDom<T> -where - T: DomObject, -{ - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - pub(crate) unsafe fn from_box(value: Box<T>) -> Self { - Self { - ptr: Box::leak(value).into(), +impl<T: DomObject> ToLayout<T> for Dom<T> { + unsafe fn to_layout(&self) -> LayoutDom<T> { + assert_in_layout(); + LayoutDom { + value: self.as_ptr().as_ref().unwrap(), } } } -impl<T> Root<MaybeUnreflectedDom<T>> -where - T: DomObject, -{ - pub(crate) fn as_ptr(&self) -> *const T { - self.value.ptr.as_ptr() - } -} - -impl<T> Root<MaybeUnreflectedDom<T>> -where - T: MutDomObject, -{ - pub(crate) unsafe fn reflect_with(self, obj: *mut JSObject) -> DomRoot<T> { - let ptr = self.as_ptr(); - drop(self); - let root = DomRoot::from_ref(&*ptr); - root.init_reflector(obj); - root - } -} - /// An unrooted reference to a DOM object for use in layout. `Layout*Helpers` /// traits must be implemented on this. #[cfg_attr(crown, crown::unrooted_must_root_lint::allow_unrooted_interior)] @@ -498,20 +151,6 @@ where impl<T> Copy for LayoutDom<'_, T> {} -impl<T> PartialEq for Dom<T> { - fn eq(&self, other: &Dom<T>) -> bool { - self.ptr.as_ptr() == other.ptr.as_ptr() - } -} - -impl<'a, T: DomObject> PartialEq<&'a T> for Dom<T> { - fn eq(&self, other: &&'a T) -> bool { - *self == Dom::from_ref(*other) - } -} - -impl<T> Eq for Dom<T> {} - impl<T> PartialEq for LayoutDom<'_, T> { fn eq(&self, other: &Self) -> bool { std::ptr::eq(self.value, other.value) @@ -520,27 +159,12 @@ impl<T> PartialEq for LayoutDom<'_, T> { impl<T> Eq for LayoutDom<'_, T> {} -impl<T> Hash for Dom<T> { - fn hash<H: Hasher>(&self, state: &mut H) { - self.ptr.as_ptr().hash(state) - } -} - impl<T> Hash for LayoutDom<'_, T> { fn hash<H: Hasher>(&self, state: &mut H) { (self.value as *const T).hash(state) } } -impl<T> Clone for Dom<T> { - #[inline] - #[cfg_attr(crown, allow(crown::unrooted_must_root))] - fn clone(&self) -> Self { - assert_in_script(); - Dom { ptr: self.ptr } - } -} - impl<T> Clone for LayoutDom<'_, T> { #[inline] #[allow(clippy::non_canonical_clone_impl)] @@ -616,10 +240,6 @@ impl<T: DomObject + PartialEq> PartialEq<T> for MutDom<T> { } } -pub(crate) fn assert_in_script() { - debug_assert!(thread_state::get().is_script()); -} - pub(crate) fn assert_in_layout() { debug_assert!(thread_state::get().is_layout()); } |