Internal and External truncation conditions (original) (raw)

Doug Lea dl at cs.oswego.edu
Sun Feb 10 06:42:56 PST 2013

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

More information about the lambda-libs-spec-observers mailing list