Hi forks, This is RFC v4 version which is based on Dave's latest patchset: https://lore.kernel.org/r/20200812092556.2567285-1-david@xxxxxxxxxxxxx I didn't send out v3 because it was based on Dave's previous RFC patchset, but I'm still not quite sure to drop RFC tag since this version is different from the previous versions... Changes since v2: - rebase on new patchset, and omit the original first patch "xfs: arrange all unlinked inodes into one list" since it now has better form in the base patchset; - a tail xfs_inode pointer is no longer needed since the original patchset introduced list_head iunlink infrastructure and it can be used to get the tail inode; - take pag_iunlink_mutex lock until all iunlink log items are committed. Otherwise, xfs_iunlink_log() order would not be equal to the trans commit order so it can mis-reorder and cause metadata corruption I mentioned in v2. In order to archive that, some recursive count is introduced since there could be several iunlink operations in one transaction, and introduce some per-AG fields as well since these operations in the transaction may not operate inodes in the same AG. we may also need to take AGI buffer lock in advance (e.g. whiteout rename path) due to iunlink operations and locking order constraint. For more details, see related inlined comments as well... - "xfs: get rid of unused pagi_unlinked_hash" would be better folded into original patchset since pagi_unlinked_hash is no longer needed. ============ [Original text] This RFC patchset mainly addresses the thoughts [*] and [**] from Dave's original patchset, https://lore.kernel.org/r/20200623095015.1934171-1-david@xxxxxxxxxxxxx In short, it focues on the following ideas mentioned by Dave: - use bucket 0 instead of multiple buckets since in-memory double linked list finally works; - avoid taking AGI buffer and unnecessary AGI update if possible, so 1) add a new lock and keep proper locking order to avoid deadlock; 2) insert a new unlinked inode from the tail instead of head; In addition, it's worth noticing 3 things: - xfs_iunlink_remove() should support old multiple buckets in order to keep old inode unlinked list (old image) working when recovering. - (but) OTOH, the old kernel recovery _shouldn't_ work with new image since the bucket_index from old xfs_iunlink_remove() is generated by the old formula (rather than keep in xfs_inode), which is now fixed as 0. So this feature is not forward compatible without some extra backport patches; - a tail xfs_inode pointer is also added in the perag, which keeps track of the tail of bucket 0 since it's mainly used for xfs_iunlink(). The git tree is also available at git://git.kernel.org/pub/scm/linux/kernel/git/xiang/linux.git tags/xfs/iunlink_opt_v4 Gitweb: https://git.kernel.org/pub/scm/linux/kernel/git/xiang/linux.git/log/?h=xfs/iunlink_opt_v4 Some preliminary tests are done (including fstests, but there seems some pre-exist failures and I haven't looked into yet). And I confirmed there was no previous metadata corruption mentioned in RFC v2 anymore. To confirm that I'm in the right direction, I post the latest version now since it haven't been updated for a while. Comments and directions are welcomed. :) Thanks, Gao Xiang Gao Xiang (3): xfs: get rid of unused pagi_unlinked_hash xfs: introduce perag iunlink lock xfs: insert unlinked inodes from tail fs/xfs/xfs_inode.c | 194 ++++++++++++++++++++++++++++++++------ fs/xfs/xfs_inode.h | 1 + fs/xfs/xfs_iunlink_item.c | 16 ++++ fs/xfs/xfs_mount.c | 4 + fs/xfs/xfs_mount.h | 14 +-- 5 files changed, 193 insertions(+), 36 deletions(-) -- 2.18.1
