diff options
author | Matthew Macy <[email protected]> | 2020-06-18 10:17:50 -0700 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-18 10:17:50 -0700 |
commit | 8056a75672a57c85b8e10c0c6bce138146f7d213 (patch) | |
tree | e1e3001b253620aae9f8f14d2eb49a880ceebac2 /include/os/linux/Makefile.am | |
parent | 7564073ed6344c12e6bc4ffabd130522d937fb93 (diff) |
Disambiguate condvar API contract
On Illumos callers of cv_timedwait and cv_timedwait_hires
can't distinguish between whether or not the cv was signaled
or the call timed out. Illumos handles this (for some definition
of handles) by calling cv_signal in the return path if we were
signaled but the return value indicates instead that we timed
out. This would make sense if it were possible to query the the
cv for its net signal disposition. However, this isn't possible
and, in spite of the fact that there are places in the code that
clearly take a different and incompatible path if a timeout value
is indicated, this distinction appears to be rather subtle to most
developers. This problem is further compounded by the fact that on
Linux, calling cv_signal in the return path wouldn't even do the
right thing unless there are other waiters.
Since it is possible for the caller to independently determine how
much time is remaining but it is not possible to query if the cv
was in fact signaled, prioritizing signalling over timeout seems
like a cleaner solution. In addition, judging from usage patterns
within the code itself, it is also less error prone.
Reviewed-by: Jorgen Lundman <[email protected]>
Reviewed-by: Brian Behlendorf <[email protected]>
Reviewed-by: Alexander Motin <[email protected]>
Signed-off-by: Matt Macy <[email protected]>
Closes #10471
Diffstat (limited to 'include/os/linux/Makefile.am')
0 files changed, 0 insertions, 0 deletions