目录
I/O 的基本知识
1. 文件系统
2. 磁盘
Android I/O
1. Android 闪存
2. 两个疑问
疑问一:文件为什么会损坏?
疑问二:I/O 有时候为什么会突然很慢?
不同的场景使用不同的I/O方式
I/O 的三种方式
1. 标准 I/O
2. 直接 I/O
3. mmap
多线程阻塞 I/O 和 NIO
1. 多线程阻塞 I/O
2. NIO
小文件系统
常见不良现象
1. 主线程 I/O
2. 读写 Buffer 过小
3. 重复读
4. 资源泄漏
IO优化的一些思考
在工作中,我发现很多工程师对 I/O 的认识其实比较模糊,认为 I/O 就是应用程序执行 read()、write() 这样的一些操作,并不清楚这些操作背后的整个流程是怎样的。
这里有一张简图,可以看到整个文件 I/O 操作由应用程序、文件系统和磁盘共同完成。首先应用程序将 I/O 命令发送给文件系统,然后文件系统会在合适的时机把 I/O 操作发给磁盘。这就好比 CPU、内存、磁盘三个小伙伴一起完成接力跑,最终跑完的时间很大程度上取决于最慢的小伙伴。我们知道,CPU 和内存相比磁盘是高速设备,整个流程的瓶颈在于磁盘 I/O 的性能。所以很多时候,文件系统性能比磁盘性能更加重要,为了降低磁盘对应用程序的影响,文件系统需要通过各种各样的手段进行优化。那么接下来,我们首先来看文件系统。
文件系统,简单来说就是存储和组织数据的方式。比如在 iOS 10.3 系统以后,苹果使用 APFS(Apple File System)替代之前旧的文件系统 HFS+。对于 Android 来说,现在普遍使用的是 Linux 常用的 ext4 文件系统。
关于文件系统还需要多说两句,华为在 EMUI 5.0 以后就使用 F2FS 取代 ext4,Google 也在 Pixel 3 使用了 F2FS 文件系统。Flash-Friendly File System 是三星是专门为 NAND 闪存芯片开发的文件系统,也做了大量针对闪存的优化。根据华为的测试数据,F2FS 文件系统在小文件的随机读写方面比 ext4 更快,例如随机写可以优化 60%,不足之处在于可靠性方面出现过一些问题。随着 Google、华为的投入和规模化使用,F2FS 系统应该是未来 Android 的主流文件系统。
应用程序调用 read() 方法,系统会中断从用户空间进入内核处理流程,然后经过 VFS(Virtual File System,虚拟文件系统)、具体文件系统、页缓存 Page Cache。下面是 Linux 一个通用的 I/O 架构模型。
具体来说,Page Cache 就像是我们经常使用的数据缓存,是文件系统对数据的缓存,目的是提升内存命中率。Buffer Cache 就像我们经常使用的 BufferInputStream,是磁盘对数据的缓存,目的是合并部分文件系统的 I/O 请求、降低磁盘 I/O 的次数。需要注意的是,它们既会用在读请求中,也会用到写请求中。
通过 /proc/meminfo 文件可以查看缓存的内存占用情况,当手机内存不足的时候,系统会回收它们的内存,这样整体 I/O 的性能就会有所降低。(这个现象需要注意)
MemTotal: 2866492 kB
MemFree: 72192 kB
Buffers: 62708 kB // Buffer Cache
Cached: 652904 kB // Page Cache
磁盘指的是系统的存储设备,就像小时候我们常听的 CD 或者电脑使用的机械硬盘,当然还有现在比较流行的 SSD 固态硬盘。
正如我上面所说,如果发现应用程序要 read() 的数据没有在页缓存中,这时候就需要真正向磁盘发起 I/O 请求。这个过程要先经过内核的通用块层、I/O 调度层、设备驱动层,最后才会交给具体的硬件设备处理。
/sys/block/[disk]/queue/nr_requests // 队列长度,一般是 128。
/sys/block/[disk]/queue/scheduler // 调度算法
手机使用闪存作为存储设备,也就是我们常说的 ROM。考虑到体积和功耗,我们肯定不能直接把 PC 的 SSD 方案用在手机上面。Android 手机前几年通常使用 eMMC 标准,近年来通常会采用性能更好的 UFS 2.0/2.1 标准,而苹果依然坚持独立自主的道路,在 2015 年就在 iPhone 6s 上就引入了 MacBook 上备受好评的 NVMe 协议。
首先需要先明确一下什么是文件损坏?一个文件的格式或者内容,如果没有达到应用程序写入时预期的结果都属于文件损坏。它不只是文件格式错误,文件内容丢失可能才是最常出现的,SharedPreference 跨进程读写就非常容易出现数据丢失的情况。
明确了文件损坏的定义后,我们再思考为什么会损坏,可以从应用程序、文件系统和磁盘三个角度来审视这个问题。
在文件系统这一层,更多是因为断电而导致的写入丢失。为了提升 I/O 性能,文件系统把数据写入到 Page Cache 中,然后等待合适的时机才会真正的写入磁盘。当然我们也可以通过 fsync、msync 这些接口强制写入磁盘。
闪存寿命也可能会导致数据错误,由于闪存的内部结构和特征,导致它写过的地址必须擦除才能再次写入,而每个块擦除又有次数限制,次数限制是根据采用的存储颗粒,从十万次到几千都有(SLC>MLC>TLC)。
下图是闪存(Flash Memory)的结构图,其中比较重要的是 FTL(Flash Translation Layer),它负责物理地址的分配和管理。它需要考虑到每个块的擦除寿命,将擦除次数均衡到所有块上去。当某个块空间不够的时候,它还要通过垃圾回收算法将数据迁移。FTL 决定了闪存的使用寿命、性能和可靠性,是闪存技术中最为重要的核心技术之一。
对于手机来说,假设我们的存储大小是 128GB,即使闪存的最大擦除次数只有 1000 次,那也可以写入 128TB,但一般来说比较难达到。
I/O 有时候为什么会突然变慢,可能有下面几个原因。
系统为了缓解磁盘碎片问题,可以引入 fstrim/TRIM 机制,在锁屏、充电等一些时机会触发磁盘碎片整理。
从上图中可以看到标准 I/O、mmap、直接 I/O 这三种 I/O 方式在流程上的差异,接下来我详细讲一下不同 I/O 方式的关键点以及在实际应用中需要注意的地方。
我们应用程序平时用到 read/write 操作都属于标准 I/O,也就是缓存 I/O(Buffered I/O)。它的关键特性有:
从中可以看出来,缓存 I/O 可以很大程度减少真正读写磁盘的次数,从而提升性能,但延迟写机制可能会导致数据丢失。在实际应用中,如果某些数据我们觉得非常重要,是完全不允许有丢失风险的,这个时候我们应该采用同步写机制。在应用程序中使用 sync、fsync、msync 等系统调用时,内核都会立刻将相应的数据写回到磁盘。
很多数据库自己已经做了数据和索引的缓存管理,对页缓存的依赖反而没那么强烈。它们希望可以绕开页缓存机制,这样可以减少一次数据拷贝,这些数据也不会污染页缓存。
从图中你可以看到,直接 I/O 访问文件方式减少了一次数据拷贝和一些系统调用的耗时,很大程度降低了 CPU 的使用率以及内存的占用。不过,直接 I/O 有时候也会对性能产生负面影响。
Android 并没有提供 Java 的 DirectByteBuffer,直接 I/O 需要在 open() 文件的时候需要指定 O_DIRECT 参数,更多的资料可以参考《Linux 中直接 I/O 机制的介绍》。在使用直接 I/O 之前,一定要对应用程序有一个很清醒的认识,只有在确定缓冲 I/O 的开销非常巨大的情况以后,才可以考虑使用直接 I/O。
Android 系统启动加载 Dex 的时候,不会把整个文件一次性读到内存中,而是采用 mmap 的方式。它是通过把文件映射到进程的地址空间,而网上很多文章都说 mmap 完全绕开了页缓存机制,其实这并不正确。我们最终映射的物理内存依然在页缓存中,它可以带来的好处有:
从上图看来,我们使用 mmap 仅仅只需要一次数据拷贝。看起来 mmap 的确可以秒杀普通的文件读写,那我们为什么不全都使用 mmap 呢?
事实上,它也存在一些缺点:
mmap 比较适合于对同一块区域频繁读写的情况,推荐也使用线程来操作。用户日志、数据上报都满足这种场景,另外需要跨进程同步的时候,mmap 也是一个不错的选择。Android 跨进程通信有自己独有的 Binder 机制,它内部也是使用 mmap 实现。
上面提到,由于写入放大的现象,特别是在低端机中,有时候 I/O 操作可能会非常慢。所以 I/O 操作应该尽量放到子线程中,不过很多同学可能都有这样一个疑问:如果同时读 10 个文件,我们应该用单线程还是 10 个线程并发读?
通过实验发现,多线程在 I/O 操作上收益并没有那么大,总时间从 3.6 秒减少到 1.1 秒。因为 CPU 的性能相比磁盘来说就是火箭,I/O 操作主要瓶颈在于磁盘带宽,30 条线程并不会有 30 倍的收益。而线程数太多甚至会导致耗时更长,表格中我们就发现 30 个线程所需要的时间比 10 个线程更长。但是在 CPU 繁忙的时候,更多的线程会让我们更有机会抢到时间片,这个时候多线程会比单线程有更大的收益。
总的来说文件读写受到 I/O 性能瓶颈的影响,在到达一定速度后整体性能就会受到明显的影响,过多的线程反而会导致应用整体性能的明显下降。
可以再来看看这两个案例。
案例一:
CPU: 0.3% user, 3.1% kernel, 60.2% iowait, 36% idle\.\.\.
案例二:
CPU: 60.3% user, 20.1% kernel, 14.2% iowait, 4.6% idle\.\.\.
案例一:当系统空闲(36% idle)时,如果没有其他线程需要调度,这个时候才会出现 I/O 等待(60.2% iowait)。
案例二:如果我们的系统繁忙起来,这个时候 CPU 不会“无所事事”,它会去看有没有其他线程需要调度,这个时候 I/O 等待会降低(14.2% iowait)。但是太多的线程阻塞会导致线程切换频繁,增大系统上下文切换的开销。
简单来说,iowait 高,I/O 一定有问题。但 iowait 低,I/O 不一定没有问题。这个时候我们还要看 CPU 的 idle 比例。从下图我们可以看到同步 I/O 的工作模式:
对应用程序来说,磁盘 I/O 阻塞线程的总时间会更加合理,它并不关心 CPU 是否真的在等待,还是去执行其他工作了。在实际开发工作中,大部分时候都是读一些比较小的文件,使用单独的 I/O 线程还是专门新开一个线程,其实差别不大。
多线程阻塞式 I/O 会增加系统开销,那我们是否可以使用异步 I/O 呢?当我们线程遇到 I/O 操作的时候,不再以阻塞的方式等待 I/O 操作的完成,而是将 I/O 请求发送给系统后,继续往下执行。这个过程你可以参考下面的图。
非阻塞的 NIO 将 I/O 以事件的方式通知,的确可以减少线程切换的开销。Chrome 网络库是一个使用 NIO 提升性能很好的例子,特别是在系统非常繁忙的时候。但是 NIO 的缺点也非常明显,应用程序的实现会变得更复杂,有的时候异步改造并不容易。
其实使用 NIO 的最大作用不是减少读取文件的耗时,而是最大化提升应用整体的 CPU 利用率。在 CPU 繁忙的时候,我们可以将线程等待磁盘 I/O 的时间来做部分 CPU 操作。非常推荐 Square 的Okio,它支持同步和异步 I/O,也做了比较多优化,你可以尝试使用。
对于文件系统来说,目录查找的性能是非常重要的。比如微信朋友圈图片可能有几万张,如果我们每张图片都是一个单独的文件,那目录下就会有几万个小文件,你想想这对 I/O 的性能会造成什么影响?
文件的读取需要先找到存储的位置,在文件系统上面我们使用 inode 来存储目录。读取一个文件的耗时可以拆分成下面两个部分。
文件读取的时间 = 找到文件的 inode 的时间 + 根据 inode 读取文件数据的时间
如果我们需要频繁读写几万个小文件,查找 inode 的时间会变得非常可观。这个时间跟文件系统的实现有关。
大量的小文件合并为大文件后,我们还可以将能连续访问的小文件合并存储,将原本小文件间的随机访问变为了顺序访问,可以大大提高性能。同时合并存储能够有效减少小文件存储时所产生的磁盘碎片问题,提高磁盘的利用率。
业界中 Google 的 GFS、淘宝开源的TFS、Facebook 的 Haystack 都是专门为海量小文件的存储和检索设计的文件系统。微信也开发了一套叫 SFS 的小文件管理系统,主要用在朋友圈图片的管理,用于解决当时外置 SD 卡使用 FAT32 的性能问题。
我们知道,有时候 I/O 的写入会突然放大,即使是几百 KB 的数据,还是尽量不要在主线程上操作。在线上也会经常发现一些 I/O 操作明明数据量不大,但是最后还是 ANR 了。
我们知道,对于文件系统是以 block 为单位读写,对于磁盘是以 page 为单位读写,看起来即使我们在应用程序上面使用很小的 Buffer,在底层应该差别不大。那是不是这样呢?
read(53, "*****************"\.\.\., 1024) = 1024 <0.000447>
read(53, "*****************"\.\.\., 1024) = 1024 <0.000084>
read(53, "*****************"\.\.\., 1024) = 1024 <0.000059>
虽然后面两次系统调用的时间的确会少一些,但是也会有一定的耗时。如果我们的 Buffer 太小,会导致多次无用的系统调用和内存拷贝,导致 read/write 的次数增多,从而影响了性能。那应该选用多大的 Buffer 呢?Buffer 的大小一般推荐使用 4KB 以上。
如果频繁地读取某个文件,并且这个文件一直没有被写入更新,我们可以通过缓存来提升性能。加一层内存 cache 是最直接有效的办法,比较典型的场景是配置文件等一些数据模块的加载,如果没有内存 cache,那么性能影响就比较大了。
伪代码:
public String readConfig() {
if (Cache != null) {
return cache;
}
cache = read("configFile");
return cache;
}
资源泄漏是指打开资源包括文件、Cursor 等没有及时 close,从而引起泄露。这属于非常低级的编码错误,但却非常普遍存在。
参考:
磁盘I/O那些事
选eMMC、UFS还是NVMe? 手机ROM存储传输协议解析
聊聊 Linux IO
采用NAND Flash设计存储设备的挑战在哪里?
《Linux 中直接 I/O 机制的介绍》