Skip to content

Commit 3dd0e2b

Browse files
author
Christian
committed
Added some context on SGX. Lists Darwin separately.
1 parent 1478ef4 commit 3dd0e2b

File tree

1 file changed

+32
-18
lines changed

1 file changed

+32
-18
lines changed

src/libstd/time.rs

Lines changed: 32 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -63,16 +63,23 @@ pub use core::time::Duration;
6363
/// # Underlying System calls
6464
/// Currently, the following system calls are being used to get the current time using `now()`:
6565
///
66-
/// | Platform | System call |
67-
/// |:---------:|:------------------------------------------------:|
68-
/// | Cloud ABI | [clock_time_get (Monotonic Clock)](https://github.com/NuxiNL/cloudabi/blob/master/cloudabi.txt) |
69-
/// | SGX | Not implemented |
70-
/// | UNIX | [mach_absolute_time](https://developer.apple.com/library/archive/documentation/Darwin/Conceptual/KernelProgramming/services/services.html) |
71-
/// | VXWorks | [clock_gettime (Monotonic Clock)](https://linux.die.net/man/3/clock_gettime) |
72-
/// | WASI | [__wasi_clock_time_get (Monotonic Clock)](https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-api.md#clock_time_get) |
73-
/// | Windows | [QueryPerformanceCounter] |
74-
75-
[QueryPerformanceCounter]: https://docs.microsoft.com/en-us/windows/win32/api/profileapi/nf-profileapi-queryperformancecounter
66+
/// | Platform | System call |
67+
/// |:---------:|:--------------------------------------------------------------------:|
68+
/// | Cloud ABI | [clock_time_get (Monotonic Clock)] |
69+
/// | SGX | [`insecure_time` usercall]. More information on [timekeeping in SGX] |
70+
/// | UNIX | [clock_time_get (Monotonic Clock)] |
71+
/// | Darwin | [mach_absolute_time] |
72+
/// | VXWorks | [clock_gettime (Monotonic Clock)] |
73+
/// | WASI | [__wasi_clock_time_get (Monotonic Clock)] |
74+
/// | Windows | [QueryPerformanceCounter] |
75+
76+
/// [QueryPerformanceCounter]: https://docs.microsoft.com/en-us/windows/win32/api/profileapi/nf-profileapi-queryperformancecounter
77+
/// [`insecure_time` usercall]: https://edp.fortanix.com/docs/api/fortanix_sgx_abi/struct.Usercalls.html#method.insecure_time
78+
/// [timekeeping in SGX]: https://edp.fortanix.com/docs/concepts/rust-std/#codestdtimecode
79+
/// [__wasi_clock_time_get (Monotonic Clock)]: https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-api.md#clock_time_get
80+
/// [clock_gettime (Monotonic Clock)]: https://linux.die.net/man/3/clock_gettime
81+
/// [mach_absolute_time]: https://developer.apple.com/library/archive/documentation/Darwin/Conceptual/KernelProgramming/services/services.html
82+
/// [clock_time_get (Monotonic Clock)]: https://github.com/NuxiNL/cloudabi/blob/master/cloudabi.txt
7683
///
7784
/// **Disclaimer:** These system calls might change over time.
7885
///
@@ -135,14 +142,21 @@ pub struct Instant(time::Instant);
135142
/// # Underlying System calls
136143
/// Currently, the following system calls are being used to get the current time using `now()`:
137144
///
138-
/// | Platform | System call |
139-
/// |:---------:|:------------------------------------------------:|
140-
/// | Cloud ABI | [clock_time_get (Realtime Clock)](https://github.com/NuxiNL/cloudabi/blob/master/cloudabi.txt) |
141-
/// | SGX | Not implemented |
142-
/// | UNIX | [gettimeofday](http://man7.org/linux/man-pages/man2/gettimeofday.2.html) |
143-
/// | VXWorks | [clock_gettime (Realtime Clock)](https://linux.die.net/man/3/clock_gettime) |
144-
/// | WASI | [__wasi_clock_time_get (Realtime Clock)](https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-api.md#clock_time_get) |
145-
/// | Windows | [GetSystemTimeAsFileTime](https://docs.microsoft.com/en-us/windows/win32/api/sysinfoapi/nf-sysinfoapi-getsystemtimeasfiletime) |
145+
/// | Platform | System call |
146+
/// |:---------:|:--------------------------------------------------------------------:|
147+
/// | Cloud ABI | [clock_time_get (Realtime Clock)] |
148+
/// | SGX | [`insecure_time` usercall]. More information on [timekeeping in SGX] |
149+
/// | UNIX | [clock_gettime (Realtime Clock)] |
150+
/// | DARWIN | [gettimeofday] |
151+
/// | VXWorks | [clock_gettime (Realtime Clock)] |
152+
/// | WASI | [__wasi_clock_time_get (Realtime Clock)] |
153+
/// | Windows | [GetSystemTimeAsFileTime] |
154+
///
155+
/// [clock_time_get (Realtime Clock)]: https://github.com/NuxiNL/cloudabi/blob/master/cloudabi.txt
156+
/// [gettimeofday]: http://man7.org/linux/man-pages/man2/gettimeofday.2.html
157+
/// [clock_gettime (Realtime Clock)]: https://linux.die.net/man/3/clock_gettime
158+
/// [__wasi_clock_time_get (Realtime Clock)]: https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-api.md#clock_time_get
159+
/// [GetSystemTimeAsFileTime]: https://docs.microsoft.com/en-us/windows/win32/api/sysinfoapi/nf-sysinfoapi-getsystemtimeasfiletime
146160
///
147161
/// **Disclaimer:** These system calls might change over time.
148162
///

0 commit comments

Comments
 (0)