From: Zhao Liu <zhao1.liu@intel.com>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: "Michael S . Tsirkin" <mst@redhat.com>,
"Manos Pitsidianakis" <manos.pitsidianakis@linaro.org>,
"Junjie Mao" <junjie.mao@hotmail.com>,
"Alex Bennée" <alex.bennee@linaro.org>,
"Philippe Mathieu-Daudé" <philmd@linaro.org>,
"Peter Maydell" <peter.maydell@linaro.org>,
qemu-devel@nongnu.org, qemu-rust@nongnu.org
Subject: Re: [RFC 11/13] rust/timer/hpet: add basic HPET timer & state
Date: Mon, 9 Dec 2024 15:26:39 +0800 [thread overview]
Message-ID: <Z1abr52uM7lHqPVq@intel.com> (raw)
In-Reply-To: <b107c5c3-9ee4-4939-a4e3-eff0cd92bad6@redhat.com>
> > +use qemu_api::{
> > + bindings::*,
>
> Let's avoid bindings::*.
Sure.
> > + self.qemu_timer = Box::new(HPETState::timer_new_ns(
>
> Oh! I noticed now that while your API is called timer_new_ns, it is actually
> the same as timer_init_full. Let's call it init_full() then.
Sure, will use init_full() directly.
> > + fn get_state_ref(&self) -> &HPETState {
> > + // SAFETY:
> > + // the pointer is convertible to a reference
> > + unsafe { self.state.unwrap().as_ref() }
> > + }
> > +
> > + fn get_state_mut(&mut self) -> &mut HPETState {
> > + // SAFETY:
> > + // the pointer is convertible to a reference
> > + unsafe { self.state.unwrap().as_mut() }
> > + }
>
> You should not need get_state_mut(), which also has the advantage of
> shortening get_state_ref() to get_state().
I see now, internal mutability requires using immutable references
as much as possible!
...
> > + /// True if timer interrupt is level triggered; otherwise, edge triggered.
> > + fn is_int_level_triggered(&self) -> bool {
> > + self.config & 1 << HPET_TN_CFG_INT_TYPE_SHIFT != 0
> > + }
>
> PL011 is using bilge here. I think it's fair to show the two ways to do it.
> If we have devices showing two different things:
>
> - PL011 shows higher-level abstractions for registers
>
> - HPET has a good approach to interior mutability from the beginning
>
> Then it gives a clearer view of the options.
Yes, I am used to handling registers in a C-style way, which is more
straightforward and easier for me to use. However, compared to PL011, it
has less abstraction so that it might look a bit messier. The choice of
different options is basically a trade-off between different styles. :-)
> > + fn update_int_status(&mut self, set: bool) -> &mut Self {
> > + let mask: u64 = 1 << self.index;
> > +
> > + if set && self.is_int_level_triggered() {
> > + // If Timer N Interrupt Enable bit is 0, "the timer will
> > + // still operate and generate appropriate status bits, but
> > + // will not cause an interrupt"
> > + *self.get_state_mut().int_status.get_mut() |= mask;
> > + } else {
> > + *self.get_state_mut().int_status.get_mut() &= !mask;
> > + }
> > + self
> > + }
>
> See remarks elsewhere on update_int_status(), and how it uses
> get_state_mut() and get_mut().
Thank you! Will change as your example.
> > + unsafe {
> > + address_space_stl_le(
> > + &mut address_space_memory,
> > + self.fsb >> 32, // Timer N FSB int addr
> > + self.fsb as u32, // Timer N FSB int value, truncate!
> > + *MEMTXATTRS_UNSPECIFIED,
> > + null_mut(),
> > + );
> > + }
>
> This is the only use of unsafe, whic is not bad at all. Not urgent, but we
> should think about the AddressSpace bindings, and whether it makes sense to
> use (or steal APIs from) rust-vmm's vm-memory.
Good idea, I agree that this is a good "starting" point to consider
introducing rust-vmm to QEMU. I'll add it to my TODO list and consider
it. Once I have some ideas, I'll share them.
> > + fn arm_timer(&mut self, tick: u64) {
> > + let mut ns = self.get_state_ref().get_ns(tick);
> > +
> > + // Clamp period to reasonable min value (1 us)
> > + if self.is_periodic() && ns - self.last < 1000 {
> > + ns = self.last + 1000;
> > + }
> > +
> > + self.last = ns;
> > + self.qemu_timer.as_mut().timer_mod(self.last);
> > + }
>
> No as_mut(), timer_mod is thread safe. timer_mod() need to take &self.
Ok, I understand then I need to implement a as_mut_ptr to convert
`&self` to `* mut QEMUTimer`, as you did for SysBusDevice.
> > + fn del_timer(&mut self) {
> > + self.qemu_timer.as_mut().timer_del();
>
> Same as above.
I see, thanks.
> > +#[derive(Debug)]
> > +pub struct HPETTimerInstance(BqlRefCell<HPETTimer>);
> > +
> > +impl HPETTimerInstance {
> > + fn timer_handler(timer: &mut HPETTimerInstance) {
> > + timer.0.borrow_mut().callback()
> > + }
> > +}
>
> Also not "&mut" - you don't need it, as "timer.0" is only used to borrow
> from the BqlRefCell. Also with a more refined timer abstraction this
> doesn't need HPETTimerInstance, it can probably be a global function like
>
> fn timer_handler(timer_cell: &BqlRefCell<HPETTimer>) {
> timer_cell.borrow_mut().callback()
> }
I see, it's clearer!
> > + /// General Capabilities and ID Register
> > + capability: BqlCell<u64>,
> > + /// General Configuration Register
> > + config: BqlCell<u64>,
> > + /// General Interrupt Status Register
> > + int_status: BqlCell<u64>,
> > + /// Main Counter Value Register
> > + counter: BqlCell<u64>,
> > +
> > + /// Internal state
> > +
> > + /// Capabilities that QEMU HPET supports.
> > + /// bit 0: MSI (or FSB) support.
> > + pub(crate) flags: BqlCell<u32>,
>
> flags doesn't need to be a cell (it's just a property). I'll send a patch
> for the C code.
Thank you! I've reviewed that patch.
> > + /// Offset of main counter relative to qemu clock.
> > + hpet_offset: BqlCell<u64>,
> > + pub(crate) hpet_offset_saved: bool,
> > +
> > + irqs: [InterruptSource; HPET_NUM_IRQ_ROUTES],
> > + rtc_irq_level: BqlCell<u8>,
> > + pit_enabled: InterruptSource,
> > +
> > + /// Interrupt Routing Capability.
> > + /// This field indicates to which interrupts in the I/O (x) APIC
> > + /// the timers' interrupt can be routed, and is encoded in the
> > + /// bits 32:64 of timer N's config register:
> > + pub(crate) int_route_cap: u32,
> > +
> > + /// HPET timer array managed by this timer block.
> > + timer: [HPETTimerInstance; HPET_MAX_TIMERS],
> > + pub(crate) num_timers: BqlCell<usize>,
>
> Ah, this needs to be a BqlCell because it can be clamped to
> MIN_TIMERS..MAX_TIMERS by realize. Fair enough.
Yes, it's a corner case.
Regards,
Zhao
next prev parent reply other threads:[~2024-12-09 7:09 UTC|newest]
Thread overview: 72+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-12-05 6:07 [RFC 00/13] rust: Reinvent the wheel for HPET timer in Rust Zhao Liu
2024-12-05 6:07 ` [RFC 01/13] bql: check that the BQL is not dropped within marked sections Zhao Liu
2024-12-05 6:07 ` [RFC 02/13] rust: cell: add BQL-enforcing RefCell variant Zhao Liu
2024-12-05 6:07 ` [RFC 03/13] rust/cell: add get_mut() method for BqlCell Zhao Liu
2024-12-05 15:55 ` Paolo Bonzini
2024-12-07 15:56 ` Zhao Liu
2024-12-07 19:49 ` Paolo Bonzini
2024-12-05 6:07 ` [RFC 04/13] rust: add bindings for gpio_{in|out} initialization Zhao Liu
2024-12-05 18:53 ` Paolo Bonzini
2024-12-08 16:27 ` Zhao Liu
2024-12-09 11:08 ` Paolo Bonzini
2025-01-16 3:04 ` Zhao Liu
2025-01-17 9:40 ` Paolo Bonzini
2025-01-17 11:14 ` Zhao Liu
2025-01-17 12:47 ` Paolo Bonzini
2024-12-05 6:07 ` [RFC 05/13] rust: add a bit operation binding for deposit64 Zhao Liu
2024-12-05 16:09 ` Paolo Bonzini
2024-12-07 16:01 ` Zhao Liu
2024-12-07 19:44 ` Paolo Bonzini
2024-12-05 6:07 ` [RFC 06/13] rust: add bindings for memattrs Zhao Liu
2024-12-05 18:15 ` Richard Henderson
2024-12-05 18:30 ` Paolo Bonzini
2024-12-05 23:51 ` Richard Henderson
2024-12-06 8:41 ` Zhao Liu
2024-12-06 14:07 ` Richard Henderson
2024-12-06 10:59 ` Peter Maydell
2024-12-06 14:28 ` Paolo Bonzini
2024-12-06 14:42 ` Peter Maydell
2024-12-06 19:13 ` Paolo Bonzini
2025-01-20 16:52 ` Zhao Liu
2025-01-20 17:19 ` Paolo Bonzini
2025-01-23 15:10 ` Zhao Liu
2025-01-23 15:33 ` Paolo Bonzini
2024-12-07 9:21 ` Philippe Mathieu-Daudé
2024-12-08 9:30 ` Paolo Bonzini
2024-12-08 15:51 ` Zhao Liu
2024-12-05 6:07 ` [RFC 07/13] rust: add bindings for timer Zhao Liu
2024-12-05 18:18 ` Richard Henderson
2024-12-07 17:18 ` Zhao Liu
2024-12-05 18:46 ` Paolo Bonzini
2024-12-07 16:54 ` Zhao Liu
2025-01-14 15:36 ` Zhao Liu
2025-01-14 15:42 ` Zhao Liu
2025-01-14 16:14 ` Paolo Bonzini
2025-01-15 7:09 ` Zhao Liu
2024-12-05 6:07 ` [RFC 08/13] rust/qdev: add the macro to define bit property Zhao Liu
2024-12-05 6:07 ` [RFC 09/13] i386/fw_cfg: move hpet_cfg definition to hpet.c Zhao Liu
2024-12-05 12:04 ` Philippe Mathieu-Daudé
2024-12-05 12:46 ` Zhao Liu
2024-12-05 21:17 ` Philippe Mathieu-Daudé
2024-12-05 21:19 ` Paolo Bonzini
2024-12-07 9:16 ` Philippe Mathieu-Daudé
2024-12-07 15:36 ` Zhao Liu
2024-12-05 15:30 ` Paolo Bonzini
2024-12-07 15:28 ` Zhao Liu
2025-01-17 10:31 ` Zhao Liu
2025-01-17 10:15 ` Paolo Bonzini
2024-12-05 6:07 ` [RFC 10/13] rust/timer/hpet: define hpet_fw_cfg Zhao Liu
2024-12-05 6:07 ` [RFC 11/13] rust/timer/hpet: add basic HPET timer & state Zhao Liu
2024-12-05 20:22 ` Paolo Bonzini
2024-12-05 21:20 ` Paolo Bonzini
2024-12-09 7:46 ` Zhao Liu
2024-12-09 7:26 ` Zhao Liu [this message]
2024-12-05 6:07 ` [RFC 12/13] rust/timer/hpet: add qdev APIs support Zhao Liu
2024-12-05 18:58 ` Paolo Bonzini
2024-12-07 16:05 ` Zhao Liu
2024-12-05 6:07 ` [RFC 13/13] i386: enable rust hpet for pc when rust is enabled Zhao Liu
2024-12-05 15:20 ` Paolo Bonzini
2024-12-06 9:06 ` Zhao Liu
2024-12-05 6:22 ` [RFC 00/13] rust: Reinvent the wheel for HPET timer in Rust Zhao Liu
2024-12-05 16:28 ` Paolo Bonzini
2024-12-09 7:57 ` Zhao Liu
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=Z1abr52uM7lHqPVq@intel.com \
--to=zhao1.liu@intel.com \
--cc=alex.bennee@linaro.org \
--cc=junjie.mao@hotmail.com \
--cc=manos.pitsidianakis@linaro.org \
--cc=mst@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=philmd@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=qemu-rust@nongnu.org \
/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).