linux 文件系统之superblock

为了实际测试这个pagecache和对裸盘操作的区别，我一不小心敲错命令，将一个磁盘的super_block给抹掉了，全是0，

dd if =/dev/zero of=/dev/sda2 bs=4096 count=1 seek=2234789

2234789是我的某个测试文件的起始块，debugfs看到的。

然后我手贱敲成：dd if =/dev/zero of=/dev/sda2 bs=4096 count=1 skip=2234789

太装逼的结果就是：我发现我的命令都无法使用了!!!

等我想备份的super_block拷贝回去的时候，发现dd命令用不了了，为了将损失

减少，我把这个磁盘挂掉其他服务器上，然后试图挂载，结果挂载不了，然后尝试恢复，在恢复过程中，环境又被人异常重启，等我第二次再去恢复的时候，很不幸，

恢复完了之后全部成了lost+found,

linux-a6me:~ # lsblk
NAME   MAJ:MIN RM   SIZE RO MOUNTPOINT
sdc      :    .1G
sdb      :    .1G
|-sdb1   :        2G   [SWAP]
`-sdb2   :    .1G   /
sda      :     .1G
|-sda1   :         1G   /root/test
|-sda2   :     .1G
`-sda3   :       344K
linux-a6me:~ # mkdir /root/caq_home
linux-a6me:~ # mount -t ext4 /dev/sda2 /root/caq_home/
mount: warning: /root/caq_home/ seems to be mounted read-only.
linux-a6me:~ # cd /root/caq_home/
linux-a6me:~/caq_home # ls
lost+found

你没看错，所有的数据全部变成了lost+found.  297.1G 数据，哪怕就是一堆lost+found，结果filesystem的state还是： not clean with errors

dumpe2fs -h /dev/sda2
dumpe2fs 1.41. (-Aug-)
Filesystem volume name:   <none>
Last mounted on:          <not available>
Filesystem UUID:          20a05fdb--4f87-877d-4af17e31b76b
Filesystem magic number:  0xEF53
Filesystem revision #:     (dynamic)
Filesystem features:      ext_attr resize_inode dir_index filetype extent sparse_super large_file
Filesystem flags:         signed_directory_hash
Default mount options:    (none)
Filesystem state:         not clean with errors

疼啊，功力不够能怪谁，所以简单看了关于super_block的内容，万一下次再遇到能好好处理下。

 

先看下super_block结构的成员有多么丰富，

crash> super_block
struct super_block {
    struct list_head s_list;
    dev_t s_dev;-------------------------------关联的设备
    unsigned char s_blocksize_bits;-----------------块大小，转换为2的次方
    unsigned long s_blocksize;---------------------块大小
    loff_t s_maxbytes;
    struct file_system_type *s_type;----------------文件系统类型，比如是xfs的还是ext4还是sockfs等
    const struct super_operations *s_op;------------这个最常见了，一般就是函数操作在这里面封装
    const struct dquot_operations *dq_op;
    const struct quotactl_ops *s_qcop;
    const struct export_operations *s_export_op;
    unsigned long s_flags;-------------------------挂载的标志
    unsigned long s_magic;
    struct dentry *s_root;-------------------------文件系统根目录的目录项对象
    struct rw_semaphore s_umount;
    int s_count;
    atomic_t s_active;
    void *s_security;
    const struct xattr_handler **s_xattr;
    struct list_head s_inodes;----------------------该super_block中所有inode的i_sb_list成员的双向链表
    struct hlist_bl_head s_anon;
    struct list_head *s_files_deprecated;
    struct list_head s_mounts;
    struct list_head s_dentry_lru;
    int s_nr_dentry_unused;
    spinlock_t s_inode_lru_lock;
    struct list_head s_inode_lru;
    int s_nr_inodes_unused;
    struct block_device *s_bdev;-----------------这个是super_block对应的block_device,可以作为关键字用来比较相同fs_type的各个实例
    struct backing_dev_info *s_bdi;
    struct mtd_info *s_mtd;
    struct hlist_node s_instances;---------------通过这个成员挂在同类型文件系统的hash链上，
    struct quota_info s_dquot;
    struct sb_writers s_writers;
    char s_id[];-------------------------------挂载id，比如nvme1等
    u8 s_uuid[];
    void *s_fs_info;-----------------------------重点关注，指向私有机构，不同的fs_type有不同的解释，比如ext4指向 ext4_super_block，xfs指向xfs_mount等，
    unsigned int s_max_links;
    fmode_t s_mode;
    u32 s_time_gran;
    struct mutex s_vfs_rename_mutex;
    char *s_subtype;
    char *s_options;
    const struct dentry_operations *s_d_op;
    int cleancache_poolid;
    struct shrinker s_shrink;
    atomic_long_t s_remove_count;
    int s_readonly_remount;
    struct workqueue_struct *s_dio_done_wq;
    struct callback_head rcu;
    struct hlist_head s_pins;
}
SIZE: 

