本文主要探讨Linux内核中inode数据结构的重要性，以及在ext4文件系统中inode.c的实现细节。inode存储了文件的关键元数据，如大小、创建时间，并通过inode号码与文件对应。ext4_inode结构体占用256字节，一个4KB块能存储16个inode。i_block字段用于保存extent信息，其结构分为extent头和extent节点两部分。
2021SC@SDUSC
inode.c（1）
今天来分析inode.c文件。有了前面对ext4_jbd2.h、acl.h等头文件的分析做基础，今天的分析将相对简单。
在看代码之前，首先要说一下inode数据结构。inode是Linux内核文件系统中最重要的数据结构之一，里面保存了文件的大小、文件块的大小、创建时间等参数，可以说，一个inode就代表了一个文件。因为软连接、硬连接的存在，指向一个文件的路径可能有多个，即一个文件可以有多个dentry，但是一个文件只能有一个inode。
ext4_inode 定义于/fs/ext4/ext4.h，大小为256字节，也就是说一个4KB的块可以保存16个inode。
/*
* Structure of an inode on the disk
*/
struct ext4_inode {
__le16 i_mode; /*文件模式 */
__le16 i_uid; /* 低16位的owner Uid */
__le32 i_size_lo; /* 文件大小的字节数 */
__le32 i_atime; /* 存取时间 */
__le32 i_ctime; /* inode改变时间 */
__le32 i_mtime; /* 修改时间 */
__le32 i_dtime; /* 删除时间 */
__le16 i_gid; /* 低16位 group id */
__le16 i_links_count; /* 链接数 */
__le32 i_blocks_lo; /* 块数目 */
__le32 i_flags; /* 文件标志 */
union {
struct {
__le32 l_i_version;
} linux1;
struct {
__u32 h_i_translator;
} hurd1;
struct {
__u32 m_i_reserved1;
} masix1;
} osd1; /* OS dependent 1 */
__le32 i_block[EXT4_N_BLOCKS];/* 块指针 */
__le32 i_generation; /* 文件版本(适用于NFS) */
__le32 i_file_acl_lo; /* 文件的ACL */
__le32 i_size_high;
__le32 i_obso_faddr; /* 弃用片段的地址 */
union {
struct {
__le16 l_i_blocks_high; /* were l_i_reserved1 */
__le16 l_i_file_acl_high;
__le16 l_i_uid_high; /* these 2 fields */
__le16 l_i_gid_high; /* were reserved2[0] */
__le16 l_i_checksum_lo;/* crc32c(uuid+inum+inode) LE */
__le16 l_i_reserved;
} linux2;
struct {
__le16 h_i_reserved1; /* 在ext4中被删除的残片号/大小 */
__u16 h_i_mode_high;
__u16 h_i_uid_high;
__u16 h_i_gid_high;
__u32 h_i_author;
} hurd2;
struct {
__le16 h_i_reserved1; /* 在ext4中被删除的残片号/大小 */
__le16 m_i_file_acl_high;
__u32 m_i_reserved2[2];
} masix2;
} osd2; /* OS dependent 2 */
__le16 i_extra_isize;
__le16 i_checksum_hi; /* crc32c(uuid+inum+inode) BE */
__le32 i_ctime_extra; /* 额外的变化（change）时间 (nsec << 2 | epoch) */
__le32 i_mtime_extra; /* 额外的修改（Modification）时间 (nsec << 2 | epoch) */
__le32 i_atime_extra; /* 额外的访问（Access）时间 (nsec << 2 | epoch) */
__le32 i_crtime; /* 文件创建时间 */
__le32 i_crtime_extra; /* 额外的文件创建时间 (nsec << 2 | epoch) */
__le32 i_version_hi; /* 高32位（64位版本） */
__le32 i_projid; /* Project ID */
};
由此可见字段i_block的大小为60个字节，即__le32 i_block[EXT4_N_BLOCKS]且EXT4_N_BLOCKS=15。其中前12个字节为extent头，保存的是extent的基本信息；后48个字节可以保存4个extent节点，每个extent节点为12字节大小。
以下是inode.c文件的代码分析：
/*
*测试一个索引节点是否为快速符号链接。
*快速符号链接的符号链接数据存储在ext4_inode_info->i_data中。
*/
int ext4_inode_is_fast_symlink(struct inode *inode)
{
if (!(EXT4_I(inode)->i_flags & EXT4_EA_INODE_FL)) {
int ea_blocks = EXT4_I(inode)->i_file_acl ?
EXT4_CLUSTER_SIZE(inode->i_sb) >> 9 : 0;
if (ext4_has_inline_data(inode))
return 0;
return (S_ISLNK(inode->i_mode) && inode->i_blocks - ea_blocks == 0);
}
return S_ISLNK(inode->i_mode) && inode->i_size &&
(inode->i_size < EXT4_N_BLOCKS * 4);
}
/*
* 在i_nlink为零的最后一个iput()函数中调用。
*/
void ext4_evict_inode(struct inode *inode)
{
handle_t *handle;
int err;
/*
*最终的inode清理和释放:
*sb + inode (ext4_orphan_del())，块位图(block bitmap)，组描述符(xattr块释放)，
位图(bitmap)，组描述符(inode释放)
*/
int extra_credits = 6;
struct ext4_xattr_inode_array *ea_inode_array = NULL;
bool freeze_protected = false;
trace_ext4_evict_inode(inode);
if (inode->i_nlink) {
/*
*当记录数据脏缓冲区只在日志中跟踪。
因此，尽管mm认为一切就绪，可以获取inode，
但在运行的事务中仍然可能有一些页面需要写入，或者等待被检查点。
因此，调用jbd2_journal_invalidatepage()(通过truncate_inode_pages())来丢弃这些缓冲区可能会导致数据丢失。
而且，即使我们没有丢弃这些缓冲区，在获取inode之后，我们也无法找到它们，
因此，如果用户试图在事务被检查点之前读取这些缓冲区，就可能看到过期的数据。
所以要小心，把所有东西都放到圆盘上。
我们使用ei->i_datasync_tid来存储包含inode数据的最新事务。
*
*注意目录没有这个问题，因为它们不使用页面缓存。
*/
if (inode->i_ino != EXT4_JOURNAL_INO &&
ext4_should_journal_data(inode) &&
(S_ISLNK(inode->i_mode) || S_ISREG(inode->i_mode)) &&
inode->i_data.nrpages) {
journal_t *journal = EXT4_SB(inode->i_sb)->s_journal;
tid_t commit_tid = EXT4_I(inode)->i_datasync_tid;
jbd2_complete_transaction(journal, commit_tid);
filemap_write_and_wait(&inode->i_data);
}
truncate_inode_pages_final(&inode->i_data);
goto no_delete;
}
if (is_bad_inode(inode))
goto no_delete;
dquot_initialize(inode);
if (ext4_should_order_data(inode))
ext4_begin_ordered_truncate(inode, 0);
truncate_inode_pages_final(&inode->i_data);
/*
对于带有日志数据的inode，事务提交可能已经污染了inode。
Flush worker因为I_FREEING标志而忽略了它，
但是我们仍然需要从writeback列表中移除这个inode。
*/
if (!list_empty_careful(&inode->i_io_list)) {
WARN_ON_ONCE(!ext4_should_journal_data(inode));
inode_io_list_del(inode);
}
/*
保护我们不被冻结- iput()调用者不需要有任何保护。
但是，当我们处于运行的事务中时，我们已经得到了防止冻结的保护，
而且由于锁排序约束，我们无法获取进一步的保护。
*/
if (!ext4_journal_current_handle()) {
sb_start_intwrite(inode->i_sb);
freeze_protected = true;
}
if (!IS_NOQUOTA(inode))
extra_credits += EXT4_MAXQUOTAS_DEL_BLOCKS(inode->i_sb);
/*
ext4_blocks_for_truncate()和extra_credits中都包含块位图、组描述符和inode,所以减去3。
*/
handle = ext4_journal_start(inode, EXT4_HT_TRUNCATE,
ext4_blocks_for_truncate(inode) + extra_credits - 3);
if (IS_ERR(handle)) {
ext4_std_error(inode->i_sb, PTR_ERR(handle));
/*
如果我们要跳过正常的清理，我们仍然需要确保核内孤立链表被正确清理。
*/
ext4_orphan_del(NULL, inode);
if (freeze_protected)
sb_end_intwrite(inode->i_sb);
goto no_delete;
}
if (IS_SYNC(inode))
ext4_handle_sync(handle);
/*
在调用 ext4_truncate() 之前将 inode->i_size 设置为 0。
这里我们需要对符号链接进行特殊处理，
因为 i_size 用于确定 ext4_inode_info->i_data 是否包含符号链接数据或块映射。
将 i_size 设置为 0 将删除其快速符号链接状态。
擦除 i_data 使其成为有效的空块映射。
*/
if (ext4_inode_is_fast_symlink(inode))
memset(EXT4_I(inode)->i_data, 0, sizeof(EXT4_I(inode)->i_data));
inode->i_size = 0;
err = ext4_mark_inode_dirty(handle, inode);
if (err) {
ext4_warning(inode->i_sb,
"couldn't mark inode dirty (err %d)", err);
goto stop_handle;
}
if (inode->i_blocks) {
err = ext4_truncate(inode);
if (err) {
ext4_error_
最低0.47元/天 解锁文章
扫一扫
1987
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
