2023-11-30 03:02:08 +01:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
* Copyright Red Hat
|
|
|
|
* Author: David Gibson <david@gibson.dropbear.id.au>
|
|
|
|
*
|
|
|
|
* Tracking for logical "flows" of packets.
|
|
|
|
*/
|
|
|
|
|
2024-07-18 07:26:41 +02:00
|
|
|
#include <errno.h>
|
2023-11-30 03:02:08 +01:00
|
|
|
#include <stdint.h>
|
2023-12-24 17:56:51 +01:00
|
|
|
#include <stdio.h>
|
2023-11-30 03:02:09 +01:00
|
|
|
#include <unistd.h>
|
2024-07-18 07:26:41 +02:00
|
|
|
#include <sched.h>
|
2023-11-30 03:02:09 +01:00
|
|
|
#include <string.h>
|
2023-11-30 03:02:08 +01:00
|
|
|
|
2023-11-30 03:02:09 +01:00
|
|
|
#include "util.h"
|
2024-03-06 06:58:33 +01:00
|
|
|
#include "ip.h"
|
2023-11-30 03:02:09 +01:00
|
|
|
#include "passt.h"
|
|
|
|
#include "siphash.h"
|
|
|
|
#include "inany.h"
|
2023-11-30 03:02:08 +01:00
|
|
|
#include "flow.h"
|
2023-11-30 03:02:09 +01:00
|
|
|
#include "flow_table.h"
|
2023-11-30 03:02:08 +01:00
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
const char *flow_state_str[] = {
|
|
|
|
[FLOW_STATE_FREE] = "FREE",
|
|
|
|
[FLOW_STATE_NEW] = "NEW",
|
2024-05-21 07:57:07 +02:00
|
|
|
[FLOW_STATE_INI] = "INI",
|
|
|
|
[FLOW_STATE_TGT] = "TGT",
|
2024-05-21 07:57:05 +02:00
|
|
|
[FLOW_STATE_TYPED] = "TYPED",
|
|
|
|
[FLOW_STATE_ACTIVE] = "ACTIVE",
|
|
|
|
};
|
|
|
|
static_assert(ARRAY_SIZE(flow_state_str) == FLOW_NUM_STATES,
|
|
|
|
"flow_state_str[] doesn't match enum flow_state");
|
|
|
|
|
2023-11-30 03:02:08 +01:00
|
|
|
const char *flow_type_str[] = {
|
|
|
|
[FLOW_TYPE_NONE] = "<none>",
|
|
|
|
[FLOW_TCP] = "TCP connection",
|
|
|
|
[FLOW_TCP_SPLICE] = "TCP connection (spliced)",
|
2024-02-29 05:15:32 +01:00
|
|
|
[FLOW_PING4] = "ICMP ping sequence",
|
|
|
|
[FLOW_PING6] = "ICMPv6 ping sequence",
|
2024-07-18 07:26:46 +02:00
|
|
|
[FLOW_UDP] = "UDP flow",
|
2023-11-30 03:02:08 +01:00
|
|
|
};
|
|
|
|
static_assert(ARRAY_SIZE(flow_type_str) == FLOW_NUM_TYPES,
|
|
|
|
"flow_type_str[] doesn't match enum flow_type");
|
2023-11-30 03:02:09 +01:00
|
|
|
|
2024-02-28 12:25:07 +01:00
|
|
|
const uint8_t flow_proto[] = {
|
|
|
|
[FLOW_TCP] = IPPROTO_TCP,
|
|
|
|
[FLOW_TCP_SPLICE] = IPPROTO_TCP,
|
2024-02-29 05:15:32 +01:00
|
|
|
[FLOW_PING4] = IPPROTO_ICMP,
|
|
|
|
[FLOW_PING6] = IPPROTO_ICMPV6,
|
2024-07-18 07:26:46 +02:00
|
|
|
[FLOW_UDP] = IPPROTO_UDP,
|
2024-02-28 12:25:07 +01:00
|
|
|
};
|
|
|
|
static_assert(ARRAY_SIZE(flow_proto) == FLOW_NUM_TYPES,
|
|
|
|
"flow_proto[] doesn't match enum flow_type");
|
|
|
|
|
2023-11-30 03:02:09 +01:00
|
|
|
/* Global Flow Table */
|
2024-01-16 01:50:43 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* DOC: Theory of Operation - allocating and freeing flow entries
|
|
|
|
*
|
|
|
|
* Flows are entries in flowtab[]. We need to routinely scan the whole table to
|
|
|
|
* perform deferred bookkeeping tasks on active entries, and sparse empty slots
|
|
|
|
* waste time and worsen data locality. But, keeping the table fully compact by
|
|
|
|
* moving entries on deletion is fiddly: it requires updating hash tables, and
|
|
|
|
* the epoll references to flows. Instead, we implement the compromise described
|
|
|
|
* below.
|
|
|
|
*
|
|
|
|
* Free clusters
|
|
|
|
* A "free cluster" is a contiguous set of unused (FLOW_TYPE_NONE) entries in
|
|
|
|
* flowtab[]. The first entry in each cluster contains metadata ('free'
|
|
|
|
* field in union flow), specifically the number of entries in the cluster
|
|
|
|
* (free.n), and the index of the next free cluster (free.next). The entries
|
|
|
|
* in the cluster other than the first should have n == next == 0.
|
|
|
|
*
|
|
|
|
* Free cluster list
|
|
|
|
* flow_first_free gives the index of the first (lowest index) free cluster.
|
|
|
|
* Each free cluster has the index of the next free cluster, or MAX_FLOW if
|
|
|
|
* it is the last free cluster. Together these form a linked list of free
|
|
|
|
* clusters, in strictly increasing order of index.
|
|
|
|
*
|
|
|
|
* Allocating
|
|
|
|
* We always allocate a new flow into the lowest available index, i.e. the
|
|
|
|
* first entry of the first free cluster, that is, at index flow_first_free.
|
|
|
|
* We update flow_first_free and the free cluster to maintain the invariants
|
|
|
|
* above (so the free cluster list is still in strictly increasing order).
|
|
|
|
*
|
|
|
|
* Freeing
|
|
|
|
* It's not possible to maintain the invariants above if we allow freeing of
|
|
|
|
* any entry at any time. So we only allow freeing in two cases.
|
|
|
|
*
|
|
|
|
* 1) flow_alloc_cancel() will free the most recent allocation. We can
|
|
|
|
* maintain the invariants because we know that allocation was made in the
|
|
|
|
* lowest available slot, and so will become the lowest index free slot again
|
|
|
|
* after cancellation.
|
|
|
|
*
|
|
|
|
* 2) Flows can be freed by returning true from the flow type specific
|
|
|
|
* deferred or timer function. These are called from flow_defer_handler()
|
|
|
|
* which is already scanning the whole table in index order. We can use that
|
|
|
|
* to rebuild the free cluster list correctly, either merging them into
|
|
|
|
* existing free clusters or creating new free clusters in the list for them.
|
|
|
|
*
|
|
|
|
* Scanning the table
|
|
|
|
* Theoretically, scanning the table requires FLOW_MAX iterations. However,
|
|
|
|
* when we encounter the start of a free cluster, we can immediately skip
|
|
|
|
* past it, meaning that in practice we only need (number of active
|
|
|
|
* connections) + (number of free clusters) iterations.
|
|
|
|
*/
|
|
|
|
|
|
|
|
unsigned flow_first_free;
|
2023-11-30 03:02:09 +01:00
|
|
|
union flow flowtab[FLOW_MAX];
|
2024-05-21 07:57:05 +02:00
|
|
|
static const union flow *flow_new_entry; /* = NULL */
|
2023-11-30 03:02:12 +01:00
|
|
|
|
2024-07-18 07:26:35 +02:00
|
|
|
/* Hash table to index it */
|
|
|
|
#define FLOW_HASH_LOAD 70 /* % */
|
|
|
|
#define FLOW_HASH_SIZE ((2 * FLOW_MAX * 100 / FLOW_HASH_LOAD))
|
|
|
|
|
|
|
|
/* Table for lookup from flowside information */
|
|
|
|
static flow_sidx_t flow_hashtab[FLOW_HASH_SIZE];
|
|
|
|
|
|
|
|
static_assert(ARRAY_SIZE(flow_hashtab) >= 2 * FLOW_MAX,
|
|
|
|
"Safe linear probing requires hash table with more entries than the number of sides in the flow table");
|
|
|
|
|
2024-01-16 01:50:36 +01:00
|
|
|
/* Last time the flow timers ran */
|
|
|
|
static struct timespec flow_timer_run;
|
|
|
|
|
2024-07-18 07:26:27 +02:00
|
|
|
/** flowside_from_af() - Initialise flowside from addresses
|
|
|
|
* @side: flowside to initialise
|
|
|
|
* @af: Address family (AF_INET or AF_INET6)
|
|
|
|
* @eaddr: Endpoint address (pointer to in_addr or in6_addr)
|
|
|
|
* @eport: Endpoint port
|
2024-08-21 06:19:57 +02:00
|
|
|
* @oaddr: Our address (pointer to in_addr or in6_addr)
|
|
|
|
* @oport: Our port
|
2024-07-18 07:26:27 +02:00
|
|
|
*/
|
2024-07-18 07:26:35 +02:00
|
|
|
static void flowside_from_af(struct flowside *side, sa_family_t af,
|
|
|
|
const void *eaddr, in_port_t eport,
|
2024-08-21 06:19:57 +02:00
|
|
|
const void *oaddr, in_port_t oport)
|
2024-07-18 07:26:27 +02:00
|
|
|
{
|
2024-08-21 06:19:57 +02:00
|
|
|
if (oaddr)
|
|
|
|
inany_from_af(&side->oaddr, af, oaddr);
|
2024-07-18 07:26:27 +02:00
|
|
|
else
|
2024-08-21 06:19:57 +02:00
|
|
|
side->oaddr = inany_any6;
|
|
|
|
side->oport = oport;
|
2024-07-18 07:26:27 +02:00
|
|
|
|
|
|
|
if (eaddr)
|
|
|
|
inany_from_af(&side->eaddr, af, eaddr);
|
|
|
|
else
|
|
|
|
side->eaddr = inany_any6;
|
|
|
|
side->eport = eport;
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:41 +02:00
|
|
|
/**
|
|
|
|
* struct flowside_sock_args - Parameters for flowside_sock_splice()
|
|
|
|
* @c: Execution context
|
|
|
|
* @fd: Filled in with new socket fd
|
|
|
|
* @err: Filled in with errno if something failed
|
|
|
|
* @type: Socket epoll type
|
|
|
|
* @sa: Socket address
|
|
|
|
* @sl: Length of @sa
|
|
|
|
* @data: epoll reference data
|
|
|
|
*/
|
|
|
|
struct flowside_sock_args {
|
|
|
|
const struct ctx *c;
|
|
|
|
int fd;
|
|
|
|
int err;
|
|
|
|
enum epoll_type type;
|
|
|
|
const struct sockaddr *sa;
|
|
|
|
socklen_t sl;
|
|
|
|
const char *path;
|
|
|
|
uint32_t data;
|
|
|
|
};
|
|
|
|
|
|
|
|
/** flowside_sock_splice() - Create and bind socket for PIF_SPLICE based on flowside
|
|
|
|
* @arg: Argument as a struct flowside_sock_args
|
|
|
|
*
|
|
|
|
* Return: 0
|
|
|
|
*/
|
|
|
|
static int flowside_sock_splice(void *arg)
|
|
|
|
{
|
|
|
|
struct flowside_sock_args *a = arg;
|
|
|
|
|
|
|
|
ns_enter(a->c);
|
|
|
|
|
|
|
|
a->fd = sock_l4_sa(a->c, a->type, a->sa, a->sl, NULL,
|
|
|
|
a->sa->sa_family == AF_INET6, a->data);
|
|
|
|
a->err = errno;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/** flowside_sock_l4() - Create and bind socket based on flowside
|
|
|
|
* @c: Execution context
|
|
|
|
* @type: Socket epoll type
|
|
|
|
* @pif: Interface for this socket
|
|
|
|
* @tgt: Target flowside
|
|
|
|
* @data: epoll reference portion for protocol handlers
|
|
|
|
*
|
2024-08-21 06:19:57 +02:00
|
|
|
* Return: socket fd of protocol @proto bound to our address and port from @tgt
|
|
|
|
* (if specified).
|
2024-07-18 07:26:41 +02:00
|
|
|
*/
|
|
|
|
int flowside_sock_l4(const struct ctx *c, enum epoll_type type, uint8_t pif,
|
|
|
|
const struct flowside *tgt, uint32_t data)
|
|
|
|
{
|
|
|
|
const char *ifname = NULL;
|
|
|
|
union sockaddr_inany sa;
|
|
|
|
socklen_t sl;
|
|
|
|
|
|
|
|
ASSERT(pif_is_socket(pif));
|
|
|
|
|
2024-08-21 06:19:57 +02:00
|
|
|
pif_sockaddr(c, &sa, &sl, pif, &tgt->oaddr, tgt->oport);
|
2024-07-18 07:26:41 +02:00
|
|
|
|
|
|
|
switch (pif) {
|
|
|
|
case PIF_HOST:
|
2024-08-21 06:19:57 +02:00
|
|
|
if (inany_is_loopback(&tgt->oaddr))
|
2024-07-18 07:26:41 +02:00
|
|
|
ifname = NULL;
|
|
|
|
else if (sa.sa_family == AF_INET)
|
|
|
|
ifname = c->ip4.ifname_out;
|
|
|
|
else if (sa.sa_family == AF_INET6)
|
|
|
|
ifname = c->ip6.ifname_out;
|
|
|
|
|
|
|
|
return sock_l4_sa(c, type, &sa, sl, ifname,
|
|
|
|
sa.sa_family == AF_INET6, data);
|
|
|
|
|
|
|
|
case PIF_SPLICE: {
|
|
|
|
struct flowside_sock_args args = {
|
|
|
|
.c = c, .type = type,
|
|
|
|
.sa = &sa.sa, .sl = sl, .data = data,
|
|
|
|
};
|
|
|
|
NS_CALL(flowside_sock_splice, &args);
|
|
|
|
errno = args.err;
|
|
|
|
return args.fd;
|
|
|
|
}
|
|
|
|
|
|
|
|
default:
|
|
|
|
/* If we add new socket pifs, they'll need to be implemented
|
|
|
|
* here
|
|
|
|
*/
|
|
|
|
ASSERT(0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:47 +02:00
|
|
|
/** flowside_connect() - Connect a socket based on flowside
|
|
|
|
* @c: Execution context
|
|
|
|
* @s: Socket to connect
|
|
|
|
* @pif: Target pif
|
|
|
|
* @tgt: Target flowside
|
|
|
|
*
|
|
|
|
* Connect @s to the endpoint address and port from @tgt.
|
|
|
|
*
|
|
|
|
* Return: 0 on success, negative on error
|
|
|
|
*/
|
|
|
|
int flowside_connect(const struct ctx *c, int s,
|
|
|
|
uint8_t pif, const struct flowside *tgt)
|
|
|
|
{
|
|
|
|
union sockaddr_inany sa;
|
|
|
|
socklen_t sl;
|
|
|
|
|
|
|
|
pif_sockaddr(c, &sa, &sl, pif, &tgt->eaddr, tgt->eport);
|
|
|
|
return connect(s, &sa.sa, sl);
|
|
|
|
}
|
|
|
|
|
2024-01-16 01:50:39 +01:00
|
|
|
/** flow_log_ - Log flow-related message
|
|
|
|
* @f: flow the message is related to
|
|
|
|
* @pri: Log priority
|
|
|
|
* @fmt: Format string
|
|
|
|
* @...: printf-arguments
|
|
|
|
*/
|
|
|
|
void flow_log_(const struct flow_common *f, int pri, const char *fmt, ...)
|
|
|
|
{
|
2024-05-21 07:57:05 +02:00
|
|
|
const char *type_or_state;
|
2024-01-16 01:50:39 +01:00
|
|
|
char msg[BUFSIZ];
|
|
|
|
va_list args;
|
|
|
|
|
|
|
|
va_start(args, fmt);
|
|
|
|
(void)vsnprintf(msg, sizeof(msg), fmt, args);
|
|
|
|
va_end(args);
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
/* Show type if it's set, otherwise the state */
|
|
|
|
if (f->state < FLOW_STATE_TYPED)
|
|
|
|
type_or_state = FLOW_STATE(f);
|
|
|
|
else
|
|
|
|
type_or_state = FLOW_TYPE(f);
|
|
|
|
|
2024-08-12 10:20:34 +02:00
|
|
|
logmsg(true, false, pri,
|
|
|
|
"Flow %u (%s): %s", flow_idx(f), type_or_state, msg);
|
2024-05-21 07:57:05 +02:00
|
|
|
}
|
|
|
|
|
2024-09-06 07:17:07 +02:00
|
|
|
/** flow_log_details_() - Log the details of a flow
|
|
|
|
* @f: flow to log
|
|
|
|
* @pri: Log priority
|
|
|
|
* @state: State to log details according to
|
|
|
|
*
|
|
|
|
* Logs the details of the flow: endpoints, interfaces, type etc.
|
2024-05-21 07:57:05 +02:00
|
|
|
*/
|
2024-09-06 07:17:07 +02:00
|
|
|
void flow_log_details_(const struct flow_common *f, int pri,
|
|
|
|
enum flow_state state)
|
2024-05-21 07:57:05 +02:00
|
|
|
{
|
2024-07-18 07:26:28 +02:00
|
|
|
char estr0[INANY_ADDRSTRLEN], fstr0[INANY_ADDRSTRLEN];
|
|
|
|
char estr1[INANY_ADDRSTRLEN], fstr1[INANY_ADDRSTRLEN];
|
2024-07-18 07:26:27 +02:00
|
|
|
const struct flowside *ini = &f->side[INISIDE];
|
2024-07-18 07:26:28 +02:00
|
|
|
const struct flowside *tgt = &f->side[TGTSIDE];
|
2024-05-21 07:57:05 +02:00
|
|
|
|
2024-09-06 07:17:07 +02:00
|
|
|
if (state >= FLOW_STATE_TGT)
|
|
|
|
flow_log_(f, pri,
|
2024-07-18 07:26:28 +02:00
|
|
|
"%s [%s]:%hu -> [%s]:%hu => %s [%s]:%hu -> [%s]:%hu",
|
2024-07-18 07:26:27 +02:00
|
|
|
pif_name(f->pif[INISIDE]),
|
2024-07-18 07:26:28 +02:00
|
|
|
inany_ntop(&ini->eaddr, estr0, sizeof(estr0)),
|
2024-07-18 07:26:27 +02:00
|
|
|
ini->eport,
|
2024-08-21 06:19:57 +02:00
|
|
|
inany_ntop(&ini->oaddr, fstr0, sizeof(fstr0)),
|
|
|
|
ini->oport,
|
2024-07-18 07:26:28 +02:00
|
|
|
pif_name(f->pif[TGTSIDE]),
|
2024-08-21 06:19:57 +02:00
|
|
|
inany_ntop(&tgt->oaddr, fstr1, sizeof(fstr1)),
|
|
|
|
tgt->oport,
|
2024-07-18 07:26:28 +02:00
|
|
|
inany_ntop(&tgt->eaddr, estr1, sizeof(estr1)),
|
|
|
|
tgt->eport);
|
2024-09-06 07:17:07 +02:00
|
|
|
else if (state >= FLOW_STATE_INI)
|
|
|
|
flow_log_(f, pri, "%s [%s]:%hu -> [%s]:%hu => ?",
|
2024-07-18 07:26:27 +02:00
|
|
|
pif_name(f->pif[INISIDE]),
|
2024-07-18 07:26:28 +02:00
|
|
|
inany_ntop(&ini->eaddr, estr0, sizeof(estr0)),
|
2024-07-18 07:26:27 +02:00
|
|
|
ini->eport,
|
2024-08-21 06:19:57 +02:00
|
|
|
inany_ntop(&ini->oaddr, fstr0, sizeof(fstr0)),
|
|
|
|
ini->oport);
|
2024-05-21 07:57:07 +02:00
|
|
|
}
|
|
|
|
|
2024-09-06 07:17:07 +02:00
|
|
|
/**
|
|
|
|
* flow_set_state() - Change flow's state
|
|
|
|
* @f: Flow changing state
|
|
|
|
* @state: New state
|
|
|
|
*/
|
|
|
|
static void flow_set_state(struct flow_common *f, enum flow_state state)
|
|
|
|
{
|
|
|
|
uint8_t oldstate = f->state;
|
|
|
|
|
|
|
|
ASSERT(state < FLOW_NUM_STATES);
|
|
|
|
ASSERT(oldstate < FLOW_NUM_STATES);
|
|
|
|
|
|
|
|
f->state = state;
|
|
|
|
flow_log_(f, LOG_DEBUG, "%s -> %s", flow_state_str[oldstate],
|
|
|
|
FLOW_STATE(f));
|
|
|
|
|
|
|
|
flow_log_details_(f, LOG_DEBUG, MAX(state, oldstate));
|
|
|
|
}
|
|
|
|
|
2024-05-21 07:57:07 +02:00
|
|
|
/**
|
2024-07-18 07:26:27 +02:00
|
|
|
* flow_initiate_() - Move flow to INI, setting pif[INISIDE]
|
2024-05-21 07:57:07 +02:00
|
|
|
* @flow: Flow to change state
|
|
|
|
* @pif: pif of the initiating side
|
|
|
|
*/
|
2024-07-18 07:26:27 +02:00
|
|
|
static void flow_initiate_(union flow *flow, uint8_t pif)
|
2024-05-21 07:57:07 +02:00
|
|
|
{
|
|
|
|
struct flow_common *f = &flow->f;
|
|
|
|
|
|
|
|
ASSERT(pif != PIF_NONE);
|
|
|
|
ASSERT(flow_new_entry == flow && f->state == FLOW_STATE_NEW);
|
|
|
|
ASSERT(f->type == FLOW_TYPE_NONE);
|
|
|
|
ASSERT(f->pif[INISIDE] == PIF_NONE && f->pif[TGTSIDE] == PIF_NONE);
|
|
|
|
|
|
|
|
f->pif[INISIDE] = pif;
|
|
|
|
flow_set_state(f, FLOW_STATE_INI);
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:27 +02:00
|
|
|
/**
|
|
|
|
* flow_initiate_af() - Move flow to INI, setting INISIDE details
|
|
|
|
* @flow: Flow to change state
|
|
|
|
* @pif: pif of the initiating side
|
2024-08-21 06:19:57 +02:00
|
|
|
* @af: Address family of @saddr and @daddr
|
2024-07-18 07:26:27 +02:00
|
|
|
* @saddr: Source address (pointer to in_addr or in6_addr)
|
|
|
|
* @sport: Endpoint port
|
|
|
|
* @daddr: Destination address (pointer to in_addr or in6_addr)
|
|
|
|
* @dport: Destination port
|
|
|
|
*
|
|
|
|
* Return: pointer to the initiating flowside information
|
|
|
|
*/
|
|
|
|
const struct flowside *flow_initiate_af(union flow *flow, uint8_t pif,
|
|
|
|
sa_family_t af,
|
|
|
|
const void *saddr, in_port_t sport,
|
|
|
|
const void *daddr, in_port_t dport)
|
|
|
|
{
|
|
|
|
struct flowside *ini = &flow->f.side[INISIDE];
|
|
|
|
|
|
|
|
flowside_from_af(ini, af, saddr, sport, daddr, dport);
|
|
|
|
flow_initiate_(flow, pif);
|
|
|
|
return ini;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* flow_initiate_sa() - Move flow to INI, setting INISIDE details
|
|
|
|
* @flow: Flow to change state
|
|
|
|
* @pif: pif of the initiating side
|
|
|
|
* @ssa: Source socket address
|
|
|
|
* @dport: Destination port
|
|
|
|
*
|
|
|
|
* Return: pointer to the initiating flowside information
|
|
|
|
*/
|
|
|
|
const struct flowside *flow_initiate_sa(union flow *flow, uint8_t pif,
|
|
|
|
const union sockaddr_inany *ssa,
|
|
|
|
in_port_t dport)
|
|
|
|
{
|
|
|
|
struct flowside *ini = &flow->f.side[INISIDE];
|
|
|
|
|
|
|
|
inany_from_sockaddr(&ini->eaddr, &ini->eport, ssa);
|
|
|
|
if (inany_v4(&ini->eaddr))
|
2024-08-21 06:19:57 +02:00
|
|
|
ini->oaddr = inany_any4;
|
2024-07-18 07:26:27 +02:00
|
|
|
else
|
2024-08-21 06:19:57 +02:00
|
|
|
ini->oaddr = inany_any6;
|
|
|
|
ini->oport = dport;
|
2024-07-18 07:26:27 +02:00
|
|
|
flow_initiate_(flow, pif);
|
|
|
|
return ini;
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:43 +02:00
|
|
|
/**
|
|
|
|
* flow_target() - Determine where flow should forward to, and move to TGT
|
|
|
|
* @c: Execution context
|
|
|
|
* @flow: Flow to forward
|
|
|
|
* @proto: Protocol
|
|
|
|
*
|
|
|
|
* Return: pointer to the target flowside information
|
|
|
|
*/
|
|
|
|
const struct flowside *flow_target(const struct ctx *c, union flow *flow,
|
|
|
|
uint8_t proto)
|
|
|
|
{
|
|
|
|
char estr[INANY_ADDRSTRLEN], fstr[INANY_ADDRSTRLEN];
|
|
|
|
struct flow_common *f = &flow->f;
|
|
|
|
const struct flowside *ini = &f->side[INISIDE];
|
|
|
|
struct flowside *tgt = &f->side[TGTSIDE];
|
|
|
|
uint8_t tgtpif = PIF_NONE;
|
|
|
|
|
|
|
|
ASSERT(flow_new_entry == flow && f->state == FLOW_STATE_INI);
|
|
|
|
ASSERT(f->type == FLOW_TYPE_NONE);
|
|
|
|
ASSERT(f->pif[INISIDE] != PIF_NONE && f->pif[TGTSIDE] == PIF_NONE);
|
|
|
|
ASSERT(flow->f.state == FLOW_STATE_INI);
|
|
|
|
|
|
|
|
switch (f->pif[INISIDE]) {
|
|
|
|
case PIF_TAP:
|
|
|
|
tgtpif = fwd_nat_from_tap(c, proto, ini, tgt);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case PIF_SPLICE:
|
|
|
|
tgtpif = fwd_nat_from_splice(c, proto, ini, tgt);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case PIF_HOST:
|
|
|
|
tgtpif = fwd_nat_from_host(c, proto, ini, tgt);
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
flow_err(flow, "No rules to forward %s [%s]:%hu -> [%s]:%hu",
|
|
|
|
pif_name(f->pif[INISIDE]),
|
|
|
|
inany_ntop(&ini->eaddr, estr, sizeof(estr)),
|
|
|
|
ini->eport,
|
2024-08-21 06:19:57 +02:00
|
|
|
inany_ntop(&ini->oaddr, fstr, sizeof(fstr)),
|
|
|
|
ini->oport);
|
2024-07-18 07:26:43 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
if (tgtpif == PIF_NONE)
|
|
|
|
return NULL;
|
|
|
|
|
|
|
|
f->pif[TGTSIDE] = tgtpif;
|
|
|
|
flow_set_state(f, FLOW_STATE_TGT);
|
|
|
|
return tgt;
|
|
|
|
}
|
|
|
|
|
2024-02-28 12:25:10 +01:00
|
|
|
/**
|
2024-05-21 07:57:05 +02:00
|
|
|
* flow_set_type() - Set type and move to TYPED
|
|
|
|
* @flow: Flow to change state
|
2024-05-21 07:57:07 +02:00
|
|
|
* @pif: pif of the initiating side
|
2024-02-28 12:25:10 +01:00
|
|
|
*/
|
2024-05-21 07:57:06 +02:00
|
|
|
union flow *flow_set_type(union flow *flow, enum flow_type type)
|
2024-02-28 12:25:10 +01:00
|
|
|
{
|
2024-05-21 07:57:05 +02:00
|
|
|
struct flow_common *f = &flow->f;
|
|
|
|
|
|
|
|
ASSERT(type != FLOW_TYPE_NONE);
|
2024-05-21 07:57:07 +02:00
|
|
|
ASSERT(flow_new_entry == flow && f->state == FLOW_STATE_TGT);
|
2024-05-21 07:57:05 +02:00
|
|
|
ASSERT(f->type == FLOW_TYPE_NONE);
|
2024-05-21 07:57:07 +02:00
|
|
|
ASSERT(f->pif[INISIDE] != PIF_NONE && f->pif[TGTSIDE] != PIF_NONE);
|
2024-05-21 07:57:05 +02:00
|
|
|
|
|
|
|
f->type = type;
|
|
|
|
flow_set_state(f, FLOW_STATE_TYPED);
|
2024-02-28 12:25:10 +01:00
|
|
|
return flow;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2024-05-21 07:57:05 +02:00
|
|
|
* flow_activate() - Move flow to ACTIVE
|
|
|
|
* @f: Flow to change state
|
2024-02-28 12:25:10 +01:00
|
|
|
*/
|
2024-05-21 07:57:05 +02:00
|
|
|
void flow_activate(struct flow_common *f)
|
2024-02-28 12:25:10 +01:00
|
|
|
{
|
2024-05-21 07:57:05 +02:00
|
|
|
ASSERT(&flow_new_entry->f == f && f->state == FLOW_STATE_TYPED);
|
2024-05-21 07:57:07 +02:00
|
|
|
ASSERT(f->pif[INISIDE] != PIF_NONE && f->pif[TGTSIDE] != PIF_NONE);
|
2024-02-28 12:25:10 +01:00
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
flow_set_state(f, FLOW_STATE_ACTIVE);
|
|
|
|
flow_new_entry = NULL;
|
2024-02-28 12:25:10 +01:00
|
|
|
}
|
|
|
|
|
2024-01-16 01:50:41 +01:00
|
|
|
/**
|
|
|
|
* flow_alloc() - Allocate a new flow
|
|
|
|
*
|
|
|
|
* Return: pointer to an unused flow entry, or NULL if the table is full
|
|
|
|
*/
|
|
|
|
union flow *flow_alloc(void)
|
|
|
|
{
|
2024-01-16 01:50:43 +01:00
|
|
|
union flow *flow = &flowtab[flow_first_free];
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
ASSERT(!flow_new_entry);
|
|
|
|
|
2024-01-16 01:50:43 +01:00
|
|
|
if (flow_first_free >= FLOW_MAX)
|
2024-01-16 01:50:41 +01:00
|
|
|
return NULL;
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
ASSERT(flow->f.state == FLOW_STATE_FREE);
|
2024-01-16 01:50:43 +01:00
|
|
|
ASSERT(flow->f.type == FLOW_TYPE_NONE);
|
|
|
|
ASSERT(flow->free.n >= 1);
|
|
|
|
ASSERT(flow_first_free + flow->free.n <= FLOW_MAX);
|
|
|
|
|
|
|
|
if (flow->free.n > 1) {
|
|
|
|
union flow *next;
|
|
|
|
|
|
|
|
/* Use one entry from the cluster */
|
|
|
|
ASSERT(flow_first_free <= FLOW_MAX - 2);
|
|
|
|
next = &flowtab[++flow_first_free];
|
|
|
|
|
|
|
|
ASSERT(FLOW_IDX(next) < FLOW_MAX);
|
|
|
|
ASSERT(next->f.type == FLOW_TYPE_NONE);
|
|
|
|
ASSERT(next->free.n == 0);
|
|
|
|
|
|
|
|
next->free.n = flow->free.n - 1;
|
|
|
|
next->free.next = flow->free.next;
|
|
|
|
} else {
|
|
|
|
/* Use the entire cluster */
|
|
|
|
flow_first_free = flow->free.next;
|
|
|
|
}
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
flow_new_entry = flow;
|
2024-01-16 01:50:43 +01:00
|
|
|
memset(flow, 0, sizeof(*flow));
|
2024-05-21 07:57:05 +02:00
|
|
|
flow_set_state(&flow->f, FLOW_STATE_NEW);
|
|
|
|
|
2024-01-16 01:50:43 +01:00
|
|
|
return flow;
|
2024-01-16 01:50:41 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* flow_alloc_cancel() - Free a newly allocated flow
|
|
|
|
* @flow: Flow to deallocate
|
|
|
|
*
|
|
|
|
* @flow must be the last flow allocated by flow_alloc()
|
|
|
|
*/
|
|
|
|
void flow_alloc_cancel(union flow *flow)
|
|
|
|
{
|
2024-05-21 07:57:05 +02:00
|
|
|
ASSERT(flow_new_entry == flow);
|
|
|
|
ASSERT(flow->f.state == FLOW_STATE_NEW ||
|
2024-05-21 07:57:07 +02:00
|
|
|
flow->f.state == FLOW_STATE_INI ||
|
|
|
|
flow->f.state == FLOW_STATE_TGT ||
|
2024-05-21 07:57:05 +02:00
|
|
|
flow->f.state == FLOW_STATE_TYPED);
|
2024-01-16 01:50:43 +01:00
|
|
|
ASSERT(flow_first_free > FLOW_IDX(flow));
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
flow_set_state(&flow->f, FLOW_STATE_FREE);
|
|
|
|
memset(flow, 0, sizeof(*flow));
|
|
|
|
|
2024-01-16 01:50:43 +01:00
|
|
|
/* Put it back in a length 1 free cluster, don't attempt to fully
|
|
|
|
* reverse flow_alloc()s steps. This will get folded together the next
|
|
|
|
* time flow_defer_handler runs anyway() */
|
|
|
|
flow->free.n = 1;
|
|
|
|
flow->free.next = flow_first_free;
|
|
|
|
flow_first_free = FLOW_IDX(flow);
|
2024-05-21 07:57:05 +02:00
|
|
|
flow_new_entry = NULL;
|
2023-11-30 03:02:12 +01:00
|
|
|
}
|
2023-11-30 03:02:13 +01:00
|
|
|
|
2024-07-18 07:26:34 +02:00
|
|
|
/**
|
|
|
|
* flow_hash() - Calculate hash value for one side of a flow
|
|
|
|
* @c: Execution context
|
|
|
|
* @proto: Protocol of this flow (IP L4 protocol number)
|
|
|
|
* @pif: pif of the side to hash
|
|
|
|
* @side: Flowside (must not have unspecified parts)
|
|
|
|
*
|
|
|
|
* Return: hash value
|
|
|
|
*/
|
2024-07-18 07:26:35 +02:00
|
|
|
static uint64_t flow_hash(const struct ctx *c, uint8_t proto, uint8_t pif,
|
|
|
|
const struct flowside *side)
|
2024-07-18 07:26:34 +02:00
|
|
|
{
|
|
|
|
struct siphash_state state = SIPHASH_INIT(c->hash_secret);
|
|
|
|
|
2024-08-21 06:19:57 +02:00
|
|
|
inany_siphash_feed(&state, &side->oaddr);
|
2024-07-18 07:26:34 +02:00
|
|
|
inany_siphash_feed(&state, &side->eaddr);
|
|
|
|
|
|
|
|
return siphash_final(&state, 38, (uint64_t)proto << 40 |
|
|
|
|
(uint64_t)pif << 32 |
|
2024-08-21 06:19:57 +02:00
|
|
|
(uint64_t)side->oport << 16 |
|
2024-07-18 07:26:34 +02:00
|
|
|
(uint64_t)side->eport);
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:35 +02:00
|
|
|
/**
|
|
|
|
* flow_sidx_hash() - Calculate hash value for given side of a given flow
|
|
|
|
* @c: Execution context
|
|
|
|
* @sidx: Flow & side index to get hash for
|
|
|
|
*
|
|
|
|
* Return: hash value, of the flow & side represented by @sidx
|
|
|
|
*/
|
|
|
|
static uint64_t flow_sidx_hash(const struct ctx *c, flow_sidx_t sidx)
|
|
|
|
{
|
|
|
|
const struct flow_common *f = &flow_at_sidx(sidx)->f;
|
2024-08-14 12:03:33 +02:00
|
|
|
const struct flowside *side = &f->side[sidx.sidei];
|
|
|
|
uint8_t pif = f->pif[sidx.sidei];
|
|
|
|
|
|
|
|
/* For the hash table to work, entries must have complete endpoint
|
|
|
|
* information, and at least a forwarding port.
|
|
|
|
*/
|
|
|
|
ASSERT(pif != PIF_NONE && !inany_is_unspecified(&side->eaddr) &&
|
2024-08-21 06:19:57 +02:00
|
|
|
side->eport != 0 && side->oport != 0);
|
2024-08-14 12:03:33 +02:00
|
|
|
|
|
|
|
return flow_hash(c, FLOW_PROTO(f), pif, side);
|
2024-07-18 07:26:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2024-07-18 07:26:36 +02:00
|
|
|
* flow_hash_probe_() - Find hash bucket for a flow, given hash
|
|
|
|
* @hash: Raw hash value for flow & side
|
2024-07-18 07:26:35 +02:00
|
|
|
* @sidx: Flow and side to find bucket for
|
|
|
|
*
|
|
|
|
* Return: If @sidx is in the hash table, its current bucket, otherwise a
|
|
|
|
* suitable free bucket for it.
|
|
|
|
*/
|
2024-07-18 07:26:36 +02:00
|
|
|
static inline unsigned flow_hash_probe_(uint64_t hash, flow_sidx_t sidx)
|
2024-07-18 07:26:35 +02:00
|
|
|
{
|
2024-07-18 07:26:36 +02:00
|
|
|
unsigned b = hash % FLOW_HASH_SIZE;
|
2024-07-18 07:26:35 +02:00
|
|
|
|
|
|
|
/* Linear probing */
|
|
|
|
while (flow_sidx_valid(flow_hashtab[b]) &&
|
|
|
|
!flow_sidx_eq(flow_hashtab[b], sidx))
|
|
|
|
b = mod_sub(b, 1, FLOW_HASH_SIZE);
|
|
|
|
|
|
|
|
return b;
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:36 +02:00
|
|
|
/**
|
|
|
|
* flow_hash_probe() - Find hash bucket for a flow
|
|
|
|
* @c: Execution context
|
|
|
|
* @sidx: Flow and side to find bucket for
|
|
|
|
*
|
|
|
|
* Return: If @sidx is in the hash table, its current bucket, otherwise a
|
|
|
|
* suitable free bucket for it.
|
|
|
|
*/
|
|
|
|
static inline unsigned flow_hash_probe(const struct ctx *c, flow_sidx_t sidx)
|
|
|
|
{
|
|
|
|
return flow_hash_probe_(flow_sidx_hash(c, sidx), sidx);
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:35 +02:00
|
|
|
/**
|
|
|
|
* flow_hash_insert() - Insert side of a flow into into hash table
|
|
|
|
* @c: Execution context
|
|
|
|
* @sidx: Flow & side index
|
2024-07-18 07:26:36 +02:00
|
|
|
*
|
|
|
|
* Return: raw (un-modded) hash value of side of flow
|
2024-07-18 07:26:35 +02:00
|
|
|
*/
|
2024-07-18 07:26:36 +02:00
|
|
|
uint64_t flow_hash_insert(const struct ctx *c, flow_sidx_t sidx)
|
2024-07-18 07:26:35 +02:00
|
|
|
{
|
2024-07-18 07:26:36 +02:00
|
|
|
uint64_t hash = flow_sidx_hash(c, sidx);
|
|
|
|
unsigned b = flow_hash_probe_(hash, sidx);
|
2024-07-18 07:26:35 +02:00
|
|
|
|
|
|
|
flow_hashtab[b] = sidx;
|
|
|
|
flow_dbg(flow_at_sidx(sidx), "Side %u hash table insert: bucket: %u",
|
|
|
|
sidx.sidei, b);
|
2024-07-18 07:26:36 +02:00
|
|
|
|
|
|
|
return hash;
|
2024-07-18 07:26:35 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* flow_hash_remove() - Drop side of a flow from the hash table
|
|
|
|
* @c: Execution context
|
|
|
|
* @sidx: Side of flow to remove
|
|
|
|
*/
|
|
|
|
void flow_hash_remove(const struct ctx *c, flow_sidx_t sidx)
|
|
|
|
{
|
|
|
|
unsigned b = flow_hash_probe(c, sidx), s;
|
|
|
|
|
|
|
|
if (!flow_sidx_valid(flow_hashtab[b]))
|
|
|
|
return; /* Redundant remove */
|
|
|
|
|
|
|
|
flow_dbg(flow_at_sidx(sidx), "Side %u hash table remove: bucket: %u",
|
|
|
|
sidx.sidei, b);
|
|
|
|
|
|
|
|
/* Scan the remainder of the cluster */
|
|
|
|
for (s = mod_sub(b, 1, FLOW_HASH_SIZE);
|
|
|
|
flow_sidx_valid(flow_hashtab[s]);
|
|
|
|
s = mod_sub(s, 1, FLOW_HASH_SIZE)) {
|
|
|
|
unsigned h = flow_sidx_hash(c, flow_hashtab[s]) % FLOW_HASH_SIZE;
|
|
|
|
|
|
|
|
if (!mod_between(h, s, b, FLOW_HASH_SIZE)) {
|
|
|
|
/* flow_hashtab[s] can live in flow_hashtab[b]'s slot */
|
|
|
|
debug("hash table remove: shuffle %u -> %u", s, b);
|
|
|
|
flow_hashtab[b] = flow_hashtab[s];
|
|
|
|
b = s;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
flow_hashtab[b] = FLOW_SIDX_NONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* flowside_lookup() - Look for a matching flowside in the flow table
|
|
|
|
* @c: Execution context
|
|
|
|
* @proto: Protocol of the flow (IP L4 protocol number)
|
|
|
|
* @pif: pif to look for in the table
|
|
|
|
* @side: Flowside to look for in the table
|
|
|
|
*
|
|
|
|
* Return: sidx of the matching flow & side, FLOW_SIDX_NONE if not found
|
|
|
|
*/
|
|
|
|
static flow_sidx_t flowside_lookup(const struct ctx *c, uint8_t proto,
|
|
|
|
uint8_t pif, const struct flowside *side)
|
|
|
|
{
|
|
|
|
flow_sidx_t sidx;
|
|
|
|
union flow *flow;
|
|
|
|
unsigned b;
|
|
|
|
|
|
|
|
b = flow_hash(c, proto, pif, side) % FLOW_HASH_SIZE;
|
|
|
|
while ((sidx = flow_hashtab[b], flow = flow_at_sidx(sidx)) &&
|
|
|
|
!(FLOW_PROTO(&flow->f) == proto &&
|
|
|
|
flow->f.pif[sidx.sidei] == pif &&
|
|
|
|
flowside_eq(&flow->f.side[sidx.sidei], side)))
|
2024-09-06 07:17:05 +02:00
|
|
|
b = mod_sub(b, 1, FLOW_HASH_SIZE);
|
2024-07-18 07:26:35 +02:00
|
|
|
|
|
|
|
return flow_hashtab[b];
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* flow_lookup_af() - Look up a flow given addressing information
|
|
|
|
* @c: Execution context
|
|
|
|
* @proto: Protocol of the flow (IP L4 protocol number)
|
|
|
|
* @pif: Interface of the flow
|
|
|
|
* @af: Address family, AF_INET or AF_INET6
|
|
|
|
* @eaddr: Guest side endpoint address (guest local address)
|
2024-08-21 06:19:57 +02:00
|
|
|
* @oaddr: Our guest side address (guest remote address)
|
2024-07-18 07:26:35 +02:00
|
|
|
* @eport: Guest side endpoint port (guest local port)
|
2024-08-21 06:19:57 +02:00
|
|
|
* @oport: Our guest side port (guest remote port)
|
2024-07-18 07:26:35 +02:00
|
|
|
*
|
|
|
|
* Return: sidx of the matching flow & side, FLOW_SIDX_NONE if not found
|
|
|
|
*/
|
|
|
|
flow_sidx_t flow_lookup_af(const struct ctx *c,
|
|
|
|
uint8_t proto, uint8_t pif, sa_family_t af,
|
2024-08-21 06:19:57 +02:00
|
|
|
const void *eaddr, const void *oaddr,
|
|
|
|
in_port_t eport, in_port_t oport)
|
2024-07-18 07:26:35 +02:00
|
|
|
{
|
|
|
|
struct flowside side;
|
|
|
|
|
2024-08-21 06:19:57 +02:00
|
|
|
flowside_from_af(&side, af, eaddr, eport, oaddr, oport);
|
2024-07-18 07:26:35 +02:00
|
|
|
return flowside_lookup(c, proto, pif, &side);
|
|
|
|
}
|
|
|
|
|
2024-07-18 07:26:46 +02:00
|
|
|
/**
|
|
|
|
* flow_lookup_sa() - Look up a flow given an endpoint socket address
|
|
|
|
* @c: Execution context
|
|
|
|
* @proto: Protocol of the flow (IP L4 protocol number)
|
|
|
|
* @pif: Interface of the flow
|
|
|
|
* @esa: Socket address of the endpoint
|
2024-08-21 06:19:57 +02:00
|
|
|
* @oport: Our port number
|
2024-07-18 07:26:46 +02:00
|
|
|
*
|
|
|
|
* Return: sidx of the matching flow & side, FLOW_SIDX_NONE if not found
|
|
|
|
*/
|
|
|
|
flow_sidx_t flow_lookup_sa(const struct ctx *c, uint8_t proto, uint8_t pif,
|
2024-08-21 06:19:57 +02:00
|
|
|
const void *esa, in_port_t oport)
|
2024-07-18 07:26:46 +02:00
|
|
|
{
|
|
|
|
struct flowside side = {
|
2024-08-21 06:19:57 +02:00
|
|
|
.oport = oport,
|
2024-07-18 07:26:46 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
inany_from_sockaddr(&side.eaddr, &side.eport, esa);
|
|
|
|
if (inany_v4(&side.eaddr))
|
2024-08-21 06:19:57 +02:00
|
|
|
side.oaddr = inany_any4;
|
2024-07-18 07:26:46 +02:00
|
|
|
else
|
2024-08-21 06:19:57 +02:00
|
|
|
side.oaddr = inany_any6;
|
2024-07-18 07:26:46 +02:00
|
|
|
|
|
|
|
return flowside_lookup(c, proto, pif, &side);
|
|
|
|
}
|
|
|
|
|
2024-01-16 01:50:35 +01:00
|
|
|
/**
|
2024-01-16 01:50:36 +01:00
|
|
|
* flow_defer_handler() - Handler for per-flow deferred and timed tasks
|
2024-01-16 01:50:35 +01:00
|
|
|
* @c: Execution context
|
2024-01-16 01:50:36 +01:00
|
|
|
* @now: Current timestamp
|
2024-01-16 01:50:35 +01:00
|
|
|
*/
|
2024-01-16 01:50:40 +01:00
|
|
|
void flow_defer_handler(const struct ctx *c, const struct timespec *now)
|
2024-01-16 01:50:35 +01:00
|
|
|
{
|
2024-01-16 01:50:43 +01:00
|
|
|
struct flow_free_cluster *free_head = NULL;
|
|
|
|
unsigned *last_next = &flow_first_free;
|
2024-01-16 01:50:36 +01:00
|
|
|
bool timer = false;
|
2024-01-16 01:50:43 +01:00
|
|
|
unsigned idx;
|
2024-01-16 01:50:35 +01:00
|
|
|
|
2024-01-16 01:50:36 +01:00
|
|
|
if (timespec_diff_ms(now, &flow_timer_run) >= FLOW_TIMER_INTERVAL) {
|
|
|
|
timer = true;
|
|
|
|
flow_timer_run = *now;
|
|
|
|
}
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
ASSERT(!flow_new_entry); /* Incomplete flow at end of cycle */
|
|
|
|
|
2024-01-16 01:50:43 +01:00
|
|
|
for (idx = 0; idx < FLOW_MAX; idx++) {
|
|
|
|
union flow *flow = &flowtab[idx];
|
2024-01-16 01:50:42 +01:00
|
|
|
bool closed = false;
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
switch (flow->f.state) {
|
|
|
|
case FLOW_STATE_FREE: {
|
2024-01-16 01:50:43 +01:00
|
|
|
unsigned skip = flow->free.n;
|
|
|
|
|
|
|
|
/* First entry of a free cluster must have n >= 1 */
|
|
|
|
ASSERT(skip);
|
|
|
|
|
|
|
|
if (free_head) {
|
|
|
|
/* Merge into preceding free cluster */
|
|
|
|
free_head->n += flow->free.n;
|
|
|
|
flow->free.n = flow->free.next = 0;
|
|
|
|
} else {
|
|
|
|
/* New free cluster, add to chain */
|
|
|
|
free_head = &flow->free;
|
|
|
|
*last_next = idx;
|
|
|
|
last_next = &free_head->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Skip remaining empty entries */
|
|
|
|
idx += skip - 1;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2024-05-21 07:57:05 +02:00
|
|
|
case FLOW_STATE_NEW:
|
2024-05-21 07:57:07 +02:00
|
|
|
case FLOW_STATE_INI:
|
|
|
|
case FLOW_STATE_TGT:
|
2024-05-21 07:57:05 +02:00
|
|
|
case FLOW_STATE_TYPED:
|
|
|
|
/* Incomplete flow at end of cycle */
|
|
|
|
ASSERT(false);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case FLOW_STATE_ACTIVE:
|
|
|
|
/* Nothing to do */
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
ASSERT(false);
|
|
|
|
}
|
|
|
|
|
2024-01-16 01:50:35 +01:00
|
|
|
switch (flow->f.type) {
|
2024-01-16 01:50:43 +01:00
|
|
|
case FLOW_TYPE_NONE:
|
|
|
|
ASSERT(false);
|
|
|
|
break;
|
2024-01-16 01:50:35 +01:00
|
|
|
case FLOW_TCP:
|
2024-05-21 07:57:03 +02:00
|
|
|
closed = tcp_flow_defer(&flow->tcp);
|
2024-01-16 01:50:35 +01:00
|
|
|
break;
|
|
|
|
case FLOW_TCP_SPLICE:
|
2024-05-21 07:57:03 +02:00
|
|
|
closed = tcp_splice_flow_defer(&flow->tcp_splice);
|
2024-01-16 01:50:42 +01:00
|
|
|
if (!closed && timer)
|
2024-05-21 07:57:03 +02:00
|
|
|
tcp_splice_timer(c, &flow->tcp_splice);
|
2024-01-16 01:50:35 +01:00
|
|
|
break;
|
2024-02-29 05:15:32 +01:00
|
|
|
case FLOW_PING4:
|
|
|
|
case FLOW_PING6:
|
|
|
|
if (timer)
|
2024-05-21 07:57:03 +02:00
|
|
|
closed = icmp_ping_timer(c, &flow->ping, now);
|
2024-02-29 05:15:32 +01:00
|
|
|
break;
|
2024-07-18 07:26:46 +02:00
|
|
|
case FLOW_UDP:
|
2024-09-06 07:17:06 +02:00
|
|
|
closed = udp_flow_defer(&flow->udp);
|
|
|
|
if (!closed && timer)
|
2024-07-18 07:26:46 +02:00
|
|
|
closed = udp_flow_timer(c, &flow->udp, now);
|
|
|
|
break;
|
2024-01-16 01:50:35 +01:00
|
|
|
default:
|
|
|
|
/* Assume other flow types don't need any handling */
|
|
|
|
;
|
|
|
|
}
|
2024-01-16 01:50:42 +01:00
|
|
|
|
2024-01-16 01:50:43 +01:00
|
|
|
if (closed) {
|
2024-05-21 07:57:05 +02:00
|
|
|
flow_set_state(&flow->f, FLOW_STATE_FREE);
|
|
|
|
memset(flow, 0, sizeof(*flow));
|
2024-01-16 01:50:43 +01:00
|
|
|
|
|
|
|
if (free_head) {
|
|
|
|
/* Add slot to current free cluster */
|
|
|
|
ASSERT(idx == FLOW_IDX(free_head) + free_head->n);
|
|
|
|
free_head->n++;
|
|
|
|
flow->free.n = flow->free.next = 0;
|
|
|
|
} else {
|
|
|
|
/* Create new free cluster */
|
|
|
|
free_head = &flow->free;
|
|
|
|
free_head->n = 1;
|
|
|
|
*last_next = idx;
|
|
|
|
last_next = &free_head->next;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
free_head = NULL;
|
|
|
|
}
|
2024-01-16 01:50:35 +01:00
|
|
|
}
|
2024-01-16 01:50:43 +01:00
|
|
|
|
|
|
|
*last_next = FLOW_MAX;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* flow_init() - Initialise flow related data structures
|
|
|
|
*/
|
|
|
|
void flow_init(void)
|
|
|
|
{
|
2024-07-18 07:26:35 +02:00
|
|
|
unsigned b;
|
|
|
|
|
2024-01-16 01:50:43 +01:00
|
|
|
/* Initial state is a single free cluster containing the whole table */
|
|
|
|
flowtab[0].free.n = FLOW_MAX;
|
|
|
|
flowtab[0].free.next = FLOW_MAX;
|
2024-07-18 07:26:35 +02:00
|
|
|
|
|
|
|
for (b = 0; b < FLOW_HASH_SIZE; b++)
|
|
|
|
flow_hashtab[b] = FLOW_SIDX_NONE;
|
2024-01-16 01:50:35 +01:00
|
|
|
}
|