X-Loop: help-debbugs@HIDDEN
Subject: bug#46230: When are spurious wakeups of condition variables possible?
Resent-From: Maxime Devos <maximedevos@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Mon, 01 Feb 2021 09:54:02 +0000
Resent-Message-ID: <handler.46230.B.16121732237952 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 46230
X-GNU-PR-Package: guile
X-GNU-PR-Keywords:
To: 46230 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-guile@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.16121732237952
(code B ref -1); Mon, 01 Feb 2021 09:54:02 +0000
Received: (at submit) by debbugs.gnu.org; 1 Feb 2021 09:53:43 +0000
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>
From: Maxime Devos <maximedevos@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-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--
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Maxime Devos <maximedevos@HIDDEN> Subject: bug#46230: Acknowledgement (When are spurious wakeups of condition variables possible?) Message-ID: <handler.46230.B.16121732237952.ack <at> debbugs.gnu.org> References: <a6392881cf8dae78e74c5f949d26850941343156.camel@HIDDEN> X-Gnu-PR-Message: ack 46230 X-Gnu-PR-Package: guile Reply-To: 46230 <at> debbugs.gnu.org Date: Mon, 01 Feb 2021 09:54:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): bug-guile@HIDDEN If you wish to submit further information on this problem, please send it to 46230 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 46230: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D46230 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.