[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20140726085924.GF6810@cpaasch-mac>
Date: Sat, 26 Jul 2014 10:59:24 +0200
From: Christoph Paasch <christoph.paasch@...ouvain.be>
To: Stephen Hemminger <stephen@...workplumber.org>
Cc: David Miller <davem@...emloft.net>, netdev@...r.kernel.org,
Neal Cardwell <ncardwell@...gle.com>,
David Laight <David.Laight@...LAB.COM>,
Doug Leith <doug.leith@...m.ie>
Subject: Re: [PATCH v2 net] tcp: Fix integer-overflows in TCP vegas
Hello Stephen,
On 25/07/14 - 11:14:48, Stephen Hemminger wrote:
> On Fri, 25 Jul 2014 13:52:39 +0200
> Christoph Paasch <christoph.paasch@...ouvain.be> wrote:
>
> > In vegas we do a multiplication of the cwnd and the rtt. This
> > may overflow and thus their result is stored in a u64. The current code
> > however does not cast the cwnd to a u64 and thus 32-bit arithmetic will
> > be done. This means, that in case of an integer overflow, the result is
> > completly wrong.
> >
> > This patch fixes it, by splitting the calculation of target_cwnd in two:
> >
> > 1. The non-overflow case: We just do a regular division here.
> > 2. The overflow-case: In this case we also want to avoid doing a costly do_div.
> > So, we calculate the upper 32 bits (that are overflowing) and the
> > error and add everything up. More details are in the comment in
> > tcp_vegas.c
> >
> > For the accuracy, I tested this with a python script that does the
> > same 32-bit arithmetic and compared the difference of this one with
> > the result of floating-point arithmetic with the following ranges in
> > a space-filling design across this 3-dimensional space:
> >
> > snd_cwnd : [1, 2^31 / 1500] (that's the maximum congestion-window size,
> > assuming a send-buffer of 2^31 and a MSS of 1500)
> > rtt: [1, 2^28]
> > baseRTT: [1, rtt]
> >
> > The error is never bigger than 10% in this simulation.
> >
> > If I set the rtt bigger than 2^28 the error may grow up to 50%.
> >
> > Cc: Neal Cardwell <ncardwell@...gle.com>
> > Cc: David Laight <David.Laight@...LAB.COM>
> > Cc: Doug Leith <doug.leith@...m.ie>
> > Fixes: 8d3a564da34e (tcp: tcp_vegas cong avoid fix)
> > Signed-off-by: Christoph Paasch <christoph.paasch@...ouvain.be>
>
> Wouldnt the simple, dumb approach used by other places doing 64 bit by 32 divide
> in the kernel be sufficient?
do you mean, using "do_div"?
David suggested to avoid using do_div in tcp_vegas.
Cheers,
Christoph
>
> --- a/net/ipv4/tcp_vegas.c 2014-05-16 20:27:32.499419952 -0700
> +++ b/net/ipv4/tcp_vegas.c 2014-07-25 11:14:18.161465900 -0700
> @@ -218,7 +218,9 @@ static void tcp_vegas_cong_avoid(struct
> * This is:
> * (actual rate in segments) * baseRTT
> */
> - target_cwnd = tp->snd_cwnd * vegas->baseRTT / rtt;
> + target_cwnd = tp->snd_cwnd;
> + target_cwnd *= vegas->baseRTT;
> + do_div(target_cwnd, rtt);
>
> /* Calculate the difference between the window we had,
> * and the window we would like to have. This quantity
> @@ -238,7 +240,7 @@ static void tcp_vegas_cong_avoid(struct
> * truncation robs us of full link
> * utilization.
> */
> - tp->snd_cwnd = min(tp->snd_cwnd, (u32)target_cwnd+1);
> + tp->snd_cwnd = min_t(u64, tp->snd_cwnd, target_cwnd+1);
> tp->snd_ssthresh = tcp_vegas_ssthresh(tp);
>
> } else if (tp->snd_cwnd <= tp->snd_ssthresh) {
>
>
--
To unsubscribe from this list: send the line "unsubscribe netdev" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Powered by blists - more mailing lists