2022-10-05 13:37:15 +00:00
|
|
|
/*-*- mode:c;indent-tabs-mode:nil;c-basic-offset:2;tab-width:8;coding:utf-8 -*-│
|
|
|
|
│vi: set net ft=c ts=2 sts=2 sw=2 fenc=utf-8 :vi│
|
|
|
|
╞══════════════════════════════════════════════════════════════════════════════╡
|
|
|
|
│ Copyright 2022 Justine Alexandra Roberts Tunney │
|
|
|
|
│ │
|
|
|
|
│ Permission to use, copy, modify, and/or distribute this software for │
|
|
|
|
│ any purpose with or without fee is hereby granted, provided that the │
|
|
|
|
│ above copyright notice and this permission notice appear in all copies. │
|
|
|
|
│ │
|
|
|
|
│ THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL │
|
|
|
|
│ WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED │
|
|
|
|
│ WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE │
|
|
|
|
│ AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL │
|
|
|
|
│ DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR │
|
|
|
|
│ PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER │
|
|
|
|
│ TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR │
|
|
|
|
│ PERFORMANCE OF THIS SOFTWARE. │
|
|
|
|
╚─────────────────────────────────────────────────────────────────────────────*/
|
2022-11-08 18:09:47 +00:00
|
|
|
#include "libc/assert.h"
|
2022-11-06 02:49:41 +00:00
|
|
|
#include "libc/calls/cp.internal.h"
|
2023-10-09 18:56:21 +00:00
|
|
|
#include "libc/calls/struct/timespec.h"
|
2022-10-05 13:37:15 +00:00
|
|
|
#include "libc/calls/struct/timespec.internal.h"
|
|
|
|
#include "libc/dce.h"
|
2022-10-08 04:29:40 +00:00
|
|
|
#include "libc/errno.h"
|
2022-10-05 13:37:15 +00:00
|
|
|
#include "libc/intrin/describeflags.internal.h"
|
2023-10-10 03:18:48 +00:00
|
|
|
#include "libc/intrin/kprintf.h"
|
2022-10-05 13:37:15 +00:00
|
|
|
#include "libc/intrin/strace.internal.h"
|
2023-10-10 03:18:48 +00:00
|
|
|
#include "libc/intrin/weaken.h"
|
2023-10-03 23:58:42 +00:00
|
|
|
#include "libc/runtime/clktck.h"
|
2022-10-05 13:37:15 +00:00
|
|
|
#include "libc/sysv/consts/clock.h"
|
|
|
|
#include "libc/sysv/consts/timer.h"
|
|
|
|
#include "libc/sysv/errfuns.h"
|
2023-10-10 03:18:48 +00:00
|
|
|
#include "libc/thread/thread.h"
|
2022-11-08 18:09:47 +00:00
|
|
|
|
2023-10-09 18:56:21 +00:00
|
|
|
static int sys_clock_nanosleep(int clock, int flags, //
|
|
|
|
const struct timespec *req,
|
|
|
|
struct timespec *rem) {
|
|
|
|
int rc;
|
Make improvements
- We now serialize the file descriptor table when spawning / executing
processes on Windows. This means you can now inherit more stuff than
just standard i/o. It's needed by bash, which duplicates the console
to file descriptor #255. We also now do a better job serializing the
environment variables, so you're less likely to encounter E2BIG when
using your bash shell. We also no longer coerce environ to uppercase
- execve() on Windows now remotely controls its parent process to make
them spawn a replacement for itself. Then it'll be able to terminate
immediately once the spawn succeeds, without having to linger around
for the lifetime as a shell process for proxying the exit code. When
process worker thread running in the parent sees the child die, it's
given a handle to the new child, to replace it in the process table.
- execve() and posix_spawn() on Windows will now provide CreateProcess
an explicit handle list. This allows us to remove handle locks which
enables better fork/spawn concurrency, with seriously correct thread
safety. Other codebases like Go use the same technique. On the other
hand fork() still favors the conventional WIN32 inheritence approach
which can be a little bit messy, but is *controlled* by guaranteeing
perfectly clean slates at both the spawning and execution boundaries
- sigset_t is now 64 bits. Having it be 128 bits was a mistake because
there's no reason to use that and it's only supported by FreeBSD. By
using the system word size, signal mask manipulation on Windows goes
very fast. Furthermore @asyncsignalsafe funcs have been rewritten on
Windows to take advantage of signal masking, now that it's much more
pleasant to use.
- All the overlapped i/o code on Windows has been rewritten for pretty
good signal and cancelation safety. We're now able to ensure overlap
data structures are cleaned up so long as you don't longjmp() out of
out of a signal handler that interrupted an i/o operation. Latencies
are also improved thanks to the removal of lots of "busy wait" code.
Waits should be optimal for everything except poll(), which shall be
the last and final demon we slay in the win32 i/o horror show.
- getrusage() on Windows is now able to report RUSAGE_CHILDREN as well
as RUSAGE_SELF, thanks to aggregation in the process manager thread.
2023-10-08 12:36:18 +00:00
|
|
|
BEGIN_CANCELATION_POINT;
|
2022-11-08 18:09:47 +00:00
|
|
|
if (IsLinux() || IsFreebsd() || IsNetbsd()) {
|
|
|
|
rc = __sys_clock_nanosleep(clock, flags, req, rem);
|
|
|
|
} else if (IsXnu()) {
|
|
|
|
rc = sys_clock_nanosleep_xnu(clock, flags, req, rem);
|
|
|
|
} else if (IsOpenbsd()) {
|
|
|
|
rc = sys_clock_nanosleep_openbsd(clock, flags, req, rem);
|
2023-07-10 02:47:46 +00:00
|
|
|
} else if (IsWindows()) {
|
2022-11-08 18:09:47 +00:00
|
|
|
rc = sys_clock_nanosleep_nt(clock, flags, req, rem);
|
2023-07-10 02:47:46 +00:00
|
|
|
} else {
|
|
|
|
rc = enosys();
|
2022-11-08 18:09:47 +00:00
|
|
|
}
|
2023-10-10 03:18:48 +00:00
|
|
|
if (rc > 0) {
|
|
|
|
errno = rc;
|
|
|
|
rc = -1;
|
|
|
|
}
|
|
|
|
// system call support might not detect cancelation on bsds
|
|
|
|
if (rc == -1 && errno == EINTR && //
|
|
|
|
_weaken(pthread_testcancel_np) && //
|
|
|
|
_weaken(pthread_testcancel_np)()) {
|
|
|
|
rc = ecanceled();
|
|
|
|
}
|
Make improvements
- We now serialize the file descriptor table when spawning / executing
processes on Windows. This means you can now inherit more stuff than
just standard i/o. It's needed by bash, which duplicates the console
to file descriptor #255. We also now do a better job serializing the
environment variables, so you're less likely to encounter E2BIG when
using your bash shell. We also no longer coerce environ to uppercase
- execve() on Windows now remotely controls its parent process to make
them spawn a replacement for itself. Then it'll be able to terminate
immediately once the spawn succeeds, without having to linger around
for the lifetime as a shell process for proxying the exit code. When
process worker thread running in the parent sees the child die, it's
given a handle to the new child, to replace it in the process table.
- execve() and posix_spawn() on Windows will now provide CreateProcess
an explicit handle list. This allows us to remove handle locks which
enables better fork/spawn concurrency, with seriously correct thread
safety. Other codebases like Go use the same technique. On the other
hand fork() still favors the conventional WIN32 inheritence approach
which can be a little bit messy, but is *controlled* by guaranteeing
perfectly clean slates at both the spawning and execution boundaries
- sigset_t is now 64 bits. Having it be 128 bits was a mistake because
there's no reason to use that and it's only supported by FreeBSD. By
using the system word size, signal mask manipulation on Windows goes
very fast. Furthermore @asyncsignalsafe funcs have been rewritten on
Windows to take advantage of signal masking, now that it's much more
pleasant to use.
- All the overlapped i/o code on Windows has been rewritten for pretty
good signal and cancelation safety. We're now able to ensure overlap
data structures are cleaned up so long as you don't longjmp() out of
out of a signal handler that interrupted an i/o operation. Latencies
are also improved thanks to the removal of lots of "busy wait" code.
Waits should be optimal for everything except poll(), which shall be
the last and final demon we slay in the win32 i/o horror show.
- getrusage() on Windows is now able to report RUSAGE_CHILDREN as well
as RUSAGE_SELF, thanks to aggregation in the process manager thread.
2023-10-08 12:36:18 +00:00
|
|
|
END_CANCELATION_POINT;
|
2023-10-03 23:58:42 +00:00
|
|
|
STRACE("sys_clock_nanosleep(%s, %s, %s, [%s]) → %d% m",
|
|
|
|
DescribeClockName(clock), DescribeSleepFlags(flags),
|
|
|
|
DescribeTimespec(0, req), DescribeTimespec(rc, rem), rc);
|
2022-11-08 18:09:47 +00:00
|
|
|
return rc;
|
|
|
|
}
|
|
|
|
|
2023-10-09 18:56:21 +00:00
|
|
|
static int cosmo_clock_nanosleep(int clock, int flags,
|
|
|
|
const struct timespec *req,
|
|
|
|
struct timespec *rem) {
|
2022-11-08 18:09:47 +00:00
|
|
|
|
2023-10-09 18:56:21 +00:00
|
|
|
// pick clocks
|
|
|
|
int time_clock;
|
|
|
|
int sleep_clock;
|
|
|
|
if (clock == CLOCK_REALTIME || //
|
|
|
|
clock == CLOCK_REALTIME_PRECISE) {
|
|
|
|
time_clock = clock;
|
2023-10-10 03:18:48 +00:00
|
|
|
sleep_clock = CLOCK_REALTIME;
|
2023-10-09 18:56:21 +00:00
|
|
|
} else if (clock == CLOCK_MONOTONIC || //
|
|
|
|
clock == CLOCK_MONOTONIC_PRECISE) {
|
|
|
|
time_clock = clock;
|
2023-10-10 03:18:48 +00:00
|
|
|
sleep_clock = CLOCK_MONOTONIC;
|
2023-10-09 18:56:21 +00:00
|
|
|
} else if (clock == CLOCK_REALTIME_COARSE || //
|
|
|
|
clock == CLOCK_REALTIME_FAST) {
|
|
|
|
return sys_clock_nanosleep(CLOCK_REALTIME, flags, req, rem);
|
|
|
|
} else if (clock == CLOCK_MONOTONIC_COARSE || //
|
|
|
|
clock == CLOCK_MONOTONIC_FAST) {
|
|
|
|
return sys_clock_nanosleep(CLOCK_MONOTONIC, flags, req, rem);
|
2022-11-08 18:09:47 +00:00
|
|
|
} else {
|
2023-10-09 18:56:21 +00:00
|
|
|
return sys_clock_nanosleep(clock, flags, req, rem);
|
2022-11-08 18:09:47 +00:00
|
|
|
}
|
|
|
|
|
2023-10-09 18:56:21 +00:00
|
|
|
// sleep bulk of time in kernel
|
|
|
|
struct timespec start, deadline, remain, waitfor, now;
|
|
|
|
struct timespec quantum = timespec_fromnanos(1000000000 / CLK_TCK);
|
|
|
|
unassert(!clock_gettime(time_clock, &start));
|
|
|
|
deadline = flags & TIMER_ABSTIME ? *req : timespec_add(start, *req);
|
|
|
|
if (timespec_cmp(start, deadline) >= 0) return 0;
|
|
|
|
remain = timespec_sub(deadline, start);
|
|
|
|
if (timespec_cmp(remain, quantum) > 0) {
|
|
|
|
waitfor = timespec_sub(remain, quantum);
|
|
|
|
if (sys_clock_nanosleep(sleep_clock, 0, &waitfor, rem) == -1) {
|
2023-10-10 06:12:32 +00:00
|
|
|
if (!flags && rem && errno == EINTR) {
|
2023-10-09 18:56:21 +00:00
|
|
|
*rem = timespec_add(*rem, quantum);
|
2022-11-08 18:09:47 +00:00
|
|
|
}
|
2023-10-09 18:56:21 +00:00
|
|
|
return -1;
|
2022-11-08 18:09:47 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-09 18:56:21 +00:00
|
|
|
// spin through final scheduling quantum
|
|
|
|
do unassert(!clock_gettime(time_clock, &now));
|
|
|
|
while (timespec_cmp(now, deadline) < 0);
|
|
|
|
return 0;
|
2022-11-08 18:09:47 +00:00
|
|
|
}
|
|
|
|
|
2022-10-05 13:37:15 +00:00
|
|
|
/**
|
|
|
|
* Sleeps for particular amount of time.
|
|
|
|
*
|
|
|
|
* Here's how you could sleep for one second:
|
|
|
|
*
|
|
|
|
* clock_nanosleep(0, 0, &(struct timespec){1}, 0);
|
|
|
|
*
|
|
|
|
* Your sleep will be interrupted automatically if you do something like
|
|
|
|
* press ctrl-c during the wait. That's an `EINTR` error and it lets you
|
|
|
|
* immediately react to status changes. This is always the case, even if
|
|
|
|
* you're using `SA_RESTART` since this is a `@norestart` system call.
|
|
|
|
*
|
|
|
|
* void OnCtrlC(int sig) {} // EINTR only happens after delivery
|
|
|
|
* signal(SIGINT, OnCtrlC); // do delivery rather than kill proc
|
|
|
|
* printf("save me from sleeping forever by pressing ctrl-c\n");
|
|
|
|
* clock_nanosleep(0, 0, &(struct timespec){INT_MAX}, 0);
|
|
|
|
* printf("you're my hero\n");
|
|
|
|
*
|
|
|
|
* If you want to perform an uninterruptible sleep without having to use
|
|
|
|
* sigprocmask() to block all signals then this function provides a good
|
|
|
|
* solution to that problem. For example:
|
|
|
|
*
|
|
|
|
* struct timespec rel, now, abs;
|
|
|
|
* clock_gettime(CLOCK_REALTIME, &now);
|
2022-11-06 02:49:41 +00:00
|
|
|
* rel = timespec_frommillis(100);
|
|
|
|
* abs = timespec_add(now, rel);
|
2022-10-05 13:37:15 +00:00
|
|
|
* while (clock_nanosleep(CLOCK_REALTIME, TIMER_ABSTIME, &abs, 0));
|
|
|
|
*
|
|
|
|
* will accurately spin on `EINTR` errors. That way you're not impeding
|
2023-02-23 14:03:06 +00:00
|
|
|
* signal delivery and you're not loosing precision on the wait timeout.
|
2022-10-05 13:37:15 +00:00
|
|
|
* This function has first-class support on Linux, FreeBSD, and NetBSD;
|
|
|
|
* on OpenBSD it's good; on XNU it's bad; and on Windows it's ugly.
|
|
|
|
*
|
2023-10-09 18:56:21 +00:00
|
|
|
* @param clock may be
|
|
|
|
* - `CLOCK_REALTIME` to have nanosecond-accurate wall time sleeps
|
|
|
|
* - `CLOCK_REALTIME_COARSE` to not spin through scheduler quantum
|
|
|
|
* - `CLOCK_MONOTONIC` to base the sleep off the monotinic clock
|
|
|
|
* - `CLOCK_MONOTONIC_COARSE` to once again not do userspace spin
|
2022-10-05 13:37:15 +00:00
|
|
|
* @param flags can be 0 for relative and `TIMER_ABSTIME` for absolute
|
|
|
|
* @param req can be a relative or absolute time, depending on `flags`
|
2022-10-06 02:25:07 +00:00
|
|
|
* @param rem shall be updated with the remainder of unslept time when
|
|
|
|
* (1) it's non-null; (2) `flags` is 0; and (3) -1 w/ `EINTR` is
|
|
|
|
* returned; if this function returns 0 then `rem` is undefined;
|
|
|
|
* if flags is `TIMER_ABSTIME` then `rem` is ignored
|
2022-10-08 04:29:40 +00:00
|
|
|
* @return 0 on success, or errno on error
|
2022-10-05 13:37:15 +00:00
|
|
|
* @raise EINTR when a signal got delivered while we were waiting
|
2022-11-06 02:49:41 +00:00
|
|
|
* @raise ECANCELED if thread was cancelled in masked mode
|
2022-10-05 13:37:15 +00:00
|
|
|
* @raise ENOTSUP if `clock` is known but we can't use it here
|
2022-10-12 17:44:54 +00:00
|
|
|
* @raise EFAULT if `req` or null or bad memory was passed
|
2022-10-05 13:37:15 +00:00
|
|
|
* @raise EINVAL if `clock` is unknown to current platform
|
|
|
|
* @raise EINVAL if `flags` has an unrecognized value
|
|
|
|
* @raise EINVAL if `req->tv_nsec ∉ [0,1000000000)`
|
|
|
|
* @raise ENOSYS on bare metal
|
Make improvements
- We now serialize the file descriptor table when spawning / executing
processes on Windows. This means you can now inherit more stuff than
just standard i/o. It's needed by bash, which duplicates the console
to file descriptor #255. We also now do a better job serializing the
environment variables, so you're less likely to encounter E2BIG when
using your bash shell. We also no longer coerce environ to uppercase
- execve() on Windows now remotely controls its parent process to make
them spawn a replacement for itself. Then it'll be able to terminate
immediately once the spawn succeeds, without having to linger around
for the lifetime as a shell process for proxying the exit code. When
process worker thread running in the parent sees the child die, it's
given a handle to the new child, to replace it in the process table.
- execve() and posix_spawn() on Windows will now provide CreateProcess
an explicit handle list. This allows us to remove handle locks which
enables better fork/spawn concurrency, with seriously correct thread
safety. Other codebases like Go use the same technique. On the other
hand fork() still favors the conventional WIN32 inheritence approach
which can be a little bit messy, but is *controlled* by guaranteeing
perfectly clean slates at both the spawning and execution boundaries
- sigset_t is now 64 bits. Having it be 128 bits was a mistake because
there's no reason to use that and it's only supported by FreeBSD. By
using the system word size, signal mask manipulation on Windows goes
very fast. Furthermore @asyncsignalsafe funcs have been rewritten on
Windows to take advantage of signal masking, now that it's much more
pleasant to use.
- All the overlapped i/o code on Windows has been rewritten for pretty
good signal and cancelation safety. We're now able to ensure overlap
data structures are cleaned up so long as you don't longjmp() out of
out of a signal handler that interrupted an i/o operation. Latencies
are also improved thanks to the removal of lots of "busy wait" code.
Waits should be optimal for everything except poll(), which shall be
the last and final demon we slay in the win32 i/o horror show.
- getrusage() on Windows is now able to report RUSAGE_CHILDREN as well
as RUSAGE_SELF, thanks to aggregation in the process manager thread.
2023-10-08 12:36:18 +00:00
|
|
|
* @cancelationpoint
|
2022-10-08 04:29:40 +00:00
|
|
|
* @returnserrno
|
2022-10-05 13:37:15 +00:00
|
|
|
* @norestart
|
|
|
|
*/
|
2023-10-09 18:56:21 +00:00
|
|
|
errno_t clock_nanosleep(int clock, int flags, //
|
|
|
|
const struct timespec *req, //
|
2022-10-08 04:29:40 +00:00
|
|
|
struct timespec *rem) {
|
2022-11-08 18:09:47 +00:00
|
|
|
if (IsMetal()) {
|
2023-10-09 18:56:21 +00:00
|
|
|
return ENOSYS;
|
2022-10-08 04:29:40 +00:00
|
|
|
}
|
2023-10-09 18:56:21 +00:00
|
|
|
if (clock == 127 || //
|
|
|
|
(flags & ~TIMER_ABSTIME) || //
|
|
|
|
req->tv_sec < 0 || //
|
|
|
|
!(0 <= req->tv_nsec && req->tv_nsec <= 999999999)) {
|
|
|
|
return EINVAL;
|
|
|
|
}
|
|
|
|
errno_t old = errno;
|
|
|
|
int rc = cosmo_clock_nanosleep(clock, flags, req, rem);
|
|
|
|
errno_t err = !rc ? 0 : errno;
|
|
|
|
errno = old;
|
|
|
|
return err;
|
2022-10-05 13:37:15 +00:00
|
|
|
}
|