rust-for-linux.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* [PATCH v1 0/5] rust: time: Convert hrtimer to use Instant and Delta
@ 2025-05-04  4:59 FUJITA Tomonori
  2025-05-04  4:59 ` [PATCH v1 1/5] rust: time: Change Delta methods to take &self instead of self FUJITA Tomonori
                   ` (4 more replies)
  0 siblings, 5 replies; 17+ messages in thread
From: FUJITA Tomonori @ 2025-05-04  4:59 UTC (permalink / raw)
  To: rust-for-linux
  Cc: a.hindborg, boqun.feng, frederic, lyude, tglx, anna-maria,
	jstultz, sboyd, ojeda, alex.gaynor, gary, bjorn3_gh, benno.lossin,
	aliceryhl, tmgross, dakr, linux-kernel

Convert hrtimer to use `Instant` and `Delta`; remove the use of
`Ktime` from the hrtimer code, which was originally introduced as a
temporary workaround.

hrtimer uses either an `Instant` or a `Delta` as its expiration value,
depending on the mode specified at creation time. This patchset
replaces `HrTimerMode` enum with a trait-based abstraction and
associates each mode with either an `Instant` or a `Delta`. By
leveraging Rust's type system, this change enables `HrTimer` to be
statically associated with a specific `HrTimerMode`, the corresponding
`Instant` or `Delta`, and a `ClockSource`.

The `impl_has_hr_timer` macro is extended to allow specifying the
`HrTimerMode`. In the following example, it guarantees that the
`start()` method for `Foo` only accepts `Instant<Monotonic>`. Using a
`Delta` or an `Instant` with a different clock source will result in a
compile-time error:

struct Foo {
    #[pin]
    timer: HrTimer<Self>,

}

impl_has_hr_timer! {
    impl HasHrTimer<Self> for Foo {
        mode = AbsoluteMode<Monotonic>,
        self.timer
    }
}

This design eliminates runtime mismatches between expires types and
clock sources, and enables stronger type-level guarantees throughout
hrtimer.

This patchset can be applied on top of the typed clock sources patchset:

https://lore.kernel.org/lkml/20250504042436.237756-1-fujita.tomonori@gmail.com/


FUJITA Tomonori (5):
  rust: time: Change Delta methods to take &self instead of self
  rust: timer: Replace HrTimerMode enum with trait-based mode types
  rust: time: Add HrTimerExpires trait
  rust: time: Make HasHrTimer generic over HrTimerMode
  rust: time: Remove Ktime in hrtimer

 rust/kernel/time.rs                 |  15 +-
 rust/kernel/time/hrtimer.rs         | 288 ++++++++++++++++++----------
 rust/kernel/time/hrtimer/arc.rs     |   8 +-
 rust/kernel/time/hrtimer/pin.rs     |   8 +-
 rust/kernel/time/hrtimer/pin_mut.rs |   8 +-
 rust/kernel/time/hrtimer/tbox.rs    |   8 +-
 6 files changed, 225 insertions(+), 110 deletions(-)


base-commit: 7b33a2d9c12023a73b7ba105a3eed77c3527a94e
-- 
2.43.0


^ permalink raw reply	[flat|nested] 17+ messages in thread

end of thread, other threads:[~2025-06-03 16:30 UTC | newest]

Thread overview: 17+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-05-04  4:59 [PATCH v1 0/5] rust: time: Convert hrtimer to use Instant and Delta FUJITA Tomonori
2025-05-04  4:59 ` [PATCH v1 1/5] rust: time: Change Delta methods to take &self instead of self FUJITA Tomonori
2025-06-02  8:23   ` Alice Ryhl
2025-06-02 12:19     ` Andreas Hindborg
2025-06-03 13:31       ` FUJITA Tomonori
2025-05-04  4:59 ` [PATCH v1 2/5] rust: timer: Replace HrTimerMode enum with trait-based mode types FUJITA Tomonori
2025-06-02 12:53   ` Andreas Hindborg
2025-05-04  4:59 ` [PATCH v1 3/5] rust: time: Add HrTimerExpires trait FUJITA Tomonori
2025-05-30 13:04   ` Andreas Hindborg
2025-06-03 13:51     ` FUJITA Tomonori
2025-06-03 16:28       ` Andreas Hindborg
2025-05-04  4:59 ` [PATCH v1 4/5] rust: time: Make HasHrTimer generic over HrTimerMode FUJITA Tomonori
2025-06-02 12:41   ` Andreas Hindborg
2025-06-03 14:08     ` FUJITA Tomonori
2025-06-03 16:30       ` Andreas Hindborg
2025-05-04  4:59 ` [PATCH v1 5/5] rust: time: Remove Ktime in hrtimer FUJITA Tomonori
2025-06-02 12:41   ` Andreas Hindborg

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).