xref: /linux/net/ipv4/tcp_westwood.c (revision 74975d40b16fd4bad24a2e2630dc7957d8cba013)
187270762SStephen Hemminger /*
2b7d7a9e3SLuca De Cicco  * TCP Westwood+: end-to-end bandwidth estimation for TCP
387270762SStephen Hemminger  *
4b7d7a9e3SLuca De Cicco  *      Angelo Dell'Aera: author of the first version of TCP Westwood+ in Linux 2.4
5b7d7a9e3SLuca De Cicco  *
6b7d7a9e3SLuca De Cicco  * Support at http://c3lab.poliba.it/index.php/Westwood
7b7d7a9e3SLuca De Cicco  * Main references in literature:
8b7d7a9e3SLuca De Cicco  *
9b7d7a9e3SLuca De Cicco  * - Mascolo S, Casetti, M. Gerla et al.
10b7d7a9e3SLuca De Cicco  *   "TCP Westwood: bandwidth estimation for TCP" Proc. ACM Mobicom 2001
11b7d7a9e3SLuca De Cicco  *
12b7d7a9e3SLuca De Cicco  * - A. Grieco, s. Mascolo
13b7d7a9e3SLuca De Cicco  *   "Performance evaluation of New Reno, Vegas, Westwood+ TCP" ACM Computer
14b7d7a9e3SLuca De Cicco  *     Comm. Review, 2004
15b7d7a9e3SLuca De Cicco  *
16b7d7a9e3SLuca De Cicco  * - A. Dell'Aera, L. Grieco, S. Mascolo.
17b7d7a9e3SLuca De Cicco  *   "Linux 2.4 Implementation of Westwood+ TCP with Rate-Halving :
18b7d7a9e3SLuca De Cicco  *    A Performance Evaluation Over the Internet" (ICC 2004), Paris, June 2004
19b7d7a9e3SLuca De Cicco  *
20b7d7a9e3SLuca De Cicco  * Westwood+ employs end-to-end bandwidth measurement to set cwnd and
21b7d7a9e3SLuca De Cicco  * ssthresh after packet loss. The probing phase is as the original Reno.
2287270762SStephen Hemminger  */
2387270762SStephen Hemminger 
2487270762SStephen Hemminger #include <linux/mm.h>
2587270762SStephen Hemminger #include <linux/module.h>
2687270762SStephen Hemminger #include <linux/skbuff.h>
27a8c2190eSArnaldo Carvalho de Melo #include <linux/inet_diag.h>
2887270762SStephen Hemminger #include <net/tcp.h>
2987270762SStephen Hemminger 
3087270762SStephen Hemminger /* TCP Westwood structure */
3187270762SStephen Hemminger struct westwood {
3287270762SStephen Hemminger 	u32    bw_ns_est;        /* first bandwidth estimation..not too smoothed 8) */
3387270762SStephen Hemminger 	u32    bw_est;           /* bandwidth estimate */
3487270762SStephen Hemminger 	u32    rtt_win_sx;       /* here starts a new evaluation... */
3587270762SStephen Hemminger 	u32    bk;
3687270762SStephen Hemminger 	u32    snd_una;          /* used for evaluating the number of acked bytes */
3787270762SStephen Hemminger 	u32    cumul_ack;
3887270762SStephen Hemminger 	u32    accounted;
3987270762SStephen Hemminger 	u32    rtt;
4087270762SStephen Hemminger 	u32    rtt_min;          /* minimum observed RTT */
41f61e2901SStephen Hemminger 	u8     first_ack;        /* flag which infers that this is the first ack */
42bc726a71SLuca De Cicco 	u8     reset_rtt_min;    /* Reset RTT min to next RTT sample*/
4387270762SStephen Hemminger };
4487270762SStephen Hemminger 
4587270762SStephen Hemminger 
4687270762SStephen Hemminger /* TCP Westwood functions and constants */
4787270762SStephen Hemminger #define TCP_WESTWOOD_RTT_MIN   (HZ/20)	/* 50ms */
4887270762SStephen Hemminger #define TCP_WESTWOOD_INIT_RTT  (20*HZ)	/* maybe too conservative?! */
4987270762SStephen Hemminger 
5087270762SStephen Hemminger /*
5187270762SStephen Hemminger  * @tcp_westwood_create
5287270762SStephen Hemminger  * This function initializes fields used in TCP Westwood+,
5387270762SStephen Hemminger  * it is called after the initial SYN, so the sequence numbers
5487270762SStephen Hemminger  * are correct but new passive connections we have no
5587270762SStephen Hemminger  * information about RTTmin at this time so we simply set it to
5687270762SStephen Hemminger  * TCP_WESTWOOD_INIT_RTT. This value was chosen to be too conservative
5787270762SStephen Hemminger  * since in this way we're sure it will be updated in a consistent
5887270762SStephen Hemminger  * way as soon as possible. It will reasonably happen within the first
5987270762SStephen Hemminger  * RTT period of the connection lifetime.
6087270762SStephen Hemminger  */
616687e988SArnaldo Carvalho de Melo static void tcp_westwood_init(struct sock *sk)
6287270762SStephen Hemminger {
636687e988SArnaldo Carvalho de Melo 	struct westwood *w = inet_csk_ca(sk);
6487270762SStephen Hemminger 
6587270762SStephen Hemminger 	w->bk = 0;
6687270762SStephen Hemminger         w->bw_ns_est = 0;
6787270762SStephen Hemminger         w->bw_est = 0;
6887270762SStephen Hemminger         w->accounted = 0;
6987270762SStephen Hemminger         w->cumul_ack = 0;
70bc726a71SLuca De Cicco 	w->reset_rtt_min = 1;
7187270762SStephen Hemminger 	w->rtt_min = w->rtt = TCP_WESTWOOD_INIT_RTT;
7287270762SStephen Hemminger 	w->rtt_win_sx = tcp_time_stamp;
736687e988SArnaldo Carvalho de Melo 	w->snd_una = tcp_sk(sk)->snd_una;
74f61e2901SStephen Hemminger 	w->first_ack = 1;
7587270762SStephen Hemminger }
7687270762SStephen Hemminger 
7787270762SStephen Hemminger /*
7887270762SStephen Hemminger  * @westwood_do_filter
7987270762SStephen Hemminger  * Low-pass filter. Implemented using constant coefficients.
8087270762SStephen Hemminger  */
8187270762SStephen Hemminger static inline u32 westwood_do_filter(u32 a, u32 b)
8287270762SStephen Hemminger {
8387270762SStephen Hemminger 	return (((7 * a) + b) >> 3);
8487270762SStephen Hemminger }
8587270762SStephen Hemminger 
86b3a92eabSLuca De Cicco static void westwood_filter(struct westwood *w, u32 delta)
8787270762SStephen Hemminger {
88b3a92eabSLuca De Cicco 	/* If the filter is empty fill it with the first sample of bandwidth  */
89b3a92eabSLuca De Cicco 	if (w->bw_ns_est == 0 && w->bw_est == 0) {
90b3a92eabSLuca De Cicco 		w->bw_ns_est = w->bk / delta;
91b3a92eabSLuca De Cicco 		w->bw_est = w->bw_ns_est;
92b3a92eabSLuca De Cicco 	} else {
9387270762SStephen Hemminger 		w->bw_ns_est = westwood_do_filter(w->bw_ns_est, w->bk / delta);
9487270762SStephen Hemminger 		w->bw_est = westwood_do_filter(w->bw_est, w->bw_ns_est);
9587270762SStephen Hemminger 	}
96b3a92eabSLuca De Cicco }
9787270762SStephen Hemminger 
9887270762SStephen Hemminger /*
9987270762SStephen Hemminger  * @westwood_pkts_acked
10087270762SStephen Hemminger  * Called after processing group of packets.
10187270762SStephen Hemminger  * but all westwood needs is the last sample of srtt.
10287270762SStephen Hemminger  */
1036687e988SArnaldo Carvalho de Melo static void tcp_westwood_pkts_acked(struct sock *sk, u32 cnt)
10487270762SStephen Hemminger {
1056687e988SArnaldo Carvalho de Melo 	struct westwood *w = inet_csk_ca(sk);
10687270762SStephen Hemminger 	if (cnt > 0)
1076687e988SArnaldo Carvalho de Melo 		w->rtt = tcp_sk(sk)->srtt >> 3;
10887270762SStephen Hemminger }
10987270762SStephen Hemminger 
11087270762SStephen Hemminger /*
11187270762SStephen Hemminger  * @westwood_update_window
11287270762SStephen Hemminger  * It updates RTT evaluation window if it is the right moment to do
11387270762SStephen Hemminger  * it. If so it calls filter for evaluating bandwidth.
11487270762SStephen Hemminger  */
1156687e988SArnaldo Carvalho de Melo static void westwood_update_window(struct sock *sk)
11687270762SStephen Hemminger {
1176687e988SArnaldo Carvalho de Melo 	struct westwood *w = inet_csk_ca(sk);
11887270762SStephen Hemminger 	s32 delta = tcp_time_stamp - w->rtt_win_sx;
11987270762SStephen Hemminger 
120b7d7a9e3SLuca De Cicco 	/* Initialize w->snd_una with the first acked sequence number in order
121f61e2901SStephen Hemminger 	 * to fix mismatch between tp->snd_una and w->snd_una for the first
122f61e2901SStephen Hemminger 	 * bandwidth sample
123f61e2901SStephen Hemminger 	 */
124f61e2901SStephen Hemminger         if (w->first_ack) {
125f61e2901SStephen Hemminger 		w->snd_una = tcp_sk(sk)->snd_una;
126f61e2901SStephen Hemminger 		w->first_ack = 0;
127f61e2901SStephen Hemminger 	}
128f61e2901SStephen Hemminger 
12987270762SStephen Hemminger 	/*
13087270762SStephen Hemminger 	 * See if a RTT-window has passed.
13187270762SStephen Hemminger 	 * Be careful since if RTT is less than
13287270762SStephen Hemminger 	 * 50ms we don't filter but we continue 'building the sample'.
13387270762SStephen Hemminger 	 * This minimum limit was chosen since an estimation on small
13487270762SStephen Hemminger 	 * time intervals is better to avoid...
13587270762SStephen Hemminger 	 * Obviously on a LAN we reasonably will always have
13687270762SStephen Hemminger 	 * right_bound = left_bound + WESTWOOD_RTT_MIN
13787270762SStephen Hemminger 	 */
13887270762SStephen Hemminger 	if (w->rtt && delta > max_t(u32, w->rtt, TCP_WESTWOOD_RTT_MIN)) {
13987270762SStephen Hemminger 		westwood_filter(w, delta);
14087270762SStephen Hemminger 
14187270762SStephen Hemminger 		w->bk = 0;
14287270762SStephen Hemminger 		w->rtt_win_sx = tcp_time_stamp;
14387270762SStephen Hemminger 	}
14487270762SStephen Hemminger }
14587270762SStephen Hemminger 
146bc726a71SLuca De Cicco static inline void update_rtt_min(struct westwood *w)
147bc726a71SLuca De Cicco {
148bc726a71SLuca De Cicco 	if (w->reset_rtt_min) {
149bc726a71SLuca De Cicco 		w->rtt_min = w->rtt;
150bc726a71SLuca De Cicco 		w->reset_rtt_min = 0;
151bc726a71SLuca De Cicco 	} else
152bc726a71SLuca De Cicco 		w->rtt_min = min(w->rtt, w->rtt_min);
153bc726a71SLuca De Cicco }
154bc726a71SLuca De Cicco 
155bc726a71SLuca De Cicco 
15687270762SStephen Hemminger /*
15787270762SStephen Hemminger  * @westwood_fast_bw
15887270762SStephen Hemminger  * It is called when we are in fast path. In particular it is called when
15987270762SStephen Hemminger  * header prediction is successful. In such case in fact update is
16087270762SStephen Hemminger  * straight forward and doesn't need any particular care.
16187270762SStephen Hemminger  */
1626687e988SArnaldo Carvalho de Melo static inline void westwood_fast_bw(struct sock *sk)
16387270762SStephen Hemminger {
1646687e988SArnaldo Carvalho de Melo 	const struct tcp_sock *tp = tcp_sk(sk);
1656687e988SArnaldo Carvalho de Melo 	struct westwood *w = inet_csk_ca(sk);
16687270762SStephen Hemminger 
1676687e988SArnaldo Carvalho de Melo 	westwood_update_window(sk);
16887270762SStephen Hemminger 
16987270762SStephen Hemminger 	w->bk += tp->snd_una - w->snd_una;
17087270762SStephen Hemminger 	w->snd_una = tp->snd_una;
171bc726a71SLuca De Cicco 	update_rtt_min(w);
17287270762SStephen Hemminger }
17387270762SStephen Hemminger 
17487270762SStephen Hemminger /*
17587270762SStephen Hemminger  * @westwood_acked_count
17687270762SStephen Hemminger  * This function evaluates cumul_ack for evaluating bk in case of
17787270762SStephen Hemminger  * delayed or partial acks.
17887270762SStephen Hemminger  */
1796687e988SArnaldo Carvalho de Melo static inline u32 westwood_acked_count(struct sock *sk)
18087270762SStephen Hemminger {
1816687e988SArnaldo Carvalho de Melo 	const struct tcp_sock *tp = tcp_sk(sk);
1826687e988SArnaldo Carvalho de Melo 	struct westwood *w = inet_csk_ca(sk);
18387270762SStephen Hemminger 
18487270762SStephen Hemminger 	w->cumul_ack = tp->snd_una - w->snd_una;
18587270762SStephen Hemminger 
18687270762SStephen Hemminger         /* If cumul_ack is 0 this is a dupack since it's not moving
18787270762SStephen Hemminger          * tp->snd_una.
18887270762SStephen Hemminger          */
18987270762SStephen Hemminger         if (!w->cumul_ack) {
19087270762SStephen Hemminger 		w->accounted += tp->mss_cache;
19187270762SStephen Hemminger 		w->cumul_ack = tp->mss_cache;
19287270762SStephen Hemminger 	}
19387270762SStephen Hemminger 
19487270762SStephen Hemminger         if (w->cumul_ack > tp->mss_cache) {
19587270762SStephen Hemminger 		/* Partial or delayed ack */
19687270762SStephen Hemminger 		if (w->accounted >= w->cumul_ack) {
19787270762SStephen Hemminger 			w->accounted -= w->cumul_ack;
19887270762SStephen Hemminger 			w->cumul_ack = tp->mss_cache;
19987270762SStephen Hemminger 		} else {
20087270762SStephen Hemminger 			w->cumul_ack -= w->accounted;
20187270762SStephen Hemminger 			w->accounted = 0;
20287270762SStephen Hemminger 		}
20387270762SStephen Hemminger 	}
20487270762SStephen Hemminger 
20587270762SStephen Hemminger 	w->snd_una = tp->snd_una;
20687270762SStephen Hemminger 
20787270762SStephen Hemminger 	return w->cumul_ack;
20887270762SStephen Hemminger }
20987270762SStephen Hemminger 
21087270762SStephen Hemminger 
21187270762SStephen Hemminger /*
21287270762SStephen Hemminger  * TCP Westwood
21387270762SStephen Hemminger  * Here limit is evaluated as Bw estimation*RTTmin (for obtaining it
21487270762SStephen Hemminger  * in packets we use mss_cache). Rttmin is guaranteed to be >= 2
21587270762SStephen Hemminger  * so avoids ever returning 0.
21687270762SStephen Hemminger  */
21772dc5b92SStephen Hemminger static u32 tcp_westwood_bw_rttmin(const struct sock *sk)
21887270762SStephen Hemminger {
21972dc5b92SStephen Hemminger 	const struct tcp_sock *tp = tcp_sk(sk);
22072dc5b92SStephen Hemminger 	const struct westwood *w = inet_csk_ca(sk);
22172dc5b92SStephen Hemminger 	return max_t(u32, (w->bw_est * w->rtt_min) / tp->mss_cache, 2);
22287270762SStephen Hemminger }
22387270762SStephen Hemminger 
2246687e988SArnaldo Carvalho de Melo static void tcp_westwood_event(struct sock *sk, enum tcp_ca_event event)
22587270762SStephen Hemminger {
2266687e988SArnaldo Carvalho de Melo 	struct tcp_sock *tp = tcp_sk(sk);
2276687e988SArnaldo Carvalho de Melo 	struct westwood *w = inet_csk_ca(sk);
22887270762SStephen Hemminger 
22987270762SStephen Hemminger 	switch(event) {
23087270762SStephen Hemminger 	case CA_EVENT_FAST_ACK:
2316687e988SArnaldo Carvalho de Melo 		westwood_fast_bw(sk);
23287270762SStephen Hemminger 		break;
23387270762SStephen Hemminger 
23487270762SStephen Hemminger 	case CA_EVENT_COMPLETE_CWR:
23572dc5b92SStephen Hemminger 		tp->snd_cwnd = tp->snd_ssthresh = tcp_westwood_bw_rttmin(sk);
23687270762SStephen Hemminger 		break;
23787270762SStephen Hemminger 
23887270762SStephen Hemminger 	case CA_EVENT_FRTO:
23972dc5b92SStephen Hemminger 		tp->snd_ssthresh = tcp_westwood_bw_rttmin(sk);
240bc726a71SLuca De Cicco  		/* Update RTT_min when next ack arrives */
241bc726a71SLuca De Cicco 		w->reset_rtt_min = 1;
24287270762SStephen Hemminger 		break;
24387270762SStephen Hemminger 
24487270762SStephen Hemminger 	case CA_EVENT_SLOW_ACK:
2456687e988SArnaldo Carvalho de Melo 		westwood_update_window(sk);
2466687e988SArnaldo Carvalho de Melo 		w->bk += westwood_acked_count(sk);
247bc726a71SLuca De Cicco 		update_rtt_min(w);
24887270762SStephen Hemminger 		break;
24987270762SStephen Hemminger 
25087270762SStephen Hemminger 	default:
25187270762SStephen Hemminger 		/* don't care */
25287270762SStephen Hemminger 		break;
25387270762SStephen Hemminger 	}
25487270762SStephen Hemminger }
25587270762SStephen Hemminger 
25687270762SStephen Hemminger 
25787270762SStephen Hemminger /* Extract info for Tcp socket info provided via netlink. */
2586687e988SArnaldo Carvalho de Melo static void tcp_westwood_info(struct sock *sk, u32 ext,
25987270762SStephen Hemminger 			      struct sk_buff *skb)
26087270762SStephen Hemminger {
2616687e988SArnaldo Carvalho de Melo 	const struct westwood *ca = inet_csk_ca(sk);
26273c1f4a0SArnaldo Carvalho de Melo 	if (ext & (1 << (INET_DIAG_VEGASINFO - 1))) {
26387270762SStephen Hemminger 		struct rtattr *rta;
26487270762SStephen Hemminger 		struct tcpvegas_info *info;
26587270762SStephen Hemminger 
26673c1f4a0SArnaldo Carvalho de Melo 		rta = __RTA_PUT(skb, INET_DIAG_VEGASINFO, sizeof(*info));
26787270762SStephen Hemminger 		info = RTA_DATA(rta);
26887270762SStephen Hemminger 		info->tcpv_enabled = 1;
26987270762SStephen Hemminger 		info->tcpv_rttcnt = 0;
27087270762SStephen Hemminger 		info->tcpv_rtt = jiffies_to_usecs(ca->rtt);
27187270762SStephen Hemminger 		info->tcpv_minrtt = jiffies_to_usecs(ca->rtt_min);
27287270762SStephen Hemminger 	rtattr_failure:	;
27387270762SStephen Hemminger 	}
27487270762SStephen Hemminger }
27587270762SStephen Hemminger 
27687270762SStephen Hemminger 
27787270762SStephen Hemminger static struct tcp_congestion_ops tcp_westwood = {
27887270762SStephen Hemminger 	.init		= tcp_westwood_init,
27987270762SStephen Hemminger 	.ssthresh	= tcp_reno_ssthresh,
28087270762SStephen Hemminger 	.cong_avoid	= tcp_reno_cong_avoid,
28172dc5b92SStephen Hemminger 	.min_cwnd	= tcp_westwood_bw_rttmin,
28287270762SStephen Hemminger 	.cwnd_event	= tcp_westwood_event,
28387270762SStephen Hemminger 	.get_info	= tcp_westwood_info,
28487270762SStephen Hemminger 	.pkts_acked	= tcp_westwood_pkts_acked,
28587270762SStephen Hemminger 
28687270762SStephen Hemminger 	.owner		= THIS_MODULE,
28787270762SStephen Hemminger 	.name		= "westwood"
28887270762SStephen Hemminger };
28987270762SStephen Hemminger 
29087270762SStephen Hemminger static int __init tcp_westwood_register(void)
29187270762SStephen Hemminger {
292*74975d40SAlexey Dobriyan 	BUILD_BUG_ON(sizeof(struct westwood) > ICSK_CA_PRIV_SIZE);
29387270762SStephen Hemminger 	return tcp_register_congestion_control(&tcp_westwood);
29487270762SStephen Hemminger }
29587270762SStephen Hemminger 
29687270762SStephen Hemminger static void __exit tcp_westwood_unregister(void)
29787270762SStephen Hemminger {
29887270762SStephen Hemminger 	tcp_unregister_congestion_control(&tcp_westwood);
29987270762SStephen Hemminger }
30087270762SStephen Hemminger 
30187270762SStephen Hemminger module_init(tcp_westwood_register);
30287270762SStephen Hemminger module_exit(tcp_westwood_unregister);
30387270762SStephen Hemminger 
30487270762SStephen Hemminger MODULE_AUTHOR("Stephen Hemminger, Angelo Dell'Aera");
30587270762SStephen Hemminger MODULE_LICENSE("GPL");
30687270762SStephen Hemminger MODULE_DESCRIPTION("TCP Westwood+");
307