~/talk

HA/TCP: A Reliable and Scalable Framework for TCP Network Functions

Talkat NSDI '25 · 2025-04-28..04-30· [networking, distributed-systems]
name:Haoyu Gu
links:none on file
links:none on file
links:none on file
slides:none on file

Framework guarantees transparent active-active replication of TCP connections by duplicating and ordering packets to a replica and delivering them only when TCP state matches; it switches the replication channel to IP (avoiding TCP-over-TCP) and adds a new stream ID option to eliminate IP fragmentation collisions. Built on FreeBSD 13.1 with FSAC, HA/TCP targets 100 Gbps, migrates a connection in 38 µs, and shows ~0.2% client throughput loss (SOCKS and a WAN accelerator <2% with modest CPU increase).

AI-written summary · about

  1. 0:00HA/TCP framework intro
  2. 1:00Network functions categories
  3. 2:25Design and replication
  4. 3:49Packet queue sync
  5. 5:35Failover handling
  6. 6:41Integration requirements
  7. 7:25Switching replication channel
  8. 8:49Optimizations and fragmentation
  9. 10:12Solving IP collision
  10. 10:56Implementation setup
  11. 12:02Throughput and latency impact
  12. 12:45Prisma vs Kbara comparison
  13. 13:51Failover performance
  14. 14:11Conclusion
~/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.