* [PATCH v2 0/1] rust: sync: Add Lock::from_raw for Lock<(), B> @ 2024-09-16 23:17 Lyude Paul 2024-09-16 23:17 ` [PATCH v2 1/1] rust: sync: Add Lock::from_raw() " Lyude Paul 0 siblings, 1 reply; 3+ messages in thread From: Lyude Paul @ 2024-09-16 23:17 UTC (permalink / raw) To: rust-for-linux Cc: Danilo Krummrich, airlied, Ingo Molnar, Will Deacon, Waiman Long, Peter Zijlstra, Thomas Gleixner, linux-kernel, Miguel Ojeda, Alex Gaynor, Wedson Almeida Filho, Boqun Feng, Gary Guo, Björn Roy Baron, Benno Lossin, Andreas Hindborg, Alice Ryhl, Trevor Gross This patch just adds a ::from_raw method to the kernel's Lock type, which can be used for locks where the data type is (). The current example usecase for this is rvkms, specifically rust/kernel/drm/device.rs (kernel::drm::device::Device::event_lock()) https://gitlab.freedesktop.org/lyudess/linux/-/tree/rvkms-example-09162024 Lyude Paul (1): rust: sync: Add Lock::from_raw() for Lock<(), B> rust/kernel/sync/lock.rs | 28 ++++++++++++++++++++++++++-- 1 file changed, 26 insertions(+), 2 deletions(-) base-commit: a2f11547052001bd448ccec81dd1e68409078fbb -- 2.46.0 ^ permalink raw reply [flat|nested] 3+ messages in thread
* [PATCH v2 1/1] rust: sync: Add Lock::from_raw() for Lock<(), B> 2024-09-16 23:17 [PATCH v2 0/1] rust: sync: Add Lock::from_raw for Lock<(), B> Lyude Paul @ 2024-09-16 23:17 ` Lyude Paul 2024-09-21 14:52 ` kernel test robot 0 siblings, 1 reply; 3+ messages in thread From: Lyude Paul @ 2024-09-16 23:17 UTC (permalink / raw) To: rust-for-linux Cc: Danilo Krummrich, airlied, Ingo Molnar, Will Deacon, Waiman Long, Peter Zijlstra, Thomas Gleixner, linux-kernel, Miguel Ojeda, Alex Gaynor, Wedson Almeida Filho, Boqun Feng, Gary Guo, Björn Roy Baron, Benno Lossin, Andreas Hindborg, Alice Ryhl, Trevor Gross, Martin Rodriguez Reboredo, Valentin Obst A few of the APIs I've been writing bindings for (KMS in particular) rely on the user manually acquiring specific locks before calling certain functions. At the moment though, the only way of acquiring these locks in bindings is to simply call the C locking functions directly - since said locks are not acquired on the rust side of things. However - if we add `#[repr(C)]` to `Lock<(), B>`, then given `()` is a ZST - `Lock<(), B>` becomes equivalent in data layout to its inner `B::State` type. Since locks in C don't have data explicitly associated with them anyway, we can take advantage of this to add a `Lock::from_raw()` function that can translate a raw pointer to `B::State` into its proper `Lock<(), B>` equivalent. This lets us simply acquire a reference to the lock in question and work with it like it was initialized on the rust side of things, allowing us to use less unsafe code to implement bindings with lock requirements. Signed-off-by: Lyude Paul <lyude@redhat.com> --- V2: * Don't implement this for all ZST types, just implement it for () --- rust/kernel/sync/lock.rs | 28 ++++++++++++++++++++++++++-- 1 file changed, 26 insertions(+), 2 deletions(-) diff --git a/rust/kernel/sync/lock.rs b/rust/kernel/sync/lock.rs index f6c34ca4d819f..8a74a1ea1ecaf 100644 --- a/rust/kernel/sync/lock.rs +++ b/rust/kernel/sync/lock.rs @@ -6,8 +6,8 @@ //! spinlocks, raw spinlocks) to be provided with minimal effort. use super::LockClassKey; -use crate::{init::PinInit, pin_init, str::CStr, types::Opaque, types::ScopeGuard}; -use core::{cell::UnsafeCell, marker::PhantomData, marker::PhantomPinned}; +use crate::{init::PinInit, pin_init, prelude::*, str::CStr, types::Opaque, types::ScopeGuard}; +use core::{cell::UnsafeCell, marker::PhantomData, marker::PhantomPinned, mem}; use macros::pin_data; pub mod mutex; @@ -81,6 +81,7 @@ unsafe fn relock(ptr: *mut Self::State, guard_state: &mut Self::GuardState) { /// /// Exposes one of the kernel locking primitives. Which one is exposed depends on the lock /// [`Backend`] specified as the generic parameter `B`. +#[repr(C)] #[pin_data] pub struct Lock<T: ?Sized, B: Backend> { /// The kernel lock object. @@ -117,6 +118,29 @@ pub fn new(t: T, name: &'static CStr, key: &'static LockClassKey) -> impl PinIni }), }) } + +} + +impl<B: Backend> Lock<(), B> { + /// Constructs a [`Lock`] from a raw pointer. + /// + /// This can be useful for interacting with a lock which was initialised outside of rust. + /// + /// # Safety + /// + /// The caller promises that `ptr` points to a valid initialised instance of [`State`]. + /// + /// [`State`]: Backend::State + pub unsafe fn from_raw<'a>(ptr: *mut B::State) -> &'a Self + { + // SAFETY: + // * By the safety contract `ptr` must point to a valid initialised instance of `B::State` + // * Since the lock data type is `()` which is a ZST, `state` is the only non-ZST member of + // the struct + // * Combined with `#[repr(C)]`, this guarantees `Self` has an equivalent data layout to + // `B::State`. + unsafe { &*ptr.cast() } + } } impl<T: ?Sized, B: Backend> Lock<T, B> { -- 2.46.0 ^ permalink raw reply related [flat|nested] 3+ messages in thread
* Re: [PATCH v2 1/1] rust: sync: Add Lock::from_raw() for Lock<(), B> 2024-09-16 23:17 ` [PATCH v2 1/1] rust: sync: Add Lock::from_raw() " Lyude Paul @ 2024-09-21 14:52 ` kernel test robot 0 siblings, 0 replies; 3+ messages in thread From: kernel test robot @ 2024-09-21 14:52 UTC (permalink / raw) To: Lyude Paul, rust-for-linux Cc: oe-kbuild-all, Danilo Krummrich, airlied, Ingo Molnar, Will Deacon, Waiman Long, Peter Zijlstra, Thomas Gleixner, linux-kernel, Miguel Ojeda, Alex Gaynor, Wedson Almeida Filho, Boqun Feng, Gary Guo, Björn Roy Baron, Benno Lossin, Andreas Hindborg, Alice Ryhl, Trevor Gross, Martin Rodriguez Reboredo, Valentin Obst Hi Lyude, kernel test robot noticed the following build warnings: [auto build test WARNING on a2f11547052001bd448ccec81dd1e68409078fbb] url: https://github.com/intel-lab-lkp/linux/commits/Lyude-Paul/rust-sync-Add-Lock-from_raw-for-Lock-B/20240917-071956 base: a2f11547052001bd448ccec81dd1e68409078fbb patch link: https://lore.kernel.org/r/20240916231817.643934-4-lyude%40redhat.com patch subject: [PATCH v2 1/1] rust: sync: Add Lock::from_raw() for Lock<(), B> config: x86_64-randconfig-104-20240921 (https://download.01.org/0day-ci/archive/20240921/202409212236.CKCTlTCJ-lkp@intel.com/config) compiler: clang version 18.1.8 (https://github.com/llvm/llvm-project 3b5b5c1ec4a3095ab096dd780e84d7ab81f3d7ff) reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20240921/202409212236.CKCTlTCJ-lkp@intel.com/reproduce) If you fix the issue in a separate patch/commit (i.e. not just a new version of the same patch/commit), kindly add following tags | Reported-by: kernel test robot <lkp@intel.com> | Closes: https://lore.kernel.org/oe-kbuild-all/202409212236.CKCTlTCJ-lkp@intel.com/ All warnings (new ones prefixed by >>): >> warning: unused import: `mem` --> rust/kernel/sync/lock.rs:10:74 | 10 | use core::{cell::UnsafeCell, marker::PhantomData, marker::PhantomPinned, mem}; | ^^^ | = note: `#[warn(unused_imports)]` on by default -- >> warning: unused import: `prelude` --> rust/kernel/sync/lock.rs:9:38 | 9 | use crate::{init::PinInit, pin_init, prelude::*, str::CStr, types::Opaque, types::ScopeGuard}; | ^^^^^^^ -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-09-21 14:52 UTC | newest] Thread overview: 3+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2024-09-16 23:17 [PATCH v2 0/1] rust: sync: Add Lock::from_raw for Lock<(), B> Lyude Paul 2024-09-16 23:17 ` [PATCH v2 1/1] rust: sync: Add Lock::from_raw() " Lyude Paul 2024-09-21 14:52 ` kernel test robot
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).