invokedynamic.js

on YouTube ↗20m

" summary

Builds a proof of concept that maps JVM-style call site relinking into JavaScript and implements invokedynamic in a JS VM by generating per-site bootstrap handlers, compiling specialized handlers and patching globals. Uses V8 internals and even edits C++ heuristics to force inlining. Naive message send is 5,000 times slower, handler linking cuts that to about 3× slower, type-specialized arithmetic gets to 25% slower, semantics for Smalltalk-like sends works and most of the remaining gap comes from VM compilation pipeline limits.

AI-written summary · about

" chapters (7)

1. 0:00Introduction
2. 1:40Semantic compilers
3. 6:48invokedynamicjs
4. 9:06numerics
5. 14:30inline handlers
6. 16:02constants
7. 19:02conclusion

" related talks

• 28mdyn.js - 100% invokedynamic JavaScript implementationDouglas Campos · JSConf EU 2011
• 36mFast and DynamicMaxime Chevalier Boisvert · Strange Loop 2013
• 26mJavaScript JITsDavid Anderson, David Mandelin · JSConf EU 2011
• 31mJavaScript Compilation Techniques or "Wasn't JavaScript supposed to be slow?"Marijn Haverbeke · JSConf US 2011
• 25mJavaScript engines how do they even?Franziska Hinkelmann · JSConf EU 2017
• 24mmö.js - explaining js vm in jsVyacheslav Egorov · JSConf EU 2012
• 57mNashorn War Stories: Dynamic Language Performance on the JVMMarcus Lagergren · GOTO Aarhus 2013
• 27mJavaScript as a compilation target - Making it fastFlorian Loitsch · JSConf EU 2012