理解WPF Stylet中Command=“{s:Action 方法名}“的设计与实现

尾较秘捍现象

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 专用块搞乱)。