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 1000static 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