前言

笔者一直以为在Linux下TIME_WAIT状态的Socket持续状态是60s左右。线上实际却存在TIME_WAIT超过100s的Socket。由于这牵涉到最近出现的一个复杂Bug的分析。所以,笔者就去Linux源码里面,一探究竟。

首先介绍下Linux环境

TIME_WAIT这个参数通常和五元组重用扯上关系。在这里,笔者先给出机器的内核参数设置,以免和其它问题相混淆。

cat /proc/sys/net/ipv4/tcp_tw_reuse 0
cat /proc/sys/net/ipv4/tcp_tw_recycle 0
cat /proc/sys/net/ipv4/tcp_timestamps 1

可以看到,我们设置了tcp_tw_recycle为0,这可以避免NAT下tcp_tw_recycle和tcp_timestamps同时开启导致的问题。具体问题可以看笔者的以往博客。

https://www.cnblogs.com/alchemystar/p/13801368.html

TIME_WAIT状态转移图

提到Socket的TIME_WAIT状态,不得就不亮出TCP状态转移图了:

持续时间就如图中所示的2MSL。但图中并没有指出2MSL到底是多长时间,但笔者从Linux源码里面翻到了下面这个宏定义。

#define TCP_TIMEWAIT_LEN (60*HZ) /* how long to wait to destroy TIME-WAIT* state, about 60 seconds */

如英文字面意思所示,60s后销毁TIME_WAIT状态,那么2MSL肯定就是60s喽?

持续时间真如TCP_TIMEWAIT_LEN所定义么?

笔者之前一直是相信60秒TIME_WAIT状态的socket就能够被Kernel回收的。甚至笔者自己做实验telnet一个端口号,人为制造TIME_WAIT,自己计时,也是60s左右即可回收。

但在追查一个问题时候,发现,TIME_WAIT有时候能够持续到111s,不然完全无法解释问题的现象。这就逼得笔者不得不推翻自己的结论,重新细细阅读内核对于TIME_WAIT状态处理的源码。当然,这个追查的问题也会写成博客分享出来,敬请期待_。

TIME_WAIT定时器源码

谈到TIME_WAIT何时能够被回收,不得不谈到TIME_WAIT定时器,这个就是专门用来销毁到期的TIME_WAIT Socket的。而每一个Socket进入TIME_WAIT时,必然会经过下面的代码分支:

tcp_v4_rcv|->tcp_timewait_state_process/* 将time_wait状态的socket链入时间轮|->inet_twsk_schedule

由于我们的kernel并没有开启tcp_tw_recycle,所以最终的调用为:

/* 这边TCP_TIMEWAIT_LEN 60 * HZ */
inet_twsk_schedule(tw, &tcp_death_row, TCP_TIMEWAIT_LEN,TCP_TIMEWAIT_LEN);

这里不详细讲了,感兴趣的可以访问

艾晓园-物理,生活中的科学知识汇总分享​www.xiaoyuani.com

了解更多好了,让我们按下这个核心函数吧。

inet_twsk_schedule

在阅读源码前,先看下大致的处理流程。Linux内核是通过时间轮来处理到期的TIME_WAIT socket,如下图所示:

内核将60s的时间分为8个slot(INET_TWDR_RECYCLE_SLOTS),每个slot处理7.5(60/8)范围time_wait状态的socket。

void inet_twsk_schedule(struct inet_timewait_sock *tw,struct inet_timewait_death_row *twdr,const int timeo, const int timewait_len)
{......// 计算时间轮的slotslot = (timeo + (1 << INET_TWDR_RECYCLE_TICK) - 1) >> INET_TWDR_RECYCLE_TICK;......// 慢时间轮的逻辑,由于没有开启TCP_TW_RECYCLE,timeo总是60*HZ(60s)// 所有都走slow_timer逻辑 if (slot >= INET_TWDR_RECYCLE_SLOTS) {/* Schedule to slow timer */if (timeo >= timewait_len) {slot = INET_TWDR_TWKILL_SLOTS - 1;} else {slot = DIV_ROUND_UP(timeo, twdr->period);if (slot >= INET_TWDR_TWKILL_SLOTS)slot = INET_TWDR_TWKILL_SLOTS - 1;}tw->tw_ttd = jiffies + timeo;// twdr->slot当前正在处理的slot// 在TIME_WAIT_LEN下,这个逻辑一般7slot = (twdr->slot + slot) & (INET_TWDR_TWKILL_SLOTS - 1);list = &twdr->cells[slot];} else{// 走短时间定时器,由于篇幅原因,不在这里赘述......}....../* twdr->period 60/8=7.5 */if (twdr->tw_count++ == 0)mod_timer(&twdr->tw_timer, jiffies + twdr->period);spin_unlock(&twdr->death_lock);
}

