mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use modulo operation to convert nanosecond to Duration

Browse Source
This commit is contained in:
tiif 2024-06-08 00:56:48 +08:00
parent 9f60709ffd
commit 9cf04b5a22
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/tools/miri/src/clock.rs
View File

@ -39,13 +39,14 @@ impl Instant {
InstantKind::Virtual { nanoseconds },
InstantKind::Virtual { nanoseconds: earlier },
) => {
// If it exceeded u64::MAX nanosecond, we will just keep u64::MAX nanosecond,
// Duration can't take in more than u64::MAX.
let duration = match u64::try_from(nanoseconds.saturating_sub(earlier)) {
Ok(nanosecond) => Duration::from_nanos(nanosecond),
Err(_err) => Duration::from_nanos(u64::MAX),
};
Duration::new(duration.as_secs(), duration.subsec_nanos())
// It is possible for second to overflow because u64::MAX < (u128::MAX / 1e9).
let seconds = u64::try_from(
nanoseconds.saturating_sub(earlier).saturating_div(1_000_000_000),
)
.unwrap();
// It is impossible for nanosecond to overflow because u32::MAX > 1e9.
let nanosecond = u32::try_from(nanoseconds.wrapping_rem(1_000_000_000)).unwrap();
Duration::new(seconds, nanosecond)
}
_ => panic!("all `Instant` must be of the same kind"),
}