块设备基本概念

 

系统中能够随机（不需要按顺序）访问固定大小数据片（chunks）的设备被称作块设备，这些数据片就称作块。最常见的块设备是硬盘，除此以外，还有软盘驱动器、CD-ROM驱动器和闪存等等许多其他块设备。注意，它们都是以安装文件系统的方式使用的——这也是块设备一般的访问方式。

另一种基本的设备类型是字符设备。字符设备按照字符流的方式被有序访问，像串口和键盘就都属于字符设备。如果一个硬件设备是以字符流的方式被访问的话，那就应该将它归于字符设备；反过来，如果一个设备是随机（无序的）访问的，那么它就属于块设备。

这两种类型的设备的根本区别在于它们是否可以被随机访问——换句话说就是，能否在访问设备时随意地从一个位置跳转到另一个位置。举个例子，键盘这种设备提供的就是一个数据流，当你敲入“fox”这个字符串时，键盘驱动程序会按照和输入完全相同的顺序返回这个由三个字符组成的数据流。如果让键盘驱动程序打乱顺序来读字符串，或读取其他字符，都是没有意义的。所以键盘就是一种典型的字符设备，它提供的就是用户从键盘输入的字符流。对键盘进行读操作会得到一个字符流，首先是“f”，然后是“o”，最后是“x”，最终是文件的结束(EOF)。当没人敲键盘时，字符流就是空的。硬盘设备的情况就不大一样了。硬盘设备的驱动可能要求读取磁盘上任意块的内容，然后又转去读取别的块的内容，而被读取的块在磁盘上位置不一定要连续，所以说硬盘可以被随机访问，而不是以流的方式被访问，显然它是一个块设备。

   内核管理块设备要比管理字符设备细致得多，需要考虑的问题和完成的工作相比字符设备来说要复杂许多。这是因为字符设备仅仅需要控制一个位置—当前位置—而块设备访问的位置必须能够在介质的不同区间前后移动。所以事实上内核不必提供一个专门的子系统来管理字符设备，但是对块设备的管理却必须要有一个专门的提供服务的子系统。不仅仅是因为块设备的复杂性远远高于字符设备，更重要的原因是块设备对执行性能的要求很高；对硬盘每多一分利用都会对整个系统的性能带来提升，其效果要远远比键盘吞吐速度成倍的提高大得多。另外，我们将会看到，块设备的复杂性会为这种优化留下很大的施展空间。

块设备中最小的可寻址单元是扇区。扇区大小一般是2的整数倍，而最常见的大小是512个字节。扇区的大小是设备的物理属性，扇区是所有块设备的基本单元—块设备无法对比它还小的单元进行寻址和操作，不过许多块设备能够一次就传输多个扇区。虽然大多数块设备的扇区大小都是512字节，不过其他大小的扇区也很常见（比如，很多CD-ROM盘的扇区都是2K大小）。

虽然各种软件的用途不同，但是它们都会用到自己的最小逻辑可寻址单元—块。块是文件系统的一种抽象—只能基于块来访问文件系统。虽然物理磁盘寻址是按照扇区级进行的，但是内核执行的所有磁盘操作都是按照块进行的。由于扇区是设备的最小可寻址单元，所以块不能比扇区还小，只能数倍于扇区大小。另外内核（对有扇区的硬件设备）还要求块大小是2的整数倍，而且不能超过一个页的长度[1]。所以，对块大小的最终要求是，必须是扇区大小的2的整数倍，并且要小于页面大小。所以通常块大小是512字节，1K或4K。

扇区和块还有一些不同的叫法，为了不引起混淆，我们在这里简要介绍一下它们的其他名称。扇区—设备的最小寻址单元，有时会被称作“硬扇区”或“设备块”；同样地，块—文件系统的最小寻址单元，有时会被称作“文件块”或“I/O块”。在这里，会一直使用“扇区”和“块”这两个术语，但你还是应该记住它们的这些别名。

 

  和硬盘相关的其他常见术语还有—簇，柱面，磁头等。这些术语都和具体的块设备相关，一般情况下，用户空间的软件用不到这些概念。扇区对内核的重要性在于所有设备的I/O操作都必须基于扇区来进行；反过来，块是内核使用的较高层概念，它是比扇区高一层的抽象。

---

[1] 这个认为的限制可能会遗留到以后，但是强制块的大小等于或小于页大小无疑简化了内核。

当一个块被调入内存时（也就是说，在读入后或等待写出时），它要存储在一个缓冲区中。每个缓冲区与一个块对应，它相当于是磁盘块在内存中的表示。前面提到过，块包含一个或多个扇区，但大小不能超过一个页面，所以一个页可以容纳一个或多个内存中的块。由于内核在处理数据时需要一些相关的控制信息（比如块属于那一个块设备，块对应于哪个缓冲区等），所以每一个缓冲区都有一个对应的描述符。该描述符用buffer_head结构体表示，被称作缓冲区头，在文件<linux/buffer_head.h>中定义，它包含了内核操作缓冲区所需要的全部信息。

