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.devel Subject: Re: [PATCH v2] Add atomic-box-update! function to (ice-9 atomic) Date: Tue, 22 Aug 2023 19:51:45 +0200 Message-ID: References: <87jzvztzi3.fsf@trop.in> <87pm3f8hry.fsf@trop.in> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------Np7VbFEVnESZBtfVlHGsvQIT" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10542"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 To: Andrew Tropin , guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Tue Aug 22 19:52:36 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 1qYVYP-0002OH-LW for guile-devel@m.gmane-mx.org; Tue, 22 Aug 2023 19:52:33 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qYVXm-0002jQ-IH; Tue, 22 Aug 2023 13:51:54 -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 1qYVXl-0002jH-IV for guile-devel@gnu.org; Tue, 22 Aug 2023 13:51:53 -0400 Original-Received: from andre.telenet-ops.be ([2a02:1800:120:4::f00:15]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qYVXi-00047D-Nm for guile-devel@gnu.org; Tue, 22 Aug 2023 13:51:53 -0400 Original-Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16] ([IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]) by andre.telenet-ops.be with bizsmtp id chrl2A00K20ykKC01hrlAr; Tue, 22 Aug 2023 19:51:45 +0200 Content-Language: en-US In-Reply-To: <87pm3f8hry.fsf@trop.in> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r23; t=1692726705; bh=NiYnvEOpmvKK8GKXowrFaFvPv5Aik9Z2xJztNeqEtiU=; h=Date:To:References:From:Subject:In-Reply-To; b=jvBOroe5o/lG1OfD88i+xX6tZJ++AcKPD3YMkKDpf+OYMfUkdvSSjYfBX2AjMXwA+ mlZ2jMqzJUpFwyh0KjxLey8igB1jSjeXsAYiV3TlWRkGRyhMecnSgf8MOA2XStP/v4 ZmxOdoX4p4OtWTdTccRQB+5mm5ZCAeJ7bP2ZgjHXQqTYAHoSRVVKNmbBciORHNJSj6 XgutJsvBjY6j1dQzurxHV2Ol2GB58NI9MgB2JQadX44gXavfYQ9JsjvxNxy9u/bfgy NKvmX8is3MArVorKKkyGvgOSObl42ACTUz7AO7rLMwF40iEGf1+dw9/J9tUQjHC6WH 68uFu4MHOv+9w== Received-SPF: pass client-ip=2a02:1800:120:4::f00:15; envelope-from=maximedevos@telenet.be; helo=andre.telenet-ops.be X-Spam_score_int: -45 X-Spam_score: -4.6 X-Spam_bar: ---- X-Spam_report: (-4.6 / 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, NICE_REPLY_A=-1.767, 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: 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:21922 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------Np7VbFEVnESZBtfVlHGsvQIT Content-Type: multipart/mixed; boundary="------------ype87AFqDRcXbR6R9bSRWqGM"; protected-headers="v1" From: Maxime Devos To: Andrew Tropin , guile-devel@gnu.org Message-ID: Subject: Re: [PATCH v2] Add atomic-box-update! function to (ice-9 atomic) References: <87jzvztzi3.fsf@trop.in> <87pm3f8hry.fsf@trop.in> In-Reply-To: <87pm3f8hry.fsf@trop.in> --------------ype87AFqDRcXbR6R9bSRWqGM Content-Type: multipart/mixed; boundary="------------zDdK8ctb5bpKOxnkOpiYgHZ8" --------------zDdK8ctb5bpKOxnkOpiYgHZ8 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQoNCk9wIDIyLTA4LTIwMjMgb20gMTI6NTkgc2NocmVlZiBBbmRyZXcgVHJvcGluOg0KPiAN Cj4gKiBtb2R1bGUvaWNlLTkvYXRvbWljLnNjbSAoYXRvbWljLWJveC11cGRhdGUhKTogTmV3 IHZhcmlhYmxlLg0KPiAtLS0NCj4gQ2hhbmdlcyBzaW5jZSB2MS4gVXNlIHNpbmdsZS1hcmd1 bWVudCBwcm9jIHRvIGF2b2lkIHBvdGVudGlhbCBwZXJmb21hbmNlDQo+IHByb2JsZW1zIGNh dXNlIG9mIGNhbGwgdG8gYXBwbHkuDQo+IA0KPiAgIG1vZHVsZS9pY2UtOS9hdG9taWMuc2Nt IHwgMTQgKysrKysrKysrKysrKy0NCj4gICAxIGZpbGUgY2hhbmdlZCwgMTMgaW5zZXJ0aW9u cygrKSwgMSBkZWxldGlvbigtKQ0KPiANCj4gZGlmZiAtLWdpdCBhL21vZHVsZS9pY2UtOS9h dG9taWMuc2NtIGIvbW9kdWxlL2ljZS05L2F0b21pYy5zY20NCj4gaW5kZXggMmE4YWY5MDFk Li42YmZhMmU4ZWUgMTAwNjQ0DQo+IC0tLSBhL21vZHVsZS9pY2UtOS9hdG9taWMuc2NtDQo+ ICsrKyBiL21vZHVsZS9pY2UtOS9hdG9taWMuc2NtDQo+IEBAIC0yNSw3ICsyNSw4IEBADQo+ ICAgICAgICAgICAgICAgYXRvbWljLWJveC1yZWYNCj4gICAgICAgICAgICAgICBhdG9taWMt Ym94LXNldCENCj4gICAgICAgICAgICAgICBhdG9taWMtYm94LXN3YXAhDQo+IC0gICAgICAg ICAgICBhdG9taWMtYm94LWNvbXBhcmUtYW5kLXN3YXAhKSkNCj4gKyAgICAgICAgICAgIGF0 b21pYy1ib3gtY29tcGFyZS1hbmQtc3dhcCENCj4gKyAgICAgICAgICAgIGF0b21pYy1ib3gt dXBkYXRlISkpDQo+ICAgDQo+ICAgKGV2YWwtd2hlbiAoZXhwYW5kIGxvYWQgZXZhbCkNCj4g ICAgIChsb2FkLWV4dGVuc2lvbiAoc3RyaW5nLWFwcGVuZCAibGliZ3VpbGUtIiAoZWZmZWN0 aXZlLXZlcnNpb24pKQ0KPiBAQCAtMzYsMyArMzcsMTQgQEANCj4gICAgIChhZGQtaW50ZXJl c3RpbmctcHJpbWl0aXZlISAnYXRvbWljLWJveC1zZXQhKQ0KPiAgICAgKGFkZC1pbnRlcmVz dGluZy1wcmltaXRpdmUhICdhdG9taWMtYm94LXN3YXAhKQ0KPiAgICAgKGFkZC1pbnRlcmVz dGluZy1wcmltaXRpdmUhICdhdG9taWMtYm94LWNvbXBhcmUtYW5kLXN3YXAhKSkNCj4gKw0K PiArKGRlZmluZSAoYXRvbWljLWJveC11cGRhdGUhIGJveCBwcm9jKQ0KPiArICAiQXRvbWlj YWxseSB1cGRhdGVzIHZhbHVlIG9mIEJPWCB0byAoUFJPQyBCT1gtVkFMVUUpLCByZXR1cm5z IG5ldw0KPiArdmFsdWUuDQoNCiogLCByZXR1cm5zIG5ldyB2YWx1ZSAtPiBhbmQgcmV0dXJu cyB0aGUgbmV3IHZhbHVlDQoNCldoaWxlIGRlc2NyaXB0aXZlIHdvcmtzLCBmb3IgY29uc2lz dGVuY3kgd2l0aCBvdGhlciBhdG9taWNzIA0KZG9jdW1lbnRhdGlvbiwgdGhpcyBpbXBlcmF0 aXZlIHByb2NlZHVyZSBuZWVkcyB0byBiZSBkb2N1bWVudGVkIGluIHRoZSANCmltcGVyYXRp dmUgbW9vZDoNCg0KQXRvbWljYWxseSB1cGRhdGUgdGhlIHZhbHVlIG9mIEJPWCB0byAoUFJP QyBCT1gtVkFMVUUpIGFuZCByZXR1cm4gdGhlIA0KbmV3IHZhbHVlLg0KDQpBbHRlcm5hdGl2 ZWx5LCB5b3UgY2FuIGFkanVzdCB0aGUgb3RoZXIgZG9jdW1lbnRhdGlvbiBvZiBhdG9taWNz IHRvIHRoZSANCmluZGljYXRpdmUgbW9vZCBhbmQgcHJlc2VydmUgdGhlIG9yaWdpbmFsIGRv Y3N0cmluZyAoZXhjZXB0IGZvciB0aGUgDQpncmFtbWFyIGNvcnJlY3Rpb24gbWVudGlvbmVk IGluIHRoZSBiZWdpbm5pbmcpLg0KDQogICBQUk9DIG1heSBiZSBjYWxsZWQgbXVsdGlwbGUg dGltZXMsIGFuZCB0aHVzIFBST0Mgc2hvdWxkIGJlDQo+ICtmcmVlIG9mIHNpZGUgZWZmZWN0 cy4iID4gKyAgKGxldCBsb29wICgpDQo+ICsgICAgKGxldCogKChvbGQtdmFsdWUgKGF0b21p Yy1ib3gtcmVmIGJveCkpDQo+ICsgICAgICAgICAgIChuZXctdmFsdWUgKHByb2Mgb2xkLXZh bHVlKSkpDQo+ICsgICAgICAoaWYgKGVxPyBvbGQtdmFsdWUgKGF0b21pYy1ib3gtY29tcGFy ZS1hbmQtc3dhcCEgYm94IG9sZC12YWx1ZSBuZXctdmFsdWUpKQ0KPiArICAgICAgICAgIG5l dy12YWx1ZQ0KPiArICAgICAgICAgIChsb29wKSkpKSkNCg0KVGhpcyBjYW4gYmUgb3B0aW1p c2VkLCBieSB1c2luZyB0aGUgcmV0dXJuIHZhbHVlIG9mIENBUyBhcyB0aGUgbmV3IG9sZCAN CnZhbHVlIGluc3RlYWQgb2YgY2FsbGluZyBhdG9taWMtYm94LXJlZiBhZ2FpbjoNCg0KKGxl dCBsb29wICgob2xkLXZhbHVlIChhdG9taWMtYm94LXJlZiBib3gpKSkNCiAgIChsZXQqICgo bmV3LXZhbHVlIChwcm9jIG5ldy12YWx1ZSkpDQogICAgICAgICAgKG5ldy1vbGQtdmFsdWUg KGF0b21pYy1ib3gtY29tcGFyZS1hbmQtc3dhcCEgYm94IG9sZC12YWx1ZSANCm5ldy12YWx1 ZSkpKQ0KICAgICAoaWYgKGVxPyBuZXctb2xkLXZhbHVlIG9sZC12YWx1ZSkNCiAgICAgICAg IG5ldy12YWx1ZQ0KICAgICAgICAgKGxvb3AgbmV3LW9sZC12YWx1ZSkpKSkNCg0KTWF5YmUg dGhlcmUgaXMgc29tZSBjb25jdXJyZW5jeSB3ZWlyZG5lc3MgdGhhdCBjYW4gY2F1c2Ugc2xv d2VyIA0KaXRlcmF0aW9ucyB0byByZWR1Y2UgdGhlIG51bWJlciBvZiBpdGVyYXRpb25zICgq KTsgSSdtIGFzc3VtaW5nIHRoaXMgDQppc24ndCB0aGUgY2FzZSBoZXJlLiAgQnV0IGlmIGl0 IGlzLCBpbiBmYWN0LCB0aGUgY2FzZSBoZXJlLCBhbmQgdGhlIGdvYWwgDQppcyB0byBleHBs b2l0IHRoaXMgZWZmZWN0LCBJIHdvdWxkIHRoaW5rIGl0J3MgYmV0dGVyIHRvIGV4cGxpY2l0 bHkgDQppbXBsZW1lbnQgdGhlIGJhY2stb2ZmLg0KDQooSSBoYXZlbid0IGJlbmNobWFya2Vk IGFueSBvZiB0aGlzLCBJJ20gcHVyZWx5IGdvaW5nIGJ5IHRoZSBudW1iZXIgb2YgDQpvcGVy YXRpb25zLikNCg0KKCopIEUuZy4sIGZyb20gV2lraXBlZGlhOiANCmh0dHBzOi8vZW4ud2lr aXBlZGlhLm9yZy93L2luZGV4LnBocD90aXRsZT1Db21wYXJlLWFuZC1zd2FwJm9sZGlkPTEx NDEzODU3MDANCg0KWy4uLl0gSW5zdGVhZCBvZiBpbW1lZGlhdGVseSByZXRyeWluZyBhZnRl ciBhIENBUyBvcGVyYXRpb24gZmFpbHMsIA0KcmVzZWFyY2hlcnMgaGF2ZSBmb3VuZCB0aGF0 IHRvdGFsIHN5c3RlbSBwZXJmb3JtYW5jZSBjYW4gYmUgaW1wcm92ZWQgaW4gDQptdWx0aXBy b2Nlc3NvciBzeXN0ZW1z4oCUd2hlcmUgbWFueSB0aHJlYWRzIGNvbnN0YW50bHkgdXBkYXRl IHNvbWUgDQpwYXJ0aWN1bGFyIHNoYXJlZCB2YXJpYWJsZeKAlGlmIHRocmVhZHMgdGhhdCBz ZWUgdGhlaXIgQ0FTIGZhaWwgdXNlIA0KZXhwb25lbnRpYWwgYmFja29mZuKAlGluIG90aGVy IHdvcmRzLCB3YWl0IGEgbGl0dGxlIGJlZm9yZSByZXRyeWluZyB0aGUgDQpDQVMuWzRdDQoN CkJlc3QgcmVnYXJkcywNCk1heGltZSBEZXZvcy4NCg== --------------zDdK8ctb5bpKOxnkOpiYgHZ8 Content-Type: application/pgp-keys; name="OpenPGP_0x49E3EE22191725EE.asc" Content-Disposition: attachment; filename="OpenPGP_0x49E3EE22191725EE.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xjMEX4ch6BYJKwYBBAHaRw8BAQdANPb/d6MrGnGi5HyvODCkBUJPRjiFQcRU5V+m xvMaAa/NL01heGltZSBEZXZvcyA8bWF4aW1lLmRldm9zQHN0dWRlbnQua3VsZXV2 ZW4uYmU+wpAEExYIADgWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCX4ch6AIbAwUL CQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBJ4+4iGRcl7japAQC3opZ2KGWzWmRc /gIWSu0AAcfMwyinFEEPa/QhUt2CogD/e2RdF4CYAgaRHJJmZ9WU7piKbLZ7llB4 LzgezVDHggzNJU1heGltZSBEZXZvcyA8bWF4aW1lZGV2b3NAdGVsZW5ldC5iZT7C kAQTFggAOBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJf56ycAhsDBQsJCAcDBRUK CQgLBRYCAwEAAh4BAheAAAoJEEnj7iIZFyXujpQBAKV1SwDDl4f24rXciDlB9L8W ycZt30CgbewMSRQk4mvbAP9dFMbVVixYBd6C8cfhR+NsOBGiOJnQABlUmgNuqGFJ Dc44BF+HIegSCisGAQQBl1UBBQEBB0BOlzIWiJzgobMF6/cqwLaLk7jIcFSZ++c0 k9cCNT6YXwMBCAfCeAQYFggAIBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJfhyHo AhsMAAoJEEnj7iIZFyXuMr0BAJc8cl5PGvVmVuSQVKjleNl4DK1/XAaPAYPe34AE fZJPAP9IqLCQhH/FeJanHqBP8gNdGNI2qn8RnnLVfRJgUjZ1BA=3D=3D =3DOVqp -----END PGP PUBLIC KEY BLOCK----- --------------zDdK8ctb5bpKOxnkOpiYgHZ8-- --------------ype87AFqDRcXbR6R9bSRWqGM-- --------------Np7VbFEVnESZBtfVlHGsvQIT Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCZOT1sQUDAAAAAAAKCRBJ4+4iGRcl7lCp AP4ph1xP+dQiop05JWYDk0cMTIxKUdM2i5FuWomJuTMFjgEAywHYIpGDqF55Z7kj/B+8FMD692f9 OE7F5ncQWviGCQM= =+5HL -----END PGP SIGNATURE----- --------------Np7VbFEVnESZBtfVlHGsvQIT--