~/talk

On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code

Talkat VMIL 2024 · on Sunday, 2024-10-20· [compilers-and-language-design]
links:none on file
name:Paley Li
links:none on file
links:none on file
links:none on file
slides:none on file

Hybrid per-function execution blends AOT native and JIT managed code by profiling a run to build a call graph, emitting a specification file, and then switching modes on subsequent runs; decisions use a call-graph based decision that first rejects functions accessing managed data, then marks large functions (heuristic: 30KB LLVM threshold with loop-nesting ×10) as native and applies a simple up/down-call cost formula to avoid frequent upcalls. Implemented in GraalVM implementation, it yields measured speedups like 1.48× data setup, 2.6× warm-up, 3.5× peak.

AI-written summary · about

  1. 0:00Introduction
  2. 1:25Combining AOT and JIT
  3. 2:29Hybrid model in GraalVM
  4. 3:56Automating execution mode
  5. 4:59Heuristics for execution
  6. 8:32Static function size
  7. 12:01Call overhead and switching
  8. 14:29Heuristic example
  9. 15:54Benchmark results
  10. 19:53Future improvements
  11. 20:56Summary
  12. 21:23Q&A: AOT validity and profiling
  13. 23:51Q&A: AOT for C and mixed
  14. 25:37Q&A: Call graph depth
  15. 27:25Q&A: Heuristic parameters
~/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.