Re: [PATCH] rust: time: New module for timekeeping functions

From: Gary Guo
Date: Wed Feb 22 2023 - 14:55:54 EST


On Tue, 21 Feb 2023 21:33:42 +0000
Heghedus Razvan <heghedus.razvan@xxxxxxxxxxxxxx> wrote:

> On Tuesday, February 21st, 2023 at 8:45 PM, Thomas Gleixner <tglx@xxxxxxxxxxxxx> wrote:
>
> > That's the same the Rust std time semantics:
> >
> > Duration = Instance - Instance valid
> > Duration = Systemtime - SystemTime valid
> > Duration = Systemtime - Instance invalid
> >
> > No?
> >
> I agree with Thomas on this one. The Rust type system is really powerful and we should take advantage of it. Time deltas can be enforced to be from the same clock at compile time.
> Just for the sake of it, I wrote a small example on how this can be achieve: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=1d0f70bb5329b181f203ce7270e2957a
>

`NowTime` don't need the type parameter. Here's a slightly more polished
version (also with names changed a bit so it looks more "Rusty"):

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=83702f491050da1c67ab9aa129103f7d

Best,
Gary