Linux ext4_orphan_add孤儿链表管理与journal原子性

Linux ext4_orphan_add孤儿链表管理与journal原子性

ext4_orphan_add是ext4文件系统孤儿链表管理的关键函数。孤儿inode是指已经被unlink但仍有打开文件描述符引用的inode，它们必须被加入到超级块的孤儿链表中，以便在系统崩溃后的日志恢复阶段被正确清理。该函数位于fs/ext4/super.c中。

孤儿链表的组织方式基于超级块中的s_orphan字段。每个ext4_inode_info的i_orphan成员构成链表节点，通过next指针串联。ext4_orphan_add的执行流程涉及对超级块和inode的多个journal更新：

int ext4_orphan_add(handle_t *handle, struct inode *inode)
{
struct super_block *sb = inode->i_sb;
struct ext4_iloc iloc;
int err = 0, rc;
struct ext4_inode_info *ei = EXT4_I(inode);

/* 已经在孤儿链表中，跳过 */
if (!list_empty(&ei->i_orphan))
return 0;

/* 检查inode链接计数和DISK_ORPHANED标志 */
WARN_ON(!atomic_read(&inode->i_count) ||
!(ei->i_flags & EXT4_I_DISK_ORPHANED));

/* 获取inode的journal访问权限 */
err = ext4_reserve_inode_write(handle, inode, &iloc);
if (err)
return err;

/* 加锁保护孤儿链表 */
mutex_lock(&EXT4_SB(sb)->s_orphan_lock);

/* 将inode加入超级块的孤儿链表 */
list_add(&ei->i_orphan, &EXT4_SB(sb)->s_orphan);

/* 从inode的磁盘存储中清除链接计数 */
ei->i_disksize = 0;
EXT4_I(inode)->i_flags &= ~EXT4_I_DISK_ORPHANED;

mutex_unlock(&EXT4_SB(sb)->s_orphan_lock);

/* 通过journal写入inode更新 */
err = ext4_mark_iloc_dirty(handle, inode, &iloc);
if (err) {
...
}

/* 如果这是第一个孤儿inode，需要更新超级块 */
if (EXT4_SB(sb)->s_orphan_first_inode == 0) {
EXT4_SB(sb)->s_orphan_first_inode = inode->i_ino;
err = ext4_mark_superblock_dirty(handle, sb);
}
...
return err;
}

孤儿链表的反向操作为ext4_orphan_del。当所有文件描述符关闭时，ext4_orphan_del将inode从链表中移除并最终释放inode和物理块：

int ext4_orphan_del(handle_t *handle, struct inode *inode)
{
struct ext4_inode_info *ei = EXT4_I(inode);
struct ext4_iloc iloc;
int err = 0;

if (list_empty(&ei->i_orphan))
return 0;

mutex_lock(&EXT4_SB(inode->i_sb)->s_orphan_lock);
list_del_init(&ei->i_orphan);
mutex_unlock(&EXT4_SB(inode->i_sb)->s_orphan_lock);

/* 更新inode的孤儿标志 */
err = ext4_reserve_inode_write(handle, inode, &iloc);
if (err)
return err;

EXT4_I(inode)->i_flags |= EXT4_I_DISK_ORPHANED;
err = ext4_mark_iloc_dirty(handle, inode, &iloc);
...
return err;
}

journal原子性的保障通过ext4_journal_start和ext4_journal_stop实现。ext4_orphan_add必须在事务上下文中执行，整个孤儿链表操作作为一个原子事务提交。内核通过JBD2(journal block device 2)层确保：要么孤儿链表操作完全写入磁盘，要么完全不写入。

ext4_orphan_add的事务流程分解为以下journal操作：
1. 通过ext4_reserve_inode_write预留inode块的journal空间
2. 对inode的i_links_count清零操作记录revoke
3. 孤儿链表指针修改记录到journal的data buffer
4. 超级块修改记录到journal descriptor

在JBD2层，每个事务句柄对应一个atomic handle。ext4_orphan_add通过handle_t结构跟踪所有修改的缓冲区。关键代码位于fs/jbd2/transaction.c：

int jbd2_journal_get_write_access(handle_t *handle,
struct journal_head *jh)
{
struct transaction_chp_stats_s *stats;
int ret;

J_ASSERT_JH(jh, handle->h_transaction != NULL);

if (jh->b_transaction == handle->h_transaction &&
jh->b_jlist != BJ_None)
return 0;

/* 首次访问时，将buffer加入事务的对应列表 */
if (jh->b_transaction == NULL ||
jh->b_transaction != handle->h_transaction) {
jh->b_transaction = handle->h_transaction;
if (jh->b_cp_transaction)
ret = jbd2_journal_add_journal_head(jh);
}
...
/* 设置modified时间戳，用于提交时排序 */
jh->b_modified = jiffies;
...
return 0;
}

崩溃恢复时的孤儿链表处理在ext4_orphan_cleanup中完成。该函数在文件系统挂载时被调用，遍历超级块中的孤儿链表：

void ext4_orphan_cleanup(struct super_block *sb,
struct ext4_super_block *es)
{
unsigned int s_flags = sb->s_flags;
int ret, nr_orphans = 0, nr_truncates = 0;
struct inode *inode;

if (!es->s_last_orphan)
return;

while (es->s_last_orphan) {
inode = ext4_orphan_get(sb, le32_to_cpu(es->s_last_orphan));
if (IS_ERR(inode))
break;

list_add(&EXT4_I(inode)->i_orphan,
&EXT4_SB(sb)->s_orphan);

/* 根据inode类型执行不同清理 */
if (S_ISDIR(inode->i_mode))
ext4_orphan_del(NULL, inode);
else
ext4_truncate(inode);

nr_orphans++;
}
...
}

ext4_orphan_add的并发安全性通过s_orphan_lock互斥锁保障。多个线程同时unlink文件时，只有获取mutex的线程可以修改链表。注意ext4_orphan_add在释放锁之后才执行ext4_mark_iloc_dirty的journal写入，这意味着链表的内存状态和磁盘状态之间存在短暂的不一致窗口。但这一窗口是安全的，因为：如果系统在锁释放后journal写入前崩溃，恢复时只会看到链表中的旧状态但inode的i_links_count仍然有效，不会产生错误清理。如果系统在journal写入后崩溃，恢复时inode的i_links_count为0且链表正确指向该inode，orphan_cleanup会完成截断。

在日志回放过程中，JBD2的recovery机制会重建孤儿链表。日志中记录的inode块修改被重放，将inode的i_links_count置0，同时超级块中的孤儿链表指针被恢复。这使得ext4_orphan_cleanup可以重新定位所有需要清理的孤儿inode。

对于ext4文件系统，孤儿链表的管理直接影响了文件系统的数据一致性保证。任何unlink操作导致的块释放都必须等到最后一个文件描述符关闭时才执行，而孤儿链表机制确保了即使在未clean shutdown的情况下，这些延迟释放也不会泄漏磁盘空间。