下面给出缓冲区头结构体和其中各个域的说明：

struct buffer_head {

    unsigned long   b_state;    /*缓冲区状态标志*/

    atomic_t    b_count;    /*缓冲区使用计数*/

    struct buffer_head *b_this_page;   /*页面中的缓冲区*/

    struct page     *b_page;    /*存储缓冲区的页面*/

    sector_t     b_blocknr; /*逻辑块号*/

    u32      b_size;    /*块大小（以字节为单位）*/

    char    *b_data;    /*页面中的缓冲区*/

    struct block_device    *b_bdev;    /*块设备*/

    bh_end_io_t     *b_end_io;  /*I/O完成方法*/

    void    *b_private; /*完成方法数据*/

    struct list_head    b_assoc_buffers; /*相关的映射链表*/

};

b_state域表示缓冲区的状态，可以是下表中一种标志或多种标志的组合。合法的标志存放在bh_state_bits枚举中，该枚举在<linux/buffer_head.h>中定义。

表   bh_state 标志

状态标志           意   义 BH_Uptodate   该缓冲区包含可用数据 BH_Dirty       该缓冲区是脏的（缓存中的内容比磁盘中的块内容新， 所以缓冲区内容必须被写回磁盘） BH_Lock        该缓冲区正在被I/O操作使用，被锁定以防被并发访问 BH_Req         该缓冲区有I/O请求操作 BH_Mapped      该缓冲区是映射磁盘块的可用缓冲区 BH_New        缓冲区是通过get_block()刚刚映射的，尚且不能访问     BH_Async_Read 该缓冲区正通过end_buffer_async_read()被异步I/O读操作使用   BH_Async_write  该缓冲区正通过end_buffer_async_write()被异步I/O写操作使用 BH_Delay        该缓冲区尚未和磁盘块关联 BH_Boundary     该缓冲区处于连续块区的边界——下一个块不再连续

bh_state_bits列表还包含了一个特殊标志——BH_PrivateStart，该标志不是可用状态标志，使用它是为了指明可被其他代码使用的起始位。块I/O层不会使用BH_PrivateStart或更高的位。那么某个驱动程序希望通过b_state域存储信息时就可以安全地使用这些位。驱动程序可以在这些位中定义自己的状态标志，只要保证自定义的状态标志不与块I/O层的专用位发生冲突就可以了。

b_count域表示缓冲区的使用记数，可通过两个定义在文件<linux/buffer_head.h>中的内联函数对此域进行增减。

static inline void get_bh(struct buffer_head *bh)

{

       atomic_inc(&bh->b_count);

}

 

static inline void put_bh(struct buffer_head *bh)

{

       atomic_dec(&bh->b_count);

}

在操作缓冲区头之前，应该先使用get_bh()函数增加缓冲区头的引用计数，确保该缓冲区头不会再被分配出去；当完成对缓冲区头的操作之后，还必须使用put_bh()函数减少引用计数。

与缓冲区对应的磁盘物理块由b_blocknr域索引，该值是b_bdev域指明的块设备中的逻辑块号。

与缓冲区对应的内存物理页由b_page域表示，另外，b_data域直接指向相应的块（它位于b_page域所指明的页面中的某个位置上），块的大小由b_size域表示，所以块在内存中的起始位置在b_data处，结束位置在(b_data + b_size)处。

缓冲区头的目的在于描述磁盘块和物理内存缓冲区（在特定页面上的字节序列）之间的映射关系。这个结构体在内核中只扮演一个描述符的角色，说明从缓冲区到块的映射关系。

在2.6内核以前，缓冲区头的作用比现在还要重要。因为缓冲区头作为内核中的I/O操作单元，不仅仅描述了从磁盘块到物理内存的映射，而且还是所有块I/O操作的容器。可是，将缓冲区头作为I/O操作单元带来了两个弊端。首先，缓冲区头是一个很大且不易控制的数据结构体（现在是缩减过的了），而且缓冲区头对数据的操作既不方便也不清晰。对内核来说，它更倾向于操作页面结构，因为页面操作起来更为简便，同时效率也高。使用一个巨大的缓冲区头表示每一个独立的缓冲区（可能比页面小）效率低下，所以在2.6版本中，许多I/O操作都是通过内核直接对页面或地址空间进行操作来完成，不再使用缓冲区头了。

缓冲区头带来的第二个弊端是：它仅能描述单个缓冲区，当作为所有I/O的容器使用时，缓冲区头会迫使内核打断对大块数据的I/O操作（比如写操作），使其成为对多个buffer_head结构体进行操作。这样做必然会造成不必要的负但和空间浪费。所以2.5开发版内核的主要目标就是为块I/O操作引入一种新型、灵活并且轻量级的容器，也就是下一节要介绍的bio结构体。