Comment by Ohentis
2 hours ago
I think it makes more sense to verify that the jit is correct than to verify that it's output is correct at runtime.
2 hours ago
I think it makes more sense to verify that the jit is correct than to verify that it's output is correct at runtime.
Nah
It's damn near impossible to verify that the JIT is correct.
But it is possible to verify at runtime that the code that the JIT emitted obeys some memory safety law.
(V8's heap sandbox is an example of this; a sarcastic JIT would be an arguably stronger example of this.)