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