~/talk

Efficient Late Binding of Dynamic Function Compositions

Talkat SLE 2019 · 2019-10-20..10-22· [compilers-and-language-design]
links:none on file
links:none on file
slides:none on file

Implements late binding by compiling per-callsite “collagraphs” into JVM MethodHandle trees and using invokeDynamic plus combinators to inline role lifting and role-specific wrappers; evaluation on ~5 million rules with 2.25 million transaction iterations yields a 2.8x steady-state speedup over the baseline while suffering up to a 9.8x worst-case slowdown under frequent invalidations. Uses runtime metadata and partial evaluation to prune dispatch graphs, builds and inlines call plans at runtime, and reports that plan invalidation and JVM deoptimization are the main remaining bottlenecks.

AI-written summary · about

  1. 0:00Start
  2. 2:24Controlling Roles
  3. 4:50Function Composition in Object Teams
  4. 6:13Semantic Gap
  5. 7:14Object Teams Compilers
  6. 9:38Dispatch Plans
  7. 12:47Signature Polymorphic Call Sites
  8. 14:42Runtime Compilation of Call Graph
  9. 15:42Evaluation
  10. 16:34Steady-State Performance
  11. 22:28Performance Results
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.