尾较秘捍现象
XFS 文件系统出现挂起(hung),业务进程大量处于 D 状态;多处堆栈显示卡在 xfs_iget 与 xfs_fs_destroy_inode 路径上。
诊断过程
关键堆栈1(最早D住的进程,释放inode卡住)
进程:postgres
PID:202276
症状:在 xfs_fs_destroy_inode 路径上等待,向下追溯可见正在尝试读取/获取 AGF 缓冲(xfs buf),而该锁被其他事务持有。AGF保存了空闲块的信息。
#0 __schedule
#1 schedule_timeout
#2 down (信号量/互斥等待)
#3 down
#4 xfs_buf_lock [xfs]
#5 xfs_buf_find [xfs]
#6 xfs_buf_get_map [xfs]
#7 xfs_trans_read_buf_map [xfs]
#8 xfs_trans_read_buf_map [xfs] (封装层)
#9 xfs_read_agf / xfs_alloc_read_agf [xfs] ← 正在尝试拿 AGF buf
#10 xfs_agf_* / xfs_read_agf_* [xfs]
#11 xfs_trans_read_buf [xfs]
#12 xfs_alloc_read_agf [xfs]
#13 xfs_btree_update / xfs_btree_del* [xfs]
#14 xfs_inodegc_* / xfs_ifree_cluster [xfs]
#15 xfs_inactive_ifree [xfs]
#16 xfs_destroy_inode [xfs]
#17 xfs_fs_destroy_inode [xfs] ← 释放 inode 主路径
#18 destroy_inode (VFS)
#19 evict (VFS)
#20 dentry_kill (VFS)
#21 dput (VFS)
#22 renameat2 / unlinkat (syscall)
#23 _x64_sys* (syscall)
#24 do_syscall_64
#25 entry_SYSCALL_64_after_hwframe
解析xfs_buf地址,顺着 xfs_buf → xfs_trans → xlog_ticket → task_struct.pid 反查,锁持有者落到下一条堆栈(关键堆栈2)。
关键堆栈2(锁的持有者,创建/iget 路径卡住)
进程:postgres
PID:1894063
症状:在 xfs_create / xfs_iget 路径;该事务已持有 AGF/AGI 相关日志项(从日志 item 链可见),同时在 iget 上等待 inode 资源,构成与 #1 的 ABBA 互等。
#0 __schedule
#1 schedule_timeout
#2 xfs_iget [xfs] ← iget 等待(可能循环)
#3 xfs_ilock [xfs]
#4 xfs_iunlock [xfs]
#5 xfs_dir_ialloc [xfs]
#6 xfs_ialloc [xfs] (第1次/第2次分配)
#7 xfs_create [xfs]
#8 xfs_generic_create [xfs]
#9 path_openat / do_open (VFS)
#10 do_filp_open (VFS)
#11 do_sys_openat2
#12 do_sys_open
#13 __x64_sys_openat
#14 do_syscall_64
#15 entry_SYSCALL_64_after_hwframe
关联关系:堆栈2 持有 AGF → 堆栈1 需要 AGF;堆栈1 持有 inode/inode-bp → 堆栈2 需要 inode-bp;互相等待形成系统级挂起(xfs hung + iget 死循环)。
根因
两个进程:
进程 1(销毁文件):正在删除文件、回收 inode;
进程 2(创建文件):正在分配新的 inode。
两个进程都要去改 XFS 的元数据结构,尤其是:
AGF(空闲块信息)
AGI(inode 信息)
inode cluster buffer(一组 inode 的缓存块)
这几个结构之间是要上锁的。 如果 A 拿着 inode 的锁再去要 AGF 的锁, 而 B 拿着 AGF 的锁再去要 inode 的锁, 就会变成 "你等我,我等你" ------ 这就是典型的死锁(deadlock)。
于是,整个 XFS 文件系统"挂死"(hung),看到的就是:
postgres 进程全在 D 状态;
xfs_iget 死循环;
修复
补丁:xfs: use deferred frees for btree block freeing(commit b742d7b4f0e03...)
核心思想:把"立刻释放"改为"延迟释放"。
技术上怎么实现的:
把原来直接调用的
xfs_free_extent() 改成了 xfs_free_extent_later()。
意思是: "我先把要释放的块记录到一个待办列表(deferred list)里, 等当前事务快提交时再一起处理。"
提交阶段,这些"待释放块"会被系统安全地处理:
如果空间紧张,可以分多次提交;
不会在持有其他锁时再去改 AGF;
因此避免了死锁的条件。
同时引入了一个 xefi_agresv 参数,
确保延迟释放的块仍然走正确的空闲空间管理逻辑(防止把 AG 专用块搞乱)。