~/talk

Extending Applications Safely and Efficiently

Talkat OSDI '25 · 2025-07-07..07-09· [security, software-architecture]
linkedin:yunwei37
name:Tong Yu
links:none on file
links:none on file
links:none on file
links:none on file
github:dcbw
links:none on file
slides:none on file

EIM models each extension feature as a named resource and splits work into a developer-made capability map and a deployment-time YAML that grants a minimal permission set; bpftime enforces those specs with offline eBPF-style verification, Intel MPK isolation, dynamic binary rewriting, and in-process trampolines. A prototype implements six real apps (firewall, observability, GPU, etc.), shows up to 6× better throughput vs WASM-style frameworks, reports 2% overhead for a firewall path where WASM costs 11–12%, and cuts a kernel-eBPF monitoring hit from 28% to 7%. Open source on GitHub.

AI-written summary · about

  1. 0:00Introduction to extensions
  2. 2:07Problems and requirements
  3. 4:11Proposed solution overview
  4. 5:32Extension interface model
  5. 9:20The bpftime runtime
  6. 12:05Evaluation and results
  7. 14:23Conclusion and Q&A
~/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.