Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126648
Precedence: bulk
MIME-Version: 1.0
References: <CAMW7n8AJckEDzhGv9BdjNhq8zAdCqb4HsVr56vGi+izw50X6Dg@mail.gmail.com>
 <9964db8c-0ffe-43d5-8246-47fc76b07180@app.fastmail.com> <CAMW7n8CM7oBfXCDsKtV4hTFs40UmLCU3183WjYE2exLNqKDWLQ@mail.gmail.com>
 <78a03dd0-fd4a-4f4a-ad8a-37e5704f06fc@app.fastmail.com> <CAMW7n8C-Z18MKhyDX2+ofg70cRbwWOk=YWDAZpKtfLZsFVVRng@mail.gmail.com>
 <bb7a9f8f-0422-45e5-b4fc-f5757add92b4@app.fastmail.com> <CAMW7n8BnzL7d0bd_Y_jGOmyWegKQpm-FzrVFRCcDe=bNFZpi+A@mail.gmail.com>
 <08c8ad0b-e8f4-46e3-99f0-b80748d40b89@app.fastmail.com> <07973EAE-2D83-47A8-8FA0-84286C77C02B@rwec.co.uk>
 <48d66433-3ae9-4895-8361-7c81a0a3670d@app.fastmail.com> <be7cb263-93a1-4bd8-9416-ae4d3e0bafe6@rwec.co.uk>
 <dbce8889-016a-4c59-864c-d8fdec895adc@app.fastmail.com> <CAM0Ccxh=bydoDEHBAV+Gb1_86HJjwhW06kzEsdRiMh93k1F7oA@mail.gmail.com>
 <8599eb8b-d4a3-4cb8-899a-25b134e0d64d@gmail.com> <D73BCCC4-3547-45B4-84AD-A5FD6569D43C@rwec.co.uk>
In-Reply-To: <D73BCCC4-3547-45B4-84AD-A5FD6569D43C@rwec.co.uk>
Date: Sat, 8 Mar 2025 15:17:01 +0200
Message-ID: <CAGwLL8XpZiV-_=foZ6zQdoAFG4GcEjWziQNLyaDCzw9yzXDBbw@mail.gmail.com>
Subject: Re: [PHP-DEV] PHP True Async RFC
To: "Rowan Tommins [IMSoP]" <imsop.php@rwec.co.uk>
Cc: internals@lists.php.net
Content-Type: multipart/alternative; boundary="000000000000c57d13062fd48e46"
From: i.miroslavov@gmail.com (Iliya Miroslavov Iliev)

--000000000000c57d13062fd48e46
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

I don't want to get involved, I'm giving just an opinion. If my wife wants
me to get a present for someone and she wants me to get it wrapped up in
either "green with orange ribbon" or "blue with red ribbon" (strictly) but
I have to buy them separately from a different shops. If I buy orange
ribbon from the shop that sells ribbons because it was open early and the
other one was closed yet and the shop that sells the wrapping paper tells
me they sell only blue, what should I do... kill myslef or go back and try
to change it?

On Sat, Mar 8, 2025 at 3:05=E2=80=AFPM Rowan Tommins [IMSoP] <imsop.php@rwe=
c.co.uk>
wrote:

>
>
> On 8 March 2025 10:44:35 GMT, Daniil Gentili <daniil.gentili@gmail.com>
> wrote:
>
> >The only thing that's truly needed in this RFC is a set of
> synchronization primitives like in golang, and a way to parent/unparent
> fibers in order to inherit cancellations (as previously mentioned in this
> list), not contexts, async blocks and colored functions.
>
> The async block as I'm picturing it has nothing to do with function
> colouring, it's about the outermost function in an async stack being able
> to say "make sure the scheduler is started" and "block here until all chi=
ld
> fibers are either concluded, detached, or cancelled".
>
> It's roughly equivalent to calling the RFC's Async\launchScheduler() more
> than once, but I imagine the later calls would not actually start a new
> scheduler, just track a group of fibers.
>
> If we're building this into the language, we're not limited to expressing
> things with functions and objects, and a block syntax makes it trivial fo=
r
> the compiler to detect a mismatched start and end.
>
> Regards,
> Rowan Tommins
> [IMSoP]
>


--=20
Iliya Miroslavov Iliev
i.miroslavov@gmail.com

--000000000000c57d13062fd48e46
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">I don&#39;t want to get involved, I&#39;m giving just an o=
pinion. If my wife wants me to get a present for someone and she wants me t=
o get it wrapped up in either &quot;green with orange ribbon&quot; or &quot=
;blue with red ribbon&quot; (strictly) but I have to buy them separately fr=
om a different shops. If I buy orange ribbon from the shop that sells ribbo=
ns because it was open early and the other one was closed=C2=A0yet and the =
shop that sells the wrapping paper tells me they sell only blue, what shoul=
d I do... kill myslef or go back and try to change it?</div><br><div class=
=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_attr=
">On Sat, Mar 8, 2025 at 3:05=E2=80=AFPM Rowan Tommins [IMSoP] &lt;<a href=
=3D"mailto:imsop.php@rwec.co.uk">imsop.php@rwec.co.uk</a>&gt; wrote:<br></d=
iv><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;bord=
er-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
On 8 March 2025 10:44:35 GMT, Daniil Gentili &lt;<a href=3D"mailto:daniil.g=
entili@gmail.com" target=3D"_blank">daniil.gentili@gmail.com</a>&gt; wrote:=
<br>
<br>
&gt;The only thing that&#39;s truly needed in this RFC is a set of synchron=
ization primitives like in golang, and a way to parent/unparent fibers in o=
rder to inherit cancellations (as previously mentioned in this list), not c=
ontexts, async blocks and colored functions.<br>
<br>
The async block as I&#39;m picturing it has nothing to do with function col=
ouring, it&#39;s about the outermost function in an async stack being able =
to say &quot;make sure the scheduler is started&quot; and &quot;block here =
until all child fibers are either concluded, detached, or cancelled&quot;.<=
br>
<br>
It&#39;s roughly equivalent to calling the RFC&#39;s Async\launchScheduler(=
) more than once, but I imagine the later calls would not actually start a =
new scheduler, just track a group of fibers.<br>
<br>
If we&#39;re building this into the language, we&#39;re not limited to expr=
essing things with functions and objects, and a block syntax makes it trivi=
al for the compiler to detect a mismatched start and end. <br>
<br>
Regards,<br>
Rowan Tommins<br>
[IMSoP]<br>
</blockquote></div><div><br clear=3D"all"></div><div><br></div><span class=
=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_s=
ignature"><div dir=3D"ltr">Iliya Miroslavov Iliev<div><a href=3D"mailto:i.m=
iroslavov@gmail.com" target=3D"_blank"><font color=3D"#6aa84f">i.miroslavov=
@gmail.com</font></a><br></div></div></div>

--000000000000c57d13062fd48e46--