blob: ac19252e34ce2e088a9ef3fcab4d60b9a45409a0 [file] [log] [blame]
Baruch Evena7868ea2005-06-23 12:28:11 -07001/*
2 * H-TCP congestion control. The algorithm is detailed in:
3 * R.N.Shorten, D.J.Leith:
4 * "H-TCP: TCP for high-speed and long-distance networks"
5 * Proc. PFLDnet, Argonne, 2004.
6 * http://www.hamilton.ie/net/htcp3.pdf
7 */
8
9#include <linux/config.h>
10#include <linux/mm.h>
11#include <linux/module.h>
12#include <net/tcp.h>
13
14#define ALPHA_BASE (1<<7) /* 1.0 with shift << 7 */
15#define BETA_MIN (1<<6) /* 0.5 with shift << 7 */
16#define BETA_MAX 102 /* 0.8 with shift << 7 */
17
18static int use_rtt_scaling = 1;
19module_param(use_rtt_scaling, int, 0644);
20MODULE_PARM_DESC(use_rtt_scaling, "turn on/off RTT scaling");
21
22static int use_bandwidth_switch = 1;
23module_param(use_bandwidth_switch, int, 0644);
24MODULE_PARM_DESC(use_bandwidth_switch, "turn on/off bandwidth switcher");
25
26struct htcp {
27 u16 alpha; /* Fixed point arith, << 7 */
28 u8 beta; /* Fixed point arith, << 7 */
29 u8 modeswitch; /* Delay modeswitch until we had at least one congestion event */
30 u8 ccount; /* Number of RTTs since last congestion event */
31 u8 undo_ccount;
Baruch Even0bc6d902006-03-20 22:22:47 -080032 u16 pkts_acked;
33 u32 packetcount;
Baruch Evena7868ea2005-06-23 12:28:11 -070034 u32 minRTT;
35 u32 maxRTT;
36 u32 snd_cwnd_cnt2;
37
38 u32 undo_maxRTT;
39 u32 undo_old_maxB;
40
41 /* Bandwidth estimation */
42 u32 minB;
43 u32 maxB;
44 u32 old_maxB;
45 u32 Bi;
46 u32 lasttime;
47};
48
49static inline void htcp_reset(struct htcp *ca)
50{
51 ca->undo_ccount = ca->ccount;
52 ca->undo_maxRTT = ca->maxRTT;
53 ca->undo_old_maxB = ca->old_maxB;
54
55 ca->ccount = 0;
56 ca->snd_cwnd_cnt2 = 0;
57}
58
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030059static u32 htcp_cwnd_undo(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -070060{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030061 const struct tcp_sock *tp = tcp_sk(sk);
62 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -070063 ca->ccount = ca->undo_ccount;
64 ca->maxRTT = ca->undo_maxRTT;
65 ca->old_maxB = ca->undo_old_maxB;
66 return max(tp->snd_cwnd, (tp->snd_ssthresh<<7)/ca->beta);
67}
68
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030069static inline void measure_rtt(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -070070{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030071 const struct inet_connection_sock *icsk = inet_csk(sk);
72 const struct tcp_sock *tp = tcp_sk(sk);
73 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -070074 u32 srtt = tp->srtt>>3;
75
76 /* keep track of minimum RTT seen so far, minRTT is zero at first */
77 if (ca->minRTT > srtt || !ca->minRTT)
78 ca->minRTT = srtt;
79
80 /* max RTT */
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030081 if (icsk->icsk_ca_state == TCP_CA_Open && tp->snd_ssthresh < 0xFFFF && ca->ccount > 3) {
Baruch Evena7868ea2005-06-23 12:28:11 -070082 if (ca->maxRTT < ca->minRTT)
83 ca->maxRTT = ca->minRTT;
Baruch Evenc33ad6e2006-03-20 22:22:20 -080084 if (ca->maxRTT < srtt && srtt <= ca->maxRTT+msecs_to_jiffies(20))
Baruch Evena7868ea2005-06-23 12:28:11 -070085 ca->maxRTT = srtt;
86 }
87}
88
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030089static void measure_achieved_throughput(struct sock *sk, u32 pkts_acked)
Baruch Evena7868ea2005-06-23 12:28:11 -070090{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030091 const struct inet_connection_sock *icsk = inet_csk(sk);
92 const struct tcp_sock *tp = tcp_sk(sk);
93 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -070094 u32 now = tcp_time_stamp;
95
Baruch Even0bc6d902006-03-20 22:22:47 -080096 if (icsk->icsk_ca_state == TCP_CA_Open)
97 ca->pkts_acked = pkts_acked;
98
99 if (!use_bandwidth_switch)
100 return;
101
Baruch Evena7868ea2005-06-23 12:28:11 -0700102 /* achieved throughput calculations */
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300103 if (icsk->icsk_ca_state != TCP_CA_Open &&
104 icsk->icsk_ca_state != TCP_CA_Disorder) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700105 ca->packetcount = 0;
106 ca->lasttime = now;
107 return;
108 }
109
110 ca->packetcount += pkts_acked;
111
112 if (ca->packetcount >= tp->snd_cwnd - (ca->alpha>>7? : 1)
113 && now - ca->lasttime >= ca->minRTT
114 && ca->minRTT > 0) {
115 __u32 cur_Bi = ca->packetcount*HZ/(now - ca->lasttime);
116 if (ca->ccount <= 3) {
117 /* just after backoff */
118 ca->minB = ca->maxB = ca->Bi = cur_Bi;
119 } else {
120 ca->Bi = (3*ca->Bi + cur_Bi)/4;
121 if (ca->Bi > ca->maxB)
122 ca->maxB = ca->Bi;
123 if (ca->minB > ca->maxB)
124 ca->minB = ca->maxB;
125 }
126 ca->packetcount = 0;
127 ca->lasttime = now;
128 }
129}
130
131static inline void htcp_beta_update(struct htcp *ca, u32 minRTT, u32 maxRTT)
132{
133 if (use_bandwidth_switch) {
134 u32 maxB = ca->maxB;
135 u32 old_maxB = ca->old_maxB;
136 ca->old_maxB = ca->maxB;
137
138 if (!between(5*maxB, 4*old_maxB, 6*old_maxB)) {
139 ca->beta = BETA_MIN;
140 ca->modeswitch = 0;
141 return;
142 }
143 }
144
Baruch Evenc33ad6e2006-03-20 22:22:20 -0800145 if (ca->modeswitch && minRTT > msecs_to_jiffies(10) && maxRTT) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700146 ca->beta = (minRTT<<7)/maxRTT;
147 if (ca->beta < BETA_MIN)
148 ca->beta = BETA_MIN;
149 else if (ca->beta > BETA_MAX)
150 ca->beta = BETA_MAX;
151 } else {
152 ca->beta = BETA_MIN;
153 ca->modeswitch = 1;
154 }
155}
156
157static inline void htcp_alpha_update(struct htcp *ca)
158{
159 u32 minRTT = ca->minRTT;
160 u32 factor = 1;
161 u32 diff = ca->ccount * minRTT; /* time since last backoff */
162
163 if (diff > HZ) {
164 diff -= HZ;
165 factor = 1+ ( 10*diff + ((diff/2)*(diff/2)/HZ) )/HZ;
166 }
167
168 if (use_rtt_scaling && minRTT) {
169 u32 scale = (HZ<<3)/(10*minRTT);
170 scale = min(max(scale, 1U<<2), 10U<<3); /* clamping ratio to interval [0.5,10]<<3 */
171 factor = (factor<<3)/scale;
172 if (!factor)
173 factor = 1;
174 }
175
176 ca->alpha = 2*factor*((1<<7)-ca->beta);
177 if (!ca->alpha)
178 ca->alpha = ALPHA_BASE;
179}
180
181/* After we have the rtt data to calculate beta, we'd still prefer to wait one
182 * rtt before we adjust our beta to ensure we are working from a consistent
183 * data.
184 *
185 * This function should be called when we hit a congestion event since only at
186 * that point do we really have a real sense of maxRTT (the queues en route
187 * were getting just too full now).
188 */
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300189static void htcp_param_update(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700190{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300191 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700192 u32 minRTT = ca->minRTT;
193 u32 maxRTT = ca->maxRTT;
194
195 htcp_beta_update(ca, minRTT, maxRTT);
196 htcp_alpha_update(ca);
197
198 /* add slowly fading memory for maxRTT to accommodate routing changes etc */
199 if (minRTT > 0 && maxRTT > minRTT)
200 ca->maxRTT = minRTT + ((maxRTT-minRTT)*95)/100;
201}
202
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300203static u32 htcp_recalc_ssthresh(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700204{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300205 const struct tcp_sock *tp = tcp_sk(sk);
206 const struct htcp *ca = inet_csk_ca(sk);
207 htcp_param_update(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700208 return max((tp->snd_cwnd * ca->beta) >> 7, 2U);
209}
210
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300211static void htcp_cong_avoid(struct sock *sk, u32 ack, u32 rtt,
Baruch Evena7868ea2005-06-23 12:28:11 -0700212 u32 in_flight, int data_acked)
213{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300214 struct tcp_sock *tp = tcp_sk(sk);
215 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700216
Stephen Hemmingerf4805ed2005-11-10 16:53:30 -0800217 if (!tcp_is_cwnd_limited(sk, in_flight))
Baruch Evena7868ea2005-06-23 12:28:11 -0700218 return;
219
Stephen Hemminger7faffa12005-11-10 17:07:24 -0800220 if (tp->snd_cwnd <= tp->snd_ssthresh)
221 tcp_slow_start(tp);
222 else {
223
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300224 measure_rtt(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700225
226 /* keep track of number of round-trip times since last backoff event */
Baruch Even0bc6d902006-03-20 22:22:47 -0800227 if (ca->snd_cwnd_cnt2 >= tp->snd_cwnd) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700228 ca->ccount++;
Baruch Even0bc6d902006-03-20 22:22:47 -0800229 ca->snd_cwnd_cnt2 -= tp->snd_cwnd;
Baruch Evena7868ea2005-06-23 12:28:11 -0700230 htcp_alpha_update(ca);
Baruch Even0bc6d902006-03-20 22:22:47 -0800231 } else
232 ca->snd_cwnd_cnt2 += ca->pkts_acked;
Baruch Evena7868ea2005-06-23 12:28:11 -0700233
Stephen Hemminger7faffa12005-11-10 17:07:24 -0800234 /* In dangerous area, increase slowly.
Baruch Evena7868ea2005-06-23 12:28:11 -0700235 * In theory this is tp->snd_cwnd += alpha / tp->snd_cwnd
236 */
Baruch Even0bc6d902006-03-20 22:22:47 -0800237 if ((tp->snd_cwnd_cnt * ca->alpha)>>7 >= tp->snd_cwnd) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700238 if (tp->snd_cwnd < tp->snd_cwnd_clamp)
239 tp->snd_cwnd++;
240 tp->snd_cwnd_cnt = 0;
Baruch Even0bc6d902006-03-20 22:22:47 -0800241 } else
242 tp->snd_cwnd_cnt += ca->pkts_acked;
243
244 ca->pkts_acked = 1;
Baruch Evena7868ea2005-06-23 12:28:11 -0700245 }
246}
247
248/* Lower bound on congestion window. */
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300249static u32 htcp_min_cwnd(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700250{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300251 const struct tcp_sock *tp = tcp_sk(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700252 return tp->snd_ssthresh;
253}
254
255
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300256static void htcp_init(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700257{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300258 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700259
260 memset(ca, 0, sizeof(struct htcp));
261 ca->alpha = ALPHA_BASE;
262 ca->beta = BETA_MIN;
Baruch Even0bc6d902006-03-20 22:22:47 -0800263 ca->pkts_acked = 1;
Baruch Evena7868ea2005-06-23 12:28:11 -0700264}
265
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300266static void htcp_state(struct sock *sk, u8 new_state)
Baruch Evena7868ea2005-06-23 12:28:11 -0700267{
268 switch (new_state) {
269 case TCP_CA_CWR:
270 case TCP_CA_Recovery:
271 case TCP_CA_Loss:
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300272 htcp_reset(inet_csk_ca(sk));
Baruch Evena7868ea2005-06-23 12:28:11 -0700273 break;
274 }
275}
276
277static struct tcp_congestion_ops htcp = {
278 .init = htcp_init,
279 .ssthresh = htcp_recalc_ssthresh,
280 .min_cwnd = htcp_min_cwnd,
281 .cong_avoid = htcp_cong_avoid,
282 .set_state = htcp_state,
283 .undo_cwnd = htcp_cwnd_undo,
284 .pkts_acked = measure_achieved_throughput,
285 .owner = THIS_MODULE,
286 .name = "htcp",
287};
288
289static int __init htcp_register(void)
290{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300291 BUG_ON(sizeof(struct htcp) > ICSK_CA_PRIV_SIZE);
Baruch Evena7868ea2005-06-23 12:28:11 -0700292 BUILD_BUG_ON(BETA_MIN >= BETA_MAX);
Baruch Evena7868ea2005-06-23 12:28:11 -0700293 return tcp_register_congestion_control(&htcp);
294}
295
296static void __exit htcp_unregister(void)
297{
298 tcp_unregister_congestion_control(&htcp);
299}
300
301module_init(htcp_register);
302module_exit(htcp_unregister);
303
304MODULE_AUTHOR("Baruch Even");
305MODULE_LICENSE("GPL");
306MODULE_DESCRIPTION("H-TCP");