aboutsummaryrefslogtreecommitdiffstats
path: root/include/os/linux/Makefile.am
diff options
context:
space:
mode:
authorMatthew Macy <[email protected]>2020-06-18 10:17:50 -0700
committerGitHub <[email protected]>2020-06-18 10:17:50 -0700
commit8056a75672a57c85b8e10c0c6bce138146f7d213 (patch)
treee1e3001b253620aae9f8f14d2eb49a880ceebac2 /include/os/linux/Makefile.am
parent7564073ed6344c12e6bc4ffabd130522d937fb93 (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