GNU bug report logs - #46230
When are spurious wakeups of condition variables possible?

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 1 Feb 2021 09:53:43 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Feb 01 04:53:42 2021
Received: from localhost ([127.0.0.1]:58900 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1l6Vtu-00024C-GF
	for submit <at> debbugs.gnu.org; Mon, 01 Feb 2021 04:53:42 -0500
Received: from lists.gnu.org ([209.51.188.17]:44628)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <maximedevos@HIDDEN>) id 1l6Vtq-000242-Gy
 for submit <at> debbugs.gnu.org; Mon, 01 Feb 2021 04:53:41 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10]:55270)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <maximedevos@HIDDEN>)
 id 1l6Vtp-0007Q6-Sy
 for bug-guile@HIDDEN; Mon, 01 Feb 2021 04:53:38 -0500
Received: from baptiste.telenet-ops.be ([2a02:1800:120:4::f00:13]:41902)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <maximedevos@HIDDEN>)
 id 1l6Vtn-0007KR-Ky
 for bug-guile@HIDDEN; Mon, 01 Feb 2021 04:53:37 -0500
Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be
 ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d])
 by baptiste.telenet-ops.be with bizsmtp
 id PltW2400F0mfAB401ltWPp; Mon, 01 Feb 2021 10:53:30 +0100
Message-ID: <a6392881cf8dae78e74c5f949d26850941343156.camel@HIDDEN>
Subject: When are spurious wakeups of condition variables possible?
From: Maxime Devos <maximedevos@HIDDEN>
To: bug-guile@HIDDEN
Date: Mon, 01 Feb 2021 10:53:26 +0100
Content-Type: multipart/signed; micalg="pgp-sha256";
 protocol="application/pgp-signature"; boundary="=-5WvtSyD6MzMcGUxoSfqK"
User-Agent: Evolution 3.34.2 
MIME-Version: 1.0
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21;
 t=1612173210; bh=0UUUrH2cT2ErCxCeKL2b4Z7/RdjeNwzquW+JXhdbWog=;
 h=Subject:From:To:Date;
 b=cOlJzL4ygeP0Km1TpxpStfW9T0bSnvDeJY9vcR1SOEB1ZmZSJGu4LgHFUWGTZzeGs
 QysyFxg+UzqE2NncK4Gp9zwEBT+3+9fQWYHVQbR0AFOODP7GeqOSTcP6aSXH5vmLx0
 Zye/tx4uQj5FPUzH51QR0pHBvGbDuDOD0xb1LryIh+pW8vV6zazQ65b3glaqFy9n7m
 crry23D8klh2aNXG03wYrMAqAf2z+s8/Q4sfztRnKpKXM9PkPXeimoanpptPvlCvgP
 r27+SOzL6tQzsmJENutT8wnD5sE24xaNbAolfHfhcmuWgiZaOU5RzvF/cMltYQAV9l
 yxE7fIlMF3gmA==
Received-SPF: pass client-ip=2a02:1800:120:4::f00:13;
 envelope-from=maximedevos@HIDDEN; helo=baptiste.telenet-ops.be
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.2 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)


--=-5WvtSyD6MzMcGUxoSfqK
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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@HIDDEN, please add
me to To: or CC:.
--=20
Maxime Devos <maximedevos@HIDDEN>
PGP Key: C1F3 3EE2 0C52 8FDB 7DD7  011F 49E3 EE22 1917 25EE
Freenode handle: mdevos

--=-5WvtSyD6MzMcGUxoSfqK
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part
Content-Transfer-Encoding: 7bit

-----BEGIN PGP SIGNATURE-----

iI0EABYIADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYBfPlhccbWF4aW1lZGV2
b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7q5yAQC+sKeeAW/Oak/mN4d/QNEZMlOG
TEXfJzwReywKQhugEAEA1nsSmABTDA9mHT+nmS6J/CFUyKgHeRIWyN1g4prI6wE=
=BcsG
-----END PGP SIGNATURE-----

--=-5WvtSyD6MzMcGUxoSfqK--