从源码中可以看到,由于我们传入的timeout皆为TCP_TIMEWAIT_LEN。所以,每次刚成为的TIME_WAIT状态的socket即将链接到当前处理slot最远的slot(+7)以便处理。如下图所示:

如果Kernel不停的产生TIME_WAIT,那么整个slow timer时间轮就会如下图所示:

所有的slot全部挂满了TIME_WAIT状态的Socket。

具体的清理函数

每次调用inet_twsk_schedule时候传入的处理函数都是:

/*参数中的tcp_death_row即为承载时间轮处理函数的结构体*/
inet_twsk_schedule(tw,&tcp_death_row,TCP_TIMEWAIT_LEN,TCP_TIMEWAIT_LEN)
/* 具体的处理结构体 */
struct inet_timewait_death_row tcp_death_row = {....../* slow_timer时间轮处理函数 */.tw_timer = TIMER_INITIALIZER(inet_twdr_hangman, 0,(unsigned long)&tcp_death_row),/* slow_timer时间轮辅助处理函数*/.twkill_work   = __WORK_INITIALIZER(tcp_death_row.twkill_work,inet_twdr_twkill_work),/* 短时间轮处理函数 */.twcal_timer   = TIMER_INITIALIZER(inet_twdr_twcal_tick, 0,(unsigned long)&tcp_death_row),
};

由于我们这边主要考虑的是设置为TCP_TIMEWAIT_LEN(60s)的处理时间,所以直接考察slow_timer时间轮处理函数,也就是inet_twdr_hangman。这个函数还是比较简短的:

void inet_twdr_hangman(unsigned long data)
{struct inet_timewait_death_row *twdr;unsigned int need_timer;twdr = (struct inet_timewait_death_row *)data;spin_lock(&twdr->death_lock);if (twdr->tw_count == 0)goto out;need_timer = 0;// 如果此slot处理的time_wait socket已经达到了100个,且还没处理完if (inet_twdr_do_twkill_work(twdr, twdr->slot)) {twdr->thread_slots |= (1 << twdr->slot);// 将余下的任务交给work queue处理schedule_work(&twdr->twkill_work);need_timer = 1;} else {/* We purged the entire slot, anything left?  */// 判断是否还需要继续处理if (twdr->tw_count)need_timer = 1;// 如果当前slot处理完了,才跳转到下一个slottwdr->slot = ((twdr->slot + 1) & (INET_TWDR_TWKILL_SLOTS - 1));}// 如果还需要继续处理,则在7.5s后再运行此函数if (need_timer)mod_timer(&twdr->tw_timer, jiffies + twdr->period);
out:spin_unlock(&twdr->death_lock);
}

虽然简单,但这个函数里面有不少细节。第一个细节,就在inet_twdr_do_twkill_work,为了防止这个slot的time_wait过多,卡住当前的流程,其会在处理完100个time_wait socket之后就回返回。这个slot余下的time_wait会交给Kernel的work_queue机制去处理。

值得注意的是。由于在这个slow_timer时间轮判断里面,根本不判断精确时间,直接全部删除。所以轮到某个slot,例如到了52.5-60s这个slot,直接清理52.5-60s的所有time_wait。即使time_wait还没有到60s也是如此。而小时间轮(tw_cal)会精确的判定时间,由于篇幅原因,就不在这里细讲了。

注: 小时间轮(tw_cal)在tcp_tw_recycle开启的情况下会使用

先作出一个假设

我们假设,一个时间轮的数据最多能在一个slot间隔时间,也就是(60/8=7.5)内肯定能处理完毕。由于系统有tcp_tw_max_buckets设置,如果设置的比较合理,这个假设还是比较靠谱的。

注: 这里的60/8为什么需要精确到小数,而不是7。
因为实际计算的时候是拿60*HZ进行计算,
如果HZ是1024的话,那么period应该是7680,即精度精确到ms级。
所以在本文中计算的时候需要精确到小数。

如果一个slot中的TIME_WAIT<=100

如果一个slot的TIME_WAIT<=100,很自然的,我们的处理函数并不会启用work_queue。同时,还将slot+1,使得在下一个period的时候可以处理下一个slot。如下图所示:

如果一个slot中的TIME_WAIT>100

如果一个slot的TIME_WAIT>100,Kernel会将余下的任务交给work_queue处理。同时,slot不变!也即是说,下一个period(7.5s后)到达的时候,还会处理同样的slot。按照我们的假设,这时候slot已经处理完毕,那么在第7.5s的时候才将slot向前推进。也就是说,假设slot一开始为0,到真正处理slot 1需要15s!

