要学习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