~/talk

Towards Performance Robustness for Microservices

Talkat NSDI '26 · 2026-05-04..05-06· [microservices]
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Paper claims that run-time performance robustness certificates (PERCs) give statistical upper bounds on tail latency under bounded perturbations and that integrating them reduces SLO breaches. It builds a queueing-theoretic MM1 PSQ model, fits end-to-end latency to a gamma(alpha,beta), uses compressive-sensing gradient estimation to project worst-case alpha/beta, and implements Galileo to add rewards and shields to learned controllers. In 250+ hours on real benchmarks Galileo-backed autoscaling cuts violations to 0.05% SLO violations while costing about 20% higher peak CPU.

AI-written summary · about

  1. 0:00Performance robustness intro
  2. 1:00Latency variability challenges
  3. 3:00Why controllers fail
  4. 3:31Performance robustness defined
  5. 4:35Galileo framework intro
  6. 5:17Queuing theory model
  7. 7:43Calibrating performance model
  8. 8:04Worst-case tail latencies
  9. 9:27Gradient estimation
  10. 10:51Validating controller actions
  11. 12:16Evaluating Galileo
  12. 13:00Perks for worst-case bounds
  13. 13:20Galileo reduces SLO violations
  14. 14:23Summary and implications
  15. 14:44Open-source and future
~/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.