Home | History | Annotate | Line # | Download | only in npf
npf_state.c revision 1.22.2.1
      1       1.1     rmind /*-
      2       1.8     rmind  * Copyright (c) 2010-2012 The NetBSD Foundation, Inc.
      3       1.1     rmind  * All rights reserved.
      4       1.1     rmind  *
      5       1.1     rmind  * This material is based upon work partially supported by The
      6       1.1     rmind  * NetBSD Foundation under a contract with Mindaugas Rasiukevicius.
      7       1.1     rmind  *
      8       1.1     rmind  * Redistribution and use in source and binary forms, with or without
      9       1.1     rmind  * modification, are permitted provided that the following conditions
     10       1.1     rmind  * are met:
     11       1.1     rmind  * 1. Redistributions of source code must retain the above copyright
     12       1.1     rmind  *    notice, this list of conditions and the following disclaimer.
     13       1.1     rmind  * 2. Redistributions in binary form must reproduce the above copyright
     14       1.1     rmind  *    notice, this list of conditions and the following disclaimer in the
     15       1.1     rmind  *    documentation and/or other materials provided with the distribution.
     16       1.1     rmind  *
     17       1.1     rmind  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     18       1.1     rmind  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     19       1.1     rmind  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     20       1.1     rmind  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     21       1.1     rmind  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     22       1.1     rmind  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     23       1.1     rmind  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     24       1.1     rmind  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     25       1.1     rmind  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     26       1.1     rmind  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     27       1.1     rmind  * POSSIBILITY OF SUCH DAMAGE.
     28       1.1     rmind  */
     29       1.1     rmind 
     30       1.1     rmind /*
     31      1.16     rmind  * NPF state engine to track connection.
     32       1.1     rmind  */
     33       1.1     rmind 
     34      1.18  christos #ifdef _KERNEL
     35       1.1     rmind #include <sys/cdefs.h>
     36  1.22.2.1    martin __KERNEL_RCSID(0, "$NetBSD: npf_state.c,v 1.22.2.1 2020/06/20 15:46:47 martin Exp $");
     37       1.1     rmind 
     38       1.1     rmind #include <sys/param.h>
     39       1.1     rmind #include <sys/systm.h>
     40       1.1     rmind #include <sys/mutex.h>
     41      1.18  christos #endif
     42       1.1     rmind 
     43       1.1     rmind #include "npf_impl.h"
     44       1.1     rmind 
     45       1.6     rmind /*
     46      1.16     rmind  * Generic connection states and timeout table.
     47       1.6     rmind  *
     48      1.13     rmind  * Note: used for connection-less protocols.
     49       1.6     rmind  */
     50       1.6     rmind 
     51      1.16     rmind #define	NPF_ANY_CONN_CLOSED		0
     52      1.16     rmind #define	NPF_ANY_CONN_NEW		1
     53      1.16     rmind #define	NPF_ANY_CONN_ESTABLISHED	2
     54      1.16     rmind #define	NPF_ANY_CONN_NSTATES		3
     55      1.16     rmind 
     56      1.22     rmind /*
     57      1.22     rmind  * Parameters.
     58      1.22     rmind  */
     59      1.22     rmind typedef struct {
     60      1.22     rmind 	int		timeouts[NPF_ANY_CONN_NSTATES];
     61  1.22.2.1    martin 	int		gre_timeout;
     62      1.22     rmind } npf_state_params_t;
     63      1.22     rmind 
     64      1.22     rmind /*
     65      1.22     rmind  * Generic FSM.
     66      1.22     rmind  */
     67      1.16     rmind static const uint8_t npf_generic_fsm[NPF_ANY_CONN_NSTATES][2] = {
     68      1.16     rmind 	[NPF_ANY_CONN_CLOSED] = {
     69      1.16     rmind 		[NPF_FLOW_FORW]		= NPF_ANY_CONN_NEW,
     70       1.6     rmind 	},
     71      1.16     rmind 	[NPF_ANY_CONN_NEW] = {
     72      1.16     rmind 		[NPF_FLOW_FORW]		= NPF_ANY_CONN_NEW,
     73      1.16     rmind 		[NPF_FLOW_BACK]		= NPF_ANY_CONN_ESTABLISHED,
     74       1.6     rmind 	},
     75      1.16     rmind 	[NPF_ANY_CONN_ESTABLISHED] = {
     76      1.16     rmind 		[NPF_FLOW_FORW]		= NPF_ANY_CONN_ESTABLISHED,
     77      1.16     rmind 		[NPF_FLOW_BACK]		= NPF_ANY_CONN_ESTABLISHED,
     78       1.6     rmind 	},
     79       1.3     rmind };
     80       1.1     rmind 
     81       1.8     rmind /*
     82      1.12     rmind  * State sampler for debugging.
     83      1.12     rmind  */
     84      1.21  christos #if defined(_NPF_TESTING)
     85      1.12     rmind static void (*npf_state_sample)(npf_state_t *, bool) = NULL;
     86      1.12     rmind #define	NPF_STATE_SAMPLE(n, r) if (npf_state_sample) (*npf_state_sample)(n, r);
     87      1.12     rmind #else
     88      1.12     rmind #define	NPF_STATE_SAMPLE(n, r)
     89      1.12     rmind #endif
     90      1.12     rmind 
     91      1.22     rmind void
     92      1.22     rmind npf_state_sysinit(npf_t *npf)
     93      1.22     rmind {
     94      1.22     rmind 	npf_state_params_t *params = npf_param_allocgroup(npf,
     95      1.22     rmind 	    NPF_PARAMS_GENERIC_STATE, sizeof(npf_state_params_t));
     96      1.22     rmind 	npf_param_t param_map[] = {
     97      1.22     rmind 		/*
     98      1.22     rmind 		 * Generic timeout (in seconds).
     99      1.22     rmind 		 */
    100      1.22     rmind 		{
    101      1.22     rmind 			"state.generic.timeout.closed",
    102      1.22     rmind 			&params->timeouts[NPF_ANY_CONN_CLOSED],
    103      1.22     rmind 			.default_val = 0,
    104      1.22     rmind 			.min = 0, .max = INT_MAX
    105      1.22     rmind 		},
    106      1.22     rmind 		{
    107      1.22     rmind 			"state.generic.timeout.new",
    108      1.22     rmind 			&params->timeouts[NPF_ANY_CONN_NEW],
    109      1.22     rmind 			.default_val = 30,
    110      1.22     rmind 			.min = 0, .max = INT_MAX
    111      1.22     rmind 		},
    112      1.22     rmind 		{
    113      1.22     rmind 			"state.generic.timeout.established",
    114      1.22     rmind 			&params->timeouts[NPF_ANY_CONN_ESTABLISHED],
    115      1.22     rmind 			.default_val = 60,
    116      1.22     rmind 			.min = 0, .max = INT_MAX
    117      1.22     rmind 		},
    118  1.22.2.1    martin 		{
    119  1.22.2.1    martin 			"state.generic.timeout.gre",
    120  1.22.2.1    martin 			&params->gre_timeout,
    121  1.22.2.1    martin 			.default_val = 24 * 60 * 60,
    122  1.22.2.1    martin 			.min = 0, .max = INT_MAX
    123  1.22.2.1    martin 		},
    124      1.22     rmind 	};
    125      1.22     rmind 	npf_param_register(npf, param_map, __arraycount(param_map));
    126      1.22     rmind 	npf_state_tcp_sysinit(npf);
    127      1.22     rmind }
    128      1.22     rmind 
    129      1.22     rmind void
    130      1.22     rmind npf_state_sysfini(npf_t *npf)
    131      1.22     rmind {
    132      1.22     rmind 	const size_t len = sizeof(npf_state_params_t);
    133      1.22     rmind 	npf_param_freegroup(npf, NPF_PARAMS_GENERIC_STATE, len);
    134      1.22     rmind 	npf_state_tcp_sysfini(npf);
    135      1.22     rmind }
    136      1.22     rmind 
    137      1.12     rmind /*
    138       1.8     rmind  * npf_state_init: initialise the state structure.
    139       1.8     rmind  *
    140       1.8     rmind  * Should normally be called on a first packet, which also determines the
    141       1.8     rmind  * direction in a case of connection-orientated protocol.  Returns true on
    142       1.8     rmind  * success and false otherwise (e.g. if protocol is not supported).
    143       1.8     rmind  */
    144       1.1     rmind bool
    145      1.17     rmind npf_state_init(npf_cache_t *npc, npf_state_t *nst)
    146       1.1     rmind {
    147      1.14     rmind 	const int proto = npc->npc_proto;
    148       1.6     rmind 	bool ret;
    149       1.1     rmind 
    150       1.5    zoltan 	KASSERT(npf_iscached(npc, NPC_IP46));
    151       1.5    zoltan 	KASSERT(npf_iscached(npc, NPC_LAYER4));
    152       1.2     rmind 
    153       1.6     rmind 	memset(nst, 0, sizeof(npf_state_t));
    154       1.2     rmind 
    155       1.6     rmind 	switch (proto) {
    156       1.6     rmind 	case IPPROTO_TCP:
    157       1.6     rmind 		/* Pass to TCP state tracking engine. */
    158      1.17     rmind 		ret = npf_state_tcp(npc, nst, NPF_FLOW_FORW);
    159       1.6     rmind 		break;
    160       1.6     rmind 	case IPPROTO_UDP:
    161       1.6     rmind 	case IPPROTO_ICMP:
    162  1.22.2.1    martin 	case IPPROTO_GRE:
    163       1.6     rmind 		/* Generic. */
    164       1.6     rmind 		nst->nst_state = npf_generic_fsm[nst->nst_state][NPF_FLOW_FORW];
    165       1.6     rmind 		ret = true;
    166       1.6     rmind 		break;
    167       1.6     rmind 	default:
    168       1.6     rmind 		ret = false;
    169       1.1     rmind 	}
    170      1.11     rmind 	NPF_STATE_SAMPLE(nst, ret);
    171       1.6     rmind 	return ret;
    172       1.1     rmind }
    173       1.1     rmind 
    174       1.1     rmind void
    175       1.1     rmind npf_state_destroy(npf_state_t *nst)
    176       1.1     rmind {
    177       1.6     rmind 	nst->nst_state = 0;
    178       1.1     rmind }
    179       1.1     rmind 
    180       1.8     rmind /*
    181       1.8     rmind  * npf_state_inspect: inspect the packet according to the protocol state.
    182       1.8     rmind  *
    183       1.8     rmind  * Return true if packet is considered to match the state (e.g. for TCP,
    184       1.8     rmind  * the packet belongs to the tracked connection) and false otherwise.
    185       1.8     rmind  */
    186       1.1     rmind bool
    187  1.22.2.1    martin npf_state_inspect(npf_cache_t *npc, npf_state_t *nst, const npf_flow_t flow)
    188       1.1     rmind {
    189      1.14     rmind 	const int proto = npc->npc_proto;
    190       1.1     rmind 	bool ret;
    191       1.1     rmind 
    192       1.1     rmind 	switch (proto) {
    193       1.1     rmind 	case IPPROTO_TCP:
    194       1.6     rmind 		/* Pass to TCP state tracking engine. */
    195  1.22.2.1    martin 		ret = npf_state_tcp(npc, nst, flow);
    196       1.6     rmind 		break;
    197       1.6     rmind 	case IPPROTO_UDP:
    198       1.6     rmind 	case IPPROTO_ICMP:
    199  1.22.2.1    martin 	case IPPROTO_GRE:
    200       1.6     rmind 		/* Generic. */
    201  1.22.2.1    martin 		nst->nst_state = npf_generic_fsm[nst->nst_state][flow];
    202       1.6     rmind 		ret = true;
    203       1.1     rmind 		break;
    204       1.1     rmind 	default:
    205       1.6     rmind 		ret = false;
    206       1.1     rmind 	}
    207      1.11     rmind 	NPF_STATE_SAMPLE(nst, ret);
    208       1.6     rmind 
    209       1.1     rmind 	return ret;
    210       1.1     rmind }
    211       1.1     rmind 
    212       1.3     rmind /*
    213      1.22     rmind  * npf_state_etime: return the expiration time depending on the state.
    214       1.3     rmind  */
    215       1.1     rmind int
    216      1.22     rmind npf_state_etime(npf_t *npf, const npf_state_t *nst, const int proto)
    217       1.1     rmind {
    218      1.22     rmind 	const npf_state_params_t *params;
    219      1.22     rmind 	const unsigned state = nst->nst_state;
    220       1.6     rmind 	int timeout = 0;
    221       1.1     rmind 
    222       1.6     rmind 	switch (proto) {
    223       1.6     rmind 	case IPPROTO_TCP:
    224       1.6     rmind 		/* Pass to TCP state tracking engine. */
    225      1.22     rmind 		timeout = npf_state_tcp_timeout(npf, nst);
    226       1.6     rmind 		break;
    227       1.6     rmind 	case IPPROTO_UDP:
    228       1.6     rmind 	case IPPROTO_ICMP:
    229       1.6     rmind 		/* Generic. */
    230      1.22     rmind 		params = npf->params[NPF_PARAMS_GENERIC_STATE];
    231      1.22     rmind 		timeout = params->timeouts[state];
    232       1.6     rmind 		break;
    233  1.22.2.1    martin 	case IPPROTO_GRE:
    234  1.22.2.1    martin 		params = npf->params[NPF_PARAMS_GENERIC_STATE];
    235  1.22.2.1    martin 		timeout = params->gre_timeout;
    236  1.22.2.1    martin 		break;
    237       1.6     rmind 	default:
    238       1.6     rmind 		KASSERT(false);
    239       1.1     rmind 	}
    240       1.6     rmind 	return timeout;
    241       1.1     rmind }
    242       1.1     rmind 
    243       1.1     rmind void
    244       1.9     rmind npf_state_dump(const npf_state_t *nst)
    245       1.1     rmind {
    246       1.4      yamt #if defined(DDB) || defined(_NPF_TESTING)
    247       1.9     rmind 	const npf_tcpstate_t *fst = &nst->nst_tcpst[0];
    248       1.9     rmind 	const npf_tcpstate_t *tst = &nst->nst_tcpst[1];
    249       1.1     rmind 
    250       1.1     rmind 	printf("\tstate (%p) %d:\n\t\t"
    251       1.6     rmind 	    "F { end %u maxend %u mwin %u wscale %u }\n\t\t"
    252       1.6     rmind 	    "T { end %u maxend %u mwin %u wscale %u }\n",
    253       1.1     rmind 	    nst, nst->nst_state,
    254       1.6     rmind 	    fst->nst_end, fst->nst_maxend, fst->nst_maxwin, fst->nst_wscale,
    255       1.6     rmind 	    tst->nst_end, tst->nst_maxend, tst->nst_maxwin, tst->nst_wscale
    256       1.1     rmind 	);
    257       1.4      yamt #endif
    258       1.1     rmind }
    259      1.12     rmind 
    260      1.21  christos #if defined(_NPF_TESTING)
    261      1.12     rmind void
    262      1.12     rmind npf_state_setsampler(void (*func)(npf_state_t *, bool))
    263      1.12     rmind {
    264      1.12     rmind 	npf_state_sample = func;
    265      1.12     rmind }
    266      1.12     rmind #endif
    267