Re: Safe Temporary Cleanup on Exception (Variable Liveness)
| From: | Dmitry Stogov | Date: | Tue, 10 Nov 2015 10:03:55 +0000 |
| Subject: | Re: Safe Temporary Cleanup on Exception (Variable Liveness) | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-89144@lists.php.net to get a copy of this message | ||
BTW: I think, part of this patch (without zend_check_live_ranges) may be
good enough, as a first step.
It should keep the current PHP-5/7.0 behavior with new data structures.
Thanks. Dmitry.
On Tue, Nov 10, 2015 at 12:53 PM, Dmitry Stogov <dmitry@zend.com> wrote:
> Hi,
>
> Please take a look into
> https://gist.github.com/dstogov/43eaa3f3b68583877322
>
> This is variation on Bob's idea about variable liveness.
> The patch is incomplete. Liveness construction is still naive. However,
> all tests are passed.
>
> Ranges are represented by start/end/variable cartages. (I suppose this
> representation is more compact, than in the original proposal).
> In general, it's possible to use few ranges for the same variable, if its
> whole live range is not linear. (this is not implemented yet).
>
> Related ideas and tests are welcome.
>
> Thanks. Dmitry.
>