Page MenuHomeFreeBSD

zfs: Fix a deadlock between page busy and the teardown lock
ClosedPublic

Authored by markj on Nov 10 2021, 5:45 PM.
Tags
None
Referenced Files
Unknown Object (File)
Feb 8 2024, 6:30 PM
Unknown Object (File)
Dec 27 2023, 4:00 AM
Unknown Object (File)
Dec 20 2023, 1:22 AM
Unknown Object (File)
Dec 19 2023, 3:47 AM
Unknown Object (File)
Nov 4 2023, 12:32 PM
Unknown Object (File)
Oct 15 2023, 8:26 AM
Unknown Object (File)
Oct 15 2023, 8:26 AM
Unknown Object (File)
Oct 4 2023, 7:15 AM
Subscribers

Details

Summary

ZFS has a per-mountpoint read-mostly "teardown lock" which is acquired
in read mode by most VOPs. It is used to suspend filesystem operations
in preparation for some dataset-level operation like a rollback
(reverting a filesystem to an earlier snapshot). In particular, the ZFS
VOP_GETPAGES implementation acquires this lock.

When rolling back a dataset, ZFS invalidates all file data resident in
the page cache, as a rollback can cause a file's contents to change and
we don't want to let stale data linger. To do this, it calls
vn_page_remove() on each vnode associated with the mountpoint. This
introduces a lock order reversal: to handle a page fault we busy vnode
pages before calling VOP_GETPAGES, and during rollback we busy vnode
pages in vm_object_page_remove() with the teardown lock held.

Resolve the deadlock by exploiting the fact that rollback only needs to
purge valid pages: invalid pages need not be purged by definition, and
then a busy lock holder of invalid ZFS vnode pages can safely block on
the teardown lock. This assumes that we will not pass valid pages to
VOP_GETPAGES via vm_pager_get_pages(). Since ZFS is solely responsible
for marking vnode pages valid, I believe it is a safe assumption.

Add a new mode to vm_object_page_remove() to skip over invalid pages.
Use it when rolling back a dataset.

PR: 258208

Test Plan

Peter has a stress2 scenario which triggers the deadlock fairly regularly.
We haven't observed any problems with this patch applied.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

markj requested review of this revision.Nov 10 2021, 5:45 PM
sys/vm/vm_object.c
2130

Would this still cause the issue with partially valid pages at EOF? If the page is not fully valid, vm_fault() still calls into pager, and pager calls into VOP. The validation of the rest of the page is performed by vm_pager_get_pages() after pgo_getpages() validated page up to EOF.

It might be simplest to avoid this issue at all by unconditionally doing vm_page_zero_invalid() in zfs VOP_GETPAGES().

sys/vm/vm_object.c
2130

I believe ZFS vnode pages are never partially valid. This is asserted in several places which maintain coherence between the page cache and the DMU. See page_busy() or dmu_read_pages(). Truncation (currently) does not mark pages partially invalid, see the last comment in vnode_pager_subpage_purge(). Maybe it is a somewhat fragile assumption, but it exists already.

This revision is now accepted and ready to land.Nov 10 2021, 8:05 PM
sef added a subscriber: sef.

The code looks fine (small change, after all), other than my request for comments. :)

sys/kern/vfs_vnops.c
2448–2459

Can we get some comments? I realize the code has historically been low on them, but we can try to fix that for new code. :)

markj marked an inline comment as done.

Add a comment for vn_pages_remove_valid().

This revision now requires review to proceed.Nov 11 2021, 8:33 PM

Thank you very much! This is a very neat fix for what appeared as a quite substantial problem (and maybe is, in terms of interactions between layers / subsystems).

This revision is now accepted and ready to land.Nov 12 2021, 10:04 AM