Ext2磁盘数据结构

要学习ext2文件系统，首先要学习ext2的磁盘设计，也就是说，ext2将一个磁盘分区格式化成一个什么样子。本篇博文就来介绍一下一个ext2文件系统的磁盘分区布局，重点关注它的数据结构。

 

任何Ext2分区中的第一个块从不受Ext2文件系统的管理，因为这一块是为分区的引导扇区所保留的。Ext2分区的其余部分分成块组（block group），每个块组的分布图如图所示。正如你从图中所看到的，一些数据结构正好可以放在一块中，而另一些可能需要更多的块。在Ext2文件系统中的所有块组大小相同并被顺序存放，因此，内核可以从块组的整数索引很容易地得到磁盘中一个块组的位置：

 

 

由于内核尽可能地把属于同一个文件的数据块存放在同一块组中，所以块组减少了文，碎片。块组中的每个块包含下列信息之一：

- 文件系统的超级块的一个拷贝

- 一组块组描述符的拷贝

- 一个数据块位图

- 一个索引节点位图

- 一个索引节表

- 属干文件的一大块数据，即数据块

 

如果一个块中不包含任何有意义的信息，就说这个块是空闲的。

 

从上图中可以看出，超级块与组描述符被复制到每个块组中。

 

其实呢，只有块组0中所包含超级块和组描述符才由内核使用，而其余的超级块和组描述符都保持不变；事实上，内核甚至不考虑它们。当e2fsck程序对Ext2文件系统的状态执行一致性检查时，就引用存放在块组0中的超级块和组描述符，然后把它们拷贝到其他所有的块组中。如果出现数据损坏，并且块组0中的主超级块和主描述符变为无效，那么，系统管理员就可以命令e2fsck引用存放在某个块组（除了第一个块组）中的超级块和组描述符的旧拷贝。通常情况下，这些多余的拷贝所存放的信息足以让e2fsck把Ext2分区带回到一个一致的状态。

那么有多少块组呢？这取决于分区的大小和块的大小。其主要限制在于块位图，因为块位图必须存放在一个单独的块中。块位图用来标识一个组中块的占用和空闲状况。所以，每组中至多可以有8×b个块，b是以字节为单位的块大小。例如，一个块大学是 1024 Byte，那么，一个块的位图就有8192个位，正好就对应8192个块。

 

因此，块组的总数大约是c/8×b，这里：是指分区所包含的总块组数。

 

举例说明，让我们考虑一下32GB的Ext2分区，换算成KB就是33554432，块的大小为4KB。在这种情况下，每个4KB的块位图描述32KB个数据块，即128MB。因此，最多需要33554432 / 4096 * 32 = 256个块组。显然，块越大，块组数越小。

 

1 磁盘超级块

 

Ext2在磁盘上的超级块存放在一个ext2_super_block结构中，它的字段在下面列出（为了确保Ext2和Ext3文件系统之间的兼容性，ext2_super_block数据结构包含了一些Ext3特有的字段，我们省略号省了）：
struct ext2_super_block {
     __le32     s_inodes_count;            /* 索引节点的总数 */
     __le32     s_blocks_count;             /* 块总数（所有的块） */
     __le32     s_r_blocks_count;          /* 保留的块数 */
     __le32     s_free_blocks_count;     /* 空闲块数 */
     __le32     s_free_inodes_count;     /* 空闲索引节点数 */
     __le32     s_first_data_block;         /* 第一个使用的块号（总为1） */
     __le32     s_log_block_size;           /* 块的大小 */
     __le32     s_log_frag_size;             /* 片的大小 */
     __le32     s_blocks_per_group;      /* 每组中的块数 */
     __le32     s_frags_per_group;        /* 每组中的片数 */
     __le32     s_inodes_per_group;     /* 每组中的索引节点数 */
     __le32     s_mtime;                        /* 最后一次安装操作的时间 */
     __le32     s_wtime;                        /* 最后一次写操作的时间 */
     __le16     s_mnt_count;                 /* 被执行安装操作的次数 */
     __le16     s_max_mnt_count;        /* 检查之前安装操作的次数 */
     __le16     s_magic;                   /* 魔术签名 */
     __le16     s_state;                    /* 文件系统状态标志 */
     __le16     s_errors;                   /* 当检测到错误时的行为 */
     __le16     s_minor_rev_level;        /* 次版本号 */
     __le32     s_lastcheck;                  /* 最后一次检查的时间 */
     __le32     s_checkinterval;            /* 两次检查之间的时间间隔 */
     __le32     s_creator_os;                /* 创建文件系统的操作系统 */
     __le32     s_rev_level;             /* 主版本号 */
     __le16     s_def_resuid;          /* 保留块的缺省UID */
     __le16     s_def_resgid;          /* 保留块的缺省用户组ID */
     /*
      * These fields are for EXT2_DYNAMIC_REV superblocks only.
      *
      * Note: the difference between the compatible feature set and
      * the incompatible feature set is that if there is a bit set
      * in the incompatible feature set that the kernel doesn't
      * know about, it should refuse to mount the filesystem.
      *
      * e2fsck's requirements are more strict; if it doesn't know
      * about a feature in either the compatible or incompatible
      * feature set, it must abort and not try to meddle with
      * things it doesn't understand...
      */
     __le32     s_first_ino;           /* 第一个非保留的索引节点号 */
     __le16   s_inode_size;           /* 磁盘上索引节点结构的大小 */
     __le16     s_block_group_nr;      /* 这个超级块的块组号 */
     __le32     s_feature_compat;      /* 具有兼容特点的位图 */
     __le32     s_feature_incompat;      /* 具有非兼容特点的位图 */
     __le32     s_feature_ro_compat;      /* 只读兼容特点的位图 */
     __u8     s_uuid[16];          /* 128位文件系统标识符 */
     char     s_volume_name[16];      /* 卷名 */
     char     s_last_mounted[64];      /* 最后一个安装点的路径名 */
     __le32     s_algorithm_usage_bitmap; /* 用于压缩 */
     /*
      * Performance hints