blob: 21c4212d1be0c89a298a0b728107b19893d309f5 [file] [log] [blame]
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -07001#ifndef _ACKVEC_H
2#define _ACKVEC_H
3/*
4 * net/dccp/ackvec.h
5 *
Gerrit Renkerf17a37c2010-11-10 21:20:07 +01006 * An implementation of Ack Vectors for the DCCP protocol
7 * Copyright (c) 2007 University of Aberdeen, Scotland, UK
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -07008 * Copyright (c) 2005 Arnaldo Carvalho de Melo <acme@mandriva.com>
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -07009 * 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 Renkerb20a9c22008-11-23 16:02:31 -080014#include <linux/dccp.h>
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070015#include <linux/compiler.h>
Andrea Bittau02bcf282006-03-20 17:19:55 -080016#include <linux/list.h>
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070017#include <linux/types.h>
18
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010019/*
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 Renkerb3d14bf2010-11-10 21:21:35 +010024 * The maximum value is bounded by the u16 types for indices and functions.
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010025 */
26#define DCCPAV_NUM_ACKVECS 2
27#define DCCPAV_MAX_ACKVEC_LEN (DCCP_SINGLE_OPT_MAXLEN * DCCPAV_NUM_ACKVECS)
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070028
Gerrit Renker361a5c12009-02-27 22:38:28 +000029/* Estimated minimum average Ack Vector length - used for updating MPS */
30#define DCCPAV_MIN_OPTLEN 16
31
Gerrit Renker38024082010-11-14 17:25:23 +010032/* Threshold for coping with large bursts of losses */
33#define DCCPAV_BURST_THRESH (DCCPAV_MAX_ACKVEC_LEN / 8)
34
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010035enum 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 Meloae31c332005-09-18 00:17:51 -070042
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010043static inline u8 dccp_ackvec_runlen(const u8 *cell)
44{
45 return *cell & DCCPAV_MAX_RUNLEN;
46}
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070047
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010048static 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 Meloae31c332005-09-18 00:17:51 -070054 *
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010055 * This implements a fixed-size circular buffer within an array and is largely
56 * based on Appendix A of RFC 4340.
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070057 *
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010058 * @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 Renkerb3d14bf2010-11-10 21:21:35 +010062 * @av_tail_ackno: lowest seqno of acknowledgeable packet recorded in @av_buf
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010063 * @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 Renkerb3d14bf2010-11-10 21:21:35 +010065 * @av_overflow: if 1 then buf_head == buf_tail indicates buffer wraparound
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010066 * @av_records: list of %dccp_ackvec_record (Ack Vectors sent previously)
67 * @av_veclen: length of the live portion of @av_buf
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070068 */
69struct dccp_ackvec {
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010070 u8 av_buf[DCCPAV_MAX_ACKVEC_LEN];
Gerrit Renkera47c5102007-12-30 04:19:31 -080071 u16 av_buf_head;
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010072 u16 av_buf_tail;
73 u64 av_buf_ackno:48;
Gerrit Renkerb3d14bf2010-11-10 21:21:35 +010074 u64 av_tail_ackno:48;
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010075 bool av_buf_nonce[DCCPAV_NUM_ACKVECS];
Gerrit Renkerb3d14bf2010-11-10 21:21:35 +010076 u8 av_overflow:1;
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010077 struct list_head av_records;
Gerrit Renkera47c5102007-12-30 04:19:31 -080078 u16 av_vec_len;
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -070079};
80
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010081/** struct dccp_ackvec_record - Records information about sent Ack Vectors
Andrea Bittau02bcf282006-03-20 17:19:55 -080082 *
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010083 * These list entries define the additional information which the HC-Receiver
84 * keeps about recently-sent Ack Vectors; again refer to RFC 4340, Appendix A.
Andrea Bittau02bcf282006-03-20 17:19:55 -080085 *
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010086 * @avr_node: the list node in @av_records
87 * @avr_ack_seqno: sequence number of the packet the Ack Vector was sent on
88 * @avr_ack_ackno: the Ack number that this record/Ack Vector refers to
89 * @avr_ack_ptr: pointer into @av_buf where this record starts
90 * @avr_ack_runlen: run length of @avr_ack_ptr at the time of sending
91 * @avr_ack_nonce: the sum of @av_buf_nonce's at the time this record was sent
Andrea Bittau02bcf282006-03-20 17:19:55 -080092 *
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010093 * The list as a whole is sorted in descending order by @avr_ack_seqno.
Andrea Bittau02bcf282006-03-20 17:19:55 -080094 */
95struct dccp_ackvec_record {
Gerrit Renkera47c5102007-12-30 04:19:31 -080096 struct list_head avr_node;
Gerrit Renkerf17a37c2010-11-10 21:20:07 +010097 u64 avr_ack_seqno:48;
98 u64 avr_ack_ackno:48;
Gerrit Renkera47c5102007-12-30 04:19:31 -080099 u16 avr_ack_ptr;
Gerrit Renkerf17a37c2010-11-10 21:20:07 +0100100 u8 avr_ack_runlen;
101 u8 avr_ack_nonce:1;
Andrea Bittau02bcf282006-03-20 17:19:55 -0800102};
103
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700104struct sock;
105struct sk_buff;
106
Arnaldo Carvalho de Melo9b07ef52006-03-20 17:16:17 -0800107extern int dccp_ackvec_init(void);
108extern void dccp_ackvec_exit(void);
109
Arnaldo Carvalho de Melo7400d782006-03-20 17:15:42 -0800110extern struct dccp_ackvec *dccp_ackvec_alloc(const gfp_t priority);
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700111extern void dccp_ackvec_free(struct dccp_ackvec *av);
112
113extern int dccp_ackvec_add(struct dccp_ackvec *av, const struct sock *sk,
114 const u64 ackno, const u8 state);
115
116extern void dccp_ackvec_check_rcv_ackno(struct dccp_ackvec *av,
117 struct sock *sk, const u64 ackno);
118extern int dccp_ackvec_parse(struct sock *sk, const struct sk_buff *skb,
Andrea Bittaubdf13d22006-11-24 13:02:42 -0200119 u64 *ackno, const u8 opt,
120 const u8 *value, const u8 len);
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700121
Gerrit Renker38024082010-11-14 17:25:23 +0100122extern void dccp_ackvec_input(struct dccp_ackvec *av, struct sk_buff *skb);
Gerrit Renker7d870932010-11-10 21:21:02 +0100123extern int dccp_ackvec_update_records(struct dccp_ackvec *av, u64 seq, u8 sum);
Gerrit Renker5753fdf2010-11-14 17:25:11 +0100124extern void dccp_ackvec_clear_state(struct dccp_ackvec *av, const u64 ackno);
Gerrit Renkerb3d14bf2010-11-10 21:21:35 +0100125extern u16 dccp_ackvec_buflen(const struct dccp_ackvec *av);
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700126
Gerrit Renkerb3d14bf2010-11-10 21:21:35 +0100127static inline bool dccp_ackvec_is_empty(const struct dccp_ackvec *av)
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700128{
Gerrit Renkerb3d14bf2010-11-10 21:21:35 +0100129 return av->av_overflow == 0 && av->av_buf_head == av->av_buf_tail;
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700130}
Arnaldo Carvalho de Meloae31c332005-09-18 00:17:51 -0700131#endif /* _ACKVEC_H */