Received: by 2002:a05:7412:2a8c:b0:e2:908c:2ebd with SMTP id u12csp68741rdh; Sat, 23 Sep 2023 01:40:52 -0700 (PDT) X-Google-Smtp-Source: AGHT+IGIlvVP56lHksfGJrYqRjSruacs5iVciYqe6IdUj6nO//TvB3xiRh7hhGo4PRiQ8QjbnBX/ X-Received: by 2002:a17:903:189:b0:1c3:f572:6701 with SMTP id z9-20020a170903018900b001c3f5726701mr2249587plg.45.1695458452161; Sat, 23 Sep 2023 01:40:52 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1695458452; cv=none; d=google.com; s=arc-20160816; b=KQh7khhcEPnKLppBdwQMDNZ6YmcLVtgrp6TqIA1HTNnsfCqYaQsrWZqOFsSd8ygIrv zNyhN6kxxOat0sRyK2s8dPud3qETSHYkJFKAmCTJDnXsYTHL8IX3l6BT5SL0qKLzt0qA YR+AqEzwM6osq6F8EFTqAWqaHdVjGAsY1ZIcvGHTdKu13RTfuQBMPZje5EDcadDaImQk fNOzwgKABKimPSzpTZYwdDOTBW5PAD8m4LkBefle1bLNu8+tLtYOeO1CLMyIaPmc0Gt+ b/dnwjz0tdTJVRrM/wSmP5boWdb1Ud2Aa/Seny2d56RpI0z++/inYLznJXGBOqbo4jER Natg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=pLdUIQQHBY8P9D48xnEoq/7y3l7/aWBC9HrRXhHpy+o=; fh=32f/2l/eLIvRE5VIosPiA0C9RafUxyvAZXmxKHDM0tI=; b=oHhagVlnYdgoXEc1Mpl9pv8ZHaBEqczqIAXsO3nqIqDdqnAz0cfSkMsmzUB8RDyp3Q 8bPrqZ/JpCmm5cdDVAf01nXXrp8HmX0tU0IW6KJLDDd7WRutJLggFQ6MgBy4hM/Dei7l An68lR0bL0J8scab+XpB6TTTn7iYb4hoqMtI6iFjCZhk4vM7h9dI2fHQ1iy2OJXyeMXm L8yjbBQyU+0LOwNQ9kv6w9e9YYWltd+msstnzknOCWyGvfuRFvo4wRxP0+QSc9DlKq2O awlwKJrLrUESWlrYUC9x5lcryFN4GK+deFfpsLICqHi7tNnc6Ji7JaQqktZYtCpYYluv Mwmg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=MKsduEfD; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.31 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from morse.vger.email (morse.vger.email. [23.128.96.31]) by mx.google.com with ESMTPS id b17-20020a170903229100b001bdd35033ebsi5804331plh.361.2023.09.23.01.40.51 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 23 Sep 2023 01:40:52 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.31 as permitted sender) client-ip=23.128.96.31; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=MKsduEfD; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.31 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by morse.vger.email (Postfix) with ESMTP id D693C8020F9F; Fri, 22 Sep 2023 22:17:22 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at morse.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229884AbjIWFRV (ORCPT + 99 others); Sat, 23 Sep 2023 01:17:21 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:60904 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229652AbjIWFRT (ORCPT ); Sat, 23 Sep 2023 01:17:19 -0400 Received: from mail-pl1-x629.google.com (mail-pl1-x629.google.com [IPv6:2607:f8b0:4864:20::629]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id E236419E; Fri, 22 Sep 2023 22:17:11 -0700 (PDT) Received: by mail-pl1-x629.google.com with SMTP id d9443c01a7336-1c59c40b840so31058445ad.3; Fri, 22 Sep 2023 22:17:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695446229; x=1696051029; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=pLdUIQQHBY8P9D48xnEoq/7y3l7/aWBC9HrRXhHpy+o=; b=MKsduEfDSV08/o6oUryLla4aYHEXqeEvgpxgFgVIjD2vDsX2fsYGu6WcSbkx7ZameW qVQ/rEeoBUh9XijJjoU5cwg/AkMfJn1IICfbSMb5Nj60e7hyEWfDKIq++fEP7ASAybvJ Y+6GaVtD5T5wZaahNsucgUEc2FTf8OhiKr5Fm1HvDSg2KmS1GK6QlN6a9V5IGLLF9UKH gUSyaAqYLOeh5wA0nb5pxxiAUEC/qA5/KH7qKuS6c6aysupogzTgSFC/vOBo5RsIoLIt W4NS1HOaaxxAdSUJpmlSLL0tyEtjatVQIghXAZHwCkH1KNvDbLV1EqYpWt8SzHEs29yo z1sg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695446229; x=1696051029; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=pLdUIQQHBY8P9D48xnEoq/7y3l7/aWBC9HrRXhHpy+o=; b=E8IBKY48HR1sxaIFjYv+yqP/eLfUB/vueqDYy4OWVelntCxYqVTxY3Avmo9+91A1zR l8lsve84OdCkY5ACozueBuWEV+/FXAN+mRuNwzTLhYisni17/BD4X5bkCsbbp4lxTs7K zQlwaPYJru5pUjCSP1ranAH4E+UlGgaXbsBe2VHgKccKrVF3/Z8W3dSZWRvAzQ1Wu6CD 94Nd+MZLguAQg2I6YYsytKw4M2qGGvBptNAwilqW3Qo6UyPagUq1GZDjomeIPKTR5xFe weJLqQvioPnkYYgviWmL/JmNdxtinSyz2ahuKJdJjOFX0YeamhZf1g/njt5Bq5QysAYq ibBw== X-Gm-Message-State: AOJu0Yxc9hm+wIMhtwszD5UyHW+5X4TnxSOGgga7amJOXip5qIYjv7Jg WS/g+3nwDKAEbmiP+oYWyxs= X-Received: by 2002:a17:903:2351:b0:1bf:25a1:9813 with SMTP id c17-20020a170903235100b001bf25a19813mr1705554plh.6.1695446228611; Fri, 22 Sep 2023 22:17:08 -0700 (PDT) Received: from localhost ([162.243.44.213]) by smtp.gmail.com with ESMTPSA id 6-20020a170902e9c600b001b9d8688956sm4425482plk.144.2023.09.22.22.17.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 22 Sep 2023 22:17:08 -0700 (PDT) Date: Sat, 23 Sep 2023 13:16:07 +0800 From: Jianguo Bao To: Wedson Almeida Filho Cc: rust-for-linux@vger.kernel.org, Miguel Ojeda , Alex Gaynor , Boqun Feng , Gary Guo , =?utf-8?B?QmrDtnJu?= Roy Baron , Benno Lossin , Andreas Hindborg , Alice Ryhl , linux-kernel@vger.kernel.org, Wedson Almeida Filho Subject: Re: [PATCH 2/2] rust: arc: remove `ArcBorrow` in favour of `WithRef` Message-ID: References: <20230921213440.202017-1-wedsonaf@gmail.com> <20230921213440.202017-3-wedsonaf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20230921213440.202017-3-wedsonaf@gmail.com> X-Spam-Status: No, score=3.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_SBL_CSS, SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on morse.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (morse.vger.email [0.0.0.0]); Fri, 22 Sep 2023 22:17:23 -0700 (PDT) X-Spam-Level: ** On Thu, Sep 21, 2023 at 06:34:40PM -0300, Wedson Almeida Filho wrote: > From: Wedson Almeida Filho > > With GATs, we don't need a separate type to represent a borrowed object > with a refcount, we can just use Rust's regular shared borrowing. In > this case, we use `&WithRef` instead of `ArcBorrow<'_, T>`. > > Co-developed-by: Boqun Feng > Signed-off-by: Boqun Feng > Signed-off-by: Wedson Almeida Filho > --- > rust/kernel/sync.rs | 2 +- > rust/kernel/sync/arc.rs | 180 ++++++++++++++-------------------------- > 2 files changed, 62 insertions(+), 120 deletions(-) > > diff --git a/rust/kernel/sync.rs b/rust/kernel/sync.rs > index d219ee518eff..083494884500 100644 > --- a/rust/kernel/sync.rs > +++ b/rust/kernel/sync.rs > @@ -12,7 +12,7 @@ > pub mod lock; > mod locked_by; > > -pub use arc::{Arc, ArcBorrow, UniqueArc}; > +pub use arc::{Arc, UniqueArc, WithRef}; > pub use condvar::CondVar; > pub use lock::{mutex::Mutex, spinlock::SpinLock}; > pub use locked_by::LockedBy; > diff --git a/rust/kernel/sync/arc.rs b/rust/kernel/sync/arc.rs > index 86bff1e0002c..5948e42b9c8f 100644 > --- a/rust/kernel/sync/arc.rs > +++ b/rust/kernel/sync/arc.rs > @@ -105,14 +105,14 @@ > /// Coercion from `Arc` to `Arc`: > /// > /// ``` > -/// use kernel::sync::{Arc, ArcBorrow}; > +/// use kernel::sync::{Arc, WithRef}; > /// > /// trait MyTrait { > /// // Trait has a function whose `self` type is `Arc`. > /// fn example1(self: Arc) {} > /// > -/// // Trait has a function whose `self` type is `ArcBorrow<'_, Self>`. > -/// fn example2(self: ArcBorrow<'_, Self>) {} > +/// // Trait has a function whose `self` type is `&WithRef`. > +/// fn example2(self: &WithRef) {} > /// } > /// > /// struct Example; > @@ -130,9 +130,48 @@ pub struct Arc { > _p: PhantomData>, > } > > +/// An instance of `T` with an attached reference count. > +/// > +/// # Examples > +/// > +/// ``` > +/// use kernel::sync::{Arc, WithRef}; > +/// > +/// struct Example; > +/// > +/// fn do_something(e: &WithRef) -> Arc { > +/// e.into() > +/// } > +/// > +/// let obj = Arc::try_new(Example)?; > +/// let cloned = do_something(obj.as_with_ref()); > +/// > +/// // Assert that both `obj` and `cloned` point to the same underlying object. > +/// assert!(core::ptr::eq(&*obj, &*cloned)); > +/// ``` > +/// > +/// Using `WithRef` as the type of `self`: > +/// > +/// ``` > +/// use kernel::sync::{Arc, WithRef}; > +/// > +/// struct Example { > +/// _a: u32, > +/// _b: u32, > +/// } > +/// > +/// impl Example { > +/// fn use_reference(self: &WithRef) { > +/// // ... > +/// } > +/// } > +/// > +/// let obj = Arc::try_new(Example { _a: 10, _b: 20 })?; > +/// obj.as_with_ref().use_reference(); > +/// ``` > #[pin_data] > #[repr(C)] > -struct WithRef { > +pub struct WithRef { > refcount: Opaque, > data: T, > } > @@ -215,16 +254,16 @@ unsafe fn from_inner(inner: NonNull>) -> Self { > } > } > > - /// Returns an [`ArcBorrow`] from the given [`Arc`]. > + /// Returns a [`WithRef`] from the given [`Arc`]. /// Returns a shared reference of [`WithRef`] from the given [`Arc`]. > /// > - /// This is useful when the argument of a function call is an [`ArcBorrow`] (e.g., in a method > - /// receiver), but we have an [`Arc`] instead. Getting an [`ArcBorrow`] is free when optimised. > + /// This is useful when the argument of a function call is a [`WithRef`] (e.g., in a method > + /// receiver), but we have an [`Arc`] instead. Getting a [`WithRef`] is free when optimised. > #[inline] > - pub fn as_arc_borrow(&self) -> ArcBorrow<'_, T> { > + pub fn as_with_ref(&self) -> &WithRef { > // SAFETY: The constraint that the lifetime of the shared reference must outlive that of > - // the returned `ArcBorrow` ensures that the object remains alive and that no mutable > + // the returned `WithRef` ensures that the object remains alive and that no mutable > // reference can be created. > - unsafe { ArcBorrow::new(self.ptr) } > + unsafe { self.ptr.as_ref() } > } > > /// Compare whether two [`Arc`] pointers reference the same underlying object. > @@ -234,20 +273,17 @@ pub fn ptr_eq(this: &Self, other: &Self) -> bool { > } > > impl ForeignOwnable for Arc { > - type Borrowed<'a> = ArcBorrow<'a, T>; > + type Borrowed<'a> = &'a WithRef; > > fn into_foreign(self) -> *const core::ffi::c_void { > ManuallyDrop::new(self).ptr.as_ptr() as _ > } > > - unsafe fn borrow<'a>(ptr: *const core::ffi::c_void) -> ArcBorrow<'a, T> { > + unsafe fn borrow<'a>(ptr: *const core::ffi::c_void) -> &'a WithRef { > // SAFETY: By the safety requirement of this function, we know that `ptr` came from > - // a previous call to `Arc::into_foreign`. > - let inner = NonNull::new(ptr as *mut WithRef).unwrap(); > - > - // SAFETY: The safety requirements of `from_foreign` ensure that the object remains alive > - // for the lifetime of the returned value. > - unsafe { ArcBorrow::new(inner) } > + // a previous call to `Arc::into_foreign`. The safety requirements of `from_foreign` ensure > + // that the object remains alive for the lifetime of the returned value. > + unsafe { &*(ptr.cast::>()) } > } > > unsafe fn from_foreign(ptr: *const core::ffi::c_void) -> Self { > @@ -320,119 +356,25 @@ fn from(item: Pin>) -> Self { > } > } > > -/// A borrowed reference to an [`Arc`] instance. > -/// > -/// For cases when one doesn't ever need to increment the refcount on the allocation, it is simpler > -/// to use just `&T`, which we can trivially get from an `Arc` instance. > -/// > -/// However, when one may need to increment the refcount, it is preferable to use an `ArcBorrow` > -/// over `&Arc` because the latter results in a double-indirection: a pointer (shared reference) > -/// to a pointer (`Arc`) to the object (`T`). An [`ArcBorrow`] eliminates this double > -/// indirection while still allowing one to increment the refcount and getting an `Arc` when/if > -/// needed. > -/// > -/// # Invariants > -/// > -/// There are no mutable references to the underlying [`Arc`], and it remains valid for the > -/// lifetime of the [`ArcBorrow`] instance. > -/// > -/// # Example > -/// > -/// ``` > -/// use kernel::sync::{Arc, ArcBorrow}; > -/// > -/// struct Example; > -/// > -/// fn do_something(e: ArcBorrow<'_, Example>) -> Arc { > -/// e.into() > -/// } > -/// > -/// let obj = Arc::try_new(Example)?; > -/// let cloned = do_something(obj.as_arc_borrow()); > -/// > -/// // Assert that both `obj` and `cloned` point to the same underlying object. > -/// assert!(core::ptr::eq(&*obj, &*cloned)); > -/// # Ok::<(), Error>(()) > -/// ``` > -/// > -/// Using `ArcBorrow` as the type of `self`: > -/// > -/// ``` > -/// use kernel::sync::{Arc, ArcBorrow}; > -/// > -/// struct Example { > -/// a: u32, > -/// b: u32, > -/// } > -/// > -/// impl Example { > -/// fn use_reference(self: ArcBorrow<'_, Self>) { > -/// // ... > -/// } > -/// } > -/// > -/// let obj = Arc::try_new(Example { a: 10, b: 20 })?; > -/// obj.as_arc_borrow().use_reference(); > -/// # Ok::<(), Error>(()) > -/// ``` > -pub struct ArcBorrow<'a, T: ?Sized + 'a> { > - inner: NonNull>, > - _p: PhantomData<&'a ()>, > -} > - > -// This is to allow [`ArcBorrow`] (and variants) to be used as the type of `self`. > -impl core::ops::Receiver for ArcBorrow<'_, T> {} > - > -// This is to allow `ArcBorrow` to be dispatched on when `ArcBorrow` can be coerced into > -// `ArcBorrow`. > -impl, U: ?Sized> core::ops::DispatchFromDyn> > - for ArcBorrow<'_, T> > -{ > -} > - > -impl Clone for ArcBorrow<'_, T> { > - fn clone(&self) -> Self { > - *self > - } > -} > - > -impl Copy for ArcBorrow<'_, T> {} > - > -impl ArcBorrow<'_, T> { > - /// Creates a new [`ArcBorrow`] instance. > - /// > - /// # Safety > - /// > - /// Callers must ensure the following for the lifetime of the returned [`ArcBorrow`] instance: > - /// 1. That `inner` remains valid; > - /// 2. That no mutable references to `inner` are created. > - unsafe fn new(inner: NonNull>) -> Self { > - // INVARIANT: The safety requirements guarantee the invariants. > - Self { > - inner, > - _p: PhantomData, > - } > - } > -} > +// This is to allow [`WithRef`] (and variants) to be used as the type of `self`. > +impl core::ops::Receiver for WithRef {} > > -impl From> for Arc { > - fn from(b: ArcBorrow<'_, T>) -> Self { > +impl From<&WithRef> for Arc { > + fn from(b: &WithRef) -> Self { > // SAFETY: The existence of `b` guarantees that the refcount is non-zero. `ManuallyDrop` > // guarantees that `drop` isn't called, so it's ok that the temporary `Arc` doesn't own the > // increment. > - ManuallyDrop::new(unsafe { Arc::from_inner(b.inner) }) > + ManuallyDrop::new(unsafe { Arc::from_inner(b.into()) }) > .deref() > .clone() > } > } > > -impl Deref for ArcBorrow<'_, T> { > +impl Deref for WithRef { > type Target = T; > > fn deref(&self) -> &Self::Target { > - // SAFETY: By the type invariant, the underlying object is still alive with no mutable > - // references to it, so it is safe to create a shared reference. > - unsafe { &self.inner.as_ref().data } > + &self.data > } > } > > -- > 2.34.1 >