public inbox for passt-dev@passt.top
 help / color / mirror / code / Atom feed
* [PATCH v8 00/27] Unified flow table
@ 2024-07-18  5:26 David Gibson
  2024-07-18  5:26 ` [PATCH v8 01/27] flow: Common address information for initiating side David Gibson
                   ` (27 more replies)
  0 siblings, 28 replies; 30+ messages in thread
From: David Gibson @ 2024-07-18  5:26 UTC (permalink / raw)
  To: Stefano Brivio, passt-dev; +Cc: jmaloy, David Gibson

This is the seventh draft of an implementation of more general
"connection" tracking, as described at:
    https://pad.passt.top/p/NewForwardingModel

This series changes the TCP connection table and hash table into a
more general flow table that can track other protocols as well.  Each
flow uniformly keeps track of all the relevant addresses and ports,
which will allow for more robust control of NAT and port forwarding.

ICMP and UDP are converted to use the new flow table.

This is based on the recent series of UDP flow table preliminaries.

Caveats:
 * We roughly double the size of a connection/flow entry
 * We don't yet record the local address of flows initiated from a
   socket, even in cases where it's bound to a specific address.

Changes since v7:
 * Rebase
 * Fix unintended regression in forwarding logic (we weren't applying
   map_gw logic to DNS packets, if they didn't hit explicit DNS
   forwarding rules).
 * Remove return value from pif_sockaddr(), in turned out not to be
   very useful.
 * More robust discarding of datagrams received between bind() and
   connect() on UDP reply sockets.
 * Avoid the name 'fside' for variables which was confusing in some
   contexts
 * Assorted minor changes based on feedback.

Changes since v6:
 * Complete redesign of the UDP flow handling
 * Rebased (handling the change to bind() probing for local addresses
   was surprisingly fiddly)
 * Replace sockaddr_from_inany() with pif_sockaddr() which can
   correctly handle scope_id for different interfaces, and returns
   whether the address is non-trivial for convenience
 * Preserve specific loopback addresses in forwarding logic

