miniblog.

Implementing interactive languages, and the tradeoffs of interpreters, JIT compilers, and AOT compilers:

I've never seen a JIT with an "eject" option. If I'm happy with the steady-state performance of my system, I'd rather disable the JIT and lose additional optimisation in favour of removing the tracing overhead. Do any languages offer this?

Imagine we JIT compiled syscall handlers in the kernel, based on runtime facts about known constants: https://blog.regehr.org/archives/1676 An interesting idea that's little explored since Alexia Massalin's phD. Arguably unikernels have some similarities, but compiler tech is more mature now.