一个文件系统，比如xfs，可能有多个superblock结构在内存中，比如两块硬盘，都是xfs格式，挂载之后就有两个superblock了。

/**

*  sget    -   find or create a superblock

*  @type:  filesystem type superblock should belong to

*  @test:  comparison callback

*  @set:   setup callback

*  @flags: mount flags

*  @data:  argument to each of them

*/

struct super_block *sget(struct file_system_type *type,

            int (*test)(struct super_block *,void *),

            int (*set)(struct super_block *,void *),

            int flags,

            void *data)

{

/*查找过程*/

hlist_for_each_entry(old, &type->fs_supers, s_instances) {

。。。。

 

如果没找到，那么alloc一个super_block，并加入到下面list

list_add_tail(&s->s_list, &super_blocks);//superblock，通过s_list成员，全部挂在一个super_blocks的全局链表尾
hlist_add_head(&s->s_instances, &type->fs_supers);//同类型的superblock，通过s_instance成员，串在对应type的->fs_super成员哈希链表中
。。。。。
}

查看一下这个super_blocks的双链表：

crash> list -H super_blocks
ffff880157908800-------------
ffff880157909000
ffff880157909800
ffff88015790c800
ffff88013d5d8800
ffff8828b5290800
。。。。

crash> super_block.s_type ffff880157908800
s_type = 0xffffffff81aa4100 <sysfs_fs_type>

我们可以看到，第一个super_block的fs_type一般是sysfs_fs_type，这个类型应该是最早注册的。谁越早就越排在前面，除非重新unregister了。因为内核中我们使用 file_systems 这个全局

变量来管理注册的fs，但是越晚加入同类型的fs的hlist的位置在hlist中越靠前。

p file_systems
file_systems = $ = (struct file_system_type *) 0xffffffff81aa4100 <sysfs_fs_type>

crash> list file_system_type.next -s file_system_type.name,fs_flags 0xffffffff81aa4100
ffffffff81aa4100
  name = 0xffffffff8194bffc "sysfs"
  fs_flags =
ffffffff81a12440
  name = 0xffffffff8192eaba "rootfs"
  fs_flags =
ffffffff81aa4ee0
  name = 0xffffffff8193196c "ramfs"
  fs_flags =
ffffffff81a9ede0
  name = 0xffffffff8192ef3f "bdev"
  fs_flags =
ffffffff81aa3ba0
  name = 0xffffffff81921ccf "proc"
  fs_flags =
。。。。。

ffffffffc012c920
name = 0xffffffffc0122933 "ext3"
fs_flags = 513
ffffffffc012c960
name = 0xffffffffc0122938 "ext2"
fs_flags = 513
ffffffffc012c020
name = 0xffffffffc01221e4 "ext4"
fs_flags = 1537

。。。。

ffffffffc08b2000
name = 0xffffffffc0897006 "xfs"-------------这个业务使用的xfs
fs_flags = 3841

同fs_type类型的superblock，通过s_instance成员，串在对应type的->fs_super成员哈希链表中，比如我们看到的sysfs的实例有多少个：

crash> file_system_type.fs_supers 0xffffffff81aa4100
fs_supers = {
first = 0xffff880135c90938
}

crash> list  0xffff880135c90938 -l super_block.s_instances -s super_block.s_type
ffff880135c90938
  s_type = 0xffffffff81aa4100 <sysfs_fs_type>
ffff88017fdc8938
  s_type = 0xffffffff81aa4100 <sysfs_fs_type>

可以看到sysfs的实例是两个。

看下我们实际使用的xfs的实例：

[root@localhost code]# df -hT |grep xfs
/dev/nvme2n1   xfs              .5T  .1T  459G  % /mnt/S481NY0K400047
/dev/nvme1n1   xfs              .5T  .1T  461G  % /mnt/S481NY0K400054
/dev/nvme0n1   xfs              .5T  .1T  454G  % /mnt/S481NY0K400067
/dev/nvme3n1   xfs              .5T  .1T  445G  % /mnt/S481NY0K400044
/dev/sda       xfs              .9T   33M  .9T   % /mnt/P6KUWGKV

看下内核中打印：

crash> file_system_type ffffffffc08b2000
struct file_system_type {
  name = 0xffffffffc0897006 "xfs",
  fs_flags = ,
  mount = 0xffffffffc08672c0,
  kill_sb = 0xffffffff8120b990 <kill_block_super>,
  owner = 0xffffffffc08bd280,
  next = 0x0,
  fs_supers = {
    first = 0xffff881dfa68e138
  },
  s_lock_key = {<No data fields>},
  s_umount_key = {<No data fields>},
  s_vfs_rename_key = {<No data fields>},
  s_writers_key = 0xffffffffc08b2038,
  i_lock_key = {<No data fields>},
  i_mutex_key = {<No data fields>},
  i_mutex_dir_key = {<No data fields>}
}
crash> list  0xffff881dfa68e138 -l super_block.s_instances -s super_block.s_type
ffff881dfa68e138
  s_type = 0xffffffffc08b2000
ffff88013cf76138
  s_type = 0xffffffffc08b2000
ffff88220430c938
  s_type = 0xffffffffc08b2000
ffff884973a25138
  s_type = 0xffffffffc08b2000
ffff8827caa56138
  s_type = 0xffffffffc08b2000

发现我们xfs的s_type并没有显示为xfs，我们把xfs模块加载进来：

crash> mod |grep xfs
ffffffffc08bd280  xfs                    (not loaded)  [CONFIG_KALLSYMS]

crash> mod -s xfs
     MODULE       NAME                   SIZE  OBJECT FILE
ffffffffc08bd280  xfs                    /usr/lib/debug/usr/lib/modules/3.10.-693.21..el7.x86_64/kernel/fs/xfs/xfs.ko.debug
crash>
crash>

crash> list 0xffff881dfa68e138 -l super_block.s_instances -s super_block.s_type,s_bdev,s_id
ffff881dfa68e138
s_type = 0xffffffffc08b2000 <xfs_fs_type>
s_bdev = 0xffff8857b5688340
s_id = "sda\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
ffff88013cf76138
s_type = 0xffffffffc08b2000 <xfs_fs_type>
s_bdev = 0xffff8857b5690000
s_id = "nvme3n1\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
ffff88220430c938
s_type = 0xffffffffc08b2000 <xfs_fs_type>
s_bdev = 0xffff8827d3068000
s_id = "nvme0n1\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
ffff884973a25138
s_type = 0xffffffffc08b2000 <xfs_fs_type>
s_bdev = 0xffff8857b5688000
s_id = "nvme1n1\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
ffff8827caa56138
s_type = 0xffffffffc08b2000 <xfs_fs_type>
s_bdev = 0xffff8857b5698000
s_id = "nvme2n1\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"

这次可以显示为xfs_fs_type了，刚好5个实例，和df -hT对的上，id也对得上。

比较典型fs的type比较多，你看连sock都是属于一个fs。还有，我们注册自己的fs的话，也会体现在这个链表中。

static struct file_system_type sock_fs_type = {
    .name =        "sockfs",
    .mount =    sockfs_mount,
    .kill_sb =    kill_anon_super,
};

static struct file_system_type xfs_fs_type = {
    .owner            = THIS_MODULE,
    .name            = "xfs",
    .mount            = xfs_fs_mount,
    .kill_sb        = kill_block_super,
    .fs_flags        = FS_REQUIRES_DEV | FS_HAS_RM_XQUOTA |
                  FS_HAS_INVALIDATE_RANGE | FS_HAS_DIO_IODONE2 |
                  FS_HAS_NEXTDQBLK,
};

super_block放在一起有哪些用处，比如当我们需要控制pagecache的时候，如果是控制某一个fs_type的缓存，则尽量从file_systems中去找这个

file_system_type，然后 利用  hlist_for_each_entry 遍历其 成员就行，然后在迭代这些super_block 去控制inode中的内存占用。如果直接使用 iterate_supers  来迭代的话，需要将

不同的fs_type的super_block 过滤掉，比较麻烦，毕竟super_block有可能很多，但是单个file_system中的s_instance 则很精确了，所以这个时候推荐使用 iterate_supers_type 来迭代，不过suse 3.0.101没有这个函数，所以只能自己合入。

 

前面说了半天的super_block,要知道这个定义只是vfs层的，那么对应磁盘上的物理超级块是哪个结构来描述呢？

  

比如对于ext3,ext4等，对应的结构就是 ext4_super_block ，它是使用super_block中的 s_fs_info 这个成员。

 

网上说的是这个指针一定指向具体文件系统的super_block的结构，其实不是的，比如xfs，对应的就是 xfs_mount 。

 

superblock跟一个东西永远不分家，那就是mount，在用户态，我们使用mount和umount命令才挂载和卸载一个目录，调用链为：

sys_mount - >

do_mount-->

do_new_mount--->vfs_kern_mount(type, flags, name, data);

来看下内核态相关的实现：

static struct file_system_type xfs_fs_type = {
    .owner            = THIS_MODULE,
    .name            = "xfs",
    .mount            = xfs_fs_mount,
    .kill_sb        = kill_block_super,
    .fs_flags        = FS_REQUIRES_DEV | FS_HAS_RM_XQUOTA |
                  FS_HAS_INVALIDATE_RANGE | FS_HAS_DIO_IODONE2 |
                  FS_HAS_NEXTDQBLK,
};

STATIC struct dentry *
xfs_fs_mount(
    struct file_system_type    *fs_type,
    int            flags,
    const char        *dev_name,
    void            *data)
{
    return mount_bdev(fs_type, flags, dev_name, data, xfs_fs_fill_super);
}

mount_bdev 函数会根据mount的设备/dev/sdx，找到对应的block_device,

然后调用 前面刚介绍的 sget 函数来获取super_block,如果在全局链表中未找到的话，则申请一个super_block的结构，

并回调不同的fill_super 函数来填充这个super_block结构的相关成员，对于xfs是 xfs_fs_fill_super，

比如关键的s_op就是在此函数中设置的：

sb->s_fs_info = mp;
。。。

sb->s_op = &xfs_super_operations;

在读入物理设备上的superblock之前，会解析mount的参数，比如对于xfs，这个由 xfs_parseargs 负责：

xfs_init_mount_workqueues ：每个xfs挂载设备，都会创建很多工作队列

xfs_init_percpu_counters ：为了性能要求，创建percpu的计数器，

创建统计信息的结构，这个由 mp->m_stats.xs_stats = alloc_percpu(struct xfsstats);语句搞定：

xfs_readsb：准备工作完毕，开始真实的读取超级块的函数了，这个函数主要就是申请一个xfs_buf,然后构造bio，去读取指定位置的块，经过转换，把物理上的超级块结构转换为

内存中需要的一些结构，读取超级块，它的位置是0，注意这个0和mbr要区分开来，这个0的上下文是指这个分区的第0个块，而MBR在分区之外，事实上MBR中包含主引导程序和分区信息。

xfs_finish_flags ：将一些挂载参数，xfs_parseargs  分析完的这些参数，使用xfs_finish_flags 继续填充 xfs_mount 的 m_sb成员。

xfs_setup_devices：处理 m_ddev_targp，m_logdev_targp，m_rtdev_targp 三个成员相关信息，如果指定了log写在其他设备，则 m_logdev_targp 不会为NULL，比如你把sata盘的

xfs 相关log写在ssd之类的，可以提高元数据刷写的效率。

xfs_filestream_mount，简单封装 xfs_mru_cache_create，mru是最近最常使用算法的简写，利用 xfs_params 这个全局变量的一些配置，申请空间，然后做mru算法实现。主要为AG使用。

super_block其余的一些成员初始化，一些新的特性，比如DAX的mount支持，也在此完成。

xfs_mountfs：前面的一些函数，将该申请的内存申请了，该填充的成员填充了，这个时候才是真正往系统mount的函数，

    a.比如该super_block支持的最多的inode个数计算，xfs_set_maxicount 等，比如当文件很小，inode可能不够用，导致命名磁盘有空间，但也无法新创建文件。

    b.往sys的fs注册一些常用的统计等，主要利用 xfs_sysfs_init 函数，注册的结果可以参考如下：

[root@localhost xfs]# pwd
/sys/fs/xfs
[root@localhost xfs]# ls
nvme0n1  nvme1n1  nvme2n1  nvme3n1  sda  stats
[root@localhost xfs]#

   一些error的统计如下：

[root@localhost error]# ls
fail_at_unmount  metadata
[root@localhost error]# pwd
/sys/fs/xfs/nvme0n1/error

c.挂载带uuid与否的一些判断。

d. xfs_set_rw_sizes,设置默认的最小read和write的size。

e.xfs_rtmount_init 实时挂载模式的处理，比如带 rtdev=device 的一些处理。