Internal and External truncation conditions

[Doug Lea]

On 02/10/13 09:28, Remi Forax wrote:

> yes, you can it's exactly what j.l.i.SwitchPoint does.
> Note that we can't transform the whole pipeline to a method handle tree because
> we have no loopy method handle now, but if we have that, you can create a method
> handle tree corresponding to the pipeline and when the code will be JITed, with
> the new lambda form it will, the check will disappear and if a user calls cancl,
> the JITed code will be trashed and the execution will go back into the
> interpreter that will do the check.
>

Which amounts to, at best, an approximation of the rare-trap mechanics
that would be used for explicit check in user code if the handles
are fully resolved?

-Doug