blob: 3d92c185926702ce4db03bced99ae286903ddc61 [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 */
Baruch Even50bf3e22006-03-20 22:23:10 -080030 u32 last_cong; /* Time since last congestion event end */
31 u32 undo_last_cong;
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;
Baruch Evena7868ea2005-06-23 12:28:11 -070036
37 u32 undo_maxRTT;
38 u32 undo_old_maxB;
39
40 /* Bandwidth estimation */
41 u32 minB;
42 u32 maxB;
43 u32 old_maxB;
44 u32 Bi;
45 u32 lasttime;
46};
47
Baruch Even50bf3e22006-03-20 22:23:10 -080048static inline u32 htcp_cong_time(struct htcp *ca)
49{
50 return jiffies - ca->last_cong;
51}
52
53static inline u32 htcp_ccount(struct htcp *ca)
54{
55 return htcp_cong_time(ca)/ca->minRTT;
56}
57
Baruch Evena7868ea2005-06-23 12:28:11 -070058static inline void htcp_reset(struct htcp *ca)
59{
Baruch Even50bf3e22006-03-20 22:23:10 -080060 ca->undo_last_cong = ca->last_cong;
Baruch Evena7868ea2005-06-23 12:28:11 -070061 ca->undo_maxRTT = ca->maxRTT;
62 ca->undo_old_maxB = ca->old_maxB;
63
Baruch Even50bf3e22006-03-20 22:23:10 -080064 ca->last_cong = jiffies;
Baruch Evena7868ea2005-06-23 12:28:11 -070065}
66
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030067static u32 htcp_cwnd_undo(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -070068{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030069 const struct tcp_sock *tp = tcp_sk(sk);
70 struct htcp *ca = inet_csk_ca(sk);
Baruch Even50bf3e22006-03-20 22:23:10 -080071 ca->last_cong = ca->undo_last_cong;
Baruch Evena7868ea2005-06-23 12:28:11 -070072 ca->maxRTT = ca->undo_maxRTT;
73 ca->old_maxB = ca->undo_old_maxB;
74 return max(tp->snd_cwnd, (tp->snd_ssthresh<<7)/ca->beta);
75}
76
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030077static inline void measure_rtt(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -070078{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030079 const struct inet_connection_sock *icsk = inet_csk(sk);
80 const struct tcp_sock *tp = tcp_sk(sk);
81 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -070082 u32 srtt = tp->srtt>>3;
83
84 /* keep track of minimum RTT seen so far, minRTT is zero at first */
85 if (ca->minRTT > srtt || !ca->minRTT)
86 ca->minRTT = srtt;
87
88 /* max RTT */
Baruch Even50bf3e22006-03-20 22:23:10 -080089 if (icsk->icsk_ca_state == TCP_CA_Open && tp->snd_ssthresh < 0xFFFF && htcp_ccount(ca) > 3) {
Baruch Evena7868ea2005-06-23 12:28:11 -070090 if (ca->maxRTT < ca->minRTT)
91 ca->maxRTT = ca->minRTT;
Baruch Evenc33ad6e2006-03-20 22:22:20 -080092 if (ca->maxRTT < srtt && srtt <= ca->maxRTT+msecs_to_jiffies(20))
Baruch Evena7868ea2005-06-23 12:28:11 -070093 ca->maxRTT = srtt;
94 }
95}
96
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030097static void measure_achieved_throughput(struct sock *sk, u32 pkts_acked)
Baruch Evena7868ea2005-06-23 12:28:11 -070098{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -030099 const struct inet_connection_sock *icsk = inet_csk(sk);
100 const struct tcp_sock *tp = tcp_sk(sk);
101 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700102 u32 now = tcp_time_stamp;
103
Baruch Even0bc6d902006-03-20 22:22:47 -0800104 if (icsk->icsk_ca_state == TCP_CA_Open)
105 ca->pkts_acked = pkts_acked;
106
107 if (!use_bandwidth_switch)
108 return;
109
Baruch Evena7868ea2005-06-23 12:28:11 -0700110 /* achieved throughput calculations */
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300111 if (icsk->icsk_ca_state != TCP_CA_Open &&
112 icsk->icsk_ca_state != TCP_CA_Disorder) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700113 ca->packetcount = 0;
114 ca->lasttime = now;
115 return;
116 }
117
118 ca->packetcount += pkts_acked;
119
120 if (ca->packetcount >= tp->snd_cwnd - (ca->alpha>>7? : 1)
121 && now - ca->lasttime >= ca->minRTT
122 && ca->minRTT > 0) {
123 __u32 cur_Bi = ca->packetcount*HZ/(now - ca->lasttime);
Baruch Even50bf3e22006-03-20 22:23:10 -0800124 if (htcp_ccount(ca) <= 3) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700125 /* just after backoff */
126 ca->minB = ca->maxB = ca->Bi = cur_Bi;
127 } else {
128 ca->Bi = (3*ca->Bi + cur_Bi)/4;
129 if (ca->Bi > ca->maxB)
130 ca->maxB = ca->Bi;
131 if (ca->minB > ca->maxB)
132 ca->minB = ca->maxB;
133 }
134 ca->packetcount = 0;
135 ca->lasttime = now;
136 }
137}
138
139static inline void htcp_beta_update(struct htcp *ca, u32 minRTT, u32 maxRTT)
140{
141 if (use_bandwidth_switch) {
142 u32 maxB = ca->maxB;
143 u32 old_maxB = ca->old_maxB;
144 ca->old_maxB = ca->maxB;
145
146 if (!between(5*maxB, 4*old_maxB, 6*old_maxB)) {
147 ca->beta = BETA_MIN;
148 ca->modeswitch = 0;
149 return;
150 }
151 }
152
Baruch Evenc33ad6e2006-03-20 22:22:20 -0800153 if (ca->modeswitch && minRTT > msecs_to_jiffies(10) && maxRTT) {
Baruch Evena7868ea2005-06-23 12:28:11 -0700154 ca->beta = (minRTT<<7)/maxRTT;
155 if (ca->beta < BETA_MIN)
156 ca->beta = BETA_MIN;
157 else if (ca->beta > BETA_MAX)
158 ca->beta = BETA_MAX;
159 } else {
160 ca->beta = BETA_MIN;
161 ca->modeswitch = 1;
162 }
163}
164
165static inline void htcp_alpha_update(struct htcp *ca)
166{
167 u32 minRTT = ca->minRTT;
168 u32 factor = 1;
Baruch Even50bf3e22006-03-20 22:23:10 -0800169 u32 diff = htcp_cong_time(ca);
Baruch Evena7868ea2005-06-23 12:28:11 -0700170
171 if (diff > HZ) {
172 diff -= HZ;
173 factor = 1+ ( 10*diff + ((diff/2)*(diff/2)/HZ) )/HZ;
174 }
175
176 if (use_rtt_scaling && minRTT) {
177 u32 scale = (HZ<<3)/(10*minRTT);
178 scale = min(max(scale, 1U<<2), 10U<<3); /* clamping ratio to interval [0.5,10]<<3 */
179 factor = (factor<<3)/scale;
180 if (!factor)
181 factor = 1;
182 }
183
184 ca->alpha = 2*factor*((1<<7)-ca->beta);
185 if (!ca->alpha)
186 ca->alpha = ALPHA_BASE;
187}
188
189/* After we have the rtt data to calculate beta, we'd still prefer to wait one
190 * rtt before we adjust our beta to ensure we are working from a consistent
191 * data.
192 *
193 * This function should be called when we hit a congestion event since only at
194 * that point do we really have a real sense of maxRTT (the queues en route
195 * were getting just too full now).
196 */
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300197static void htcp_param_update(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700198{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300199 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700200 u32 minRTT = ca->minRTT;
201 u32 maxRTT = ca->maxRTT;
202
203 htcp_beta_update(ca, minRTT, maxRTT);
204 htcp_alpha_update(ca);
205
206 /* add slowly fading memory for maxRTT to accommodate routing changes etc */
207 if (minRTT > 0 && maxRTT > minRTT)
208 ca->maxRTT = minRTT + ((maxRTT-minRTT)*95)/100;
209}
210
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300211static u32 htcp_recalc_ssthresh(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700212{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300213 const struct tcp_sock *tp = tcp_sk(sk);
214 const struct htcp *ca = inet_csk_ca(sk);
215 htcp_param_update(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700216 return max((tp->snd_cwnd * ca->beta) >> 7, 2U);
217}
218
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300219static void htcp_cong_avoid(struct sock *sk, u32 ack, u32 rtt,
Baruch Evena7868ea2005-06-23 12:28:11 -0700220 u32 in_flight, int data_acked)
221{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300222 struct tcp_sock *tp = tcp_sk(sk);
223 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700224
Stephen Hemmingerf4805ed2005-11-10 16:53:30 -0800225 if (!tcp_is_cwnd_limited(sk, in_flight))
Baruch Evena7868ea2005-06-23 12:28:11 -0700226 return;
227
Stephen Hemminger7faffa12005-11-10 17:07:24 -0800228 if (tp->snd_cwnd <= tp->snd_ssthresh)
229 tcp_slow_start(tp);
230 else {
231
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300232 measure_rtt(sk);
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 Even50bf3e22006-03-20 22:23:10 -0800241 htcp_alpha_update(ca);
Baruch Even0bc6d902006-03-20 22:22:47 -0800242 } else
243 tp->snd_cwnd_cnt += ca->pkts_acked;
244
245 ca->pkts_acked = 1;
Baruch Evena7868ea2005-06-23 12:28:11 -0700246 }
247}
248
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300249static void htcp_init(struct sock *sk)
Baruch Evena7868ea2005-06-23 12:28:11 -0700250{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300251 struct htcp *ca = inet_csk_ca(sk);
Baruch Evena7868ea2005-06-23 12:28:11 -0700252
253 memset(ca, 0, sizeof(struct htcp));
254 ca->alpha = ALPHA_BASE;
255 ca->beta = BETA_MIN;
Baruch Even0bc6d902006-03-20 22:22:47 -0800256 ca->pkts_acked = 1;
Baruch Even50bf3e22006-03-20 22:23:10 -0800257 ca->last_cong = jiffies;
Baruch Evena7868ea2005-06-23 12:28:11 -0700258}
259
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300260static void htcp_state(struct sock *sk, u8 new_state)
Baruch Evena7868ea2005-06-23 12:28:11 -0700261{
262 switch (new_state) {
Baruch Even50bf3e22006-03-20 22:23:10 -0800263 case TCP_CA_Open:
264 {
265 struct htcp *ca = inet_csk_ca(sk);
266 ca->last_cong = jiffies;
267 }
268 break;
Baruch Evena7868ea2005-06-23 12:28:11 -0700269 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,
Baruch Evena7868ea2005-06-23 12:28:11 -0700280 .cong_avoid = htcp_cong_avoid,
281 .set_state = htcp_state,
282 .undo_cwnd = htcp_cwnd_undo,
283 .pkts_acked = measure_achieved_throughput,
284 .owner = THIS_MODULE,
285 .name = "htcp",
286};
287
288static int __init htcp_register(void)
289{
Arnaldo Carvalho de Melo6687e982005-08-10 04:03:31 -0300290 BUG_ON(sizeof(struct htcp) > ICSK_CA_PRIV_SIZE);
Baruch Evena7868ea2005-06-23 12:28:11 -0700291 BUILD_BUG_ON(BETA_MIN >= BETA_MAX);
Baruch Evena7868ea2005-06-23 12:28:11 -0700292 return tcp_register_congestion_control(&htcp);
293}
294
295static void __exit htcp_unregister(void)
296{
297 tcp_unregister_congestion_control(&htcp);
298}
299
300module_init(htcp_register);
301module_exit(htcp_unregister);
302
303MODULE_AUTHOR("Baruch Even");
304MODULE_LICENSE("GPL");
305MODULE_DESCRIPTION("H-TCP");