• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // SPDX-License-Identifier: Apache-2.0 OR MIT
2  
3  //! This module contains API-internal items for pin-init.
4  //!
5  //! These items must not be used outside of
6  //! - `kernel/init.rs`
7  //! - `macros/pin_data.rs`
8  //! - `macros/pinned_drop.rs`
9  
10  use super::*;
11  
12  /// See the [nomicon] for what subtyping is. See also [this table].
13  ///
14  /// [nomicon]: https://doc.rust-lang.org/nomicon/subtyping.html
15  /// [this table]: https://doc.rust-lang.org/nomicon/phantom-data.html#table-of-phantomdata-patterns
16  pub(super) type Invariant<T> = PhantomData<fn(*mut T) -> *mut T>;
17  
18  /// This is the module-internal type implementing `PinInit` and `Init`. It is unsafe to create this
19  /// type, since the closure needs to fulfill the same safety requirement as the
20  /// `__pinned_init`/`__init` functions.
21  pub(crate) struct InitClosure<F, T: ?Sized, E>(pub(crate) F, pub(crate) Invariant<(E, T)>);
22  
23  // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
24  // `__init` invariants.
25  unsafe impl<T: ?Sized, F, E> Init<T, E> for InitClosure<F, T, E>
26  where
27      F: FnOnce(*mut T) -> Result<(), E>,
28  {
29      #[inline]
__init(self, slot: *mut T) -> Result<(), E>30      unsafe fn __init(self, slot: *mut T) -> Result<(), E> {
31          (self.0)(slot)
32      }
33  }
34  
35  // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
36  // `__pinned_init` invariants.
37  unsafe impl<T: ?Sized, F, E> PinInit<T, E> for InitClosure<F, T, E>
38  where
39      F: FnOnce(*mut T) -> Result<(), E>,
40  {
41      #[inline]
__pinned_init(self, slot: *mut T) -> Result<(), E>42      unsafe fn __pinned_init(self, slot: *mut T) -> Result<(), E> {
43          (self.0)(slot)
44      }
45  }
46  
47  /// This trait is only implemented via the `#[pin_data]` proc-macro. It is used to facilitate
48  /// the pin projections within the initializers.
49  ///
50  /// # Safety
51  ///
52  /// Only the `init` module is allowed to use this trait.
53  pub unsafe trait HasPinData {
54      type PinData: PinData;
55  
__pin_data() -> Self::PinData56      unsafe fn __pin_data() -> Self::PinData;
57  }
58  
59  /// Marker trait for pinning data of structs.
60  ///
61  /// # Safety
62  ///
63  /// Only the `init` module is allowed to use this trait.
64  pub unsafe trait PinData: Copy {
65      type Datee: ?Sized + HasPinData;
66  
67      /// Type inference helper function.
make_closure<F, O, E>(self, f: F) -> F where F: FnOnce(*mut Self::Datee) -> Result<O, E>,68      fn make_closure<F, O, E>(self, f: F) -> F
69      where
70          F: FnOnce(*mut Self::Datee) -> Result<O, E>,
71      {
72          f
73      }
74  }
75  
76  /// This trait is automatically implemented for every type. It aims to provide the same type
77  /// inference help as `HasPinData`.
78  ///
79  /// # Safety
80  ///
81  /// Only the `init` module is allowed to use this trait.
82  pub unsafe trait HasInitData {
83      type InitData: InitData;
84  
__init_data() -> Self::InitData85      unsafe fn __init_data() -> Self::InitData;
86  }
87  
88  /// Same function as `PinData`, but for arbitrary data.
89  ///
90  /// # Safety
91  ///
92  /// Only the `init` module is allowed to use this trait.
93  pub unsafe trait InitData: Copy {
94      type Datee: ?Sized + HasInitData;
95  
96      /// Type inference helper function.
make_closure<F, O, E>(self, f: F) -> F where F: FnOnce(*mut Self::Datee) -> Result<O, E>,97      fn make_closure<F, O, E>(self, f: F) -> F
98      where
99          F: FnOnce(*mut Self::Datee) -> Result<O, E>,
100      {
101          f
102      }
103  }
104  
105  pub struct AllData<T: ?Sized>(PhantomData<fn(Box<T>) -> Box<T>>);
106  
107  impl<T: ?Sized> Clone for AllData<T> {
clone(&self) -> Self108      fn clone(&self) -> Self {
109          *self
110      }
111  }
112  
113  impl<T: ?Sized> Copy for AllData<T> {}
114  
115  unsafe impl<T: ?Sized> InitData for AllData<T> {
116      type Datee = T;
117  }
118  
119  unsafe impl<T: ?Sized> HasInitData for T {
120      type InitData = AllData<T>;
121  
__init_data() -> Self::InitData122      unsafe fn __init_data() -> Self::InitData {
123          AllData(PhantomData)
124      }
125  }
126  
127  /// Stack initializer helper type. Use [`stack_pin_init`] instead of this primitive.
128  ///
129  /// # Invariants
130  ///
131  /// If `self.is_init` is true, then `self.value` is initialized.
132  ///
133  /// [`stack_pin_init`]: kernel::stack_pin_init
134  pub struct StackInit<T> {
135      value: MaybeUninit<T>,
136      is_init: bool,
137  }
138  
139  impl<T> Drop for StackInit<T> {
140      #[inline]
drop(&mut self)141      fn drop(&mut self) {
142          if self.is_init {
143              // SAFETY: As we are being dropped, we only call this once. And since `self.is_init` is
144              // true, `self.value` is initialized.
145              unsafe { self.value.assume_init_drop() };
146          }
147      }
148  }
149  
150  impl<T> StackInit<T> {
151      /// Creates a new [`StackInit<T>`] that is uninitialized. Use [`stack_pin_init`] instead of this
152      /// primitive.
153      ///
154      /// [`stack_pin_init`]: kernel::stack_pin_init
155      #[inline]
uninit() -> Self156      pub fn uninit() -> Self {
157          Self {
158              value: MaybeUninit::uninit(),
159              is_init: false,
160          }
161      }
162  
163      /// Initializes the contents and returns the result.
164      #[inline]
init<E>(self: Pin<&mut Self>, init: impl PinInit<T, E>) -> Result<Pin<&mut T>, E>165      pub fn init<E>(self: Pin<&mut Self>, init: impl PinInit<T, E>) -> Result<Pin<&mut T>, E> {
166          // SAFETY: We never move out of `this`.
167          let this = unsafe { Pin::into_inner_unchecked(self) };
168          // The value is currently initialized, so it needs to be dropped before we can reuse
169          // the memory (this is a safety guarantee of `Pin`).
170          if this.is_init {
171              this.is_init = false;
172              // SAFETY: `this.is_init` was true and therefore `this.value` is initialized.
173              unsafe { this.value.assume_init_drop() };
174          }
175          // SAFETY: The memory slot is valid and this type ensures that it will stay pinned.
176          unsafe { init.__pinned_init(this.value.as_mut_ptr())? };
177          // INVARIANT: `this.value` is initialized above.
178          this.is_init = true;
179          // SAFETY: The slot is now pinned, since we will never give access to `&mut T`.
180          Ok(unsafe { Pin::new_unchecked(this.value.assume_init_mut()) })
181      }
182  }
183  
184  /// When a value of this type is dropped, it drops a `T`.
185  ///
186  /// Can be forgotten to prevent the drop.
187  pub struct DropGuard<T: ?Sized> {
188      ptr: *mut T,
189  }
190  
191  impl<T: ?Sized> DropGuard<T> {
192      /// Creates a new [`DropGuard<T>`]. It will [`ptr::drop_in_place`] `ptr` when it gets dropped.
193      ///
194      /// # Safety
195      ///
196      /// `ptr` must be a valid pointer.
197      ///
198      /// It is the callers responsibility that `self` will only get dropped if the pointee of `ptr`:
199      /// - has not been dropped,
200      /// - is not accessible by any other means,
201      /// - will not be dropped by any other means.
202      #[inline]
new(ptr: *mut T) -> Self203      pub unsafe fn new(ptr: *mut T) -> Self {
204          Self { ptr }
205      }
206  }
207  
208  impl<T: ?Sized> Drop for DropGuard<T> {
209      #[inline]
drop(&mut self)210      fn drop(&mut self) {
211          // SAFETY: A `DropGuard` can only be constructed using the unsafe `new` function
212          // ensuring that this operation is safe.
213          unsafe { ptr::drop_in_place(self.ptr) }
214      }
215  }
216  
217  /// Token used by `PinnedDrop` to prevent calling the function without creating this unsafely
218  /// created struct. This is needed, because the `drop` function is safe, but should not be called
219  /// manually.
220  pub struct OnlyCallFromDrop(());
221  
222  impl OnlyCallFromDrop {
223      /// # Safety
224      ///
225      /// This function should only be called from the [`Drop::drop`] function and only be used to
226      /// delegate the destruction to the pinned destructor [`PinnedDrop::drop`] of the same type.
new() -> Self227      pub unsafe fn new() -> Self {
228          Self(())
229      }
230  }
231