朱辉(茶水): Linux Kernel iowait 时间的代码原理

作者简介

朱辉,个人主页 http://teawater.github.io/,微信公众号茶水侃山(cschatcs)。

做过几年模拟器,做过几年GDB,在小米电视做过几年Linux内核优化,主要围绕MM。

现在在HyperHQ当软件工程师。

640?wx_fmt=jpeg&wxfrom=5&wx_lazy=1

Linuxer祝所有用户新年快乐,感谢您对Linuxer在2017长情的陪伴。继续欢迎您给Linuxer投稿,赢取人民邮电任意在售技术图书:

Linuxer-"Linux开发者自己的媒体"第五月稿件和赠书名单

2018,关注Linuxer,关注Linux技术和技术背后的人

0?wx_fmt=png

更新记录

2017.12.15:

对扩展文章的问题描述进行了精确化。

2017.12.10:

根据张骁和宋宝华老师的建议,将结尾的错误进行了修正。

增加一篇扩展阅读。

增加了对CPU负载均衡问题的讲解。

之前在我热爱的公众号Linuxer看到The precise meaning of I/O wait time in Linux 这篇文章,感觉写的不错,就是没有落实到源码上感觉稍微有点晦涩,于是自己读了一下代码。


当task发生iowait的时候,内核对他们的处理方法是将task切换出去,让可运行的task先运行,而在切换出去前,会将其in_iowait设置为1,再次被唤醒的时候in_iowait被设置为原值。相关函数io_schedule,io_schedule_timeout,mutex_lock_io,mutex_lock_io_nested。


例如:

0?wx_fmt=png

由此可见in_iowait表明了这个task是否在iowait。


另外要注意的是,这几个切换函数除了mutex_lock_io,mutex_lock_io_nested会设置task运行状态为TASK_UNINTERRUPTIBLE外,内核在调用io_schedule,io_schedule_timeout前都会设置task运行状态TASK_UNINTERRUPTIBLE。


在进程切换函数__schedule在切换task的时候,如果被切换出的task的in_iowait为真,则会对这个CPU的运行队列rq结构中的nr_iowait加1。


因为前面对task已经被设置为TASK_UNINTERRUPTIBLE,则task需要被唤醒,对nr_iowait的减少操作也是在task唤醒函数来做的。


由此可见nr_iowait可以表明某CPU上是否有task在iowait,以及数量。


因为处于iowait的task是TASK_UNINTERRUPTIBLE状态,其并不在就绪队列中,所以其也没有被CPU负载均衡到其他CPU的可能,所以nr_iowait也不需要处理负载均衡问题。


当累加系统idle时间的时候,如果CPU的nr_iowait为真,也就是当前这个cpu有task在等待iowait,则记录为iowait时间。


在打开NO_HZ的内核中,相关代码在update_ts_time_stats。

0?wx_fmt=png


而没打开的则在 account_idle_time。

0?wx_fmt=png

当相关/proc/stat接口被访问时,get_iowait_time就会访问这个时间并返回。

综上所述,iowait时间就是CPU idle时间,但是这时候CPU上不是完全没TASK需要运行,而是休眠的task中有一个或者若干个是iowait的task。


当然idle和iowait的时候CPU上还有idle task。


最后推荐一篇阿里内核组的文章作为扩展阅读Kernel Documents/new iowait calculation (http://link.zhihu.com/?target=http%3A//kernel.taobao.org/index.php%3Ftitle%3DKernel_Documents/new_iowait_calculation)


比较有意思是这里:

 

+       wait_event_interruptible_hrtimeout(ctx->wait,

+                       aio_read_events(ctx, min_nr, nr, event, &ret), until);

无论超时值until是什么值,都会调用wait_event_interruptible_hrtimeout,虽然是hrtimer实时性已经很高,但是在用来实际处理wait的宏__wait_event_hrtimeout可以看到hrtimer初始化使用的是:

hrtimer_start_range_ns(&__t.timer, timeout,\

       current->timer_slack_ns,\

       HRTIMER_MODE_REL);\

其中第三个参数current->timer_slack_ns是传递给hrtimer的触发范围,因为hrtimer实时性高,但是频繁触发系统显然受不了,所以每次hrtimer触发都会将时间范围内的timer都处理掉(见__hrtimer_run_queues)。所以timeout+current->timer_slack_ns才是设置的hrtimer的最后触发时间,current->timer_slack_ns的默认值是50000,也就是代表50000纳秒。也就是这个时钟最久会在50000纳秒后触发,当然也可能被之前的hrtimer触发。


所以在wait_event_interruptible_hrtimeout中,一旦ctx->wait未能就绪,即使设置超时时间为0,也很可能要调用一次schedule,这导致iowait时间相差很大,也还很大幅度伤害了性能。


而这个问题也被5f785de588735306ec4d7c875caf9d28481c8b21进行了修复,这段代码改成了:


-       wait_event_interruptible_hrtimeout(ctx->wait,

-                       aio_read_events(ctx, min_nr, nr, event, &ret), until);

+       if (until.tv64 == 0)

+               aio_read_events(ctx, min_nr, nr, event, &ret);

+       else

+               wait_event_interruptible_hrtimeout(ctx->wait,

+                               aio_read_events(ctx, min_nr, nr, event, &ret),

+                               until);


从而在until为0的时候,直接调用aio_read_events。应该就不会再有那么明显的iowait问题了,另外也因此这个修复让io_getevents的调用得到了超过百倍的性能提升。


当然这个iowait不够精确的原因还是存在,一旦因为需要发生task切换,还是会有不够精确的问题。


最后要吐槽一下aio的设计,都aio了还需要wait吗?

0?wx_fmt=png

阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/juS3Ve/article/details/78948792
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

不良信息举报

朱辉(茶水): Linux Kernel iowait 时间的代码原理

最多只允许输入30个字

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