TCP拥塞控制算法 — CUBIC的补丁(一)

cubic从2.6.37到3.0之间有7个patch,从3.0到3.8(当前最新版本)中无patch。

 

描述

 

以下是提交者Stephen Hemminger对这个patch的描述:

fix comparison of jiffies

Jiffies wraps around therefore the correct way to compare is to use cast to signed value.

Note: cubic is not using full jiffies value on 64 bit arch because using full unsigned long

makes struct bictcp grow too large for the available ca_priv area.

Includes correction from Sangtae Ha to improve ack train detection.

 

代码

 

--- a/net/ipv4/tcp_cubic.c
+++ b/net/ipv4/tcp_cubic.c
@@ -342,9 +342,11 @@ static void hystart_update(struct sock *sk, u32 delay)
                u32 curr_jiffies = jiffies;
 
                /* first detection parameter - ack-train detection */
-               if (curr_jiffies - ca->last_jiffies <= msecs_to_jiffies(2)) {
+               if ((s32)(curr_jiffies - ca->last_jiffies) <=
+                   msecs_to_jiffies(2)) {
                        ca->last_jiffies = curr_jiffies;
-                       if (curr_jiffies - ca->round_start >= ca->delay_min>>4)
+                       if ((s32) (curr_jiffies - ca->round_start) >
+                           ca->delay_min >> 4)
                                ca->found |= HYSTART_ACK_TRAIN;
                }

 

分析

 

@arch/x86/include/asm/posix_types_64.h:
typedef long __kernel_time_t;
typedef long __kernel_suseconds_t;

@include/linux/time.h:
struct timeval {
    __kernel_time_t tv_sec; /* seconds */
    __kernel_suseconds_t tv_usec; /* microseconds */
}

@include/linux/raid/pq.h:
typedef uint32_t u32;

#define jiffies raid6_jiffies()

#undef HZ
#define HZ 1000

static inline uint32_t raid6_jiffies(void)
{
    struct timeval tv;
    gettimeofday(&tv, NULL);
    return tv.tv_sec * 1000 + tv.tv_usec/1000;
}

我们可以看到jiffies为u32类型,单位为毫秒。这样一来jiffies在49.7天后就会溢出。

当jiffies达到最大值后,它的值就会回绕到0。

u32 a;

u32 b;

(a - b)为u32的,如果a < b,但是这时的结果为正数,则不能正确表示a和b的大小关系。

所以需要把结果转化为有符号的,即(s32)(a - b)。

 

评价

 

我们知道从道理上讲curr_jiffies应该总大于last_jiffies和round_start的,因为后两个是过去的时间。

这个patch并不能保证这一点,所以当curr_jiffies回绕时,还是会出现错误判断!

因为这个时候 (curr_jiffies - ca->round_start )总是小于0的。 

当然,回绕发生的概率低(49.7天一次),被这个函数遇到的概率更低,并且除了ack train方法外还有

delay increase来检查退出点,所以影响微乎其微。

其实要更彻底解决这个问题,只需要把ca->round_start和ca->last_jiffies换为u64类型,再使用64位

jiffies即可。这样在任何人的有生之年都别指望看到jiffies溢出了。提交者没有这样做的原因是这会使

bictcp结构的大小超出icsk_ca_priv所指向空间的大小,而其实增大icsk_ca_priv所指向空间大小是很

方便的。

 

Author

 

zhangskd @ csdn blog



posted on 2013-03-02 17:27  张大大123  阅读(432)  评论(0编辑  收藏  举报

导航