[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 02/10] rust: qom: add reference counting functionality
From: |
Zhao Liu |
Subject: |
Re: [PATCH 02/10] rust: qom: add reference counting functionality |
Date: |
Mon, 27 Jan 2025 15:57:53 +0800 |
> +impl<T: ObjectType> Owned<T> {
> + /// Convert a raw C pointer into an owned reference to the QOM
> + /// object it points to. The object's reference count will be
> + /// decreased when the `Owned` is dropped.
> + ///
> + /// # Panics
> + ///
> + /// Panics if `ptr` is NULL.
> + ///
> + /// # Safety
> + ///
> + /// The caller must indeed own a reference to the QOM object.
> + /// The object must not be embedded in another unless the outer
> + /// object is guaranteed to have a longer lifetime.
> + ///
> + /// A raw pointer obtained via [`Owned::into_raw()`] can always be passed
> + /// back to `from_raw()` (assuming the original `Owned` was valid!),
> + /// since the owned reference remains there between the calls to
> + /// `into_raw()` and `from_raw()`.
> + #[allow(clippy::missing_const_for_fn)]
> + pub unsafe fn from_raw(ptr: *const T) -> Self {
> + // SAFETY NOTE: while NonNull requires a mutable pointer, only
> + // Deref is implemented so the pointer passed to from_raw
> + // remains const
> + Owned(NonNull::new(ptr as *mut T).unwrap())
> + }
...
> + /// Increase the reference count of a QOM object and return
> + /// a new owned reference to it.
> + ///
> + /// # Safety
> + ///
> + /// The object must not be embedded in another, unless the outer
> + /// object is guaranteed to have a longer lifetime.
> + pub unsafe fn from(obj: &T) -> Self {
> + unsafe {
> + object_ref(obj.as_object_mut_ptr().cast::<c_void>());
> +
> + // SAFETY NOTE: while NonNull requires a mutable pointer, only
> + // Deref is implemented so the reference passed to from_raw
> + // remains shared
> + Owned(NonNull::new_unchecked(obj.as_mut_ptr()))
> + }
> + }
> +}
> +
About the difference between from_raw() and from(), I understand if the
C side also holds a pointer, the Rust side must increase the reference
count (using Owned::from), and If the C side does not have any other
pointers, Rust can directly use Owned::from_raw. Am I right?
* The use of from():
fn do_init_clock_in(
dev: *mut DeviceState,
name: &str,
cb: Option<unsafe extern "C" fn(*mut c_void, ClockEvent)>,
events: ClockEvent,
) -> Owned<Clock> {
assert!(bql_locked());
// SAFETY: the clock is heap allocated and does not have a
reference, so
// Owned::from adds one. the callback is disabled automatically
// when the clock is unparented, which happens before the device is
// finalized.
unsafe {
let cstr = CString::new(name).unwrap();
let clk = bindings::qdev_init_clock_in(
dev,
cstr.as_ptr(),
cb,
dev.cast::<c_void>(),
events.0,
);
Owned::from(&*clk)
}
}
* The use of from_raw():
fn new() -> Owned<Self> {
assert!(bql_locked());
// SAFETY: the object created by object_new is allocated on
// the heap and has a reference count of 1
unsafe {
let obj = &*object_new(Self::TYPE_NAME.as_ptr());
Owned::from_raw(obj.unsafe_cast::<Self>())
}
}
Comparing with these 2 use cases, I find the difference is
qdev_init_clock_in() creates a pointer in qdev_init_clocklist().
Then the comment "the clock is heap allocated and does not have
a reference" sounds like a conflict. I'm sure I'm missing something. :-(
Thanks,
Zhao
- [RFC PATCH 00/10] rust: remaining part of qdev bindings, Paolo Bonzini, 2025/01/17
- [PATCH 01/10] rust: qemu-api: add sub-subclass to the integration tests, Paolo Bonzini, 2025/01/17
- [PATCH 02/10] rust: qom: add reference counting functionality, Paolo Bonzini, 2025/01/17
- [PATCH 03/10] rust: qom: add object creation functionality, Paolo Bonzini, 2025/01/17
- [PATCH 04/10] rust: callbacks: allow passing optional callbacks as (), Paolo Bonzini, 2025/01/17
- [PATCH 06/10] rust: qom: allow initializing interface vtables, Paolo Bonzini, 2025/01/17
- [PATCH 07/10] rust: qdev: make ObjectImpl a supertrait of DeviceImpl, Paolo Bonzini, 2025/01/17
- [PATCH 05/10] rust: qdev: add clock creation, Paolo Bonzini, 2025/01/17
- [PATCH 09/10] rust: bindings: add Sync markers to types referred to by MemoryRegionOps, Paolo Bonzini, 2025/01/17