News for hackers. Stuff that matters.
Re:Writing a register based VM in less than 125 lines of C code by bluetomcat on Thursday December 09, 2021 @04:32AM (#29495444)
> Personally, I prefer having a switch since it's more obvious which opcode goes where.

In practice, having a switch is not worse or can even be better for performance because any non-naive optimising compiler will emit a nicely ordered indexed jump table, whereas following function pointers involves more indirection through the addresses of the functions, and has the additional overhead of passing args and preparing/restoring the stack.

Re:Writing a register based VM in less than 125 lines of C code by nomemory on Thursday December 09, 2021 @06:01AM (#29496052)
I've thought of that, and to be honest I think it's worth mentioning in the article. But having set this arbitrary limit to 125 lines, before even starting to sketch things down, made me use the function tables. As a plus, article is intended for beginners, and it would be cool if they learn about function pointers from a practical example.

But from a performance perspective, you are right!

Re:Writing a register based VM in less than 125 lines of C code by MaxBarraclough on Sunday December 12, 2021 @05:41PM (#29534435)
Further to this: this kind of thing is something the Forth community takes seriously. They call these threaded code techniques. [0] (The Gforth interpreter, for instance, gives you the choice of various different techniques.)

Anton Ertl of Gforth fame published a microbenchmark performance comparison of toy interpreters, written in C, run on various CPUs. [1] As you say, the approach using function pointers (call threading) scores poorly.

Interestingly, direct threading and indirect threading are extremely close, with the winner seeming to depend on the specific CPU. [1] Branch-prediction differences seem to be the main reason. There was a 2001 paper on this. [2]

[0] https://www.complang.tuwien.ac.at/forth/threaded-code.html

[1] https://www.complang.tuwien.ac.at/forth/threading/

[2] https://github.com/ForthPapersMirror/Papers/blob/master/Conv...

Re:Writing a register based VM in less than 125 lines of C code by WGH_ on Thursday December 09, 2021 @09:03AM (#29497404)
There's also "computed gotos". It's not the same as function pointers, though.

https://eli.thegreenplace.net/2012/07/12/computed-goto-for-e... - article about them being used in CPython

Re:Writing a register based VM in less than 125 lines of C code by MaxBarraclough on Sunday December 12, 2021 @05:42PM (#29534446)