* bug#46230: When are spurious wakeups of condition variables possible?
@ 2021-02-01 9:53 Maxime Devos
0 siblings, 0 replies; only message in thread
From: Maxime Devos @ 2021-02-01 9:53 UTC (permalink / raw)
To: 46230
[-- Attachment #1: Type: text/plain, Size: 746 bytes --]
Hi guilers,
Whether spurious wakeups of condition variables are
possible isn't documented in the manual. Apparently,
guile may or may not actually prevent spurious wakeups
(#guile, Mon 1 Feb 09:19:29 UTC 2021). The bug is:
* No mention of the possibility of spurious wakeups
in the manual,
* and perhaps (idk) guile not preventing spurious
wakeups.
Even if guile stops all spurious wakeups from being
visible to Scheme code, could this be documented?
Then people don't have to worry about this anymore.
Maxime.
P.S. I'm not subscribed to bug-guile@gnu.org, please add
me to To: or CC:.
--
Maxime Devos <maximedevos@telenet.be>
PGP Key: C1F3 3EE2 0C52 8FDB 7DD7 011F 49E3 EE22 1917 25EE
Freenode handle: mdevos
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 260 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-02-01 9:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-01 9:53 bug#46230: When are spurious wakeups of condition variables possible? Maxime Devos
unofficial mirror of bug-guile@gnu.org
This inbox may be cloned and mirrored by anyone:
git clone --mirror https://yhetil.org/guile-bugs/0 guile-bugs/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 guile-bugs guile-bugs/ https://yhetil.org/guile-bugs \
bug-guile@gnu.org
public-inbox-index guile-bugs
Example config snippet for mirrors.
Newsgroups are available over NNTP:
nntp://news.yhetil.org/yhetil.lisp.guile.bugs
nntp://news.gmane.io/gmane.lisp.guile.bugs
AGPL code for this site: git clone http://ou63pmih66umazou.onion/public-inbox.git