libbtrfsutil: fix race between subvolume iterator and deletion

Subvolume iteration has a window between when we get a root ref (with
BTRFS_IOC_TREE_SEARCH or BTRFS_IOC_GET_SUBVOL_ROOTREF) and when we look
up the path of the parent directory (with BTRFS_IOC_INO_LOOKUP{,_USER}).
If the subvolume is moved or deleted and its old parent directory is
deleted during that window, then BTRFS_IOC_INO_LOOKUP{,_USER} will fail
with ENOENT. The iteration will then fail with ENOENT as well.

We originally encountered this bug with an application that called
`btrfs subvolume show` (which iterates subvolumes to find snapshots) in
parallel with other threads creating and deleting subvolumes. It can be
reproduced almost instantly with the included test cases.

Subvolume iteration should be robust against concurrent modifications to
subvolumes. So, if a subvolume's parent directory no longer exists, just
skip the subvolume, as it must have been deleted or moved elsewhere.

Reviewed-by: Neal Gompa <ngompa13@gmail.com>
Signed-off-by: Omar Sandoval <osandov@fb.com>
Signed-off-by: David Sterba <dsterba@suse.com>
This commit is contained in:
Omar Sandoval 2021-07-28 12:04:45 -07:00 committed by David Sterba
parent 1907cd64db
commit e9c2942f38
3 changed files with 91 additions and 11 deletions

View File

@ -77,7 +77,16 @@ class BtrfsTestCase(unittest.TestCase):
mkfs = 'mkfs.btrfs'
try:
subprocess.check_call([mkfs, '-q', image])
subprocess.check_call(['mount', '-o', 'loop', '--', image, mountpoint])
subprocess.check_call(
[
'mount',
'-o',
'loop,user_subvol_rm_allowed',
'--',
image,
mountpoint,
]
)
except Exception as e:
os.rmdir(mountpoint)
os.remove(image)

View File

@ -17,6 +17,7 @@
import fcntl
import errno
import multiprocessing
import os
import os.path
from pathlib import PurePath
@ -493,20 +494,78 @@ class TestSubvolume(BtrfsTestCase):
finally:
os.chdir(pwd)
def _skip_unless_have_unprivileged_subvolume_iterator(self, path):
with drop_privs():
try:
for _ in btrfsutil.SubvolumeIterator(path):
break
except OSError as e:
if e.errno == errno.ENOTTY:
self.skipTest('BTRFS_IOC_GET_SUBVOL_ROOTREF is not available')
else:
raise
@skipUnlessHaveNobody
def test_subvolume_iterator_unprivileged(self):
os.chown(self.mountpoint, NOBODY_UID, -1)
pwd = os.getcwd()
try:
os.chdir(self.mountpoint)
self._skip_unless_have_unprivileged_subvolume_iterator('.')
with drop_privs():
try:
list(btrfsutil.SubvolumeIterator('.'))
except OSError as e:
if e.errno == errno.ENOTTY:
self.skipTest('BTRFS_IOC_GET_SUBVOL_ROOTREF is not available')
else:
raise
self._test_subvolume_iterator()
finally:
os.chdir(pwd)
@staticmethod
def _create_and_delete_subvolume(i):
dir_name = f'dir{i}'
subvol_name = dir_name + '/subvol'
while True:
os.mkdir(dir_name)
btrfsutil.create_subvolume(subvol_name)
btrfsutil.delete_subvolume(subvol_name)
os.rmdir(dir_name)
def _test_subvolume_iterator_race(self):
procs = []
fd = os.open('.', os.O_RDONLY | os.O_DIRECTORY)
try:
for i in range(10):
procs.append(
multiprocessing.Process(
target=self._create_and_delete_subvolume,
args=(i,),
daemon=True,
)
)
for proc in procs:
proc.start()
for i in range(1000):
with btrfsutil.SubvolumeIterator(fd) as it:
for _ in it:
pass
finally:
for proc in procs:
proc.terminate()
proc.join()
os.close(fd)
def test_subvolume_iterator_race(self):
pwd = os.getcwd()
try:
os.chdir(self.mountpoint)
self._test_subvolume_iterator_race()
finally:
os.chdir(pwd)
def test_subvolume_iterator_race_unprivileged(self):
os.chown(self.mountpoint, NOBODY_UID, -1)
pwd = os.getcwd()
try:
os.chdir(self.mountpoint)
self._skip_unless_have_unprivileged_subvolume_iterator('.')
with drop_privs():
self._test_subvolume_iterator_race()
finally:
os.chdir(pwd)

View File

@ -1469,8 +1469,16 @@ static enum btrfs_util_error subvolume_iterator_next_tree_search(struct btrfs_ut
name = (const char *)(ref + 1);
err = build_subvol_path_privileged(iter, header, ref, name,
&path_len);
if (err)
if (err) {
/*
* If the subvolume's parent directory doesn't exist,
* then the subvolume was either moved or deleted. Skip
* it.
*/
if (errno == ENOENT)
continue;
return err;
}
err = append_to_search_stack(iter,
btrfs_search_header_offset(header), path_len);
@ -1539,8 +1547,12 @@ static enum btrfs_util_error subvolume_iterator_next_unprivileged(struct btrfs_u
err = build_subvol_path_unprivileged(iter, treeid, dirid,
&path_len);
if (err) {
/* Skip the subvolume if we can't access it. */
if (errno == EACCES)
/*
* If the subvolume's parent directory doesn't exist,
* then the subvolume was either moved or deleted. Skip
* it. Also skip it if we can't access it.
*/
if (errno == ENOENT || errno == EACCES)
continue;
return err;
}