先上内核循环缓冲结构体的定义:
1 2 3 4 5 6 7 |
|
如果对“Linux内核中的循环缓冲区”不是很了解的话,可以先参考 这里 。内核中有关kfifo.c和kfifo.h两个文件的源码以及该问题的具体情况,可以查看 这里 。
对于结构体内的in和out两个变量,内核是作如下处理的:1、在读入数据时增加in;2、在取出数据时增加out;3、当检测到两个相等的时候将它们复位归0。1和2不作讨论和分析,针对第3点的处理,内核代码如下:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
|
问题:当数据写入速度大于读取速度的时候,in和out的值将永远不会相等,也就是说buffer永远是有数据的,这样的话in和out都存在超出自身数值表示范围,从而导致错误?
针对这个问题,不知大家有什么好的建议?
网友felix021的回复
之前看错了你的问题。
从源码的实现上来说,in和out的确是有可能会出现溢出,但是出现的情况非常极端:每次读取数据的时候都比当前缓冲区中的数据还少、而且这种情况持续直到写入的数据超过4GB。通常应该是不会遇到的;鉴于墨菲定律可能带来的恶果,的确还是得考虑一下。
不过可以再想想,溢出了就真的会导致程序出错吗?
回头再仔细看看 __kfifo_put()里面的代码,在写入的时候是这样实现的:
1 2 3 |
|
注意(fifo->in & (fifo->size - 1)
这里用了&
符号,而不是直接%fifo->size
,也就是说,初始化的时候size必然得设置成2的n次方(这个限制在内核里很合理,因为内核分配的空间通常是2的倍数,比如一个page)。
在像x86这种溢出跟取模操作等价的处理器上,对于当前的写入操作实际上“正好”没有风险。同样的,由于in/out都是 unsigned int,在后续的 kfifo_get/kfifo_len 里面in - out
(比如说2 - 4294967295
,你可以试试),结果仍然“正好”是正确的。
结论就是,它居然真的没有风险(前提是在溢出、无符号整数减法操作与x86处理器类似的CPU上)。
不得不说,内核源码的开发者真吝啬啊,多写一个赋值操作都不舍得。