Consider making `std::time::SystemTime` platform-independent

[kennytm]

It was found in #44220 (comment) that certain systems in Tier-2 support still uses a 32-bit time_t. SystemTime on them will suffer from the Year-2038 problem, and also cannot perform arithmetic for a duration >68 years. This introduces a portability hazard, in which on some systems the time arithmetic works normally, and in some more legacy system it suddenly panics.

The SystemTime struct is a wrapper around timespec on Unix and Redox, and FILETIME on Windows. Nevertheless, the public API involving SystemTime never exposes this detail:

• You cannot construct a SystemTime from a timespec/FILETIME, nor the other way round

• The only place where SystemTime interacts with the OS are being returned

  1. SystemTime::now, returning a SystemTime
  2. Metadata::{modified, accessed, created}, returning an io::Result<SystemTime>

• There are no OS-specific APIs reading a SystemTime.

This means expanding the precision and range of SystemTime is safe. In fact, we could even make the SystemTime structure itself platform-agnostic, just like Duration:

struct SystemTime {
    secs: i64,
    nanos: u32,
}

[retep998]

What would the epoch be for this? Would we still use the platform specific epoch or would we have a platform agnostic epoch?

[kennytm]

I'd suggest everyone uses 1970 Jan 1st (Unix epoch) for consistency.

Since the public APIs won't see the raw numbers at all, special-casing Windows to use 1601 Jan 1st as epoch is also possible. However converting a FILETIME to timespec-like structure already involves the complex arithmetic of divide-and-modulus-by-10⁷, adding a further epoch shift will not be a comparatively bigger performance issue.

The range of FILETIME is ±2⁶³ × 100ns ≈ 29227 years, while the range of 64-bit timespec is ±2⁶³ s ≈ 3 × 10¹¹ years, so moving the epoch by 369 years is not going to cause overflow.

Another choice is keep Windows to use FILETIME, and just change all Unix to always use (i64, u32).

[retep998]

Using the Unix Epoch for consistency would completely break any times on Windows from before the the unix epoch. If someone manually changes a file to be created in the 1600s, Rust better damn well support that.

[sfackler]

@retep998 How exactly does that break times before the epoch? secs is signed.

[retep998]

@sfackler Oh, right. Anyway, this would still cause an increase in the size of SystemTime on Windows. It would also allow you to create a SystemTime which cannot be represented in the platform specific type, resulting in errors when you call functions to set file times. Of course this might be desirable so that calculations don't overflow when doing weird arithmetic with time.

[kennytm]

@retep998 Sure, but there are no functions that set the file time using SystemTime in libstd.

There is the filetime crate for setting file times, but it uses its own FileTime structure, not affected by this proposed change (btw it uses the 1970 epoch on Unix and 1601 on Windows).

[retep998]

@kennytm Maybe one day std will have such functions. Maybe in the future it would be possible to actually work with std's SystemTime instead of having to duplicate it with your own version.

[kennytm]

@retep998 those functions would return io::Error.

[joshlf]

@retep998

It would also allow you to create a SystemTime which cannot be represented in the platform specific type, resulting in errors when you call functions to set file times.

Since Windows represents time as a 64-bit value representing 100-ns intervals, this would only happen if you tried to set a file time that was:

• more than 2^63/10,000,000 seconds = ~30K years before the Windows epoch
• more than approximately the same amount of time after the Windows epoch

Wanting to use these kinds of times to set file timestamps and other system operations (as in, other than just doing computations in pure-Rust land) seems very very unlikely in practice.

[retep998]

@joshlf Trying to set a file time to any time before the Windows epoch would result in an error, not only 30K years before.

[joshlf]

Oh so file times can't be negative? Because the function that I linked to returns a signed integer. Do you know if the same limitation exists on Unix?

[retep998]

@joshlf FILETIME is unsigned which is what GetSystemTimeAsFileTime returns which is what you should be looking at, not the internal NT function NtQuerySystemTime. Some functions, such as SetFileTime, also use 0xFFFFFFFF as a sentinel value. I tested SetFileTime and it errors with ERROR_INVALID_PARAMETER on any value that would be negative if interpreted as a signed integer.

[joshlf]

Gotcha, thanks!