~/talk

Towards provably performant congestion control

on YouTube 17m
Talkat 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) · 2024-04-16..04-18· [networking]

speakers

name:Anup Agarwal
links:none on file
name:Venkat Arun
links:none on file
name:Devdeep Ray
links:none on file
name:Ruben Martins
links:none on file
name:Srinivasan Seshan
links:none on file

resources

video:https://youtu.be/xwmMjs_gGM0
slides:none on file

summary

Framework creates a belief set that exhaustively maps observed send/ACK time series to possible bottleneck bandwidth, buffer, and delay states, and uses SMT-based synthesis to generate short, implementable rate-decision programs that come with formal guarantees and proven impossibility results. Results show a concrete loss vs convergence trade-off: tolerating more loss lets algorithms converge in time logarithmic in bandwidth (as BBR-like probes do) versus linear for conservative AIMD, and synthesized CCAs are implemented and validate controlled probing and draining behavior.

AI-written summary · about

chapters (7)

  1. 0:00Introduction
  2. 1:07Traditional congestion control limits
  3. 4:41Belief set representation
  4. 9:20Impossibility results with belief sets
  5. 13:40Synthesizing congestion control algorithms
  6. 14:23Trade-offs in objectives
  7. 16:49Summary

related talks

~/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.