Changes since v5:
 * flowside_from_af() is now static
 * Small fixes to state verification
 * Pass protocol specific types into deferred/timer callbacks
 * No longer require complete forwarding address info for the hash
   table (we won't have it for UDP)
 * Fix bugs with logging of flow addresses
 * Make sure to initialise sin_zero field sockaddr_from_inany
 * Added patch better typing parameters to flow type specific callbacks
 * Terminology change "forwarded side" to "target side"
 * Assorted wording and style tweaks based on Stefano's review
 * Fold introduction of struct flowside and populating the initiating
   side together
 * Manage outbound addresses via the flow table as well
 * Support for UDP
 * Correct type of 'b' in flowside_lookup() (was a signed int)

Changes since v4:
 * flowside_from_af() no longer fills in unspecified addresses when
   passed NULL
 * Split and rename flow hash lookup function
 * Clarified flow state transitions, and enforced where practical
 * Made side 0 always the initiating side of a flow, rather than
   letting the protocol specific code decide
 * Separated pifs from flowside addresses to allow better structure
   packing

Changes since v3:
 * Complex rebase on top of the many things that have happened
   upstream since v2.
 * Assorted other changes.
 * Replace TAPFSIDE() and SOCKFSIDE() macros with local variables.

Changes since v2:
 * Cosmetic fixes based on review
 * Extra doc comments for enum flow_type
 * Rename flowside to flowaddrs which turns out to make more sense in
   light of future changes
 * Fix bug where the socket flowaddrs for tap initiated connections
   wasn't initialised to match the socket address we were using in the
   case of map-gw NAT
 * New flowaddrs_from_sock() helper used in most cases which is cleaner
   and should avoid bugs like the above
 * Using newer centralised workarounds for clang-tidy issue 58992
 * Remove duplicate definition of FLOW_MAX as maximum flow type and
   maximum number of tracked flows
 * Rebased on newer versions of preliminary work (ICMP, flow based
   dispatch and allocation, bind/address cleanups)
 * Unified hash table as well as base flow table
 * Integrated ICMP

Changes since v1:
 * Terminology changes
   - "Endpoint" address/port instead of "correspondent" address/port
   - "flowside" instead of "demiflow"
 * Actually move the connection table to a new flow table structure in
   new files
 * Significant rearrangement of earlier patchs on top of that new
   table, to reduce churn

David Gibson (27):
  flow: Common address information for initiating side
  flow: Common address information for target side
  tcp, flow: Remove redundant information, repack connection structures
  tcp: Obtain guest address from flowside
  tcp: Manage outbound address via flow table
  tcp: Simplify endpoint validation using flowside information
  tcp_splice: Eliminate SPLICE_V6 flag
  tcp, flow: Replace TCP specific hash function with general flow hash
  flow, tcp: Generalise TCP hash table to general flow hash table
  tcp: Re-use flow hash for initial sequence number generation
  icmp: Remove redundant id field from flow table entry
  icmp: Obtain destination addresses from the flowsides
  icmp: Look up ping flows using flow hash
  icmp: Eliminate icmp_id_map
  flow: Helper to create sockets based on flowside
  icmp: Manage outbound socket address via flow table
  flow, tcp: Flow based NAT and port forwarding for TCP
  flow, icmp: Use general flow forwarding rules for ICMP
  fwd: Update flow forwarding logic for UDP
  udp: Create flows for datagrams from originating sockets
  udp: Handle "spliced" datagrams with per-flow sockets
  udp: Remove obsolete splice tracking
  udp: Find or create flows for datagrams from tap interface
  udp: Direct datagrams from host to guest via flow table
  udp: Remove obsolete socket tracking
  udp: Remove rdelta port forwarding maps
  udp: Rename UDP listening sockets

 Makefile       |    4 +-
 conf.c         |   14 +-
 epoll_type.h   |    6 +-
 flow.c         |  483 +++++++++++++++++++++-
 flow.h         |   47 +++
 flow_table.h   |   45 +-
 fwd.c          |  187 ++++++++-
 fwd.h          |    9 +
 icmp.c         |  105 ++---
 icmp_flow.h    |    2 -
 inany.h        |    2 -
 passt.c        |   10 +-
 passt.h        |    5 +-
 pif.c          |   40 ++
 pif.h          |   17 +
 tap.c          |   11 -
 tap.h          |    1 -
 tcp.c          |  522 ++++++-----------------
 tcp_buf.c      |    6 +-
 tcp_conn.h     |   47 +--
 tcp_internal.h |   10 +-
 tcp_splice.c   |   98 +----
 tcp_splice.h   |    5 +-
 udp.c          | 1079 ++++++++++++++++++++----------------------------
 udp.h          |   35 +-
 udp_flow.h     |   27 ++
 util.c         |    9 +-
 util.h         |    3 +
 28 files changed, 1563 insertions(+), 1266 deletions(-)
 create mode 100644 udp_flow.h

-- 
2.45.2


^ permalink raw reply	[flat|nested] 30+ messages in thread

end of thread, other threads:[~2024-07-20  3:37 UTC | newest]

Thread overview: 30+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-07-18  5:26 [PATCH v8 00/27] Unified flow table David Gibson
2024-07-18  5:26 ` [PATCH v8 01/27] flow: Common address information for initiating side David Gibson
2024-07-18  5:26 ` [PATCH v8 02/27] flow: Common address information for target side David Gibson
2024-07-18  5:26 ` [PATCH v8 03/27] tcp, flow: Remove redundant information, repack connection structures David Gibson
2024-07-18  5:26 ` [PATCH v8 04/27] tcp: Obtain guest address from flowside David Gibson
2024-07-18  5:26 ` [PATCH v8 05/27] tcp: Manage outbound address via flow table David Gibson
2024-07-18  5:26 ` [PATCH v8 06/27] tcp: Simplify endpoint validation using flowside information David Gibson
2024-07-18  5:26 ` [PATCH v8 07/27] tcp_splice: Eliminate SPLICE_V6 flag David Gibson
2024-07-18  5:26 ` [PATCH v8 08/27] tcp, flow: Replace TCP specific hash function with general flow hash David Gibson
2024-07-18  5:26 ` [PATCH v8 09/27] flow, tcp: Generalise TCP hash table to general flow hash table David Gibson
2024-07-18  5:26 ` [PATCH v8 10/27] tcp: Re-use flow hash for initial sequence number generation David Gibson
2024-07-18  5:26 ` [PATCH v8 11/27] icmp: Remove redundant id field from flow table entry David Gibson
2024-07-18  5:26 ` [PATCH v8 12/27] icmp: Obtain destination addresses from the flowsides David Gibson
2024-07-18  5:26 ` [PATCH v8 13/27] icmp: Look up ping flows using flow hash David Gibson
2024-07-18  5:26 ` [PATCH v8 14/27] icmp: Eliminate icmp_id_map David Gibson
2024-07-18  5:26 ` [PATCH v8 15/27] flow: Helper to create sockets based on flowside David Gibson
2024-07-18  5:26 ` [PATCH v8 16/27] icmp: Manage outbound socket address via flow table David Gibson
2024-07-18  5:26 ` [PATCH v8 17/27] flow, tcp: Flow based NAT and port forwarding for TCP David Gibson
2024-07-18  5:26 ` [PATCH v8 18/27] flow, icmp: Use general flow forwarding rules for ICMP David Gibson
2024-07-18  5:26 ` [PATCH v8 19/27] fwd: Update flow forwarding logic for UDP David Gibson
2024-07-18  5:26 ` [PATCH v8 20/27] udp: Create flows for datagrams from originating sockets David Gibson
2024-07-18  5:26 ` [PATCH v8 21/27] udp: Handle "spliced" datagrams with per-flow sockets David Gibson
2024-07-18  5:26 ` [PATCH v8 22/27] udp: Remove obsolete splice tracking David Gibson
2024-07-18  5:26 ` [PATCH v8 23/27] udp: Find or create flows for datagrams from tap interface David Gibson
2024-07-18  5:26 ` [PATCH v8 24/27] udp: Direct datagrams from host to guest via flow table David Gibson
2024-07-18  5:26 ` [PATCH v8 25/27] udp: Remove obsolete socket tracking David Gibson
2024-07-18  5:26 ` [PATCH v8 26/27] udp: Remove rdelta port forwarding maps David Gibson
2024-07-18  5:26 ` [PATCH v8 27/27] udp: Rename UDP listening sockets David Gibson
2024-07-19 19:20 ` [PATCH v8 00/27] Unified flow table Stefano Brivio
2024-07-20  3:37   ` David Gibson

Code repositories for project(s) associated with this public inbox

	https://passt.top/passt

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for IMAP folder(s).