Skip to content

Commit 3f6d810

Browse files
chuckleverbrauner
authored andcommitted
libfs: Re-arrange locking in offset_iterate_dir()
Liam and Matthew say that once the RCU read lock is released, xa_state is not safe to re-use for the next xas_find() call. But the RCU read lock must be released on each loop iteration so that dput(), which might_sleep(), can be called safely. Thus we are forced to walk the offset tree with fresh state for each directory entry. xa_find() can do this for us, though it might be a little less efficient than maintaining xa_state locally. We believe that in the current code base, inode->i_rwsem provides protection for the xa_state maintained in offset_iterate_dir(). However, there is no guarantee that will continue to be the case in the future. Since offset_iterate_dir() doesn't build xa_state locally any more, there's no longer a strong need for offset_find_next(). Clean up by rolling these two helpers together. Suggested-by: Liam R. Howlett <[email protected]> Message-ID: <170785993027.11135.8830043889278631735.stgit@91.116.238.104.host.secureserver.net> Signed-off-by: Chuck Lever <[email protected]> Link: https://lore.kernel.org/r/170820142021.6328.15047865406275957018.stgit@91.116.238.104.host.secureserver.net Reviewed-by: Jan Kara <[email protected]> Signed-off-by: Christian Brauner <[email protected]>
1 parent 6613476 commit 3f6d810

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

fs/libfs.c

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -402,12 +402,13 @@ static loff_t offset_dir_llseek(struct file *file, loff_t offset, int whence)
402402
return vfs_setpos(file, offset, U32_MAX);
403403
}
404404

405-
static struct dentry *offset_find_next(struct xa_state *xas)
405+
static struct dentry *offset_find_next(struct offset_ctx *octx, loff_t offset)
406406
{
407407
struct dentry *child, *found = NULL;
408+
XA_STATE(xas, &octx->xa, offset);
408409

409410
rcu_read_lock();
410-
child = xas_next_entry(xas, U32_MAX);
411+
child = xas_next_entry(&xas, U32_MAX);
411412
if (!child)
412413
goto out;
413414
spin_lock(&child->d_lock);
@@ -430,12 +431,11 @@ static bool offset_dir_emit(struct dir_context *ctx, struct dentry *dentry)
430431

431432
static void *offset_iterate_dir(struct inode *inode, struct dir_context *ctx)
432433
{
433-
struct offset_ctx *so_ctx = inode->i_op->get_offset_ctx(inode);
434-
XA_STATE(xas, &so_ctx->xa, ctx->pos);
434+
struct offset_ctx *octx = inode->i_op->get_offset_ctx(inode);
435435
struct dentry *dentry;
436436

437437
while (true) {
438-
dentry = offset_find_next(&xas);
438+
dentry = offset_find_next(octx, ctx->pos);
439439
if (!dentry)
440440
return ERR_PTR(-ENOENT);
441441

@@ -444,8 +444,8 @@ static void *offset_iterate_dir(struct inode *inode, struct dir_context *ctx)
444444
break;
445445
}
446446

447+
ctx->pos = dentry2offset(dentry) + 1;
447448
dput(dentry);
448-
ctx->pos = xas.xa_index + 1;
449449
}
450450
return NULL;
451451
}

0 commit comments

Comments
 (0)