~/talk

FRCC: Towards Provably Fair and Robust Congestion Control

Talkat NSDI '26 · 2026-05-04..05-06· [networking, distributed-systems]
links:none on file
links:none on file
links:none on file
slides:none on file

Claims that FRCC provably bounds unfairness under jitter by encoding only link fraction (flow count) into congestion signals and separately probing capacity. Implements capacity probes that scale with estimated flow count, uses sustained-delay measurements rather than instantaneous deltas, and proves convergence with dynamical-system analysis plus exhaustive worst-case checks via Z3 SMT solver. Delivers a Linux kernel implementation and experiments showing FRCC prevents BBR-like starvation across synthetic jitter, heterogeneous RTTs, and multi-bottleneck setups.

AI-written summary · about

  1. 0:00FRCC and fairness problem
  2. 1:22BBR starvation on asymmetric delays
  3. 3:10Congestion control via encodings
  4. 6:38Noise causes starvation
  5. 8:44Filtering noise insufficient
  6. 9:49Decoupling capacity and flows
  7. 11:57Link capacity under noise
  8. 14:04FRCC formal guarantees
  9. 15:27Summary 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.