xref: /linux/net/ipv4/tcp_illinois.c (revision 4949009eb8d40a441dcddcd96e101e77d31cf1b2) 
1 /*
2  * TCP Illinois congestion control.
3  * Home page:
4  *	http://www.ews.uiuc.edu/~shaoliu/tcpillinois/index.html
5  *
6  * The algorithm is described in:
7  * "TCP-Illinois: A Loss and Delay-Based Congestion Control Algorithm
8  *  for High-Speed Networks"
9  * http://www.ifp.illinois.edu/~srikant/Papers/liubassri06perf.pdf
10  *
11  * Implemented from description in paper and ns-2 simulation.
12  * Copyright (C) 2007 Stephen Hemminger <shemminger@linux-foundation.org>
13  */
14 
15 #include <linux/module.h>
16 #include <linux/skbuff.h>
17 #include <linux/inet_diag.h>
18 #include <asm/div64.h>
19 #include <net/tcp.h>
20 
21 #define ALPHA_SHIFT	7
22 #define ALPHA_SCALE	(1u<<ALPHA_SHIFT)
23 #define ALPHA_MIN	((3*ALPHA_SCALE)/10)	/* ~0.3 */
24 #define ALPHA_MAX	(10*ALPHA_SCALE)	/* 10.0 */
25 #define ALPHA_BASE	ALPHA_SCALE		/* 1.0 */
26 #define RTT_MAX		(U32_MAX / ALPHA_MAX)	/* 3.3 secs */
27 
28 #define BETA_SHIFT	6
29 #define BETA_SCALE	(1u<<BETA_SHIFT)
30 #define BETA_MIN	(BETA_SCALE/8)		/* 0.125 */
31 #define BETA_MAX	(BETA_SCALE/2)		/* 0.5 */
32 #define BETA_BASE	BETA_MAX
33 
34 static int win_thresh __read_mostly = 15;
35 module_param(win_thresh, int, 0);
36 MODULE_PARM_DESC(win_thresh, "Window threshold for starting adaptive sizing");
37 
38 static int theta __read_mostly = 5;
39 module_param(theta, int, 0);
40 MODULE_PARM_DESC(theta, "# of fast RTT's before full growth");
41 
42 /* TCP Illinois Parameters */
43 struct illinois {
44 	u64	sum_rtt;	/* sum of rtt's measured within last rtt */
45 	u16	cnt_rtt;	/* # of rtts measured within last rtt */
46 	u32	base_rtt;	/* min of all rtt in usec */
47 	u32	max_rtt;	/* max of all rtt in usec */
48 	u32	end_seq;	/* right edge of current RTT */
49 	u32	alpha;		/* Additive increase */
50 	u32	beta;		/* Muliplicative decrease */
51 	u16	acked;		/* # packets acked by current ACK */
52 	u8	rtt_above;	/* average rtt has gone above threshold */
53 	u8	rtt_low;	/* # of rtts measurements below threshold */
54 };
55 
56 static void rtt_reset(struct sock *sk)
57 {
58 	struct tcp_sock *tp = tcp_sk(sk);
59 	struct illinois *ca = inet_csk_ca(sk);
60 
61 	ca->end_seq = tp->snd_nxt;
62 	ca->cnt_rtt = 0;
63 	ca->sum_rtt = 0;
64 
65 	/* TODO: age max_rtt? */
66 }
67 
68 static void tcp_illinois_init(struct sock *sk)
69 {
70 	struct illinois *ca = inet_csk_ca(sk);
71 
72 	ca->alpha = ALPHA_MAX;
73 	ca->beta = BETA_BASE;
74 	ca->base_rtt = 0x7fffffff;
75 	ca->max_rtt = 0;
76 
77 	ca->acked = 0;
78 	ca->rtt_low = 0;
79 	ca->rtt_above = 0;
80 
81 	rtt_reset(sk);
82 }
83 
84 /* Measure RTT for each ack. */
85 static void tcp_illinois_acked(struct sock *sk, u32 pkts_acked, s32 rtt)
86 {
87 	struct illinois *ca = inet_csk_ca(sk);
88 
89 	ca->acked = pkts_acked;
90 
91 	/* dup ack, no rtt sample */
92 	if (rtt < 0)
93 		return;
94 
95 	/* ignore bogus values, this prevents wraparound in alpha math */
96 	if (rtt > RTT_MAX)
97 		rtt = RTT_MAX;
98 
99 	/* keep track of minimum RTT seen so far */
100 	if (ca->base_rtt > rtt)
101 		ca->base_rtt = rtt;
102 
103 	/* and max */
104 	if (ca->max_rtt < rtt)
105 		ca->max_rtt = rtt;
106 
107 	++ca->cnt_rtt;
108 	ca->sum_rtt += rtt;
109 }
110 
111 /* Maximum queuing delay */
112 static inline u32 max_delay(const struct illinois *ca)
113 {
114 	return ca->max_rtt - ca->base_rtt;
115 }
116 
117 /* Average queuing delay */
118 static inline u32 avg_delay(const struct illinois *ca)
119 {
120 	u64 t = ca->sum_rtt;
121 
122 	do_div(t, ca->cnt_rtt);
123 	return t - ca->base_rtt;
124 }
125 
126 /*
127  * Compute value of alpha used for additive increase.
128  * If small window then use 1.0, equivalent to Reno.
129  *
130  * For larger windows, adjust based on average delay.
131  * A. If average delay is at minimum (we are uncongested),
132  *    then use large alpha (10.0) to increase faster.
133  * B. If average delay is at maximum (getting congested)
134  *    then use small alpha (0.3)
135  *
136  * The result is a convex window growth curve.
137  */
138 static u32 alpha(struct illinois *ca, u32 da, u32 dm)
139 {
140 	u32 d1 = dm / 100;	/* Low threshold */
141 
142 	if (da <= d1) {
143 		/* If never got out of low delay zone, then use max */
144 		if (!ca->rtt_above)
145 			return ALPHA_MAX;
146 
147 		/* Wait for 5 good RTT's before allowing alpha to go alpha max.
148 		 * This prevents one good RTT from causing sudden window increase.
149 		 */
150 		if (++ca->rtt_low < theta)
151 			return ca->alpha;
152 
153 		ca->rtt_low = 0;
154 		ca->rtt_above = 0;
155 		return ALPHA_MAX;
156 	}
157 
158 	ca->rtt_above = 1;
159 
160 	/*
161 	 * Based on:
162 	 *
163 	 *      (dm - d1) amin amax
164 	 * k1 = -------------------
165 	 *         amax - amin
166 	 *
167 	 *       (dm - d1) amin
168 	 * k2 = ----------------  - d1
169 	 *        amax - amin
170 	 *
171 	 *             k1
172 	 * alpha = ----------
173 	 *          k2 + da
174 	 */
175 
176 	dm -= d1;
177 	da -= d1;
178 	return (dm * ALPHA_MAX) /
179 		(dm + (da  * (ALPHA_MAX - ALPHA_MIN)) / ALPHA_MIN);
180 }
181 
182 /*
183  * Beta used for multiplicative decrease.
184  * For small window sizes returns same value as Reno (0.5)
185  *
186  * If delay is small (10% of max) then beta = 1/8
187  * If delay is up to 80% of max then beta = 1/2
188  * In between is a linear function
189  */
190 static u32 beta(u32 da, u32 dm)
191 {
192 	u32 d2, d3;
193 
194 	d2 = dm / 10;
195 	if (da <= d2)
196 		return BETA_MIN;
197 
198 	d3 = (8 * dm) / 10;
199 	if (da >= d3 || d3 <= d2)
200 		return BETA_MAX;
201 
202 	/*
203 	 * Based on:
204 	 *
205 	 *       bmin d3 - bmax d2
206 	 * k3 = -------------------
207 	 *         d3 - d2
208 	 *
209 	 *       bmax - bmin
210 	 * k4 = -------------
211 	 *         d3 - d2
212 	 *
213 	 * b = k3 + k4 da
214 	 */
215 	return (BETA_MIN * d3 - BETA_MAX * d2 + (BETA_MAX - BETA_MIN) * da)
216 		/ (d3 - d2);
217 }
218 
219 /* Update alpha and beta values once per RTT */
220 static void update_params(struct sock *sk)
221 {
222 	struct tcp_sock *tp = tcp_sk(sk);
223 	struct illinois *ca = inet_csk_ca(sk);
224 
225 	if (tp->snd_cwnd < win_thresh) {
226 		ca->alpha = ALPHA_BASE;
227 		ca->beta = BETA_BASE;
228 	} else if (ca->cnt_rtt > 0) {
229 		u32 dm = max_delay(ca);
230 		u32 da = avg_delay(ca);
231 
232 		ca->alpha = alpha(ca, da, dm);
233 		ca->beta = beta(da, dm);
234 	}
235 
236 	rtt_reset(sk);
237 }
238 
239 /*
240  * In case of loss, reset to default values
241  */
242 static void tcp_illinois_state(struct sock *sk, u8 new_state)
243 {
244 	struct illinois *ca = inet_csk_ca(sk);
245 
246 	if (new_state == TCP_CA_Loss) {
247 		ca->alpha = ALPHA_BASE;
248 		ca->beta = BETA_BASE;
249 		ca->rtt_low = 0;
250 		ca->rtt_above = 0;
251 		rtt_reset(sk);
252 	}
253 }
254 
255 /*
256  * Increase window in response to successful acknowledgment.
257  */
258 static void tcp_illinois_cong_avoid(struct sock *sk, u32 ack, u32 acked)
259 {
260 	struct tcp_sock *tp = tcp_sk(sk);
261 	struct illinois *ca = inet_csk_ca(sk);
262 
263 	if (after(ack, ca->end_seq))
264 		update_params(sk);
265 
266 	/* RFC2861 only increase cwnd if fully utilized */
267 	if (!tcp_is_cwnd_limited(sk))
268 		return;
269 
270 	/* In slow start */
271 	if (tp->snd_cwnd <= tp->snd_ssthresh)
272 		tcp_slow_start(tp, acked);
273 
274 	else {
275 		u32 delta;
276 
277 		/* snd_cwnd_cnt is # of packets since last cwnd increment */
278 		tp->snd_cwnd_cnt += ca->acked;
279 		ca->acked = 1;
280 
281 		/* This is close approximation of:
282 		 * tp->snd_cwnd += alpha/tp->snd_cwnd
283 		*/
284 		delta = (tp->snd_cwnd_cnt * ca->alpha) >> ALPHA_SHIFT;
285 		if (delta >= tp->snd_cwnd) {
286 			tp->snd_cwnd = min(tp->snd_cwnd + delta / tp->snd_cwnd,
287 					   (u32)tp->snd_cwnd_clamp);
288 			tp->snd_cwnd_cnt = 0;
289 		}
290 	}
291 }
292 
293 static u32 tcp_illinois_ssthresh(struct sock *sk)
294 {
295 	struct tcp_sock *tp = tcp_sk(sk);
296 	struct illinois *ca = inet_csk_ca(sk);
297 
298 	/* Multiplicative decrease */
299 	return max(tp->snd_cwnd - ((tp->snd_cwnd * ca->beta) >> BETA_SHIFT), 2U);
300 }
301 
302 /* Extract info for Tcp socket info provided via netlink. */
303 static void tcp_illinois_info(struct sock *sk, u32 ext,
304 			      struct sk_buff *skb)
305 {
306 	const struct illinois *ca = inet_csk_ca(sk);
307 
308 	if (ext & (1 << (INET_DIAG_VEGASINFO - 1))) {
309 		struct tcpvegas_info info = {
310 			.tcpv_enabled = 1,
311 			.tcpv_rttcnt = ca->cnt_rtt,
312 			.tcpv_minrtt = ca->base_rtt,
313 		};
314 
315 		if (info.tcpv_rttcnt > 0) {
316 			u64 t = ca->sum_rtt;
317 
318 			do_div(t, info.tcpv_rttcnt);
319 			info.tcpv_rtt = t;
320 		}
321 		nla_put(skb, INET_DIAG_VEGASINFO, sizeof(info), &info);
322 	}
323 }
324 
325 static struct tcp_congestion_ops tcp_illinois __read_mostly = {
326 	.init		= tcp_illinois_init,
327 	.ssthresh	= tcp_illinois_ssthresh,
328 	.cong_avoid	= tcp_illinois_cong_avoid,
329 	.set_state	= tcp_illinois_state,
330 	.get_info	= tcp_illinois_info,
331 	.pkts_acked	= tcp_illinois_acked,
332 
333 	.owner		= THIS_MODULE,
334 	.name		= "illinois",
335 };
336 
337 static int __init tcp_illinois_register(void)
338 {
339 	BUILD_BUG_ON(sizeof(struct illinois) > ICSK_CA_PRIV_SIZE);
340 	return tcp_register_congestion_control(&tcp_illinois);
341 }
342 
343 static void __exit tcp_illinois_unregister(void)
344 {
345 	tcp_unregister_congestion_control(&tcp_illinois);
346 }
347 
348 module_init(tcp_illinois_register);
349 module_exit(tcp_illinois_unregister);
350 
351 MODULE_AUTHOR("Stephen Hemminger, Shao Liu");
352 MODULE_LICENSE("GPL");
353 MODULE_DESCRIPTION("TCP Illinois");
354 MODULE_VERSION("1.0");
355