Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 1 | #ifndef _ACKVEC_H |
| 2 | #define _ACKVEC_H |
| 3 | /* |
| 4 | * net/dccp/ackvec.h |
| 5 | * |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 6 | * An implementation of Ack Vectors for the DCCP protocol |
| 7 | * Copyright (c) 2007 University of Aberdeen, Scotland, UK |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 8 | * Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@mandriva.com> |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 9 | * This program is free software; you can redistribute it and/or modify it |
| 10 | * under the terms of the GNU General Public License version 2 as |
| 11 | * published by the Free Software Foundation. |
| 12 | */ |
| 13 | |
Gerrit Renker | b20a9c2 | 2008-11-23 16:02:31 -0800 | [diff] [blame] | 14 | #include <linux/dccp.h> |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 15 | #include <linux/compiler.h> |
Andrea Bittau | 02bcf28 | 2006-03-20 17:19:55 -0800 | [diff] [blame] | 16 | #include <linux/list.h> |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 17 | #include <linux/types.h> |
| 18 | |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 19 | /* |
| 20 | * Ack Vector buffer space is static, in multiples of %DCCP_SINGLE_OPT_MAXLEN, |
| 21 | * the maximum size of a single Ack Vector. Setting %DCCPAV_NUM_ACKVECS to 1 |
| 22 | * will be sufficient for most cases of low Ack Ratios, using a value of 2 gives |
| 23 | * more headroom if Ack Ratio is higher or when the sender acknowledges slowly. |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 24 | * The maximum value is bounded by the u16 types for indices and functions. |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 25 | */ |
| 26 | #define DCCPAV_NUM_ACKVECS 2 |
| 27 | #define DCCPAV_MAX_ACKVEC_LEN (DCCP_SINGLE_OPT_MAXLEN * DCCPAV_NUM_ACKVECS) |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 28 | |
Gerrit Renker | 361a5c1 | 2009-02-27 22:38:28 +0000 | [diff] [blame] | 29 | /* Estimated minimum average Ack Vector length - used for updating MPS */ |
| 30 | #define DCCPAV_MIN_OPTLEN 16 |
| 31 | |
Gerrit Renker | 3802408 | 2010-11-14 17:25:23 +0100 | [diff] [blame] | 32 | /* Threshold for coping with large bursts of losses */ |
| 33 | #define DCCPAV_BURST_THRESH (DCCPAV_MAX_ACKVEC_LEN / 8) |
| 34 | |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 35 | enum dccp_ackvec_states { |
| 36 | DCCPAV_RECEIVED = 0x00, |
| 37 | DCCPAV_ECN_MARKED = 0x40, |
| 38 | DCCPAV_RESERVED = 0x80, |
| 39 | DCCPAV_NOT_RECEIVED = 0xC0 |
| 40 | }; |
| 41 | #define DCCPAV_MAX_RUNLEN 0x3F |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 42 | |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 43 | static inline u8 dccp_ackvec_runlen(const u8 *cell) |
| 44 | { |
| 45 | return *cell & DCCPAV_MAX_RUNLEN; |
| 46 | } |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 47 | |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 48 | static inline u8 dccp_ackvec_state(const u8 *cell) |
| 49 | { |
| 50 | return *cell & ~DCCPAV_MAX_RUNLEN; |
| 51 | } |
| 52 | |
| 53 | /** struct dccp_ackvec - Ack Vector main data structure |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 54 | * |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 55 | * This implements a fixed-size circular buffer within an array and is largely |
| 56 | * based on Appendix A of RFC 4340. |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 57 | * |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 58 | * @av_buf: circular buffer storage area |
| 59 | * @av_buf_head: head index; begin of live portion in @av_buf |
| 60 | * @av_buf_tail: tail index; first index _after_ the live portion in @av_buf |
| 61 | * @av_buf_ackno: highest seqno of acknowledgeable packet recorded in @av_buf |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 62 | * @av_tail_ackno: lowest seqno of acknowledgeable packet recorded in @av_buf |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 63 | * @av_buf_nonce: ECN nonce sums, each covering subsequent segments of up to |
| 64 | * %DCCP_SINGLE_OPT_MAXLEN cells in the live portion of @av_buf |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 65 | * @av_overflow: if 1 then buf_head == buf_tail indicates buffer wraparound |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 66 | * @av_records: list of %dccp_ackvec_record (Ack Vectors sent previously) |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 67 | */ |
| 68 | struct dccp_ackvec { |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 69 | u8 av_buf[DCCPAV_MAX_ACKVEC_LEN]; |
Gerrit Renker | a47c510 | 2007-12-30 04:19:31 -0800 | [diff] [blame] | 70 | u16 av_buf_head; |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 71 | u16 av_buf_tail; |
| 72 | u64 av_buf_ackno:48; |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 73 | u64 av_tail_ackno:48; |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 74 | bool av_buf_nonce[DCCPAV_NUM_ACKVECS]; |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 75 | u8 av_overflow:1; |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 76 | struct list_head av_records; |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 77 | }; |
| 78 | |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 79 | /** struct dccp_ackvec_record - Records information about sent Ack Vectors |
Andrea Bittau | 02bcf28 | 2006-03-20 17:19:55 -0800 | [diff] [blame] | 80 | * |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 81 | * These list entries define the additional information which the HC-Receiver |
| 82 | * keeps about recently-sent Ack Vectors; again refer to RFC 4340, Appendix A. |
Andrea Bittau | 02bcf28 | 2006-03-20 17:19:55 -0800 | [diff] [blame] | 83 | * |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 84 | * @avr_node: the list node in @av_records |
| 85 | * @avr_ack_seqno: sequence number of the packet the Ack Vector was sent on |
| 86 | * @avr_ack_ackno: the Ack number that this record/Ack Vector refers to |
| 87 | * @avr_ack_ptr: pointer into @av_buf where this record starts |
| 88 | * @avr_ack_runlen: run length of @avr_ack_ptr at the time of sending |
| 89 | * @avr_ack_nonce: the sum of @av_buf_nonce's at the time this record was sent |
Andrea Bittau | 02bcf28 | 2006-03-20 17:19:55 -0800 | [diff] [blame] | 90 | * |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 91 | * The list as a whole is sorted in descending order by @avr_ack_seqno. |
Andrea Bittau | 02bcf28 | 2006-03-20 17:19:55 -0800 | [diff] [blame] | 92 | */ |
| 93 | struct dccp_ackvec_record { |
Gerrit Renker | a47c510 | 2007-12-30 04:19:31 -0800 | [diff] [blame] | 94 | struct list_head avr_node; |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 95 | u64 avr_ack_seqno:48; |
| 96 | u64 avr_ack_ackno:48; |
Gerrit Renker | a47c510 | 2007-12-30 04:19:31 -0800 | [diff] [blame] | 97 | u16 avr_ack_ptr; |
Gerrit Renker | f17a37c | 2010-11-10 21:20:07 +0100 | [diff] [blame] | 98 | u8 avr_ack_runlen; |
| 99 | u8 avr_ack_nonce:1; |
Andrea Bittau | 02bcf28 | 2006-03-20 17:19:55 -0800 | [diff] [blame] | 100 | }; |
| 101 | |
Arnaldo Carvalho de Melo | 9b07ef5 | 2006-03-20 17:16:17 -0800 | [diff] [blame] | 102 | extern int dccp_ackvec_init(void); |
| 103 | extern void dccp_ackvec_exit(void); |
| 104 | |
Arnaldo Carvalho de Melo | 7400d78 | 2006-03-20 17:15:42 -0800 | [diff] [blame] | 105 | extern struct dccp_ackvec *dccp_ackvec_alloc(const gfp_t priority); |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 106 | extern void dccp_ackvec_free(struct dccp_ackvec *av); |
| 107 | |
Gerrit Renker | 3802408 | 2010-11-14 17:25:23 +0100 | [diff] [blame] | 108 | extern void dccp_ackvec_input(struct dccp_ackvec *av, struct sk_buff *skb); |
Gerrit Renker | 7d87093 | 2010-11-10 21:21:02 +0100 | [diff] [blame] | 109 | extern int dccp_ackvec_update_records(struct dccp_ackvec *av, u64 seq, u8 sum); |
Gerrit Renker | 5753fdf | 2010-11-14 17:25:11 +0100 | [diff] [blame] | 110 | extern void dccp_ackvec_clear_state(struct dccp_ackvec *av, const u64 ackno); |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 111 | extern u16 dccp_ackvec_buflen(const struct dccp_ackvec *av); |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 112 | |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 113 | static inline bool dccp_ackvec_is_empty(const struct dccp_ackvec *av) |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 114 | { |
Gerrit Renker | b3d14bf | 2010-11-10 21:21:35 +0100 | [diff] [blame] | 115 | return av->av_overflow == 0 && av->av_buf_head == av->av_buf_tail; |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 116 | } |
Gerrit Renker | 7e87fe8 | 2010-11-14 17:26:13 +0100 | [diff] [blame] | 117 | |
| 118 | /** |
| 119 | * struct dccp_ackvec_parsed - Record offsets of Ack Vectors in skb |
| 120 | * @vec: start of vector (offset into skb) |
| 121 | * @len: length of @vec |
| 122 | * @nonce: whether @vec had an ECN nonce of 0 or 1 |
| 123 | * @node: FIFO - arranged in descending order of ack_ackno |
| 124 | * This structure is used by CCIDs to access Ack Vectors in a received skb. |
| 125 | */ |
| 126 | struct dccp_ackvec_parsed { |
| 127 | u8 *vec, |
| 128 | len, |
| 129 | nonce:1; |
| 130 | struct list_head node; |
| 131 | }; |
| 132 | |
| 133 | extern int dccp_ackvec_parsed_add(struct list_head *head, |
| 134 | u8 *vec, u8 len, u8 nonce); |
| 135 | extern void dccp_ackvec_parsed_cleanup(struct list_head *parsed_chunks); |
Arnaldo Carvalho de Melo | ae31c33 | 2005-09-18 00:17:51 -0700 | [diff] [blame] | 136 | #endif /* _ACKVEC_H */ |