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