~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/rust/kernel/sync/arc.rs

Version: ~ [ linux-6.12-rc7 ] ~ [ linux-6.11.7 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.60 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.116 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.171 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.229 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.285 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.323 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.12 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /rust/kernel/sync/arc.rs (Version linux-6.12-rc7) and /rust/kernel/sync/arc.rs (Version linux-6.5.13)


  1 // SPDX-License-Identifier: GPL-2.0                 1 // SPDX-License-Identifier: GPL-2.0
  2                                                     2 
  3 //! A reference-counted pointer.                    3 //! A reference-counted pointer.
  4 //!                                                 4 //!
  5 //! This module implements a way for users to       5 //! This module implements a way for users to create reference-counted objects and pointers to
  6 //! them. Such a pointer automatically increme      6 //! them. Such a pointer automatically increments and decrements the count, and drops the
  7 //! underlying object when it reaches zero. It      7 //! underlying object when it reaches zero. It is also safe to use concurrently from multiple
  8 //! threads.                                        8 //! threads.
  9 //!                                                 9 //!
 10 //! It is different from the standard library'     10 //! It is different from the standard library's [`Arc`] in a few ways:
 11 //! 1. It is backed by the kernel's `refcount_     11 //! 1. It is backed by the kernel's `refcount_t` type.
 12 //! 2. It does not support weak references, wh     12 //! 2. It does not support weak references, which allows it to be half the size.
 13 //! 3. It saturates the reference count instea     13 //! 3. It saturates the reference count instead of aborting when it goes over a threshold.
 14 //! 4. It does not provide a `get_mut` method,     14 //! 4. It does not provide a `get_mut` method, so the ref counted object is pinned.
 15 //! 5. The object in [`Arc`] is pinned implici << 
 16 //!                                                15 //!
 17 //! [`Arc`]: https://doc.rust-lang.org/std/syn     16 //! [`Arc`]: https://doc.rust-lang.org/std/sync/struct.Arc.html
 18                                                    17 
 19 use crate::{                                       18 use crate::{
 20     alloc::{box_ext::BoxExt, AllocError, Flags << 
 21     bindings,                                      19     bindings,
                                                   >>  20     error::{self, Error},
 22     init::{self, InPlaceInit, Init, PinInit},      21     init::{self, InPlaceInit, Init, PinInit},
 23     try_init,                                      22     try_init,
 24     types::{ForeignOwnable, Opaque},               23     types::{ForeignOwnable, Opaque},
 25 };                                                 24 };
 26 use alloc::boxed::Box;                             25 use alloc::boxed::Box;
 27 use core::{                                        26 use core::{
 28     alloc::Layout,                             !!  27     alloc::AllocError,
 29     fmt,                                           28     fmt,
 30     marker::{PhantomData, Unsize},                 29     marker::{PhantomData, Unsize},
 31     mem::{ManuallyDrop, MaybeUninit},              30     mem::{ManuallyDrop, MaybeUninit},
 32     ops::{Deref, DerefMut},                        31     ops::{Deref, DerefMut},
 33     pin::Pin,                                      32     pin::Pin,
 34     ptr::NonNull,                                  33     ptr::NonNull,
 35 };                                                 34 };
 36 use macros::pin_data;                              35 use macros::pin_data;
 37                                                    36 
 38 mod std_vendor;                                    37 mod std_vendor;
 39                                                    38 
 40 /// A reference-counted pointer to an instance     39 /// A reference-counted pointer to an instance of `T`.
 41 ///                                                40 ///
 42 /// The reference count is incremented when ne     41 /// The reference count is incremented when new instances of [`Arc`] are created, and decremented
 43 /// when they are dropped. When the count reac     42 /// when they are dropped. When the count reaches zero, the underlying `T` is also dropped.
 44 ///                                                43 ///
 45 /// # Invariants                                   44 /// # Invariants
 46 ///                                                45 ///
 47 /// The reference count on an instance of [`Ar     46 /// The reference count on an instance of [`Arc`] is always non-zero.
 48 /// The object pointed to by [`Arc`] is always     47 /// The object pointed to by [`Arc`] is always pinned.
 49 ///                                                48 ///
 50 /// # Examples                                     49 /// # Examples
 51 ///                                                50 ///
 52 /// ```                                            51 /// ```
 53 /// use kernel::sync::Arc;                         52 /// use kernel::sync::Arc;
 54 ///                                                53 ///
 55 /// struct Example {                               54 /// struct Example {
 56 ///     a: u32,                                    55 ///     a: u32,
 57 ///     b: u32,                                    56 ///     b: u32,
 58 /// }                                              57 /// }
 59 ///                                                58 ///
 60 /// // Create a refcounted instance of `Exampl !!  59 /// // Create a ref-counted instance of `Example`.
 61 /// let obj = Arc::new(Example { a: 10, b: 20  !!  60 /// let obj = Arc::try_new(Example { a: 10, b: 20 })?;
 62 ///                                                61 ///
 63 /// // Get a new pointer to `obj` and incremen     62 /// // Get a new pointer to `obj` and increment the refcount.
 64 /// let cloned = obj.clone();                      63 /// let cloned = obj.clone();
 65 ///                                                64 ///
 66 /// // Assert that both `obj` and `cloned` poi     65 /// // Assert that both `obj` and `cloned` point to the same underlying object.
 67 /// assert!(core::ptr::eq(&*obj, &*cloned));       66 /// assert!(core::ptr::eq(&*obj, &*cloned));
 68 ///                                                67 ///
 69 /// // Destroy `obj` and decrement its refcoun     68 /// // Destroy `obj` and decrement its refcount.
 70 /// drop(obj);                                     69 /// drop(obj);
 71 ///                                                70 ///
 72 /// // Check that the values are still accessi     71 /// // Check that the values are still accessible through `cloned`.
 73 /// assert_eq!(cloned.a, 10);                      72 /// assert_eq!(cloned.a, 10);
 74 /// assert_eq!(cloned.b, 20);                      73 /// assert_eq!(cloned.b, 20);
 75 ///                                                74 ///
 76 /// // The refcount drops to zero when `cloned     75 /// // The refcount drops to zero when `cloned` goes out of scope, and the memory is freed.
 77 /// # Ok::<(), Error>(())                      << 
 78 /// ```                                            76 /// ```
 79 ///                                                77 ///
 80 /// Using `Arc<T>` as the type of `self`:          78 /// Using `Arc<T>` as the type of `self`:
 81 ///                                                79 ///
 82 /// ```                                            80 /// ```
 83 /// use kernel::sync::Arc;                         81 /// use kernel::sync::Arc;
 84 ///                                                82 ///
 85 /// struct Example {                               83 /// struct Example {
 86 ///     a: u32,                                    84 ///     a: u32,
 87 ///     b: u32,                                    85 ///     b: u32,
 88 /// }                                              86 /// }
 89 ///                                                87 ///
 90 /// impl Example {                                 88 /// impl Example {
 91 ///     fn take_over(self: Arc<Self>) {            89 ///     fn take_over(self: Arc<Self>) {
 92 ///         // ...                                 90 ///         // ...
 93 ///     }                                          91 ///     }
 94 ///                                                92 ///
 95 ///     fn use_reference(self: &Arc<Self>) {       93 ///     fn use_reference(self: &Arc<Self>) {
 96 ///         // ...                                 94 ///         // ...
 97 ///     }                                          95 ///     }
 98 /// }                                              96 /// }
 99 ///                                                97 ///
100 /// let obj = Arc::new(Example { a: 10, b: 20  !!  98 /// let obj = Arc::try_new(Example { a: 10, b: 20 })?;
101 /// obj.use_reference();                           99 /// obj.use_reference();
102 /// obj.take_over();                              100 /// obj.take_over();
103 /// # Ok::<(), Error>(())                      << 
104 /// ```                                           101 /// ```
105 ///                                               102 ///
106 /// Coercion from `Arc<Example>` to `Arc<dyn M    103 /// Coercion from `Arc<Example>` to `Arc<dyn MyTrait>`:
107 ///                                               104 ///
108 /// ```                                           105 /// ```
109 /// use kernel::sync::{Arc, ArcBorrow};           106 /// use kernel::sync::{Arc, ArcBorrow};
110 ///                                               107 ///
111 /// trait MyTrait {                               108 /// trait MyTrait {
112 ///     // Trait has a function whose `self` t    109 ///     // Trait has a function whose `self` type is `Arc<Self>`.
113 ///     fn example1(self: Arc<Self>) {}           110 ///     fn example1(self: Arc<Self>) {}
114 ///                                               111 ///
115 ///     // Trait has a function whose `self` t    112 ///     // Trait has a function whose `self` type is `ArcBorrow<'_, Self>`.
116 ///     fn example2(self: ArcBorrow<'_, Self>)    113 ///     fn example2(self: ArcBorrow<'_, Self>) {}
117 /// }                                             114 /// }
118 ///                                               115 ///
119 /// struct Example;                               116 /// struct Example;
120 /// impl MyTrait for Example {}                   117 /// impl MyTrait for Example {}
121 ///                                               118 ///
122 /// // `obj` has type `Arc<Example>`.             119 /// // `obj` has type `Arc<Example>`.
123 /// let obj: Arc<Example> = Arc::new(Example,  !! 120 /// let obj: Arc<Example> = Arc::try_new(Example)?;
124 ///                                               121 ///
125 /// // `coerced` has type `Arc<dyn MyTrait>`.     122 /// // `coerced` has type `Arc<dyn MyTrait>`.
126 /// let coerced: Arc<dyn MyTrait> = obj;          123 /// let coerced: Arc<dyn MyTrait> = obj;
127 /// # Ok::<(), Error>(())                      << 
128 /// ```                                           124 /// ```
129 pub struct Arc<T: ?Sized> {                       125 pub struct Arc<T: ?Sized> {
130     ptr: NonNull<ArcInner<T>>,                    126     ptr: NonNull<ArcInner<T>>,
131     _p: PhantomData<ArcInner<T>>,                 127     _p: PhantomData<ArcInner<T>>,
132 }                                                 128 }
133                                                   129 
134 #[pin_data]                                       130 #[pin_data]
135 #[repr(C)]                                        131 #[repr(C)]
136 struct ArcInner<T: ?Sized> {                      132 struct ArcInner<T: ?Sized> {
137     refcount: Opaque<bindings::refcount_t>,       133     refcount: Opaque<bindings::refcount_t>,
138     data: T,                                      134     data: T,
139 }                                                 135 }
140                                                   136 
141 impl<T: ?Sized> ArcInner<T> {                  << 
142     /// Converts a pointer to the contents of  << 
143     ///                                        << 
144     /// # Safety                               << 
145     ///                                        << 
146     /// `ptr` must have been returned by a pre << 
147     /// not yet have been destroyed.           << 
148     unsafe fn container_of(ptr: *const T) -> N << 
149         let refcount_layout = Layout::new::<bi << 
150         // SAFETY: The caller guarantees that  << 
151         let val_layout = Layout::for_value(uns << 
152         // SAFETY: We're computing the layout  << 
153         // binary, so its layout is not so lar << 
154         let val_offset = unsafe { refcount_lay << 
155                                                << 
156         // Pointer casts leave the metadata un << 
157         // `ArcInner<T>` is the same since `Ar << 
158         //                                     << 
159         // This is documented at:              << 
160         // <https://doc.rust-lang.org/std/ptr/ << 
161         let ptr = ptr as *const ArcInner<T>;   << 
162                                                << 
163         // SAFETY: The pointer is in-bounds of << 
164         // pointer, since it originates from a << 
165         // still valid.                        << 
166         let ptr = unsafe { ptr.byte_sub(val_of << 
167                                                << 
168         // SAFETY: The pointer can't be null s << 
169         // address.                            << 
170         unsafe { NonNull::new_unchecked(ptr.ca << 
171     }                                          << 
172 }                                              << 
173                                                << 
174 // This is to allow [`Arc`] (and variants) to     137 // This is to allow [`Arc`] (and variants) to be used as the type of `self`.
175 impl<T: ?Sized> core::ops::Receiver for Arc<T>    138 impl<T: ?Sized> core::ops::Receiver for Arc<T> {}
176                                                   139 
177 // This is to allow coercion from `Arc<T>` to     140 // This is to allow coercion from `Arc<T>` to `Arc<U>` if `T` can be converted to the
178 // dynamically-sized type (DST) `U`.              141 // dynamically-sized type (DST) `U`.
179 impl<T: ?Sized + Unsize<U>, U: ?Sized> core::o    142 impl<T: ?Sized + Unsize<U>, U: ?Sized> core::ops::CoerceUnsized<Arc<U>> for Arc<T> {}
180                                                   143 
181 // This is to allow `Arc<U>` to be dispatched     144 // This is to allow `Arc<U>` to be dispatched on when `Arc<T>` can be coerced into `Arc<U>`.
182 impl<T: ?Sized + Unsize<U>, U: ?Sized> core::o    145 impl<T: ?Sized + Unsize<U>, U: ?Sized> core::ops::DispatchFromDyn<Arc<U>> for Arc<T> {}
183                                                   146 
184 // SAFETY: It is safe to send `Arc<T>` to anot    147 // SAFETY: It is safe to send `Arc<T>` to another thread when the underlying `T` is `Sync` because
185 // it effectively means sharing `&T` (which is    148 // it effectively means sharing `&T` (which is safe because `T` is `Sync`); additionally, it needs
186 // `T` to be `Send` because any thread that ha    149 // `T` to be `Send` because any thread that has an `Arc<T>` may ultimately access `T` using a
187 // mutable reference when the reference count     150 // mutable reference when the reference count reaches zero and `T` is dropped.
188 unsafe impl<T: ?Sized + Sync + Send> Send for     151 unsafe impl<T: ?Sized + Sync + Send> Send for Arc<T> {}
189                                                   152 
190 // SAFETY: It is safe to send `&Arc<T>` to ano    153 // SAFETY: It is safe to send `&Arc<T>` to another thread when the underlying `T` is `Sync`
191 // because it effectively means sharing `&T` (    154 // because it effectively means sharing `&T` (which is safe because `T` is `Sync`); additionally,
192 // it needs `T` to be `Send` because any threa    155 // it needs `T` to be `Send` because any thread that has a `&Arc<T>` may clone it and get an
193 // `Arc<T>` on that thread, so the thread may     156 // `Arc<T>` on that thread, so the thread may ultimately access `T` using a mutable reference when
194 // the reference count reaches zero and `T` is    157 // the reference count reaches zero and `T` is dropped.
195 unsafe impl<T: ?Sized + Sync + Send> Sync for     158 unsafe impl<T: ?Sized + Sync + Send> Sync for Arc<T> {}
196                                                   159 
197 impl<T> Arc<T> {                                  160 impl<T> Arc<T> {
198     /// Constructs a new reference counted ins    161     /// Constructs a new reference counted instance of `T`.
199     pub fn new(contents: T, flags: Flags) -> R !! 162     pub fn try_new(contents: T) -> Result<Self, AllocError> {
200         // INVARIANT: The refcount is initiali    163         // INVARIANT: The refcount is initialised to a non-zero value.
201         let value = ArcInner {                    164         let value = ArcInner {
202             // SAFETY: There are no safety req    165             // SAFETY: There are no safety requirements for this FFI call.
203             refcount: Opaque::new(unsafe { bin    166             refcount: Opaque::new(unsafe { bindings::REFCOUNT_INIT(1) }),
204             data: contents,                       167             data: contents,
205         };                                        168         };
206                                                   169 
207         let inner = <Box<_> as BoxExt<_>>::new !! 170         let inner = Box::try_new(value)?;
208                                                   171 
209         // SAFETY: We just created `inner` wit    172         // SAFETY: We just created `inner` with a reference count of 1, which is owned by the new
210         // `Arc` object.                          173         // `Arc` object.
211         Ok(unsafe { Self::from_inner(Box::leak    174         Ok(unsafe { Self::from_inner(Box::leak(inner).into()) })
212     }                                             175     }
                                                   >> 176 
                                                   >> 177     /// Use the given initializer to in-place initialize a `T`.
                                                   >> 178     ///
                                                   >> 179     /// If `T: !Unpin` it will not be able to move afterwards.
                                                   >> 180     #[inline]
                                                   >> 181     pub fn pin_init<E>(init: impl PinInit<T, E>) -> error::Result<Self>
                                                   >> 182     where
                                                   >> 183         Error: From<E>,
                                                   >> 184     {
                                                   >> 185         UniqueArc::pin_init(init).map(|u| u.into())
                                                   >> 186     }
                                                   >> 187 
                                                   >> 188     /// Use the given initializer to in-place initialize a `T`.
                                                   >> 189     ///
                                                   >> 190     /// This is equivalent to [`Arc<T>::pin_init`], since an [`Arc`] is always pinned.
                                                   >> 191     #[inline]
                                                   >> 192     pub fn init<E>(init: impl Init<T, E>) -> error::Result<Self>
                                                   >> 193     where
                                                   >> 194         Error: From<E>,
                                                   >> 195     {
                                                   >> 196         UniqueArc::init(init).map(|u| u.into())
                                                   >> 197     }
213 }                                                 198 }
214                                                   199 
215 impl<T: ?Sized> Arc<T> {                          200 impl<T: ?Sized> Arc<T> {
216     /// Constructs a new [`Arc`] from an exist    201     /// Constructs a new [`Arc`] from an existing [`ArcInner`].
217     ///                                           202     ///
218     /// # Safety                                  203     /// # Safety
219     ///                                           204     ///
220     /// The caller must ensure that `inner` po    205     /// The caller must ensure that `inner` points to a valid location and has a non-zero reference
221     /// count, one of which will be owned by t    206     /// count, one of which will be owned by the new [`Arc`] instance.
222     unsafe fn from_inner(inner: NonNull<ArcInn    207     unsafe fn from_inner(inner: NonNull<ArcInner<T>>) -> Self {
223         // INVARIANT: By the safety requiremen    208         // INVARIANT: By the safety requirements, the invariants hold.
224         Arc {                                     209         Arc {
225             ptr: inner,                           210             ptr: inner,
226             _p: PhantomData,                      211             _p: PhantomData,
227         }                                         212         }
228     }                                             213     }
229                                                   214 
230     /// Convert the [`Arc`] into a raw pointer << 
231     ///                                        << 
232     /// The raw pointer has ownership of the r << 
233     pub fn into_raw(self) -> *const T {        << 
234         let ptr = self.ptr.as_ptr();           << 
235         core::mem::forget(self);               << 
236         // SAFETY: The pointer is valid.       << 
237         unsafe { core::ptr::addr_of!((*ptr).da << 
238     }                                          << 
239                                                << 
240     /// Recreates an [`Arc`] instance previous << 
241     ///                                        << 
242     /// # Safety                               << 
243     ///                                        << 
244     /// `ptr` must have been returned by a pre << 
245     /// must not be called more than once for  << 
246     pub unsafe fn from_raw(ptr: *const T) -> S << 
247         // SAFETY: The caller promises that th << 
248         // `Arc` that is still valid.          << 
249         let ptr = unsafe { ArcInner::container << 
250                                                << 
251         // SAFETY: By the safety requirements  << 
252         // reference count held then will be o << 
253         unsafe { Self::from_inner(ptr) }       << 
254     }                                          << 
255                                                << 
256     /// Returns an [`ArcBorrow`] from the give    215     /// Returns an [`ArcBorrow`] from the given [`Arc`].
257     ///                                           216     ///
258     /// This is useful when the argument of a     217     /// This is useful when the argument of a function call is an [`ArcBorrow`] (e.g., in a method
259     /// receiver), but we have an [`Arc`] inst    218     /// receiver), but we have an [`Arc`] instead. Getting an [`ArcBorrow`] is free when optimised.
260     #[inline]                                     219     #[inline]
261     pub fn as_arc_borrow(&self) -> ArcBorrow<'    220     pub fn as_arc_borrow(&self) -> ArcBorrow<'_, T> {
262         // SAFETY: The constraint that the lif    221         // SAFETY: The constraint that the lifetime of the shared reference must outlive that of
263         // the returned `ArcBorrow` ensures th    222         // the returned `ArcBorrow` ensures that the object remains alive and that no mutable
264         // reference can be created.              223         // reference can be created.
265         unsafe { ArcBorrow::new(self.ptr) }       224         unsafe { ArcBorrow::new(self.ptr) }
266     }                                             225     }
267                                                   226 
268     /// Compare whether two [`Arc`] pointers r    227     /// Compare whether two [`Arc`] pointers reference the same underlying object.
269     pub fn ptr_eq(this: &Self, other: &Self) -    228     pub fn ptr_eq(this: &Self, other: &Self) -> bool {
270         core::ptr::eq(this.ptr.as_ptr(), other    229         core::ptr::eq(this.ptr.as_ptr(), other.ptr.as_ptr())
271     }                                             230     }
272                                                << 
273     /// Converts this [`Arc`] into a [`UniqueA << 
274     ///                                        << 
275     /// When this destroys the `Arc`, it does  << 
276     /// this method will never call the destru << 
277     ///                                        << 
278     /// # Examples                             << 
279     ///                                        << 
280     /// ```                                    << 
281     /// use kernel::sync::{Arc, UniqueArc};    << 
282     ///                                        << 
283     /// let arc = Arc::new(42, GFP_KERNEL)?;   << 
284     /// let unique_arc = arc.into_unique_or_dr << 
285     ///                                        << 
286     /// // The above conversion should succeed << 
287     /// assert!(unique_arc.is_some());         << 
288     ///                                        << 
289     /// assert_eq!(*(unique_arc.unwrap()), 42) << 
290     ///                                        << 
291     /// # Ok::<(), Error>(())                  << 
292     /// ```                                    << 
293     ///                                        << 
294     /// ```                                    << 
295     /// use kernel::sync::{Arc, UniqueArc};    << 
296     ///                                        << 
297     /// let arc = Arc::new(42, GFP_KERNEL)?;   << 
298     /// let another = arc.clone();             << 
299     ///                                        << 
300     /// let unique_arc = arc.into_unique_or_dr << 
301     ///                                        << 
302     /// // The above conversion should fail si << 
303     /// assert!(unique_arc.is_none());         << 
304     ///                                        << 
305     /// # Ok::<(), Error>(())                  << 
306     /// ```                                    << 
307     pub fn into_unique_or_drop(self) -> Option << 
308         // We will manually manage the refcoun << 
309         let me = ManuallyDrop::new(self);      << 
310         // SAFETY: We own a refcount, so the p << 
311         let refcount = unsafe { me.ptr.as_ref( << 
312                                                << 
313         // If the refcount reaches a non-zero  << 
314         // return without further touching the << 
315         // no other arcs, and we can create a  << 
316         //                                     << 
317         // SAFETY: We own a refcount, so the p << 
318         let is_zero = unsafe { bindings::refco << 
319         if is_zero {                           << 
320             // SAFETY: We have exclusive acces << 
321             // accesses to the refcount.       << 
322             unsafe { core::ptr::write(refcount << 
323                                                << 
324             // INVARIANT: We own the only refc << 
325             // must pin the `UniqueArc` becaus << 
326             // their values.                   << 
327             Some(Pin::from(UniqueArc {         << 
328                 inner: ManuallyDrop::into_inne << 
329             }))                                << 
330         } else {                               << 
331             None                               << 
332         }                                      << 
333     }                                          << 
334 }                                                 231 }
335                                                   232 
336 impl<T: 'static> ForeignOwnable for Arc<T> {      233 impl<T: 'static> ForeignOwnable for Arc<T> {
337     type Borrowed<'a> = ArcBorrow<'a, T>;         234     type Borrowed<'a> = ArcBorrow<'a, T>;
338                                                   235 
339     fn into_foreign(self) -> *const core::ffi:    236     fn into_foreign(self) -> *const core::ffi::c_void {
340         ManuallyDrop::new(self).ptr.as_ptr() a    237         ManuallyDrop::new(self).ptr.as_ptr() as _
341     }                                             238     }
342                                                   239 
343     unsafe fn borrow<'a>(ptr: *const core::ffi    240     unsafe fn borrow<'a>(ptr: *const core::ffi::c_void) -> ArcBorrow<'a, T> {
344         // SAFETY: By the safety requirement o    241         // SAFETY: By the safety requirement of this function, we know that `ptr` came from
345         // a previous call to `Arc::into_forei    242         // a previous call to `Arc::into_foreign`.
346         let inner = NonNull::new(ptr as *mut A    243         let inner = NonNull::new(ptr as *mut ArcInner<T>).unwrap();
347                                                   244 
348         // SAFETY: The safety requirements of     245         // SAFETY: The safety requirements of `from_foreign` ensure that the object remains alive
349         // for the lifetime of the returned va    246         // for the lifetime of the returned value.
350         unsafe { ArcBorrow::new(inner) }          247         unsafe { ArcBorrow::new(inner) }
351     }                                             248     }
352                                                   249 
353     unsafe fn from_foreign(ptr: *const core::f    250     unsafe fn from_foreign(ptr: *const core::ffi::c_void) -> Self {
354         // SAFETY: By the safety requirement o    251         // SAFETY: By the safety requirement of this function, we know that `ptr` came from
355         // a previous call to `Arc::into_forei    252         // a previous call to `Arc::into_foreign`, which guarantees that `ptr` is valid and
356         // holds a reference count increment t    253         // holds a reference count increment that is transferrable to us.
357         unsafe { Self::from_inner(NonNull::new    254         unsafe { Self::from_inner(NonNull::new(ptr as _).unwrap()) }
358     }                                             255     }
359 }                                                 256 }
360                                                   257 
361 impl<T: ?Sized> Deref for Arc<T> {                258 impl<T: ?Sized> Deref for Arc<T> {
362     type Target = T;                              259     type Target = T;
363                                                   260 
364     fn deref(&self) -> &Self::Target {            261     fn deref(&self) -> &Self::Target {
365         // SAFETY: By the type invariant, ther    262         // SAFETY: By the type invariant, there is necessarily a reference to the object, so it is
366         // safe to dereference it.                263         // safe to dereference it.
367         unsafe { &self.ptr.as_ref().data }        264         unsafe { &self.ptr.as_ref().data }
368     }                                             265     }
369 }                                                 266 }
370                                                   267 
371 impl<T: ?Sized> AsRef<T> for Arc<T> {             268 impl<T: ?Sized> AsRef<T> for Arc<T> {
372     fn as_ref(&self) -> &T {                      269     fn as_ref(&self) -> &T {
373         self.deref()                              270         self.deref()
374     }                                             271     }
375 }                                                 272 }
376                                                   273 
377 impl<T: ?Sized> Clone for Arc<T> {                274 impl<T: ?Sized> Clone for Arc<T> {
378     fn clone(&self) -> Self {                     275     fn clone(&self) -> Self {
379         // INVARIANT: C `refcount_inc` saturat    276         // INVARIANT: C `refcount_inc` saturates the refcount, so it cannot overflow to zero.
380         // SAFETY: By the type invariant, ther    277         // SAFETY: By the type invariant, there is necessarily a reference to the object, so it is
381         // safe to increment the refcount.        278         // safe to increment the refcount.
382         unsafe { bindings::refcount_inc(self.p    279         unsafe { bindings::refcount_inc(self.ptr.as_ref().refcount.get()) };
383                                                   280 
384         // SAFETY: We just incremented the ref    281         // SAFETY: We just incremented the refcount. This increment is now owned by the new `Arc`.
385         unsafe { Self::from_inner(self.ptr) }     282         unsafe { Self::from_inner(self.ptr) }
386     }                                             283     }
387 }                                                 284 }
388                                                   285 
389 impl<T: ?Sized> Drop for Arc<T> {                 286 impl<T: ?Sized> Drop for Arc<T> {
390     fn drop(&mut self) {                          287     fn drop(&mut self) {
391         // SAFETY: By the type invariant, ther    288         // SAFETY: By the type invariant, there is necessarily a reference to the object. We cannot
392         // touch `refcount` after it's decreme    289         // touch `refcount` after it's decremented to a non-zero value because another thread/CPU
393         // may concurrently decrement it to ze    290         // may concurrently decrement it to zero and free it. It is ok to have a raw pointer to
394         // freed/invalid memory as long as it     291         // freed/invalid memory as long as it is never dereferenced.
395         let refcount = unsafe { self.ptr.as_re    292         let refcount = unsafe { self.ptr.as_ref() }.refcount.get();
396                                                   293 
397         // INVARIANT: If the refcount reaches     294         // INVARIANT: If the refcount reaches zero, there are no other instances of `Arc`, and
398         // this instance is being dropped, so     295         // this instance is being dropped, so the broken invariant is not observable.
399         // SAFETY: Also by the type invariant,    296         // SAFETY: Also by the type invariant, we are allowed to decrement the refcount.
400         let is_zero = unsafe { bindings::refco    297         let is_zero = unsafe { bindings::refcount_dec_and_test(refcount) };
401         if is_zero {                              298         if is_zero {
402             // The count reached zero, we must    299             // The count reached zero, we must free the memory.
403             //                                    300             //
404             // SAFETY: The pointer was initial    301             // SAFETY: The pointer was initialised from the result of `Box::leak`.
405             unsafe { drop(Box::from_raw(self.p !! 302             unsafe { Box::from_raw(self.ptr.as_ptr()) };
406         }                                         303         }
407     }                                             304     }
408 }                                                 305 }
409                                                   306 
410 impl<T: ?Sized> From<UniqueArc<T>> for Arc<T>     307 impl<T: ?Sized> From<UniqueArc<T>> for Arc<T> {
411     fn from(item: UniqueArc<T>) -> Self {         308     fn from(item: UniqueArc<T>) -> Self {
412         item.inner                                309         item.inner
413     }                                             310     }
414 }                                                 311 }
415                                                   312 
416 impl<T: ?Sized> From<Pin<UniqueArc<T>>> for Ar    313 impl<T: ?Sized> From<Pin<UniqueArc<T>>> for Arc<T> {
417     fn from(item: Pin<UniqueArc<T>>) -> Self {    314     fn from(item: Pin<UniqueArc<T>>) -> Self {
418         // SAFETY: The type invariants of `Arc    315         // SAFETY: The type invariants of `Arc` guarantee that the data is pinned.
419         unsafe { Pin::into_inner_unchecked(ite    316         unsafe { Pin::into_inner_unchecked(item).inner }
420     }                                             317     }
421 }                                                 318 }
422                                                   319 
423 /// A borrowed reference to an [`Arc`] instanc    320 /// A borrowed reference to an [`Arc`] instance.
424 ///                                               321 ///
425 /// For cases when one doesn't ever need to in    322 /// For cases when one doesn't ever need to increment the refcount on the allocation, it is simpler
426 /// to use just `&T`, which we can trivially g !! 323 /// to use just `&T`, which we can trivially get from an `Arc<T>` instance.
427 ///                                               324 ///
428 /// However, when one may need to increment th    325 /// However, when one may need to increment the refcount, it is preferable to use an `ArcBorrow<T>`
429 /// over `&Arc<T>` because the latter results     326 /// over `&Arc<T>` because the latter results in a double-indirection: a pointer (shared reference)
430 /// to a pointer ([`Arc<T>`]) to the object (` !! 327 /// to a pointer (`Arc<T>`) to the object (`T`). An [`ArcBorrow`] eliminates this double
431 /// indirection while still allowing one to in !! 328 /// indirection while still allowing one to increment the refcount and getting an `Arc<T>` when/if
432 /// needed.                                       329 /// needed.
433 ///                                               330 ///
434 /// # Invariants                                  331 /// # Invariants
435 ///                                               332 ///
436 /// There are no mutable references to the und    333 /// There are no mutable references to the underlying [`Arc`], and it remains valid for the
437 /// lifetime of the [`ArcBorrow`] instance.       334 /// lifetime of the [`ArcBorrow`] instance.
438 ///                                               335 ///
439 /// # Example                                     336 /// # Example
440 ///                                               337 ///
441 /// ```                                           338 /// ```
442 /// use kernel::sync::{Arc, ArcBorrow};        !! 339 /// use crate::sync::{Arc, ArcBorrow};
443 ///                                               340 ///
444 /// struct Example;                               341 /// struct Example;
445 ///                                               342 ///
446 /// fn do_something(e: ArcBorrow<'_, Example>)    343 /// fn do_something(e: ArcBorrow<'_, Example>) -> Arc<Example> {
447 ///     e.into()                                  344 ///     e.into()
448 /// }                                             345 /// }
449 ///                                               346 ///
450 /// let obj = Arc::new(Example, GFP_KERNEL)?;  !! 347 /// let obj = Arc::try_new(Example)?;
451 /// let cloned = do_something(obj.as_arc_borro    348 /// let cloned = do_something(obj.as_arc_borrow());
452 ///                                               349 ///
453 /// // Assert that both `obj` and `cloned` poi    350 /// // Assert that both `obj` and `cloned` point to the same underlying object.
454 /// assert!(core::ptr::eq(&*obj, &*cloned));      351 /// assert!(core::ptr::eq(&*obj, &*cloned));
455 /// # Ok::<(), Error>(())                      << 
456 /// ```                                           352 /// ```
457 ///                                               353 ///
458 /// Using `ArcBorrow<T>` as the type of `self`    354 /// Using `ArcBorrow<T>` as the type of `self`:
459 ///                                               355 ///
460 /// ```                                           356 /// ```
461 /// use kernel::sync::{Arc, ArcBorrow};        !! 357 /// use crate::sync::{Arc, ArcBorrow};
462 ///                                               358 ///
463 /// struct Example {                              359 /// struct Example {
464 ///     a: u32,                                   360 ///     a: u32,
465 ///     b: u32,                                   361 ///     b: u32,
466 /// }                                             362 /// }
467 ///                                               363 ///
468 /// impl Example {                                364 /// impl Example {
469 ///     fn use_reference(self: ArcBorrow<'_, S    365 ///     fn use_reference(self: ArcBorrow<'_, Self>) {
470 ///         // ...                                366 ///         // ...
471 ///     }                                         367 ///     }
472 /// }                                             368 /// }
473 ///                                               369 ///
474 /// let obj = Arc::new(Example { a: 10, b: 20  !! 370 /// let obj = Arc::try_new(Example { a: 10, b: 20 })?;
475 /// obj.as_arc_borrow().use_reference();          371 /// obj.as_arc_borrow().use_reference();
476 /// # Ok::<(), Error>(())                      << 
477 /// ```                                           372 /// ```
478 pub struct ArcBorrow<'a, T: ?Sized + 'a> {        373 pub struct ArcBorrow<'a, T: ?Sized + 'a> {
479     inner: NonNull<ArcInner<T>>,                  374     inner: NonNull<ArcInner<T>>,
480     _p: PhantomData<&'a ()>,                      375     _p: PhantomData<&'a ()>,
481 }                                                 376 }
482                                                   377 
483 // This is to allow [`ArcBorrow`] (and variant    378 // This is to allow [`ArcBorrow`] (and variants) to be used as the type of `self`.
484 impl<T: ?Sized> core::ops::Receiver for ArcBor    379 impl<T: ?Sized> core::ops::Receiver for ArcBorrow<'_, T> {}
485                                                   380 
486 // This is to allow `ArcBorrow<U>` to be dispa    381 // This is to allow `ArcBorrow<U>` to be dispatched on when `ArcBorrow<T>` can be coerced into
487 // `ArcBorrow<U>`.                                382 // `ArcBorrow<U>`.
488 impl<T: ?Sized + Unsize<U>, U: ?Sized> core::o    383 impl<T: ?Sized + Unsize<U>, U: ?Sized> core::ops::DispatchFromDyn<ArcBorrow<'_, U>>
489     for ArcBorrow<'_, T>                          384     for ArcBorrow<'_, T>
490 {                                                 385 {
491 }                                                 386 }
492                                                   387 
493 impl<T: ?Sized> Clone for ArcBorrow<'_, T> {      388 impl<T: ?Sized> Clone for ArcBorrow<'_, T> {
494     fn clone(&self) -> Self {                     389     fn clone(&self) -> Self {
495         *self                                     390         *self
496     }                                             391     }
497 }                                                 392 }
498                                                   393 
499 impl<T: ?Sized> Copy for ArcBorrow<'_, T> {}      394 impl<T: ?Sized> Copy for ArcBorrow<'_, T> {}
500                                                   395 
501 impl<T: ?Sized> ArcBorrow<'_, T> {                396 impl<T: ?Sized> ArcBorrow<'_, T> {
502     /// Creates a new [`ArcBorrow`] instance.     397     /// Creates a new [`ArcBorrow`] instance.
503     ///                                           398     ///
504     /// # Safety                                  399     /// # Safety
505     ///                                           400     ///
506     /// Callers must ensure the following for     401     /// Callers must ensure the following for the lifetime of the returned [`ArcBorrow`] instance:
507     /// 1. That `inner` remains valid;            402     /// 1. That `inner` remains valid;
508     /// 2. That no mutable references to `inne    403     /// 2. That no mutable references to `inner` are created.
509     unsafe fn new(inner: NonNull<ArcInner<T>>)    404     unsafe fn new(inner: NonNull<ArcInner<T>>) -> Self {
510         // INVARIANT: The safety requirements     405         // INVARIANT: The safety requirements guarantee the invariants.
511         Self {                                    406         Self {
512             inner,                                407             inner,
513             _p: PhantomData,                      408             _p: PhantomData,
514         }                                         409         }
515     }                                             410     }
516                                                << 
517     /// Creates an [`ArcBorrow`] to an [`Arc`] << 
518     /// [`Arc::into_raw`].                     << 
519     ///                                        << 
520     /// # Safety                               << 
521     ///                                        << 
522     /// * The provided pointer must originate  << 
523     /// * For the duration of the lifetime ann << 
524     ///   not hit zero.                        << 
525     /// * For the duration of the lifetime ann << 
526     ///   [`UniqueArc`] reference to this valu << 
527     pub unsafe fn from_raw(ptr: *const T) -> S << 
528         // SAFETY: The caller promises that th << 
529         // `Arc` that is still valid.          << 
530         let ptr = unsafe { ArcInner::container << 
531                                                << 
532         // SAFETY: The caller promises that th << 
533         // not hit zero, and no mutable refere << 
534         // `UniqueArc`.                        << 
535         unsafe { Self::new(ptr) }              << 
536     }                                          << 
537 }                                                 411 }
538                                                   412 
539 impl<T: ?Sized> From<ArcBorrow<'_, T>> for Arc    413 impl<T: ?Sized> From<ArcBorrow<'_, T>> for Arc<T> {
540     fn from(b: ArcBorrow<'_, T>) -> Self {        414     fn from(b: ArcBorrow<'_, T>) -> Self {
541         // SAFETY: The existence of `b` guaran    415         // SAFETY: The existence of `b` guarantees that the refcount is non-zero. `ManuallyDrop`
542         // guarantees that `drop` isn't called    416         // guarantees that `drop` isn't called, so it's ok that the temporary `Arc` doesn't own the
543         // increment.                             417         // increment.
544         ManuallyDrop::new(unsafe { Arc::from_i    418         ManuallyDrop::new(unsafe { Arc::from_inner(b.inner) })
545             .deref()                              419             .deref()
546             .clone()                              420             .clone()
547     }                                             421     }
548 }                                                 422 }
549                                                   423 
550 impl<T: ?Sized> Deref for ArcBorrow<'_, T> {      424 impl<T: ?Sized> Deref for ArcBorrow<'_, T> {
551     type Target = T;                              425     type Target = T;
552                                                   426 
553     fn deref(&self) -> &Self::Target {            427     fn deref(&self) -> &Self::Target {
554         // SAFETY: By the type invariant, the     428         // SAFETY: By the type invariant, the underlying object is still alive with no mutable
555         // references to it, so it is safe to     429         // references to it, so it is safe to create a shared reference.
556         unsafe { &self.inner.as_ref().data }      430         unsafe { &self.inner.as_ref().data }
557     }                                             431     }
558 }                                                 432 }
559                                                   433 
560 /// A refcounted object that is known to have     434 /// A refcounted object that is known to have a refcount of 1.
561 ///                                               435 ///
562 /// It is mutable and can be converted to an [    436 /// It is mutable and can be converted to an [`Arc`] so that it can be shared.
563 ///                                               437 ///
564 /// # Invariants                                  438 /// # Invariants
565 ///                                               439 ///
566 /// `inner` always has a reference count of 1.    440 /// `inner` always has a reference count of 1.
567 ///                                               441 ///
568 /// # Examples                                    442 /// # Examples
569 ///                                               443 ///
570 /// In the following example, we make changes     444 /// In the following example, we make changes to the inner object before turning it into an
571 /// `Arc<Test>` object (after which point, it     445 /// `Arc<Test>` object (after which point, it cannot be mutated directly). Note that `x.into()`
572 /// cannot fail.                                  446 /// cannot fail.
573 ///                                               447 ///
574 /// ```                                           448 /// ```
575 /// use kernel::sync::{Arc, UniqueArc};           449 /// use kernel::sync::{Arc, UniqueArc};
576 ///                                               450 ///
577 /// struct Example {                              451 /// struct Example {
578 ///     a: u32,                                   452 ///     a: u32,
579 ///     b: u32,                                   453 ///     b: u32,
580 /// }                                             454 /// }
581 ///                                               455 ///
582 /// fn test() -> Result<Arc<Example>> {           456 /// fn test() -> Result<Arc<Example>> {
583 ///     let mut x = UniqueArc::new(Example { a !! 457 ///     let mut x = UniqueArc::try_new(Example { a: 10, b: 20 })?;
584 ///     x.a += 1;                                 458 ///     x.a += 1;
585 ///     x.b += 1;                                 459 ///     x.b += 1;
586 ///     Ok(x.into())                              460 ///     Ok(x.into())
587 /// }                                             461 /// }
588 ///                                               462 ///
589 /// # test().unwrap();                            463 /// # test().unwrap();
590 /// ```                                           464 /// ```
591 ///                                               465 ///
592 /// In the following example we first allocate !! 466 /// In the following example we first allocate memory for a ref-counted `Example` but we don't
593 /// initialise it on allocation. We do initial    467 /// initialise it on allocation. We do initialise it later with a call to [`UniqueArc::write`],
594 /// followed by a conversion to `Arc<Example>`    468 /// followed by a conversion to `Arc<Example>`. This is particularly useful when allocation happens
595 /// in one context (e.g., sleepable) and initi    469 /// in one context (e.g., sleepable) and initialisation in another (e.g., atomic):
596 ///                                               470 ///
597 /// ```                                           471 /// ```
598 /// use kernel::sync::{Arc, UniqueArc};           472 /// use kernel::sync::{Arc, UniqueArc};
599 ///                                               473 ///
600 /// struct Example {                              474 /// struct Example {
601 ///     a: u32,                                   475 ///     a: u32,
602 ///     b: u32,                                   476 ///     b: u32,
603 /// }                                             477 /// }
604 ///                                               478 ///
605 /// fn test() -> Result<Arc<Example>> {           479 /// fn test() -> Result<Arc<Example>> {
606 ///     let x = UniqueArc::new_uninit(GFP_KERN !! 480 ///     let x = UniqueArc::try_new_uninit()?;
607 ///     Ok(x.write(Example { a: 10, b: 20 }).i    481 ///     Ok(x.write(Example { a: 10, b: 20 }).into())
608 /// }                                             482 /// }
609 ///                                               483 ///
610 /// # test().unwrap();                            484 /// # test().unwrap();
611 /// ```                                           485 /// ```
612 ///                                               486 ///
613 /// In the last example below, the caller gets    487 /// In the last example below, the caller gets a pinned instance of `Example` while converting to
614 /// `Arc<Example>`; this is useful in scenario    488 /// `Arc<Example>`; this is useful in scenarios where one needs a pinned reference during
615 /// initialisation, for example, when initiali    489 /// initialisation, for example, when initialising fields that are wrapped in locks.
616 ///                                               490 ///
617 /// ```                                           491 /// ```
618 /// use kernel::sync::{Arc, UniqueArc};           492 /// use kernel::sync::{Arc, UniqueArc};
619 ///                                               493 ///
620 /// struct Example {                              494 /// struct Example {
621 ///     a: u32,                                   495 ///     a: u32,
622 ///     b: u32,                                   496 ///     b: u32,
623 /// }                                             497 /// }
624 ///                                               498 ///
625 /// fn test() -> Result<Arc<Example>> {           499 /// fn test() -> Result<Arc<Example>> {
626 ///     let mut pinned = Pin::from(UniqueArc:: !! 500 ///     let mut pinned = Pin::from(UniqueArc::try_new(Example { a: 10, b: 20 })?);
627 ///     // We can modify `pinned` because it i    501 ///     // We can modify `pinned` because it is `Unpin`.
628 ///     pinned.as_mut().a += 1;                   502 ///     pinned.as_mut().a += 1;
629 ///     Ok(pinned.into())                         503 ///     Ok(pinned.into())
630 /// }                                             504 /// }
631 ///                                               505 ///
632 /// # test().unwrap();                            506 /// # test().unwrap();
633 /// ```                                           507 /// ```
634 pub struct UniqueArc<T: ?Sized> {                 508 pub struct UniqueArc<T: ?Sized> {
635     inner: Arc<T>,                                509     inner: Arc<T>,
636 }                                                 510 }
637                                                   511 
638 impl<T> UniqueArc<T> {                            512 impl<T> UniqueArc<T> {
639     /// Tries to allocate a new [`UniqueArc`]     513     /// Tries to allocate a new [`UniqueArc`] instance.
640     pub fn new(value: T, flags: Flags) -> Resu !! 514     pub fn try_new(value: T) -> Result<Self, AllocError> {
641         Ok(Self {                                 515         Ok(Self {
642             // INVARIANT: The newly-created ob !! 516             // INVARIANT: The newly-created object has a ref-count of 1.
643             inner: Arc::new(value, flags)?,    !! 517             inner: Arc::try_new(value)?,
644         })                                        518         })
645     }                                             519     }
646                                                   520 
647     /// Tries to allocate a new [`UniqueArc`]     521     /// Tries to allocate a new [`UniqueArc`] instance whose contents are not initialised yet.
648     pub fn new_uninit(flags: Flags) -> Result< !! 522     pub fn try_new_uninit() -> Result<UniqueArc<MaybeUninit<T>>, AllocError> {
649         // INVARIANT: The refcount is initiali    523         // INVARIANT: The refcount is initialised to a non-zero value.
650         let inner = Box::try_init::<AllocError !! 524         let inner = Box::try_init::<AllocError>(try_init!(ArcInner {
651             try_init!(ArcInner {               !! 525             // SAFETY: There are no safety requirements for this FFI call.
652                 // SAFETY: There are no safety !! 526             refcount: Opaque::new(unsafe { bindings::REFCOUNT_INIT(1) }),
653                 refcount: Opaque::new(unsafe { !! 527             data <- init::uninit::<T, AllocError>(),
654                 data <- init::uninit::<T, Allo !! 528         }? AllocError))?;
655             }? AllocError),                    << 
656             flags,                             << 
657         )?;                                    << 
658         Ok(UniqueArc {                            529         Ok(UniqueArc {
659             // INVARIANT: The newly-created ob !! 530             // INVARIANT: The newly-created object has a ref-count of 1.
660             // SAFETY: The pointer from the `B    531             // SAFETY: The pointer from the `Box` is valid.
661             inner: unsafe { Arc::from_inner(Bo    532             inner: unsafe { Arc::from_inner(Box::leak(inner).into()) },
662         })                                        533         })
663     }                                             534     }
664 }                                                 535 }
665                                                   536 
666 impl<T> UniqueArc<MaybeUninit<T>> {               537 impl<T> UniqueArc<MaybeUninit<T>> {
667     /// Converts a `UniqueArc<MaybeUninit<T>>`    538     /// Converts a `UniqueArc<MaybeUninit<T>>` into a `UniqueArc<T>` by writing a value into it.
668     pub fn write(mut self, value: T) -> Unique    539     pub fn write(mut self, value: T) -> UniqueArc<T> {
669         self.deref_mut().write(value);            540         self.deref_mut().write(value);
670         // SAFETY: We just wrote the value to     541         // SAFETY: We just wrote the value to be initialized.
671         unsafe { self.assume_init() }             542         unsafe { self.assume_init() }
672     }                                             543     }
673                                                   544 
674     /// Unsafely assume that `self` is initial    545     /// Unsafely assume that `self` is initialized.
675     ///                                           546     ///
676     /// # Safety                                  547     /// # Safety
677     ///                                           548     ///
678     /// The caller guarantees that the value b    549     /// The caller guarantees that the value behind this pointer has been initialized. It is
679     /// *immediate* UB to call this when the v    550     /// *immediate* UB to call this when the value is not initialized.
680     pub unsafe fn assume_init(self) -> UniqueA    551     pub unsafe fn assume_init(self) -> UniqueArc<T> {
681         let inner = ManuallyDrop::new(self).in    552         let inner = ManuallyDrop::new(self).inner.ptr;
682         UniqueArc {                               553         UniqueArc {
683             // SAFETY: The new `Arc` is taking    554             // SAFETY: The new `Arc` is taking over `ptr` from `self.inner` (which won't be
684             // dropped). The types are compati    555             // dropped). The types are compatible because `MaybeUninit<T>` is compatible with `T`.
685             inner: unsafe { Arc::from_inner(in    556             inner: unsafe { Arc::from_inner(inner.cast()) },
686         }                                         557         }
687     }                                             558     }
688                                                   559 
689     /// Initialize `self` using the given init    560     /// Initialize `self` using the given initializer.
690     pub fn init_with<E>(mut self, init: impl I    561     pub fn init_with<E>(mut self, init: impl Init<T, E>) -> core::result::Result<UniqueArc<T>, E> {
691         // SAFETY: The supplied pointer is val    562         // SAFETY: The supplied pointer is valid for initialization.
692         match unsafe { init.__init(self.as_mut    563         match unsafe { init.__init(self.as_mut_ptr()) } {
693             // SAFETY: Initialization complete    564             // SAFETY: Initialization completed successfully.
694             Ok(()) => Ok(unsafe { self.assume_    565             Ok(()) => Ok(unsafe { self.assume_init() }),
695             Err(err) => Err(err),                 566             Err(err) => Err(err),
696         }                                         567         }
697     }                                             568     }
698                                                   569 
699     /// Pin-initialize `self` using the given     570     /// Pin-initialize `self` using the given pin-initializer.
700     pub fn pin_init_with<E>(                      571     pub fn pin_init_with<E>(
701         mut self,                                 572         mut self,
702         init: impl PinInit<T, E>,                 573         init: impl PinInit<T, E>,
703     ) -> core::result::Result<Pin<UniqueArc<T>    574     ) -> core::result::Result<Pin<UniqueArc<T>>, E> {
704         // SAFETY: The supplied pointer is val    575         // SAFETY: The supplied pointer is valid for initialization and we will later pin the value
705         // to ensure it does not move.            576         // to ensure it does not move.
706         match unsafe { init.__pinned_init(self    577         match unsafe { init.__pinned_init(self.as_mut_ptr()) } {
707             // SAFETY: Initialization complete    578             // SAFETY: Initialization completed successfully.
708             Ok(()) => Ok(unsafe { self.assume_    579             Ok(()) => Ok(unsafe { self.assume_init() }.into()),
709             Err(err) => Err(err),                 580             Err(err) => Err(err),
710         }                                         581         }
711     }                                             582     }
712 }                                                 583 }
713                                                   584 
714 impl<T: ?Sized> From<UniqueArc<T>> for Pin<Uni    585 impl<T: ?Sized> From<UniqueArc<T>> for Pin<UniqueArc<T>> {
715     fn from(obj: UniqueArc<T>) -> Self {          586     fn from(obj: UniqueArc<T>) -> Self {
716         // SAFETY: It is not possible to move/    587         // SAFETY: It is not possible to move/replace `T` inside a `Pin<UniqueArc<T>>` (unless `T`
717         // is `Unpin`), so it is ok to convert    588         // is `Unpin`), so it is ok to convert it to `Pin<UniqueArc<T>>`.
718         unsafe { Pin::new_unchecked(obj) }        589         unsafe { Pin::new_unchecked(obj) }
719     }                                             590     }
720 }                                                 591 }
721                                                   592 
722 impl<T: ?Sized> Deref for UniqueArc<T> {          593 impl<T: ?Sized> Deref for UniqueArc<T> {
723     type Target = T;                              594     type Target = T;
724                                                   595 
725     fn deref(&self) -> &Self::Target {            596     fn deref(&self) -> &Self::Target {
726         self.inner.deref()                        597         self.inner.deref()
727     }                                             598     }
728 }                                                 599 }
729                                                   600 
730 impl<T: ?Sized> DerefMut for UniqueArc<T> {       601 impl<T: ?Sized> DerefMut for UniqueArc<T> {
731     fn deref_mut(&mut self) -> &mut Self::Targ    602     fn deref_mut(&mut self) -> &mut Self::Target {
732         // SAFETY: By the `Arc` type invariant    603         // SAFETY: By the `Arc` type invariant, there is necessarily a reference to the object, so
733         // it is safe to dereference it. Addit    604         // it is safe to dereference it. Additionally, we know there is only one reference when
734         // it's inside a `UniqueArc`, so it is    605         // it's inside a `UniqueArc`, so it is safe to get a mutable reference.
735         unsafe { &mut self.inner.ptr.as_mut().    606         unsafe { &mut self.inner.ptr.as_mut().data }
736     }                                             607     }
737 }                                                 608 }
738                                                   609 
739 impl<T: fmt::Display + ?Sized> fmt::Display fo    610 impl<T: fmt::Display + ?Sized> fmt::Display for UniqueArc<T> {
740     fn fmt(&self, f: &mut fmt::Formatter<'_>)     611     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
741         fmt::Display::fmt(self.deref(), f)        612         fmt::Display::fmt(self.deref(), f)
742     }                                             613     }
743 }                                                 614 }
744                                                   615 
745 impl<T: fmt::Display + ?Sized> fmt::Display fo    616 impl<T: fmt::Display + ?Sized> fmt::Display for Arc<T> {
746     fn fmt(&self, f: &mut fmt::Formatter<'_>)     617     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
747         fmt::Display::fmt(self.deref(), f)        618         fmt::Display::fmt(self.deref(), f)
748     }                                             619     }
749 }                                                 620 }
750                                                   621 
751 impl<T: fmt::Debug + ?Sized> fmt::Debug for Un    622 impl<T: fmt::Debug + ?Sized> fmt::Debug for UniqueArc<T> {
752     fn fmt(&self, f: &mut fmt::Formatter<'_>)     623     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
753         fmt::Debug::fmt(self.deref(), f)          624         fmt::Debug::fmt(self.deref(), f)
754     }                                             625     }
755 }                                                 626 }
756                                                   627 
757 impl<T: fmt::Debug + ?Sized> fmt::Debug for Ar    628 impl<T: fmt::Debug + ?Sized> fmt::Debug for Arc<T> {
758     fn fmt(&self, f: &mut fmt::Formatter<'_>)     629     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
759         fmt::Debug::fmt(self.deref(), f)          630         fmt::Debug::fmt(self.deref(), f)
760     }                                             631     }
761 }                                                 632 }
                                                      

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php