[Feature Request]: Disable Instrumentation On-Demand

[magnus-madsen]

In Jalangi it is currently possible to turn instrumentation on/off with a ENABLE_SAMPLING and runInstrumentedFunctionBody.

What I would like to ask for is a mechanism, for example as part of preFunInvoke, where you can opt to enter the original un-instrumented function and thus escape entirely to a world where nothing is instrumented. You would of course never be able to go back.

A potential issue is function objects stored in the heap, and how they would be replaced. Here it might still be sufficient to rely on the ENABLE_SAMPLING trick.

If this is beyond the scope of Jalangi, some pointers on how to achieve this would be welcome.

[magnus-madsen]

I guess an important issue is that my proposal break identity of function objects and as such may change the semantics.

[ksen007]

this will create problem with closures.