假设每一个slot的TIME_WAIT都>100的话,那么每个slot的处理都需要15s。

对于这种情况,笔者写了个程序进行模拟。

public class TimeWaitSimulator {public static void main(String[] args) {double delta = (60) * 1.0 / 8;// 0表示开始清理,1表示清理完毕// 清理完毕之后slot向前推进int startPurge = 0;double sum = 0;int slot = 0;while (slot < 8) {if (startPurge == 0) {sum += delta;startPurge = 1;if (slot == 7) {// 因为假设进入work_queue之后,很快就会清理完// 所以在slot为7的时候并不需要等最后的那个purge过程7.5sSystem.out.println("slot " + slot + " has reach the last " + sum);break;}}if (startPurge == 1) {sum += delta;startPurge = 0;System.out.println("slot " + "move to next at time " + sum);// 清理完之后,slot才应该向前推进slot++;}}}
}

得出结果如下面所示:

slot move to next at time 15.0
slot move to next at time 30.0
slot move to next at time 45.0
slot move to next at time 60.0
slot move to next at time 75.0
slot move to next at time 90.0
slot move to next at time 105.0
slot 7 has reach the last  112.5

也即处理到52.5-60s这个时间轮的时候,其实外面时间已经过去了112.5s,处理已经完全滞后了。不过由于TIME_WAIT状态下的Socket(inet_timewait_sock)所占用内存很少,所以不会对系统可用资源造成太大的影响。但是,这会在NAT环境下造成一个坑,这也是笔者文章前面提到过的Bug。
上面的计算如果按照图和时间线画出来,应该是这么个情况:

也即TIME_WAIT状态的Socket在一个period(7.5s)内能处理完当前slot的情况下,最多能够存在112.5s!

如果7.5s内还处理不完,那么响应时间轮的轮转还得继续加上一个或多个perod。但在tcp_tw_max_buckets的限制,应该无法达到这么严苛的条件。

PAWS(Protection Against Wrapped Sequences)使得TIME_WAIT延长

事实上,以上结论还是不够严谨。TIME_WAIT时间还可以继续延长!看下这段源码:

enum tcp_tw_status
tcp_timewait_state_process(struct inet_timewait_sock *tw, struct sk_buff *skb,const struct tcphdr *th)
{......if (paws_reject)NET_INC_STATS_BH(twsk_net(tw), LINUX_MIB_PAWSESTABREJECTED);if (!th->rst) {/* In this case we must reset the TIMEWAIT timer.** If it is ACKless SYN it may be both old duplicate* and new good SYN with random sequence number <rcv_nxt.* Do not reschedule in the last case.*//* 如果有回绕校验失败的包到达的情况下,或者其实ack包 * 重置定时器到新的60s之后* /if (paws_reject || th->ack)inet_twsk_schedule(tw, &tcp_death_row, TCP_TIMEWAIT_LEN,TCP_TIMEWAIT_LEN);/* Send ACK. Note, we do not put the bucket,* it will be released by caller.*//* 向对端发送当前time wait状态应该返回的ACK */return TCP_TW_ACK;}inet_twsk_put(tw);/* 注意,这边通过paws校验的包,会返回tcp_tw_success,使得time_wait状态的* socket五元组也可以三次握手成功重新复用* /return TCP_TW_SUCCESS;
}

上面的逻辑如下图所示:

注意代码最后的return TCP_TW_SUCCESS,通过PAWS校验的包,会返回TCP_TW_SUCCESS,使得TIME_WAIT状态的Socket(五元组)也可以三次握手成功重新复用!
这段逻辑很微妙,会在笔者下一篇<<解Bug之路>>里面进行详解!

总结

如果不仔细分析就下定结论,很容就被自己之前先入为主的一些不够严谨的结论所困扰。导致排查一些复杂问题的时候将思路引导向错误的方向。笔者在追查某个问题的时候就犯了这样的错误。当种种猜测都和事实矛盾时,必须怀疑起自己之前笃定的结论并尝试着推翻它,整个过程即艰辛又快乐!

close wait 过多原因_从Linux源码看TIME_WAIT状态的持续时间相关推荐

  1. codeblock socket 编译错误_从Linux源码看Socket(TCP)Client端的Connect

    从Linux源码看Socket(TCP)Client端的Connect 前言 笔者一直觉得如果能知道从应用到框架再到操作系统的每一处代码,是一件Exciting的事情. 今天笔者就来从Linux源码的 ...

  2. linux源码_从linux源码看epoll及epoll实战揭秘

    从linux源码看epoll 前言 在linux的高性能网络编程中,绕不开的就是epoll.和select.poll等系统调用相比,epoll在需要监视大量文件描述符并且其中只有少数活跃的时候,表现出 ...

  3. java linux 调用32位so_从linux源码看socket(tcp)的timeout

    从linux源码看socket(tcp)的timeout 前言 网络编程中超时时间是一个重要但又容易被忽略的问题,对其的设置需要仔细斟酌.在经历了数次物理机宕机之后,笔者详细的考察了在网络编程(tcp ...

  4. ip受限 linux_从linux源码看epoll及epoll实战揭秘

    从linux源码看epoll 前言 在linux的高性能网络编程中,绕不开的就是epoll.和select.poll等系统调用相比,epoll在需要监视大量文件描述符并且其中只有少数活跃的时候,表现出 ...

  5. 从linux源码看epoll及epoll实战揭秘

    从linux源码看epoll 前言 在linux的高性能网络编程中,绕不开的就是epoll.和select.poll等系统调用相比,epoll在需要监视大量文件描述符并且其中只有少数活跃的时候,表现出 ...

  6. 从linux源码看epoll

    从linux源码看epoll 前言 在linux的高性能网络编程中,绕不开的就是epoll.和select.poll等系统调用相比,epoll在需要监视大量文件描述符并且其中只有少数活跃的时候,表现出 ...

  7. linux内核线程socket,从Linux源码看Socket(TCP)的accept

    从Linux源码看Socket(TCP)的accept 前言 笔者一直以为若是能知道从应用到框架再到操做系统的每一处代码,是一件Exciting的事情. 今天笔者就从Linux源码的角度看下Serve ...

  8. 从 Linux 源码看 Socket 的阻塞和非阻塞

    转载自 从 Linux 源码看 Socket 的阻塞和非阻塞 笔者一直觉得如果能知道从应用到框架再到操作系统的每一处代码,是一件Exciting的事情. 大部分高性能网络框架采用的是非阻塞模式.笔者这 ...

  9. 从Linux源码看Socket(TCP)的listen及连接队列

    从Linux源码看Socket(TCP)的listen及连接队列 前言 笔者一直觉得如果能知道从应用到框架再到操作系统的每一处代码,是一件Exciting的事情. 今天笔者就来从Linux源码的角度看 ...

最新文章

  1. 给力开源,.Net开源地址大收集
  2. Mac下Ruby升级与Rails的安装
  3. Animation插值器:解决Android Animation 循环执行的停顿问题
  4. 备份关键信息linux
  5. new 3ds右摇杆测试软件,电击杂志编辑新3DS评测:防抖3D效果拔群!
  6. 看我如何用python来玩百万英雄
  7. Node.js ORM 框架 Sequelize 重要更新 v5 发布
  8. R语言如何并行处理[parallel package][向量化操作并行优化]
  9. docker export/import到docker容器迁移的思考
  10. 推理集 —— 特殊与差异
  11. java流程图平行四边形_流程图图形标准含义
  12. html页面根据ip地址跳转页面,一、请编写一个Servlet类,实现当前页面3秒后跳转到其它页面(跳转页面自定)的功能。...
  13. Windows 7 系统的旧版IE浏览器升级到IE11
  14. C++ atuo关键字看这一篇就够了
  15. 计算机进化阶段,进化计算
  16. 神经网络,多输入多输出
  17. 为知笔记怎么导入文件
  18. 【11】FreeRTOS的延时函数
  19. 怎么学习java?学习java的路线
  20. 刘强东在耶鲁北京中心演讲(2015-8):商城+金融+3农+生鲜

热门文章

  1. 什么是对象存储OSS-对象存储 OSS > 产品简介 > 什么是对象存储OSS
  2. 项目管理学习总结(13)——高效能技术Leader的30条军规
  3. Json学习总结(3)——Jsonp跨域及Rest接口实现
  4. Git学习总结(13)——使用git.oschina作为自己的源代码在线管理库
  5. 鸿蒙王者荣耀想要转区吗,王者荣耀:跨系统角色转移功能终于上线,想要成功转区,这九点常识必须要知道!...
  6. oracle日期大于3个月,用三个月时间做oracle实验,养成实验习惯
  7. openURL的使用(iOS调用系统电话、浏览器、地图、邮件等)
  8. 新零售大潮下 联想与BHG Mall签约共建智慧商城
  9. 院内适配层新版框架开发文档
  10. 阿里云四大海外数据中心将开服