From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.bugs Subject: bug#46230: When are spurious wakeups of condition variables possible? Date: Mon, 01 Feb 2021 10:53:26 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-5WvtSyD6MzMcGUxoSfqK" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40360"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.34.2 To: 46230@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Mon Feb 01 10:54:15 2021 Return-path: Envelope-to: guile-bugs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l6VuM-000AF5-Ea for guile-bugs@m.gmane-mx.org; Mon, 01 Feb 2021 10:54:10 +0100 Original-Received: from localhost ([::1]:50490 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l6VuL-0007TQ-0l for guile-bugs@m.gmane-mx.org; Mon, 01 Feb 2021 04:54:09 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:55336) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l6VuE-0007Sy-U1 for bug-guile@gnu.org; Mon, 01 Feb 2021 04:54:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:47354) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1l6VuE-0007Yc-Mb for bug-guile@gnu.org; Mon, 01 Feb 2021 04:54:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1l6VuE-00024q-LE for bug-guile@gnu.org; Mon, 01 Feb 2021 04:54:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 01 Feb 2021 09:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 46230 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.16121732237952 (code B ref -1); Mon, 01 Feb 2021 09:54:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 1 Feb 2021 09:53:43 +0000 Original-Received: from localhost ([127.0.0.1]:58900 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l6Vtu-00024C-GF for submit@debbugs.gnu.org; Mon, 01 Feb 2021 04:53:42 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:44628) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l6Vtq-000242-Gy for submit@debbugs.gnu.org; Mon, 01 Feb 2021 04:53:41 -0500 Original-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 ) id 1l6Vtp-0007Q6-Sy for bug-guile@gnu.org; Mon, 01 Feb 2021 04:53:38 -0500 Original-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 ) id 1l6Vtn-0007KR-Ky for bug-guile@gnu.org; Mon, 01 Feb 2021 04:53:37 -0500 Original-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 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@telenet.be; 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.io gmane.lisp.guile.bugs:9973 Archived-At: --=-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@gnu.org, please add me to To: or CC:. --=20 Maxime Devos 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--