Re:Building Fast Interpreters in Rust
by skybrian on Monday March 04, 2019 @12:44PM
(#19303266)
What do you mean by "thread your switch statement"?
[ Parent
| on HN ]
Re:Building Fast Interpreters in Rust
by ridiculous_fish on Monday March 04, 2019 @01:27PM
(#19303780)
The "big switch statement" approach is for each bytecode instruction to complete by jumping to a centralized dispatch location (i.e. the switch statement).
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.
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...