Re:Building Fast Interpreters in Rust
by filereaper on Monday March 04, 2019 @06:55PM
(#19306890)
This method of design is called a Continuation Passing Style Interpreter. [1]
Here's a production version from OpenJ9's JVM ByteCode Interpreter. [2]
[1] https://kseo.github.io/posts/2017-01-09-continuation-passing...
[2] https://github.com/eclipse/openj9/blob/01be53f659a8190959c16...
The "threaded" approach is for each bytecode instruction to complete by decoding and jumping to the handler for the next instruction.
Basically instead of "break" you have `goto handlers[nextIp->opcode].`
The advantages of threading are fewer jumps and better branch prediction (since branch prediction is tied to IP). The disadvantages are slightly larger code and compilers struggle to optimize it, since the control flow is not structured.