Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128917
Precedence: list
MIME-Version: 1.0
References: <CAMW7n8DGbFnQzjt3s9CcOBwhp+MUOV+K3U=yY=ULOTdUXaOLHQ@mail.gmail.com>
 <0e4e39d6-9cc9-4970-92e0-2463143b4011@app.fastmail.com> <CAMW7n8AgHnO0rBjqBkHNhfvV5PBNxwgHBJ762N3FtVxoh5WnOQ@mail.gmail.com>
 <E8D4A549-79EA-48E9-9D20-3608F357F227@trowski.com> <CAMW7n8D0wMNQE0zuMhbHstyZsDw=e7ryPPZERn11UFV7knmR-g@mail.gmail.com>
 <37180d8d-85b4-49a3-a672-334bf4329470@app.fastmail.com> <CAMW7n8AFaUByiJ=2frgkAFWNPWHS2wYyHiKfwf8dzT7AYnLjWg@mail.gmail.com>
 <2f8524a7-dea2-4fbf-933a-c538d3706253@app.fastmail.com> <CAMW7n8DKB+AWp2sWPi_w8ZgLQ_zS2MPNgP6n1G5127Nkk7EgOA@mail.gmail.com>
 <151800a7-1094-49bc-8e43-c593a74741af@app.fastmail.com> <CAMW7n8CWMpUmVB+FHjuYNFMzswbW5Lo19C1D6CTri6HVsddwkQ@mail.gmail.com>
 <c1f712d7-4922-4620-a1c6-e8fca72c9a55@app.fastmail.com> <CAMW7n8Ah3LZDqV1eNoM45GWR2yOVLZxR58YuszbSNi34PMA4gw@mail.gmail.com>
 <772a457f-69b6-4a76-8224-081917d719f6@app.fastmail.com> <CAMW7n8C0BALniMyfCHfgC9qwS41jMZoM0a0u-vyBCjJY=fanLA@mail.gmail.com>
 <8c20e8cc-cec7-4aa5-b6a7-663ef8159e1a@app.fastmail.com>
In-Reply-To: <8c20e8cc-cec7-4aa5-b6a7-663ef8159e1a@app.fastmail.com>
Date: Thu, 23 Oct 2025 09:41:46 +0300
Message-ID: <CAMW7n8BC2kuu=qUUbbzy-S9uPM2iK9JFKeNF4ZkEHu=cuDqN0w@mail.gmail.com>
Subject: Re: [PHP-DEV] PHP True Async RFC Stage 4
To: Rob Landers <rob@bottled.codes>
Cc: Aaron Piotrowski <aaron@trowski.com>, PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: edmond.ht@gmail.com (Edmond Dantes)

Hi

> Assuming an awaitable is idempotent (such as the result of a coroutine), =
this is an infinite loop. There=E2=80=99s a 99.9% chance that=E2=80=99s uni=
ntended, which is part of the point of static analysis.

```php
foreach(($next =3D await($awaitable)) as $value) { }
```

executed as:
1. await($awaitable) - will return some value
2. foreach got this value
3. If the value has a valid interface, then foreach will iterate over it.

await($awaitable) -

It always returns only one value because under the hood it works like this:

```
function await(awaitable):
    # 1) Create a waker for the current coroutine
    waker =3D Waker(current_coroutine)

    # 2) Register an event handler inside the awaitable
    handler =3D function(result, error):
        waker.set_result(result, error)
        awaitable.remove_handler(handler) # detach
        Scheduler.enqueue(waker.coroutine)

    awaitable.add_handler(handler)

    try:
        # 3) Suspend the current coroutine until resumed
        Scheduler.suspend(current_coroutine)

        # 4) When the waker is triggered, return the stored result
        return waker.get_result()

    finally:
        # 5) Destroy/cleanup the waker object
        waker.dispose()                  # release buffers/slots
```

> The RFC says that for coroutines, but not Awaitable. It is undefined.
Sorry I can=E2=80=99t understand the meaning of this.

Thanks, Ed