Received: (at 76200) by debbugs.gnu.org; 14 Feb 2025 10:51:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 14 05:51:36 2025
Received: from localhost ([127.0.0.1]:47249 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1titIF-0004V9-B8
for submit <at> debbugs.gnu.org; Fri, 14 Feb 2025 05:51:35 -0500
Received: from salamina.koszko.org ([188.68.237.248]:53876 helo=koszko.org)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <koszko@HIDDEN>) id 1titID-0004Uz-2s
for 76200 <at> debbugs.gnu.org; Fri, 14 Feb 2025 05:51:34 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=koszko.org;
s=mail-salamina;
h=Content-Type:MIME-Version:References:In-Reply-To:
Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To:Content-Transfer-Encoding:
Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
List-Subscribe:List-Post:List-Owner:List-Archive;
bh=t5csvBlE0+gY301OXGFh6L5LXts3PilcKwRy0r4bozM=; b=pwmBrvRsvgBZwK5EeueCiICzht
UvxO+FCcj+TW7IT390YSGAkZiMqmS3huQsyXiZNM+nMdpapJj94r0IHAXJz01oqBlEgXJ7dO1hmpN
Moz5uYIIPpLQEpJ/ekK/Jtstnaeasy1M1PfPLMAYzFi7SdmQZzK3vZBbgnK5JTstEPD0fdcHdoQLY
/B/UGhyhP8zNvIUnIEaT1MNvqPzxBCO4W9e3g8s0ZVfG76OcmXgf+eo3w5WuW6AP3NZGihxWKscCD
MJhSyNIyCYCngYvJoDrvMjgAVyWRosQGlx3czUJVj2q5xIn0iDNoDYy9WaF70u35eApFYlFLJ2xtm
hc+E5BnKB34WU161pUv1r3+JAz6nhiLd5LA/ai0IMF8YbTvE3HpnayDFO0rtkwqXpWgUCT7AaWZlN
W5F6IwM99KjqPd2YJ0h3FQyITcm9heo2p5Wgvks+DeGZNVTgeSJD066SilF7vp8eKKMvvaqcOyn5f
I0r2cm0uCHza1DmYpq9tnRZd6lMDU5jN2/LiKoi5bSXM0EPbCkVbBbxknUeZjiB2uSqDmyb5CRY84
765LDZtjFAGNSohmtnxZ98VE4qJtZy+zmGK57Ui1nhiOtaFkQKL/4xprGReOKK9TIuDHBQjXFhDiT
om+YCmo/zWFvJfS927UOSd36hv9mN0bcFR86G3VJg=;
Received: from dummy-client.koszko.org ([192.168.193.169])
by salamina.koszko.org with esmtpsa (TLS1.3) tls
TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98)
(envelope-from <koszko@HIDDEN>) id 1titIA-000000005Ag-0JZd;
Fri, 14 Feb 2025 11:51:30 +0100
Date: Fri, 14 Feb 2025 11:51:28 +0100
From: "W. Kosior" <koszko@HIDDEN>
To: Linus =?UTF-8?B?QmrDtnJuc3RhbQ==?= <linus.bjornstam@HIDDEN>
Subject: Re: bug#76200: `with-parameters*' seems to create a continuation
barrier
Message-ID: <20250214115128.6625186c.koszko@HIDDEN>
In-Reply-To: <d6eacdb0-fb59-49d8-bd42-bdc4136d3b66@HIDDEN>
References: <20250211115936.163461f7.koszko@HIDDEN>
<d6eacdb0-fb59-49d8-bd42-bdc4136d3b66@HIDDEN>
X-Mailer: Claws Mail 4.3.0 (GTK 3.24.41; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="Sig_/YQyxbn6uKdmyzH9+nQnL57V";
protocol="application/pgp-signature"; micalg=pgp-sha256
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 76200
Cc: 76200 <at> debbugs.gnu.org
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: -1.0 (-)
--Sig_/YQyxbn6uKdmyzH9+nQnL57V
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Hi,
thanks for pointing me in the right direction.
The naming is making me dizzy (the name of `with-fluid*' procedure from
boot-9.scm reads so similar to `with-fluids*' from fluids.c).
Nevertheless, I think I found one relevant Andy Windo's commit from 2010:
c32b7c4cef1c63a677a1c447a0386e90ab2ecd42
Remove with-fluids; replaced by with-fluid* and inlined push-fluid prim=
ops
So, previously the procedures `with-fluid*' and `with-fluids*' were
defined in fluids.c as `scm_with_fluid' and `scm_with_fluids',
respectively. One can see they actually did the same thing back then,
except one dealt with multiple fluids at once. And they must have both
suffered from the continuation barrier issue.
In addition, the macro `with-fluids' used to be defined in expand.c
before 2010.
In that commit, Andy defined `with-fluid*' and `with-fluids' in scheme
in boot-9.scm. The C function `scm_with_fluid' remained, unexported to
scheme, likely for compatibility with Libguile users. At the same
the `scm_with_fluids' exported as `with-fluids*' was left untouched,
perhaps by mistake.
What's a clear mistake is part of the description of that commit. It
says
* libguile/fluids.c (scm_with_fluid): Rename from scm_with_fluids, and
don't expose to Scheme.
The function did not get renamed. Both `scm_with_fluid' and
`scm_with_fluids' existed before and still live alongside each other.
> If the transform from let to let* extends to
> with-fluids->with-fluids* it should be a trivial thing to put into
> boot-9.scm, but I rarely dabble with dynamic environments and
> whatever is in the documentation is somewhat opaque.=20
In the light of my findings above it'll likely be clear the transform is
different as it is a macro->procedure shift.
But then reimplementing `with-fluids*' should still be easy. For
example
--8<---------------cut here---------------start------------->8---
(define (with-fluids* fluids vals thunk)
(if (not (=3D (length fluids) (length vals)))
(scm-error 'out-of-range "with-fluids*" '("Value out of range: ~S")
vals vals))
(let loop ((fluids-left fluids)
(vals-left vals))
(if (null? fluids-left)
(thunk)
(with-fluid* (car fluids-left) (car vals-left)
(lambda ()
(loop (cdr fluids-left) (cdr vals-left)))))))
--8<---------------cut here---------------end--------------->8---
I tested by running the code from my previous message with
`with-parameters*' redefined to use this new `with-fluids*'.
Best!
Wojtek
--
W. Kosior
website: https://koszko.org/koszko.html
fediverse: https://friendica.me/profile/koszko/profile
PGP fingerprint: E972 7060 E3C5 637C 8A4F 4B42 4BC5 221C 5A79 FD1A
On Fri, 14 Feb 2025 08:57:32 +0100
Linus Bj=C3=B6rnstam <linus.bjornstam@HIDDEN> wrote:
> It seems with-fluids* (used by with-parameters*) is still a c function. I=
am not really sure how that stuff works, but I believe C can (always?) imp=
ose continuation barriers of delimited continuations.=20
>=20
> If you look at the source of parameterize, with-fluids, with-fluids* (an=
d more?) in boot-9 ther are all using scheme functions, or things defined i=
n the VM, whereas srfi-39 depends on with-fluids* that is defined in fluids=
.c.=20
>=20
> If the transform from let to let* extends to with-fluids->with-fluids* it=
should be a trivial thing to put into boot-9.scm, but I rarely dabble with=
dynamic environments and whatever is in the documentation is somewhat opaq=
ue.=20
>=20
> Best regards
> Linus Bj=C3=B6rnstam
>=20
> On Tue, 11 Feb 2025, at 11:59, W. Kosior via Bug reports for GUILE, GNU's=
Ubiquitous Extension Language wrote:
> > Hello,
> >
> > I've been experimenting with guile-fibers. I noticed that
> > `with-parameters*' procedure included as an "extra" in Guile's srfi-39
> > creates a continuation barrier. From the documentation it is not clear
> > that it does so.
> >
> > Consider this sample program (which I ran with Guile 3.0.9 and Fibers
> > 1.0.0, as they are defined in Guix
> > 2fda889ac992977af7b4cd96d09f737d834e0b2d):
> >
> > --8<---------------cut here---------------start------------->8---
> > (use-modules (fibers)
> > (fibers channels)
> > (srfi srfi-18)
> > ((srfi srfi-39) #:select (with-parameters*)))
> >
> > (define %my-channel
> > (make-channel))
> >
> > (define %my-param
> > (make-parameter #f))
> >
> > (define %my-thread
> > (make-thread (lambda ()
> > (run-fibers (lambda ()
> > (with-parameters* (list %my-param) '(hel=
lo)
> > (lambda ()
> > (put-message %my-channel (%my-param))
> > 'ok)))))))
> >
> > (thread-start! %my-thread)
> >
> > (format #t "message: ~a~%" (get-message %my-channel))
> >
> > (thread-join! %my-thread)
> > --8<---------------cut here---------------end--------------->8---
> >
> > It prints:
> > =20
> >> Uncaught exception in task:
> >> In fibers.scm:
> >> 186:20 6 (_)
> >> 145:21 5 (_)
> >> In unknown file:
> >> 4 (with-fluids* (#<fluid 7f192cf70d70>) (hello) #<procedure=
100903e0 at <=E2=80=A6>)
> >> In current input:
> >> 17:35 3 (_)
> >> In fibers/operations.scm:
> >> 154:10 2 (perform-operation _)
> >> In fibers/scheduler.scm:
> >> 357:6 1 (suspend-current-task _)
> >> In ice-9/boot-9.scm:
> >> 1685:16 0 (raise-exception _ #:continuable? _)
> >> ice-9/boot-9.scm:1685:16: In procedure raise-exception:
> >> Attempt to suspend fiber within continuation barrier =20
> >
> > But if I use `parameterize' rather than `with-parameters*', no errors
> > occur. Here's an example of a working program:
> >
> > --8<---------------cut here---------------start------------->8---
> > (use-modules (fibers)
> > (fibers channels)
> > (srfi srfi-18))
> >
> > (define %my-channel
> > (make-channel))
> >
> > (define %my-param
> > (make-parameter #f))
> >
> > (define %my-thread
> > (make-thread (lambda ()
> > (run-fibers (lambda ()
> > (parameterize ((%my-param 'hello))
> > (put-message %my-channel (%my-param))
> > 'ok))))))
> >
> > (thread-start! %my-thread)
> >
> > (format #t "message: ~a~%" (get-message %my-channel))
> >
> > (thread-join! %my-thread)
> > --8<---------------cut here---------------end--------------->8---
> >
> > It prints:
> > =20
> >> message: hello =20
> >
> > Is it a bug that `with-parameters*' doesn't work equivalently? Or am I
> > reading the info pages wrong?
> >
> > Best :)
> > Wojtek
> >
> > --
> > W. Kosior
> >
> > website: https://koszko.org/koszko.html
> > fediverse: https://friendica.me/profile/koszko/profile
> > PGP fingerprint: E972 7060 E3C5 637C 8A4F 4B42 4BC5 221C 5A79 FD1A =20
--Sig_/YQyxbn6uKdmyzH9+nQnL57V
Content-Type: application/pgp-signature
Content-Description: OpenPGP digital signature
-----BEGIN PGP SIGNATURE-----
iHUEARYIAB0WIQTpcnBg48VjfIpPS0JLxSIcWnn9GgUCZ68gMAAKCRBLxSIcWnn9
GgSOAP0QNcnB1fNAx3lHoAgA5N0aaT8ljVrIBG7e2P1nwHoz/AEA/TGA0Z26hGyT
4MiqSgkcugOP2LAsWuGVrPRW7E/zRQg=
=5IuF
-----END PGP SIGNATURE-----
--Sig_/YQyxbn6uKdmyzH9+nQnL57V--
bug-guile@HIDDEN:bug#76200; Package guile.
Full text available.Received: (at 76200) by debbugs.gnu.org; 14 Feb 2025 07:58:02 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 14 02:58:02 2025 Received: from localhost ([127.0.0.1]:46878 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1tiqaH-0004bh-MY for submit <at> debbugs.gnu.org; Fri, 14 Feb 2025 02:58:02 -0500 Received: from fout-a5-smtp.messagingengine.com ([103.168.172.148]:35587) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <linus.bjornstam@HIDDEN>) id 1tiqaF-0004bM-3W for 76200 <at> debbugs.gnu.org; Fri, 14 Feb 2025 02:58:00 -0500 Received: from phl-compute-03.internal (phl-compute-03.phl.internal [10.202.2.43]) by mailfout.phl.internal (Postfix) with ESMTP id 6AC2F13801DF; Fri, 14 Feb 2025 02:57:53 -0500 (EST) Received: from phl-imap-11 ([10.202.2.101]) by phl-compute-03.internal (MEProxy); Fri, 14 Feb 2025 02:57:53 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=veryfast.biz; h= cc:content-transfer-encoding:content-type:content-type:date:date :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to; s=fm2; t=1739519873; x=1739606273; bh=pZ4f0XdfyYc4K9vSlmnr2fTxkVs3eVvepc7Ss7jYZW4=; b= aXj3Wn1Xx7RR+38HmaoYmpTKIzyYngBLKon8oavJfic8Mqo5iQuKIULyRZqI7g5p +/Ul04HAOP77htTt+d4rWfdNWEll77gd2ubkSj3pVOcIk7dDusCbLtoonOpgFbtI jCRtRBdguhZ7n0mDz9n9BmSTO6wMsPPJgZwSrsGrElPRIMVwjeaDwfzVxFr+hRcy svSTckxzBKz+eQvaqgY4FkR+g0jvqxmoPW6ZxzydAxQgYhd3Gyv+ihZ91xu+rdXL lUjAqcxV6O+crD33EGxV7DqwrZYAUwNkpwpatyAfuyi3JBGv53e+k2iFfvCz/0Ww AcjpVrl1BU4gHUWQUbjS4Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :content-type:date:date:feedback-id:feedback-id:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:subject:subject:to:to:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm3; t=1739519873; x=1739606273; bh=p Z4f0XdfyYc4K9vSlmnr2fTxkVs3eVvepc7Ss7jYZW4=; b=pqzmkjrHG1kZay7WH bTZPqm67G1ELbGmkTMSOMDytFj+/NJtUapF4ja6hjZr2zhXCDTISVNSjMEnuT0WV PZJdNkcPvSO5xZ+2hkCtGUloY7jsCJ62VLSGNt/98pxp5cTx2p4qBAWuxh5DiZft KGD/tn+mQ3qj7BTr5VOkZG6+uIAqb9WRBcbD3gpxseweqNve0t800lGe8I9nFYqX R8QHfpbVRBBTFl8eynAHkXcn/B+wJEk1QAdhtm28+m0+GeeKSun7mn+6GG5iQtWH r5fiCx3s/qDLu7O5V61+qLwD56X7se5tivATX+Wcxcc47UoQ3PcdrdtloqC9jbIY a0tAQ== X-ME-Sender: <xms:gPeuZ68BM6zfxSLUiSBABGSyqpMF6-qkDuHqMuC04E865TSJQASsHw> <xme:gPeuZ6sNhbwT_mWrrv9LAmyR_30dfEdsH8BJfoJWEpqSotbcEq2358KXqCqA6s4h9 iB6aMDDKsQ7cHBvrw> X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgdegleduudcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpggftfghnshhusghstghrihgsvgdp uffrtefokffrpgfnqfghnecuuegrihhlohhuthemuceftddtnecunecujfgurhepofggff fhvffkjghfufgtgfesthhqredtredtjeenucfhrhhomhepnfhinhhushcuuehjnphrnhhs thgrmhcuoehlihhnuhhsrdgsjhhorhhnshhtrghmsehvvghrhihfrghsthdrsghiiieqne cuggftrfgrthhtvghrnhepieeukeeiffdtteeugfeuhffghfffgfeukeeuveeltdduudeh ueeihffgteekhedvnecuffhomhgrihhnpehkohhsiihkohdrohhrghdpfhhrihgvnhguih gtrgdrmhgvnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhho mheplhhinhhushdrsghjohhrnhhsthgrmhesvhgvrhihfhgrshhtrdgsihiipdhnsggprh gtphhtthhopedvpdhmohguvgepshhmthhpohhuthdprhgtphhtthhopeejiedvtddtsegu vggssghughhsrdhgnhhurdhorhhgpdhrtghpthhtohepkhhoshiikhhosehkohhsiihkoh drohhrgh X-ME-Proxy: <xmx:gPeuZwDM8ql7XBvydNI8JmoKNun7Vo4uacIhSAxIqBOHkEfsrr1PSQ> <xmx:gPeuZydIjNSzP1UpsXvYLK61-PvRR8bc0zkK7KFHBTyjYYfTXY7wPQ> <xmx:gPeuZ_OGxRoX4Kz8qaxifq1sQ11Foxnt1n-eFUYAtQDu84LNaDoxNw> <xmx:gPeuZ8ljQ4CuC9pFvN8JLEbbvKx9dPhHk0S9iZgO1UDUtvN4zJ3J6g> <xmx:gfeuZ12R30hprLe0JIzgbm9iFSjiT9RePchKXvDT2Q6pu0j-iXIgw1O5> Feedback-ID: i51694465:Fastmail Received: by mailuser.phl.internal (Postfix, from userid 501) id 7D01D2220072; Fri, 14 Feb 2025 02:57:52 -0500 (EST) X-Mailer: MessagingEngine.com Webmail Interface MIME-Version: 1.0 Date: Fri, 14 Feb 2025 08:57:32 +0100 From: =?UTF-8?Q?Linus_Bj=C3=B6rnstam?= <linus.bjornstam@HIDDEN> To: "W. Kosior" <koszko@HIDDEN>, 76200 <at> debbugs.gnu.org Message-Id: <d6eacdb0-fb59-49d8-bd42-bdc4136d3b66@HIDDEN> In-Reply-To: <20250211115936.163461f7.koszko@HIDDEN> References: <20250211115936.163461f7.koszko@HIDDEN> Subject: Re: bug#76200: `with-parameters*' seems to create a continuation barrier Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 76200 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: -1.7 (-) It seems with-fluids* (used by with-parameters*) is still a c function. = I am not really sure how that stuff works, but I believe C can (always?)= impose continuation barriers of delimited continuations.=20 If you look at the source of parameterize, with-fluids, with-fluids* (a= nd more?) in boot-9 ther are all using scheme functions, or things defin= ed in the VM, whereas srfi-39 depends on with-fluids* that is defined in= fluids.c.=20 If the transform from let to let* extends to with-fluids->with-fluids* i= t should be a trivial thing to put into boot-9.scm, but I rarely dabble = with dynamic environments and whatever is in the documentation is somewh= at opaque.=20 Best regards Linus Bj=C3=B6rnstam On Tue, 11 Feb 2025, at 11:59, W. Kosior via Bug reports for GUILE, GNU'= s Ubiquitous Extension Language wrote: > Hello, > > I've been experimenting with guile-fibers. I noticed that > `with-parameters*' procedure included as an "extra" in Guile's srfi-39 > creates a continuation barrier. From the documentation it is not clear > that it does so. > > Consider this sample program (which I ran with Guile 3.0.9 and Fibers > 1.0.0, as they are defined in Guix > 2fda889ac992977af7b4cd96d09f737d834e0b2d): > > --8<---------------cut here---------------start------------->8--- > (use-modules (fibers) > (fibers channels) > (srfi srfi-18) > ((srfi srfi-39) #:select (with-parameters*))) > > (define %my-channel > (make-channel)) > > (define %my-param > (make-parameter #f)) > > (define %my-thread > (make-thread (lambda () > (run-fibers (lambda () > (with-parameters* (list %my-param) '(he= llo) > (lambda () > (put-message %my-channel (%my-param= )) > 'ok))))))) > > (thread-start! %my-thread) > > (format #t "message: ~a~%" (get-message %my-channel)) > > (thread-join! %my-thread) > --8<---------------cut here---------------end--------------->8--- > > It prints: > >> Uncaught exception in task: >> In fibers.scm: >> 186:20 6 (_) >> 145:21 5 (_) >> In unknown file: >> 4 (with-fluids* (#<fluid 7f192cf70d70>) (hello) #<procedur= e 100903e0 at <=E2=80=A6>) >> In current input: >> 17:35 3 (_) >> In fibers/operations.scm: >> 154:10 2 (perform-operation _) >> In fibers/scheduler.scm: >> 357:6 1 (suspend-current-task _) >> In ice-9/boot-9.scm: >> 1685:16 0 (raise-exception _ #:continuable? _) >> ice-9/boot-9.scm:1685:16: In procedure raise-exception: >> Attempt to suspend fiber within continuation barrier > > But if I use `parameterize' rather than `with-parameters*', no errors > occur. Here's an example of a working program: > > --8<---------------cut here---------------start------------->8--- > (use-modules (fibers) > (fibers channels) > (srfi srfi-18)) > > (define %my-channel > (make-channel)) > > (define %my-param > (make-parameter #f)) > > (define %my-thread > (make-thread (lambda () > (run-fibers (lambda () > (parameterize ((%my-param 'hello)) > (put-message %my-channel (%my-param)) > 'ok)))))) > > (thread-start! %my-thread) > > (format #t "message: ~a~%" (get-message %my-channel)) > > (thread-join! %my-thread) > --8<---------------cut here---------------end--------------->8--- > > It prints: > >> message: hello > > Is it a bug that `with-parameters*' doesn't work equivalently? Or am I > reading the info pages wrong? > > Best :) > Wojtek > > -- > W. Kosior > > website: https://koszko.org/koszko.html > fediverse: https://friendica.me/profile/koszko/profile > PGP fingerprint: E972 7060 E3C5 637C 8A4F 4B42 4BC5 221C 5A79 FD1A
bug-guile@HIDDEN:bug#76200; Package guile.
Full text available.
Received: (at submit) by debbugs.gnu.org; 11 Feb 2025 10:59:57 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Feb 11 05:59:57 2025
Received: from localhost ([127.0.0.1]:54542 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1thnzh-0008CF-5n
for submit <at> debbugs.gnu.org; Tue, 11 Feb 2025 05:59:57 -0500
Received: from lists.gnu.org ([2001:470:142::17]:38820)
by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.84_2) (envelope-from <koszko@HIDDEN>) id 1thnzb-0008Bs-1S
for submit <at> debbugs.gnu.org; Tue, 11 Feb 2025 05:59:54 -0500
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 <koszko@HIDDEN>) id 1thnzV-0000jf-0K
for bug-guile@HIDDEN; Tue, 11 Feb 2025 05:59:45 -0500
Received: from salamina.koszko.org ([188.68.237.248] helo=koszko.org)
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <koszko@HIDDEN>) id 1thnzS-0003Gu-H4
for bug-guile@HIDDEN; Tue, 11 Feb 2025 05:59:44 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=koszko.org;
s=mail-salamina;
h=Content-Type:MIME-Version:Message-ID:Subject:To:From:Date:
Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description:
Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:
In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe:
List-Post:List-Owner:List-Archive;
bh=AgDeZV5l4t/Dbij997thfORZxsTxCnYQrRVDMQncNdE=; b=oXSwh43Wuz+P3KoyfeUB4/hJZ4
H6qzskmPokZ/6gvMiRYM6JVtoo1NQ2ipeFZkpaVc2FNZ25ldqngKnSMunmIauitOzycJf99HQg0Yd
X+Q0Uyam+67Lo+QUqIe485Qs+iYa0LfOO93rHHmzXT1k8+DQ/PR+VHnnVD0YQoO49Toa98fl+2sIi
RIo11Dd/wVfZrsei/yYi5nJHbPmg7QZGAjAUQGZz4py0gHMu6gKflZY4rcXRPoWkZ88XVWYlVfgIn
yP0Mw3gqxSdSB50fsU3FU+cUFF/USZDsFlXD7nGPnPkGrCu+dK/anUd5a+MYtMV2D0bxdLO0WOCjY
kbCZu8dcQbCMnR1A4SzCOFtdJfYa377NbcLLZ6XeEUfFFPPBdI8pcRCXDT1HSSNyUJakzq4xC0ncW
WgZAcXJy1pw3QpHg3mYZNXuqwKnoDw3L2QdIl8MrLDMU+nJfD3oMpsQmxHqu93T8iLPnlf2Ti79Ph
BZusrYuj21716Sd6eBHnKRDJDhaxGFg7Hrtq07ENN0slpW0foLpyyMK9b533L37Y+ETZp8rUG82V7
iE/nXlM8ly7RpzlZXvlKb/aValxQi1MTD8hCxKfgoH/on2rOxxtVAieJLtwzL9PYn17MVfl6+852a
EBotL33dLcepzY43TmerSOJ02EglNrEdfYho5FbRo=;
Received: from dummy-client.koszko.org ([192.168.193.169])
by salamina.koszko.org with esmtpsa (TLS1.3) tls
TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98)
(envelope-from <koszko@HIDDEN>) id 1thnzO-000000003LJ-0nmK
for bug-guile@HIDDEN; Tue, 11 Feb 2025 11:59:38 +0100
Date: Tue, 11 Feb 2025 11:59:36 +0100
From: "W. Kosior" <koszko@HIDDEN>
To: bug-guile@HIDDEN
Subject: `with-parameters*' seems to create a continuation barrier
Message-ID: <20250211115936.163461f7.koszko@HIDDEN>
X-Mailer: Claws Mail 4.3.0 (GTK 3.24.41; x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="Sig_/vwVMj1iR57JM2neVWqrGx0g";
protocol="application/pgp-signature"; micalg=pgp-sha256
Received-SPF: pass client-ip=188.68.237.248; envelope-from=koszko@HIDDEN;
helo=koszko.org
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 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,
RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001,
SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
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: -0.1 (/)
--Sig_/vwVMj1iR57JM2neVWqrGx0g
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Hello,
I've been experimenting with guile-fibers. I noticed that
`with-parameters*' procedure included as an "extra" in Guile's srfi-39
creates a continuation barrier. From the documentation it is not clear
that it does so.
Consider this sample program (which I ran with Guile 3.0.9 and Fibers
1.0.0, as they are defined in Guix
2fda889ac992977af7b4cd96d09f737d834e0b2d):
--8<---------------cut here---------------start------------->8---
(use-modules (fibers)
(fibers channels)
(srfi srfi-18)
((srfi srfi-39) #:select (with-parameters*)))
(define %my-channel
(make-channel))
(define %my-param
(make-parameter #f))
(define %my-thread
(make-thread (lambda ()
(run-fibers (lambda ()
(with-parameters* (list %my-param) '(hello)
(lambda ()
(put-message %my-channel (%my-param))
'ok)))))))
(thread-start! %my-thread)
(format #t "message: ~a~%" (get-message %my-channel))
(thread-join! %my-thread)
--8<---------------cut here---------------end--------------->8---
It prints:
> Uncaught exception in task:
> In fibers.scm:
> 186:20 6 (_)
> 145:21 5 (_)
> In unknown file:
> 4 (with-fluids* (#<fluid 7f192cf70d70>) (hello) #<procedure 10=
0903e0 at <=E2=80=A6>)
> In current input:
> 17:35 3 (_)
> In fibers/operations.scm:
> 154:10 2 (perform-operation _)
> In fibers/scheduler.scm:
> 357:6 1 (suspend-current-task _)
> In ice-9/boot-9.scm:
> 1685:16 0 (raise-exception _ #:continuable? _)
> ice-9/boot-9.scm:1685:16: In procedure raise-exception:
> Attempt to suspend fiber within continuation barrier
But if I use `parameterize' rather than `with-parameters*', no errors
occur. Here's an example of a working program:
--8<---------------cut here---------------start------------->8---
(use-modules (fibers)
(fibers channels)
(srfi srfi-18))
(define %my-channel
(make-channel))
(define %my-param
(make-parameter #f))
(define %my-thread
(make-thread (lambda ()
(run-fibers (lambda ()
(parameterize ((%my-param 'hello))
(put-message %my-channel (%my-param))
'ok))))))
(thread-start! %my-thread)
(format #t "message: ~a~%" (get-message %my-channel))
(thread-join! %my-thread)
--8<---------------cut here---------------end--------------->8---
It prints:
> message: hello
Is it a bug that `with-parameters*' doesn't work equivalently? Or am I
reading the info pages wrong?
Best :)
Wojtek
--
W. Kosior
website: https://koszko.org/koszko.html
fediverse: https://friendica.me/profile/koszko/profile
PGP fingerprint: E972 7060 E3C5 637C 8A4F 4B42 4BC5 221C 5A79 FD1A
--Sig_/vwVMj1iR57JM2neVWqrGx0g
Content-Type: application/pgp-signature
Content-Description: OpenPGP digital signature
-----BEGIN PGP SIGNATURE-----
iHUEARYIAB0WIQTpcnBg48VjfIpPS0JLxSIcWnn9GgUCZ6stmAAKCRBLxSIcWnn9
GtrzAQCIual5Cp+uNk1W18wI45WncPVmxb6S666AAoil63+ERQEA5Uxmdfg1lW/o
VYUHrim/FzcyXzkuZYyIzwCtT3LOwgE=
=484+
-----END PGP SIGNATURE-----
--Sig_/vwVMj1iR57JM2neVWqrGx0g--
"W. Kosior" <koszko@HIDDEN>:bug-guile@HIDDEN.
Full text available.bug-guile@HIDDEN:bug#76200; Package guile.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.