xref: /linux/net/dccp/ackvec.h (revision b3d14bff12a38ad13a174eb0cc83d2ac7169eee4)
1ae31c339SArnaldo Carvalho de Melo #ifndef _ACKVEC_H
2ae31c339SArnaldo Carvalho de Melo #define _ACKVEC_H
3ae31c339SArnaldo Carvalho de Melo /*
4ae31c339SArnaldo Carvalho de Melo  *  net/dccp/ackvec.h
5ae31c339SArnaldo Carvalho de Melo  *
6f17a37c9SGerrit Renker  *  An implementation of Ack Vectors for the DCCP protocol
7f17a37c9SGerrit Renker  *  Copyright (c) 2007 University of Aberdeen, Scotland, UK
8ae31c339SArnaldo Carvalho de Melo  *  Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@mandriva.com>
9ae31c339SArnaldo Carvalho de Melo  *	This program is free software; you can redistribute it and/or modify it
10ae31c339SArnaldo Carvalho de Melo  *	under the terms of the GNU General Public License version 2 as
11ae31c339SArnaldo Carvalho de Melo  *	published by the Free Software Foundation.
12ae31c339SArnaldo Carvalho de Melo  */
13ae31c339SArnaldo Carvalho de Melo 
14b20a9c24SGerrit Renker #include <linux/dccp.h>
15ae31c339SArnaldo Carvalho de Melo #include <linux/compiler.h>
1602bcf28cSAndrea Bittau #include <linux/list.h>
17ae31c339SArnaldo Carvalho de Melo #include <linux/types.h>
18ae31c339SArnaldo Carvalho de Melo 
19f17a37c9SGerrit Renker /*
20f17a37c9SGerrit Renker  * Ack Vector buffer space is static, in multiples of %DCCP_SINGLE_OPT_MAXLEN,
21f17a37c9SGerrit Renker  * the maximum size of a single Ack Vector. Setting %DCCPAV_NUM_ACKVECS to 1
22f17a37c9SGerrit Renker  * will be sufficient for most cases of low Ack Ratios, using a value of 2 gives
23f17a37c9SGerrit Renker  * more headroom if Ack Ratio is higher or when the sender acknowledges slowly.
24*b3d14bffSGerrit Renker  * The maximum value is bounded by the u16 types for indices and functions.
25f17a37c9SGerrit Renker  */
26f17a37c9SGerrit Renker #define DCCPAV_NUM_ACKVECS	2
27f17a37c9SGerrit Renker #define DCCPAV_MAX_ACKVEC_LEN	(DCCP_SINGLE_OPT_MAXLEN * DCCPAV_NUM_ACKVECS)
28ae31c339SArnaldo Carvalho de Melo 
29361a5c1dSGerrit Renker /* Estimated minimum average Ack Vector length - used for updating MPS */
30361a5c1dSGerrit Renker #define DCCPAV_MIN_OPTLEN	16
31361a5c1dSGerrit Renker 
32f17a37c9SGerrit Renker enum dccp_ackvec_states {
33f17a37c9SGerrit Renker 	DCCPAV_RECEIVED =	0x00,
34f17a37c9SGerrit Renker 	DCCPAV_ECN_MARKED =	0x40,
35f17a37c9SGerrit Renker 	DCCPAV_RESERVED =	0x80,
36f17a37c9SGerrit Renker 	DCCPAV_NOT_RECEIVED =	0xC0
37f17a37c9SGerrit Renker };
38f17a37c9SGerrit Renker #define DCCPAV_MAX_RUNLEN	0x3F
39ae31c339SArnaldo Carvalho de Melo 
40f17a37c9SGerrit Renker static inline u8 dccp_ackvec_runlen(const u8 *cell)
41f17a37c9SGerrit Renker {
42f17a37c9SGerrit Renker 	return *cell & DCCPAV_MAX_RUNLEN;
43f17a37c9SGerrit Renker }
44ae31c339SArnaldo Carvalho de Melo 
45f17a37c9SGerrit Renker static inline u8 dccp_ackvec_state(const u8 *cell)
46f17a37c9SGerrit Renker {
47f17a37c9SGerrit Renker 	return *cell & ~DCCPAV_MAX_RUNLEN;
48f17a37c9SGerrit Renker }
49f17a37c9SGerrit Renker 
50f17a37c9SGerrit Renker /** struct dccp_ackvec - Ack Vector main data structure
51ae31c339SArnaldo Carvalho de Melo  *
52f17a37c9SGerrit Renker  * This implements a fixed-size circular buffer within an array and is largely
53f17a37c9SGerrit Renker  * based on Appendix A of RFC 4340.
54ae31c339SArnaldo Carvalho de Melo  *
55f17a37c9SGerrit Renker  * @av_buf:	   circular buffer storage area
56f17a37c9SGerrit Renker  * @av_buf_head:   head index; begin of live portion in @av_buf
57f17a37c9SGerrit Renker  * @av_buf_tail:   tail index; first index _after_ the live portion in @av_buf
58f17a37c9SGerrit Renker  * @av_buf_ackno:  highest seqno of acknowledgeable packet recorded in @av_buf
59*b3d14bffSGerrit Renker  * @av_tail_ackno: lowest  seqno of acknowledgeable packet recorded in @av_buf
60f17a37c9SGerrit Renker  * @av_buf_nonce:  ECN nonce sums, each covering subsequent segments of up to
61f17a37c9SGerrit Renker  *		   %DCCP_SINGLE_OPT_MAXLEN cells in the live portion of @av_buf
62*b3d14bffSGerrit Renker  * @av_overflow:   if 1 then buf_head == buf_tail indicates buffer wraparound
63f17a37c9SGerrit Renker  * @av_records:	   list of %dccp_ackvec_record (Ack Vectors sent previously)
64f17a37c9SGerrit Renker  * @av_veclen:	   length of the live portion of @av_buf
65ae31c339SArnaldo Carvalho de Melo  */
66ae31c339SArnaldo Carvalho de Melo struct dccp_ackvec {
67f17a37c9SGerrit Renker 	u8			av_buf[DCCPAV_MAX_ACKVEC_LEN];
68a47c5104SGerrit Renker 	u16			av_buf_head;
69f17a37c9SGerrit Renker 	u16			av_buf_tail;
70f17a37c9SGerrit Renker 	u64			av_buf_ackno:48;
71*b3d14bffSGerrit Renker 	u64			av_tail_ackno:48;
72f17a37c9SGerrit Renker 	bool			av_buf_nonce[DCCPAV_NUM_ACKVECS];
73*b3d14bffSGerrit Renker 	u8			av_overflow:1;
74f17a37c9SGerrit Renker 	struct list_head	av_records;
75a47c5104SGerrit Renker 	u16			av_vec_len;
76ae31c339SArnaldo Carvalho de Melo };
77ae31c339SArnaldo Carvalho de Melo 
78f17a37c9SGerrit Renker /** struct dccp_ackvec_record - Records information about sent Ack Vectors
7902bcf28cSAndrea Bittau  *
80f17a37c9SGerrit Renker  * These list entries define the additional information which the HC-Receiver
81f17a37c9SGerrit Renker  * keeps about recently-sent Ack Vectors; again refer to RFC 4340, Appendix A.
8202bcf28cSAndrea Bittau  *
83f17a37c9SGerrit Renker  * @avr_node:	    the list node in @av_records
84f17a37c9SGerrit Renker  * @avr_ack_seqno:  sequence number of the packet the Ack Vector was sent on
85f17a37c9SGerrit Renker  * @avr_ack_ackno:  the Ack number that this record/Ack Vector refers to
86f17a37c9SGerrit Renker  * @avr_ack_ptr:    pointer into @av_buf where this record starts
87f17a37c9SGerrit Renker  * @avr_ack_runlen: run length of @avr_ack_ptr at the time of sending
88f17a37c9SGerrit Renker  * @avr_ack_nonce:  the sum of @av_buf_nonce's at the time this record was sent
8902bcf28cSAndrea Bittau  *
90f17a37c9SGerrit Renker  * The list as a whole is sorted in descending order by @avr_ack_seqno.
9102bcf28cSAndrea Bittau  */
9202bcf28cSAndrea Bittau struct dccp_ackvec_record {
93a47c5104SGerrit Renker 	struct list_head avr_node;
94f17a37c9SGerrit Renker 	u64		 avr_ack_seqno:48;
95f17a37c9SGerrit Renker 	u64		 avr_ack_ackno:48;
96a47c5104SGerrit Renker 	u16		 avr_ack_ptr;
97f17a37c9SGerrit Renker 	u8		 avr_ack_runlen;
98f17a37c9SGerrit Renker 	u8		 avr_ack_nonce:1;
9902bcf28cSAndrea Bittau };
10002bcf28cSAndrea Bittau 
101ae31c339SArnaldo Carvalho de Melo struct sock;
102ae31c339SArnaldo Carvalho de Melo struct sk_buff;
103ae31c339SArnaldo Carvalho de Melo 
1049b07ef5dSArnaldo Carvalho de Melo extern int dccp_ackvec_init(void);
1059b07ef5dSArnaldo Carvalho de Melo extern void dccp_ackvec_exit(void);
1069b07ef5dSArnaldo Carvalho de Melo 
1077400d781SArnaldo Carvalho de Melo extern struct dccp_ackvec *dccp_ackvec_alloc(const gfp_t priority);
108ae31c339SArnaldo Carvalho de Melo extern void dccp_ackvec_free(struct dccp_ackvec *av);
109ae31c339SArnaldo Carvalho de Melo 
110ae31c339SArnaldo Carvalho de Melo extern int dccp_ackvec_add(struct dccp_ackvec *av, const struct sock *sk,
111ae31c339SArnaldo Carvalho de Melo 			   const u64 ackno, const u8 state);
112ae31c339SArnaldo Carvalho de Melo 
113ae31c339SArnaldo Carvalho de Melo extern void dccp_ackvec_check_rcv_ackno(struct dccp_ackvec *av,
114ae31c339SArnaldo Carvalho de Melo 					struct sock *sk, const u64 ackno);
115ae31c339SArnaldo Carvalho de Melo extern int dccp_ackvec_parse(struct sock *sk, const struct sk_buff *skb,
116bdf13d20SAndrea Bittau 			     u64 *ackno, const u8 opt,
117bdf13d20SAndrea Bittau 			     const u8 *value, const u8 len);
118ae31c339SArnaldo Carvalho de Melo 
1197d870936SGerrit Renker extern int  dccp_ackvec_update_records(struct dccp_ackvec *av, u64 seq, u8 sum);
120*b3d14bffSGerrit Renker extern u16  dccp_ackvec_buflen(const struct dccp_ackvec *av);
121ae31c339SArnaldo Carvalho de Melo 
122*b3d14bffSGerrit Renker static inline bool dccp_ackvec_is_empty(const struct dccp_ackvec *av)
123ae31c339SArnaldo Carvalho de Melo {
124*b3d14bffSGerrit Renker 	return av->av_overflow == 0 && av->av_buf_head == av->av_buf_tail;
125ae31c339SArnaldo Carvalho de Melo }
126ae31c339SArnaldo Carvalho de Melo #endif /* _ACKVEC_H */
127