unofficial mirror of bug-guile@gnu.org 
 help / color / mirror / Atom feed
* 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