块设备剖析之关键数据结构分析 - block_device/gendisk/hd_struct

    本文所有内容基于内核版本Linux-v3.2.40。

    块设备的基本概念这里就不赘述了，本文的主要目的是分析和讨论块设备所涉及的几个重要的结构体以及他们之间的关系。

1. 块设备的上层抽象 - block_device

    block_device是伪文件系统bdevfs中对块设备或设备分区的抽象，它唯一的对应于一个设备号（对分区来说，主设备号相同，次设备号不同）。
    它的详细内容如下（include/linux/fs.h）：

struct block_device {
    dev_t            bd_dev; /* 对应底层设备的设备号 */
    int            bd_openers; /* 该设备同时被多少进程打开 */
    struct inode *        bd_inode;    /* 块设备的inod，可利用bd_dev通过bdget获得 */
    struct super_block *    bd_super; /* 文件系统的超级块信息 */
    struct mutex        bd_mutex;    /* open/close mutex */
    struct list_head    bd_inodes;
    void *            bd_claiming;
    void *            bd_holder;
    int            bd_holders;
    bool            bd_write_holder;
#ifdef CONFIG_SYSFS
    struct list_head    bd_holder_disks;
#endif
    /* 首先block_device既可以是gendisk的抽象，又可以是hd_struct(分区)的抽象
     * 当作为分区的抽象时，bd_contains指向了该分区所属的gendisk对应的block_device
     * 当作为gendisk的抽象时，bd_contains指向自身的block_device
     */
    struct block_device *    bd_contains;
    unsigned        bd_block_size; /* 块的大小 */
    struct hd_struct *    bd_part; /* 指向分区指针，对于gendisk，指向内置的分区0 */
    /* number of times partitions within this device have been opened. */
    unsigned        bd_part_count; /* 该设备的所有分区同时被打开的次数 */
    int            bd_invalidated; /* 置1表示内存中的分区信息无效，下次打开设备时需要重新扫描分区表 */
    struct gendisk *    bd_disk; /* 通用磁盘抽象，当该block_device作为分区抽象时，指向该分区所属的gendisk，当作为gendisk的抽象时，指向自身 */
    struct list_head    bd_list;
    /*
     * Private data. You must have bd_claim'ed the block_device
     * to use this. NOTE: bd_claim allows an owner to claim
     * the same device multiple times, the owner must take special
     * care to not mess up bd_private for that case.
     */
    unsigned long        bd_private;

    /* The counter of freeze processes */
    int            bd_fsfreeze_count;
    /* Mutex for freeze */
    struct mutex        bd_fsfreeze_mutex;
};

2. 通用磁盘描述 - gendisk

    gendisk是对通用磁盘的一个描述，与真正的底层物理设备相关联。其详细内容如下（include/linux/genhd.h）：    

struct gendisk {
    /* major, first_minor and minors are input parameters only,
     * don't use directly. Use disk_devt() and disk_max_parts().
     */
    int major;            /* 主设备号 */
    int first_minor; /* 第一个次设备号 */
    /* 表示分区的个数，分区号从1开始，0表示gendisk本身 */
    int minors; /* maximum number of minors, =1 for
                                         * disks that can't be partitioned. */

    char disk_name[DISK_NAME_LEN];    /* 磁盘的名称，用于在sysfs和/proc/partitions中表示该磁盘 */
    char *(*devnode)(struct gendisk *gd, mode_t *mode);

    unsigned int events;        /* supported events */
    unsigned int async_events;    /* async events, subset of all */

    /* Array of pointers to partitions indexed by partno.
     * Protected with matching bdev lock but stat and other
     * non-critical accesses use RCU. Always access through
     * helpers.
     */
    struct disk_part_tbl __rcu *part_tbl; /* 分区表 */
    struct hd_struct part0; /* 用于表示gendisk本身 */

    const struct block_device_operations *fops; /* 指向底层具体设备的操作函数，一般由用户驱动程序实现，如ramdisk驱动实现的fops为brd_fops */
    struct request_queue *queue; /* 该disk关联的请求队列 */
    void *private_data; /* 私有数据，用于提供给用户驱动程序使用 */

    int flags;
    struct device *driverfs_dev; // FIXME: remove
    struct kobject *slave_dir;

    struct timer_rand_state *random;
    atomic_t sync_io;        /* RAID */
    struct disk_events *ev;
#ifdef  CONFIG_BLK_DEV_INTEGRITY
    struct blk_integrity *integrity;
#endif
    int node_id;
};

3. 磁盘分区描述 - hd_struct

    hd_struct用于描述一个具体的磁盘分区，其详细内容如下（include/linux/genhd.h）：

struct hd_struct {
    sector_t start_sect; /* 该分区的起始扇区号 */
    sector_t nr_sects; /* 该分区的扇区个数，也就是分区容量 */
    sector_t alignment_offset;
    unsigned int discard_alignment;
    struct device __dev;
    struct kobject *holder_dir;
    int policy, partno; /* 该分区的分区号 */
    struct partition_meta_info *info;
#ifdef CONFIG_FAIL_MAKE_REQUEST
    int make_it_fail;
#endif
    unsigned long stamp;
    atomic_t in_flight[2];
#ifdef    CONFIG_SMP
    struct disk_stats __percpu *dkstats;
#else
    struct disk_stats dkstats;
#endif
    atomic_t ref;
    struct rcu_head rcu_head;
};

4. 三者之间的关系

    如果你能读到我这篇文章，说明你应该很熟悉软件开发中的管理模式，下面我就类比软件开发的管理模式来说明三者之间的关系，可能不是十分贴切，但希望对你了解三者的关系能提供一些帮助。
    block_device就相当于每个程序猿的档案信息（如姓名、电话、邮件、职位以及leader等等），gendisk相当于一个项目组，而hd_struct相当于项目组中的每一个程序猿。如何解释呢？^_^
    想象一下，对于人力管理者（相当于VFS）来说，他其实并不关心底下干活的是哪个程序猿，是高富帅还是矮矬穷，是美女还是帅哥，他只需要知道你的档案信息（block_device）就可以了，因为只要有了你的档案信息，在需要你的时候就随时可以找到你（程序猿就是这么悲催）。
    而对于一个项目组（gendisk）来说，里面一个或多个程序猿（hd_struct）。因为项目组至少有一个leader吧，而leader本质上也是一个程序猿（相当于struct hd_struct part0）。当一个项目比较庞大时，可能一个leader会带领多个兄弟（就像一个硬盘管理着多个分区），然而如果是一个迷你项目，可能只需要项目组leader一个人就搞定了（就像一个磁盘不进行分区）。
    是不是有那么点意思？^_^
    当人力管理需要找某个程序猿（hd_struct或者part0）时，只需要找到他的档案信息（block_device）就可以了，因为二者是一对一的关系，而且根据程序猿找到他的项目组（gendisk）是不是也是一件很容易的事情？同理，一旦找到了项目组（gendisk），那么里面的所有程序猿（hd_struct）是不是也非常明朗了？总之一句话，档案信息（block_device）充当了人力管理（相当于VFS）和项目组成员（gendisk、hd_struct）之间的桥梁。
    不知道你有没有看明白，如果还有些混乱直接看下面的图好了：



    本文如有不妥或错误的地方欢迎批评指正，大家一起交流讨论，共同进步。
    本文乃原创文章，请勿随意转载，如需转载请详细标明转载出处。