From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Abou Samra Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] Add atomic-box-update! function to (ice-9 atomic) Date: Wed, 21 Jun 2023 11:06:51 +0200 Message-ID: <373b9f50a8fb64f98968dc07c6b43d114ac9cce4.camel@abou-samra.fr> References: <87jzvztzi3.fsf@trop.in> Mime-Version: 1.0 Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-o4apnXae1zFeaqKOzXd9" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35813"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.48.3 (3.48.3-1.fc38) To: Andrew Tropin , guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Wed Jun 21 11:07:10 2023 Return-path: Envelope-to: guile-devel@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 1qBtnx-00099s-Ib for guile-devel@m.gmane-mx.org; Wed, 21 Jun 2023 11:07:09 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qBtnl-0003Wd-OJ; Wed, 21 Jun 2023 05:06:57 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qBtnk-0003TK-7N for guile-devel@gnu.org; Wed, 21 Jun 2023 05:06:56 -0400 Original-Received: from mout.kundenserver.de ([217.72.192.73]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qBtni-000260-Mc for guile-devel@gnu.org; Wed, 21 Jun 2023 05:06:55 -0400 Original-Received: from [10.102.140.73] ([193.190.193.4]) by mrelayeu.kundenserver.de (mreue108 [212.227.15.184]) with ESMTPSA (Nemesis) id 1MrQR7-1phjVj1oSl-00oSyT; Wed, 21 Jun 2023 11:06:52 +0200 In-Reply-To: X-Provags-ID: V03:K1:MSpS6u8DznC7Fam04A8He0WcorQxGVADeOx0ZevOrIwXsaE0EFI ueOrynZdN5V9NCnEPiLk/sHflgJCbl13Tn6jgRkpBJLMNOFqvg/fhnX8Epi4eaHn1DLd1gm bRykUrPrp8KpuKyuQIXporF8DzOp46mzqs7c19cd3ysQHFMnoLgSEi+nYgmCX2azS5kz4Fn YX4ocLzbFOAU5wEFKja4g== UI-OutboundReport: notjunk:1;M01:P0:J3lmXA9hTE0=;3HBwvnu2OeNHdXDUN2FPCKHZeI6 pNsBp5sPQq5NpEcIYxupcClYYH/Uh79DmXp0Jz1UcFfBeQcjNXjSijoUMkjkgJPnomM1wUcDH I7qw8VanodN+Xgn69jpyxHGlS2FIkU6PtWGvuZELGF8CraKRcGMeZc7bybRxf+/eC8Ka8aNXg Y45+wxDCOfnyyIA04ZgiCZPKqhFqNxvmikJ+Blf+TfXoHY9ocN5TwwxCo+XV9KBE7AfGHWSvq IZDxTjKFerOc62QiG9KTsYFT5Ml2jFwatVgZ6E2RZg9Aszi/xhFYW2SOkMThOjwSprIzixQAL 8RqDyxfwe8jbZ9dsj/KrLHjgQmlRCOXtal5eUMj4QSZLAl5hyhk/ERZ245RK2GbNnj+VJsBej EUyw+TWDVHvDW9Mr8zBssJKhG86RLu+M5eFGS6vzYR8ZGiftKBVgqI+/d8iZlVrvAEdAFqBGH qAtGdUofDysF3E4rDba/tuzbaHDoJG54/u1rOE6i1j4wtTnrFkGf66YCX7AruA+7q6+2SwBD7 zn4f0AyB7peNwmcEDCoPvNSNOdXS2ssGQ5GJq3gUp+tGdJPktcESeGMEWpFu9zwil4k7IqZg0 5usgZWpwRABxj5rM+CwtXUETdp/lsZgIO42dKeBsQ5wUobMdvbSws5QFQGq8ZPAQwDja1Nzb+ Cs8qBKWSpz/ikcttKayWgsWFahtCDoi5qM/+mvQdfQ== Received-SPF: pass client-ip=217.72.192.73; envelope-from=jean@abou-samra.fr; helo=mout.kundenserver.de X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:21868 Archived-At: --=-o4apnXae1zFeaqKOzXd9 Content-Type: multipart/alternative; boundary="=-QlwAusU2avP9Lqgy1aeB" --=-QlwAusU2avP9Lqgy1aeB Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Le mercredi 21 juin 2023 =C3=A0 11:06 +0200, Jean Abou Samra a =C3=A9crit= =C2=A0: > Le lundi 19 juin 2023 =C3=A0 16:20 +0400, Andrew Tropin a =C3=A9crit=C2= =A0: > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (if (eq? old-value (atomic-box-compare-= and-swap! box old-value new-value)) >=20 >=20 > Are you sure eq? is a good idea here? (eq? 5 5) is unspecified, for examp= le. Perhaps eqv? would be more appropriate. (P.S. And according to the manual, even (let ((a 5)) (eq? a a)) is unspecif= ied.) --=-QlwAusU2avP9Lqgy1aeB Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable
Le mercredi 21 juin 2023 =C3=A0 11:06 +0200, Jean= Abou Samra a =C3=A9crit :
Le lun= di 19 juin 2023 =C3=A0 16:20 +0400, Andrew Tropin a =C3=A9crit :
=
+      (if (eq? ol= d-value (atomic-box-compare-and-swap! box old-value new-value))


Are you sure eq? is a good id= ea here? (eq? 5 5) is unspecified, for example. Perhaps eqv? would be more = appropriate.

= (P.S. And according to the manual, even (let ((a 5)) (eq? a a)) is unspecif= ied.)
--=-QlwAusU2avP9Lqgy1aeB-- --=-o4apnXae1zFeaqKOzXd9 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- iHUEABYKAB0WIQSZ7TKxnKGyBvBjzBmj8PYLiTOX/gUCZJK9qwAKCRCj8PYLiTOX /kziAPwK6alehbF+F3OR+Qnbd+FQSNPcM3kUGyAniJmrKD3K1gEA/WATrDmBTgl2 8gfgzyuv5SqqDtSkO5P78bJjVVvD8gw= =7/IA -----END PGP SIGNATURE----- --=-o4apnXae1zFeaqKOzXd9--