blob: 029a54a0239695894656d99c0342f0ed37b0ce61 [file] [log] [blame]
Vlad Yasevich60c778b2008-01-11 09:57:09 -05001/* SCTP kernel implementation
Linus Torvalds1da177e2005-04-16 15:20:36 -07002 * (C) Copyright IBM Corp. 2001, 2004
3 * Copyright (c) 1999-2000 Cisco, Inc.
4 * Copyright (c) 1999-2001 Motorola, Inc.
5 * Copyright (c) 2001 Intel Corp.
6 *
Vlad Yasevich60c778b2008-01-11 09:57:09 -05007 * This file is part of the SCTP kernel implementation
Linus Torvalds1da177e2005-04-16 15:20:36 -07008 *
9 * These are definitions needed by the state machine.
10 *
Vlad Yasevich60c778b2008-01-11 09:57:09 -050011 * This SCTP implementation is free software;
Linus Torvalds1da177e2005-04-16 15:20:36 -070012 * you can redistribute it and/or modify it under the terms of
13 * the GNU General Public License as published by
14 * the Free Software Foundation; either version 2, or (at your option)
15 * any later version.
16 *
Vlad Yasevich60c778b2008-01-11 09:57:09 -050017 * This SCTP implementation is distributed in the hope that it
Linus Torvalds1da177e2005-04-16 15:20:36 -070018 * will be useful, but WITHOUT ANY WARRANTY; without even the implied
19 * ************************
20 * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
21 * See the GNU General Public License for more details.
22 *
23 * You should have received a copy of the GNU General Public License
24 * along with GNU CC; see the file COPYING. If not, write to
25 * the Free Software Foundation, 59 Temple Place - Suite 330,
26 * Boston, MA 02111-1307, USA.
27 *
28 * Please send any bug reports or fixes you make to the
29 * email addresses:
30 * lksctp developers <lksctp-developers@lists.sourceforge.net>
31 *
32 * Or submit a bug report through the following website:
33 * http://www.sf.net/projects/lksctp
34 *
35 * Written or modified by:
36 * La Monte H.P. Yarroll <piggy@acm.org>
37 * Karl Knutson <karl@athena.chicago.il.us>
38 * Xingang Guo <xingang.guo@intel.com>
39 * Jon Grimm <jgrimm@us.ibm.com>
40 * Dajiang Zhang <dajiang.zhang@nokia.com>
41 * Sridhar Samudrala <sri@us.ibm.com>
42 * Daisy Chang <daisyc@us.ibm.com>
43 * Ardelle Fan <ardelle.fan@intel.com>
44 * Kevin Gao <kevin.gao@intel.com>
45 *
46 * Any bugs reported given to us we will try to fix... any fixes shared will
47 * be incorporated into the next SCTP release.
48 */
49
50#include <linux/types.h>
51#include <linux/compiler.h>
52#include <linux/slab.h>
53#include <linux/in.h>
54#include <net/sctp/command.h>
55#include <net/sctp/sctp.h>
56
57#ifndef __sctp_sm_h__
58#define __sctp_sm_h__
59
60/*
61 * Possible values for the disposition are:
62 */
63typedef enum {
64 SCTP_DISPOSITION_DISCARD, /* No further processing. */
65 SCTP_DISPOSITION_CONSUME, /* Process return values normally. */
66 SCTP_DISPOSITION_NOMEM, /* We ran out of memory--recover. */
67 SCTP_DISPOSITION_DELETE_TCB, /* Close the association. */
68 SCTP_DISPOSITION_ABORT, /* Close the association NOW. */
69 SCTP_DISPOSITION_VIOLATION, /* The peer is misbehaving. */
70 SCTP_DISPOSITION_NOT_IMPL, /* This entry is not implemented. */
71 SCTP_DISPOSITION_ERROR, /* This is plain old user error. */
72 SCTP_DISPOSITION_BUG, /* This is a bug. */
73} sctp_disposition_t;
74
75typedef struct {
76 int name;
77 int action;
78} sctp_sm_command_t;
79
80typedef sctp_disposition_t (sctp_state_fn_t) (const struct sctp_endpoint *,
81 const struct sctp_association *,
82 const sctp_subtype_t type,
83 void *arg,
84 sctp_cmd_seq_t *);
85typedef void (sctp_timer_event_t) (unsigned long);
86typedef struct {
87 sctp_state_fn_t *fn;
88 const char *name;
89} sctp_sm_table_entry_t;
90
91/* A naming convention of "sctp_sf_xxx" applies to all the state functions
92 * currently in use.
93 */
94
95/* Prototypes for generic state functions. */
96sctp_state_fn_t sctp_sf_not_impl;
97sctp_state_fn_t sctp_sf_bug;
98
99/* Prototypes for gener timer state functions. */
100sctp_state_fn_t sctp_sf_timer_ignore;
101
102/* Prototypes for chunk state functions. */
103sctp_state_fn_t sctp_sf_do_9_1_abort;
104sctp_state_fn_t sctp_sf_cookie_wait_abort;
105sctp_state_fn_t sctp_sf_cookie_echoed_abort;
106sctp_state_fn_t sctp_sf_shutdown_pending_abort;
107sctp_state_fn_t sctp_sf_shutdown_sent_abort;
108sctp_state_fn_t sctp_sf_shutdown_ack_sent_abort;
109sctp_state_fn_t sctp_sf_do_5_1B_init;
110sctp_state_fn_t sctp_sf_do_5_1C_ack;
111sctp_state_fn_t sctp_sf_do_5_1D_ce;
112sctp_state_fn_t sctp_sf_do_5_1E_ca;
113sctp_state_fn_t sctp_sf_do_4_C;
114sctp_state_fn_t sctp_sf_eat_data_6_2;
115sctp_state_fn_t sctp_sf_eat_data_fast_4_4;
116sctp_state_fn_t sctp_sf_eat_sack_6_2;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700117sctp_state_fn_t sctp_sf_operr_notify;
Frank Filz3f7a87d2005-06-20 13:14:57 -0700118sctp_state_fn_t sctp_sf_t1_init_timer_expire;
119sctp_state_fn_t sctp_sf_t1_cookie_timer_expire;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120sctp_state_fn_t sctp_sf_t2_timer_expire;
121sctp_state_fn_t sctp_sf_t4_timer_expire;
122sctp_state_fn_t sctp_sf_t5_timer_expire;
123sctp_state_fn_t sctp_sf_sendbeat_8_3;
124sctp_state_fn_t sctp_sf_beat_8_3;
125sctp_state_fn_t sctp_sf_backbeat_8_3;
126sctp_state_fn_t sctp_sf_do_9_2_final;
127sctp_state_fn_t sctp_sf_do_9_2_shutdown;
128sctp_state_fn_t sctp_sf_do_ecn_cwr;
129sctp_state_fn_t sctp_sf_do_ecne;
130sctp_state_fn_t sctp_sf_ootb;
131sctp_state_fn_t sctp_sf_pdiscard;
132sctp_state_fn_t sctp_sf_violation;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700133sctp_state_fn_t sctp_sf_discard_chunk;
134sctp_state_fn_t sctp_sf_do_5_2_1_siminit;
135sctp_state_fn_t sctp_sf_do_5_2_2_dupinit;
Vlad Yasevich610ab732007-01-15 19:18:30 -0800136sctp_state_fn_t sctp_sf_do_5_2_3_initack;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137sctp_state_fn_t sctp_sf_do_5_2_4_dupcook;
138sctp_state_fn_t sctp_sf_unk_chunk;
139sctp_state_fn_t sctp_sf_do_8_5_1_E_sa;
140sctp_state_fn_t sctp_sf_cookie_echoed_err;
141sctp_state_fn_t sctp_sf_do_asconf;
142sctp_state_fn_t sctp_sf_do_asconf_ack;
143sctp_state_fn_t sctp_sf_do_9_2_reshutack;
144sctp_state_fn_t sctp_sf_eat_fwd_tsn;
145sctp_state_fn_t sctp_sf_eat_fwd_tsn_fast;
Vlad Yasevichbbd0d592007-10-03 17:51:34 -0700146sctp_state_fn_t sctp_sf_eat_auth;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147
148/* Prototypes for primitive event state functions. */
149sctp_state_fn_t sctp_sf_do_prm_asoc;
150sctp_state_fn_t sctp_sf_do_prm_send;
151sctp_state_fn_t sctp_sf_do_9_2_prm_shutdown;
152sctp_state_fn_t sctp_sf_cookie_wait_prm_shutdown;
153sctp_state_fn_t sctp_sf_cookie_echoed_prm_shutdown;
154sctp_state_fn_t sctp_sf_do_9_1_prm_abort;
155sctp_state_fn_t sctp_sf_cookie_wait_prm_abort;
156sctp_state_fn_t sctp_sf_cookie_echoed_prm_abort;
157sctp_state_fn_t sctp_sf_shutdown_pending_prm_abort;
158sctp_state_fn_t sctp_sf_shutdown_sent_prm_abort;
159sctp_state_fn_t sctp_sf_shutdown_ack_sent_prm_abort;
160sctp_state_fn_t sctp_sf_error_closed;
161sctp_state_fn_t sctp_sf_error_shutdown;
162sctp_state_fn_t sctp_sf_ignore_primitive;
163sctp_state_fn_t sctp_sf_do_prm_requestheartbeat;
164sctp_state_fn_t sctp_sf_do_prm_asconf;
165
166/* Prototypes for other event state functions. */
167sctp_state_fn_t sctp_sf_do_9_2_start_shutdown;
168sctp_state_fn_t sctp_sf_do_9_2_shutdown_ack;
169sctp_state_fn_t sctp_sf_ignore_other;
170sctp_state_fn_t sctp_sf_cookie_wait_icmp_abort;
171
172/* Prototypes for timeout event state functions. */
173sctp_state_fn_t sctp_sf_do_6_3_3_rtx;
174sctp_state_fn_t sctp_sf_do_6_2_sack;
175sctp_state_fn_t sctp_sf_autoclose_timer_expire;
176
177/* Prototypes for utility support functions. */
178__u8 sctp_get_chunk_type(struct sctp_chunk *chunk);
179const sctp_sm_table_entry_t *sctp_sm_lookup_event(sctp_event_t,
180 sctp_state_t,
181 sctp_subtype_t);
182int sctp_chunk_iif(const struct sctp_chunk *);
183struct sctp_association *sctp_make_temp_asoc(const struct sctp_endpoint *,
184 struct sctp_chunk *,
Al Virodd0fc662005-10-07 07:46:04 +0100185 gfp_t gfp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186__u32 sctp_generate_verification_tag(void);
187void sctp_populate_tie_tags(__u8 *cookie, __u32 curTag, __u32 hisTag);
188
189/* Prototypes for chunk-building functions. */
190struct sctp_chunk *sctp_make_init(const struct sctp_association *,
191 const struct sctp_bind_addr *,
Al Virodd0fc662005-10-07 07:46:04 +0100192 gfp_t gfp, int vparam_len);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700193struct sctp_chunk *sctp_make_init_ack(const struct sctp_association *,
194 const struct sctp_chunk *,
Al Virodd0fc662005-10-07 07:46:04 +0100195 const gfp_t gfp,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196 const int unkparam_len);
197struct sctp_chunk *sctp_make_cookie_echo(const struct sctp_association *,
198 const struct sctp_chunk *);
199struct sctp_chunk *sctp_make_cookie_ack(const struct sctp_association *,
200 const struct sctp_chunk *);
201struct sctp_chunk *sctp_make_cwr(const struct sctp_association *,
202 const __u32 lowest_tsn,
203 const struct sctp_chunk *);
204struct sctp_chunk * sctp_make_datafrag_empty(struct sctp_association *,
205 const struct sctp_sndrcvinfo *sinfo,
206 int len, const __u8 flags,
207 __u16 ssn);
208struct sctp_chunk *sctp_make_ecne(const struct sctp_association *,
209 const __u32);
210struct sctp_chunk *sctp_make_sack(const struct sctp_association *);
211struct sctp_chunk *sctp_make_shutdown(const struct sctp_association *asoc,
212 const struct sctp_chunk *chunk);
213struct sctp_chunk *sctp_make_shutdown_ack(const struct sctp_association *asoc,
214 const struct sctp_chunk *);
215struct sctp_chunk *sctp_make_shutdown_complete(const struct sctp_association *,
216 const struct sctp_chunk *);
Wei Yongjun00f1c2d2007-08-21 15:50:01 +0800217void sctp_init_cause(struct sctp_chunk *, __be16 cause, size_t);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700218struct sctp_chunk *sctp_make_abort(const struct sctp_association *,
219 const struct sctp_chunk *,
220 const size_t hint);
221struct sctp_chunk *sctp_make_abort_no_data(const struct sctp_association *,
222 const struct sctp_chunk *,
223 __u32 tsn);
224struct sctp_chunk *sctp_make_abort_user(const struct sctp_association *,
Sridhar Samudralac164a9b2006-08-22 11:50:39 -0700225 const struct msghdr *, size_t msg_len);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700226struct sctp_chunk *sctp_make_abort_violation(const struct sctp_association *,
227 const struct sctp_chunk *,
228 const __u8 *,
229 const size_t );
Wei Yongjunba016672008-09-30 05:32:24 -0700230struct sctp_chunk *sctp_make_violation_paramlen(const struct sctp_association *,
231 const struct sctp_chunk *,
232 struct sctp_paramhdr *);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233struct sctp_chunk *sctp_make_heartbeat(const struct sctp_association *,
234 const struct sctp_transport *,
235 const void *payload,
236 const size_t paylen);
237struct sctp_chunk *sctp_make_heartbeat_ack(const struct sctp_association *,
238 const struct sctp_chunk *,
239 const void *payload,
240 const size_t paylen);
241struct sctp_chunk *sctp_make_op_error(const struct sctp_association *,
242 const struct sctp_chunk *chunk,
Al Viro63706c52006-11-20 17:00:05 -0800243 __be16 cause_code,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700244 const void *payload,
245 size_t paylen);
246
247struct sctp_chunk *sctp_make_asconf_update_ip(struct sctp_association *,
248 union sctp_addr *,
249 struct sockaddr *,
Al Virodbc16db2006-11-20 17:01:42 -0800250 int, __be16);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251struct sctp_chunk *sctp_make_asconf_set_prim(struct sctp_association *asoc,
252 union sctp_addr *addr);
Wei Yongjun6f4c6182007-09-19 17:19:52 +0800253int sctp_verify_asconf(const struct sctp_association *asoc,
254 struct sctp_paramhdr *param_hdr, void *chunk_end,
255 struct sctp_paramhdr **errp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700256struct sctp_chunk *sctp_process_asconf(struct sctp_association *asoc,
257 struct sctp_chunk *asconf);
258int sctp_process_asconf_ack(struct sctp_association *asoc,
259 struct sctp_chunk *asconf_ack);
260struct sctp_chunk *sctp_make_fwdtsn(const struct sctp_association *asoc,
261 __u32 new_cum_tsn, size_t nstreams,
262 struct sctp_fwdtsn_skip *skiplist);
Vlad Yasevich4cd57c82007-09-16 19:32:45 -0700263struct sctp_chunk *sctp_make_auth(const struct sctp_association *asoc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700264
265void sctp_chunk_assign_tsn(struct sctp_chunk *);
266void sctp_chunk_assign_ssn(struct sctp_chunk *);
267
Linus Torvalds1da177e2005-04-16 15:20:36 -0700268/* Prototypes for statetable processing. */
269
270int sctp_do_sm(sctp_event_t event_type, sctp_subtype_t subtype,
271 sctp_state_t state,
272 struct sctp_endpoint *,
273 struct sctp_association *asoc,
274 void *event_arg,
Al Virodd0fc662005-10-07 07:46:04 +0100275 gfp_t gfp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700276
277/* 2nd level prototypes */
278void sctp_generate_t3_rtx_event(unsigned long peer);
279void sctp_generate_heartbeat_event(unsigned long peer);
280
281void sctp_ootb_pkt_free(struct sctp_packet *);
282
283struct sctp_association *sctp_unpack_cookie(const struct sctp_endpoint *,
284 const struct sctp_association *,
Alexey Dobriyan3182cd82005-07-11 20:57:47 -0700285 struct sctp_chunk *,
Al Virodd0fc662005-10-07 07:46:04 +0100286 gfp_t gfp, int *err,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287 struct sctp_chunk **err_chk_p);
288int sctp_addip_addr_config(struct sctp_association *, sctp_param_t,
289 struct sockaddr_storage*, int);
290
291/* 3rd level prototypes */
292__u32 sctp_generate_tag(const struct sctp_endpoint *);
293__u32 sctp_generate_tsn(const struct sctp_endpoint *);
294
295/* Extern declarations for major data structures. */
296extern sctp_timer_event_t *sctp_timer_events[SCTP_NUM_TIMEOUT_TYPES];
297
298
299/* Get the size of a DATA chunk payload. */
300static inline __u16 sctp_data_size(struct sctp_chunk *chunk)
301{
302 __u16 size;
303
304 size = ntohs(chunk->chunk_hdr->length);
305 size -= sizeof(sctp_data_chunk_t);
306
307 return size;
308}
309
310/* Compare two TSNs */
311
312/* RFC 1982 - Serial Number Arithmetic
313 *
314 * 2. Comparison
315 * Then, s1 is said to be equal to s2 if and only if i1 is equal to i2,
316 * in all other cases, s1 is not equal to s2.
317 *
318 * s1 is said to be less than s2 if, and only if, s1 is not equal to s2,
319 * and
320 *
321 * (i1 < i2 and i2 - i1 < 2^(SERIAL_BITS - 1)) or
322 * (i1 > i2 and i1 - i2 > 2^(SERIAL_BITS - 1))
323 *
324 * s1 is said to be greater than s2 if, and only if, s1 is not equal to
325 * s2, and
326 *
327 * (i1 < i2 and i2 - i1 > 2^(SERIAL_BITS - 1)) or
328 * (i1 > i2 and i1 - i2 < 2^(SERIAL_BITS - 1))
329 */
330
331/*
332 * RFC 2960
333 * 1.6 Serial Number Arithmetic
334 *
335 * Comparisons and arithmetic on TSNs in this document SHOULD use Serial
336 * Number Arithmetic as defined in [RFC1982] where SERIAL_BITS = 32.
337 */
338
339enum {
340 TSN_SIGN_BIT = (1<<31)
341};
342
343static inline int TSN_lt(__u32 s, __u32 t)
344{
345 return (((s) - (t)) & TSN_SIGN_BIT);
346}
347
348static inline int TSN_lte(__u32 s, __u32 t)
349{
350 return (((s) == (t)) || (((s) - (t)) & TSN_SIGN_BIT));
351}
352
353/* Compare two SSNs */
354
355/*
356 * RFC 2960
357 * 1.6 Serial Number Arithmetic
358 *
359 * Comparisons and arithmetic on Stream Sequence Numbers in this document
360 * SHOULD use Serial Number Arithmetic as defined in [RFC1982] where
361 * SERIAL_BITS = 16.
362 */
363enum {
364 SSN_SIGN_BIT = (1<<15)
365};
366
367static inline int SSN_lt(__u16 s, __u16 t)
368{
369 return (((s) - (t)) & SSN_SIGN_BIT);
370}
371
372static inline int SSN_lte(__u16 s, __u16 t)
373{
374 return (((s) == (t)) || (((s) - (t)) & SSN_SIGN_BIT));
375}
376
377/*
378 * ADDIP 3.1.1
379 * The valid range of Serial Number is from 0 to 4294967295 (2**32 - 1). Serial
380 * Numbers wrap back to 0 after reaching 4294967295.
381 */
382enum {
383 ADDIP_SERIAL_SIGN_BIT = (1<<31)
384};
385
386static inline int ADDIP_SERIAL_gte(__u16 s, __u16 t)
387{
388 return (((s) == (t)) || (((t) - (s)) & ADDIP_SERIAL_SIGN_BIT));
389}
390
Linus Torvalds1da177e2005-04-16 15:20:36 -0700391/* Check VTAG of the packet matches the sender's own tag. */
392static inline int
393sctp_vtag_verify(const struct sctp_chunk *chunk,
394 const struct sctp_association *asoc)
395{
396 /* RFC 2960 Sec 8.5 When receiving an SCTP packet, the endpoint
397 * MUST ensure that the value in the Verification Tag field of
398 * the received SCTP packet matches its own Tag. If the received
399 * Verification Tag value does not match the receiver's own
400 * tag value, the receiver shall silently discard the packet...
401 */
402 if (ntohl(chunk->sctp_hdr->vtag) == asoc->c.my_vtag)
403 return 1;
404
405 return 0;
406}
407
Jerome Forissier047a2422005-04-28 11:58:43 -0700408/* Check VTAG of the packet matches the sender's own tag and the T bit is
409 * not set, OR its peer's tag and the T bit is set in the Chunk Flags.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410 */
411static inline int
412sctp_vtag_verify_either(const struct sctp_chunk *chunk,
413 const struct sctp_association *asoc)
414{
Jerome Forissier047a2422005-04-28 11:58:43 -0700415 /* RFC 2960 Section 8.5.1, sctpimpguide Section 2.41
Linus Torvalds1da177e2005-04-16 15:20:36 -0700416 *
Jerome Forissier047a2422005-04-28 11:58:43 -0700417 * B) The receiver of a ABORT MUST accept the packet
418 * if the Verification Tag field of the packet matches its own tag
419 * and the T bit is not set
420 * OR
421 * it is set to its peer's tag and the T bit is set in the Chunk
422 * Flags.
423 * Otherwise, the receiver MUST silently discard the packet
424 * and take no further action.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425 *
Jerome Forissier047a2422005-04-28 11:58:43 -0700426 * C) The receiver of a SHUTDOWN COMPLETE shall accept the packet
427 * if the Verification Tag field of the packet matches its own tag
428 * and the T bit is not set
429 * OR
430 * it is set to its peer's tag and the T bit is set in the Chunk
431 * Flags.
432 * Otherwise, the receiver MUST silently discard the packet
433 * and take no further action. An endpoint MUST ignore the
434 * SHUTDOWN COMPLETE if it is not in the SHUTDOWN-ACK-SENT state.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700435 */
Jerome Forissier047a2422005-04-28 11:58:43 -0700436 if ((!sctp_test_T_bit(chunk) &&
437 (ntohl(chunk->sctp_hdr->vtag) == asoc->c.my_vtag)) ||
438 (sctp_test_T_bit(chunk) &&
439 (ntohl(chunk->sctp_hdr->vtag) == asoc->c.peer_vtag))) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700440 return 1;
441 }
442
443 return 0;
444}
445
446#endif /* __sctp_sm_h__ */