qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: "Philippe Mathieu-Daudé" <philmd@linaro.org>
To: Zhao Liu <zhao1.liu@intel.com>
Cc: "Paolo Bonzini" <pbonzini@redhat.com>,
	qemu-devel@nongnu.org, qemu-rust@nongnu.org,
	"Alex Bennée" <alex.bennee@linaro.org>,
	"Marc-André Lureau" <marcandre.lureau@redhat.com>,
	"Peter Maydell" <peter.maydell@linaro.org>,
	"Markus Armbruster" <armbru@redhat.com>,
	"Daniel P. Berrangé" <berrange@redhat.com>
Subject: Re: [PULL 25/41] rust: qom: put class_init together from multiple ClassInitImpl<>
Date: Fri, 3 Jan 2025 09:48:38 +0100	[thread overview]
Message-ID: <50cc7499-d162-465e-b3a6-25636dfda2db@linaro.org> (raw)
In-Reply-To: <Z3enuYCHnKuiANmv@intel.com>

+Markus, Daniel & Peter

On 3/1/25 10:02, Zhao Liu wrote:
>>> -/// # Safety
>>> -///
>>> -/// We expect the FFI user of this function to pass a valid pointer that
>>> -/// can be downcasted to type `DeviceClass`, because `T` implements
>>> -/// `DeviceImpl`.
>>> -pub unsafe extern "C" fn rust_device_class_init<T: DeviceImpl>(
>>> -    klass: *mut ObjectClass,
>>> -    _: *mut c_void,
>>> -) {
>>> -    let mut dc = ::core::ptr::NonNull::new(klass.cast::<DeviceClass>()).unwrap();
>>> -    unsafe {
>>> -        let dc = dc.as_mut();
>>> +impl<T> ClassInitImpl<DeviceClass> for T
>>> +where
>>> +    T: DeviceImpl,
>>> +{
>>> +    fn class_init(dc: &mut DeviceClass) {
>>>            if <T as DeviceImpl>::REALIZE.is_some() {
>>>                dc.realize = Some(rust_realize_fn::<T>);
>>>            }
>>>            if <T as DeviceImpl>::RESET.is_some() {
>>> -            bindings::device_class_set_legacy_reset(dc, Some(rust_reset_fn::<T>));
>>> +            unsafe {
>>> +                bindings::device_class_set_legacy_reset(dc, Some(rust_reset_fn::<T>));
>>
>> Pre-existing, but since it appears on this patch, Rust device models
>> should not implement this legacy interface.
> 
> Rust pl011 is just faithful to the C functionality, and it's really time
> to make the rust version drop the previous technical debt too!
> 
> But I think this patch is OK for now since using legacy interface is the
> most simplified approach, and next step we can consider how to convert
> it to the modern interface with proper rust binding (my initial thought
> tells me that there is at least some effort needed here to explore
> whether a simple resettable trait would be enough...).
> 
>> If a non-Rust parent
>> implements it, I think we should convert the non-Rust parent before
>> adding a Rust child. No clue how to check a parent don't implement
>> this interface in Rust.
> 
> For C side, I also didn't find some case to check parent's
> legacy_reset before device_class_set_legacy_reset().
> 
> Maybe we should add `assert(!dc->legacy_reset)` in
> device_class_set_legacy_reset()?
> 
> Similarly, device_class_set_parent_[realize|unrealize] are worth
> adding assert().
> 
> If you agree, I'd be happy to add assert() to these three functions as
> well. :-)
> 
>> Generally, we shouldn't access legacy API from Rust IMHO.
>>
>>> +            }
>>>            }
>>>            if let Some(vmsd) = <T as DeviceImpl>::vmsd() {
>>>                dc.vmsd = vmsd;
>>>            }
>>>            let prop = <T as DeviceImpl>::properties();
>>>            if !prop.is_empty() {
>>> -            bindings::device_class_set_props_n(dc, prop.as_ptr(), prop.len());
>>> +            unsafe {
>>> +                bindings::device_class_set_props_n(dc, prop.as_ptr(), prop.len());
>>> +            }
>>>            }
>>>        }
>>>    }
>>



  reply	other threads:[~2025-01-03  8:49 UTC|newest]

Thread overview: 55+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-12-19  8:31 [PULL 00/41] Rust, qdev, target/i386 changes for 2024-12-19 Paolo Bonzini
2024-12-19  8:31 ` [PULL 01/41] migration: Constify migration_properties Paolo Bonzini
2024-12-19  8:31 ` [PULL 02/41] hw/ide: Constify sysbus_ahci_properties Paolo Bonzini
2024-12-19  8:31 ` [PULL 03/41] target/ppc: Remove empty property list Paolo Bonzini
2024-12-19  8:31 ` [PULL 04/41] target/s390x: Use s390x_cpu_properties for system mode only Paolo Bonzini
2024-12-19  8:31 ` [PULL 05/41] hw/pci-host/astro: Remove empty Property list Paolo Bonzini
2024-12-19  8:31 ` [PULL 06/41] hw/ppc: Only register spapr_nvdimm_properties if CONFIG_LIBPMEM Paolo Bonzini
2024-12-19  8:31 ` [PULL 07/41] hw/tricore: Remove empty Property lists Paolo Bonzini
2024-12-19  8:31 ` [PULL 08/41] hw/s390x: " Paolo Bonzini
2024-12-19  8:31 ` [PULL 09/41] hw/xen: " Paolo Bonzini
2024-12-19  8:31 ` [PULL 10/41] hw/sparc: " Paolo Bonzini
2024-12-19  8:31 ` [PULL 11/41] hw/virtio: " Paolo Bonzini
2024-12-19  8:31 ` [PULL 12/41] include/hw/qdev-core: Detect most empty Property lists at compile time Paolo Bonzini
2024-12-19  8:32 ` [PULL 13/41] hw/core: Introduce device_class_set_props_n Paolo Bonzini
2024-12-19  8:32 ` [PULL 14/41] migration: Use device_class_set_props_n Paolo Bonzini
2024-12-19  8:32 ` [PULL 15/41] hw/scsi/megasas: " Paolo Bonzini
2024-12-19  8:32 ` [PULL 16/41] hw/arm/armsse: " Paolo Bonzini
2024-12-19  8:32 ` [PULL 17/41] rust/qemu-api: " Paolo Bonzini
2024-12-19  8:32 ` [PULL 18/41] hw/core: Replace device_class_set_props with a macro Paolo Bonzini
2024-12-19  8:32 ` [PULL 19/41] target/riscv: Do not abuse DEFINE_PROP_END_OF_LIST Paolo Bonzini
2024-12-19  8:32 ` [PULL 20/41] include/hw/qdev-properties: Remove DEFINE_PROP_END_OF_LIST Paolo Bonzini
2024-12-19  8:32 ` [PULL 21/41] include/hw/qdev-properties: Shrink struct Property Paolo Bonzini
2024-12-19  8:32 ` [PULL 22/41] hw/core/qdev-properties: Constify Property argument to object_field_prop_ptr Paolo Bonzini
2024-12-19  8:32 ` [PULL 23/41] hw/core/qdev-properties: Constify Property argument to PropertyInfo.print Paolo Bonzini
2024-12-19  8:32 ` [PULL 24/41] Constify all opaque Property pointers Paolo Bonzini
2024-12-19  8:32 ` [PULL 25/41] rust: qom: put class_init together from multiple ClassInitImpl<> Paolo Bonzini
2025-01-02 17:04   ` Philippe Mathieu-Daudé
2025-01-03  9:02     ` Zhao Liu
2025-01-03  8:48       ` Philippe Mathieu-Daudé [this message]
2025-01-06 11:53     ` Paolo Bonzini
2025-01-06 13:32       ` Peter Maydell
2025-01-06 15:21         ` Paolo Bonzini
2025-01-07 15:55           ` Zhao Liu
2025-01-07 15:50             ` Philippe Mathieu-Daudé
2025-01-07 16:03             ` Paolo Bonzini
2025-01-07 16:24               ` Philippe Mathieu-Daudé
2025-01-07 16:29                 ` Paolo Bonzini
2025-01-07 16:43                   ` Philippe Mathieu-Daudé
2024-12-19  8:32 ` [PULL 26/41] rust: qom: add possibility of overriding unparent Paolo Bonzini
2024-12-19  8:32 ` [PULL 27/41] rust: rename qemu-api modules to follow C code a bit more Paolo Bonzini
2024-12-19  8:32 ` [PULL 28/41] rust: re-export C types from qemu-api submodules Paolo Bonzini
2024-12-19  8:32 ` [PULL 29/41] rust: tests: allow writing more than one test Paolo Bonzini
2024-12-19  8:32 ` [PULL 30/41] rust: qom: add casting functionality Paolo Bonzini
2024-12-19  8:32 ` [PULL 31/41] rust: qom: add initial subset of methods on Object Paolo Bonzini
2024-12-19  8:32 ` [PULL 32/41] rust: qemu-api: add a module to wrap functions and zero-sized closures Paolo Bonzini
2024-12-19  8:32 ` [PULL 33/41] kvm: consistently return 0/-errno from kvm_convert_memory Paolo Bonzini
2024-12-19  8:32 ` [PULL 34/41] target/i386: Reset TSCs of parked vCPUs too on VM reset Paolo Bonzini
2024-12-19  8:32 ` [PULL 35/41] rust: pl011: fix declaration of LineControl bits Paolo Bonzini
2024-12-19  8:32 ` [PULL 36/41] rust: pl011: match break logic of C version Paolo Bonzini
2024-12-19  8:32 ` [PULL 37/41] rust: pl011: always use reset() method on registers Paolo Bonzini
2024-12-19  8:32 ` [PULL 38/41] rust: pl011: fix break errors and definition of Data struct Paolo Bonzini
2024-12-19  8:32 ` [PULL 39/41] rust: pl011: extend registers to 32 bits Paolo Bonzini
2024-12-19  8:32 ` [PULL 40/41] rust: pl011: fix migration stream Paolo Bonzini
2024-12-19  8:32 ` [PULL 41/41] rust: pl011: simplify handling of the FIFO enabled bit in LCR Paolo Bonzini
2024-12-19 15:12 ` [PULL 00/41] Rust, qdev, target/i386 changes for 2024-12-19 Richard Henderson

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=50cc7499-d162-465e-b3a6-25636dfda2db@linaro.org \
    --to=philmd@linaro.org \
    --cc=alex.bennee@linaro.org \
    --cc=armbru@redhat.com \
    --cc=berrange@redhat.com \
    --cc=marcandre.lureau@redhat.com \
    --cc=pbonzini@redhat.com \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=qemu-rust@nongnu.org \
    --cc=zhao1.liu@intel.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).