On Tue, 20 May 2025 at 17:42, Luis Henriques <luis@xxxxxxxxxx> wrote:
>
> This patch adds a new module parameter 'inval_wq' which is used to start a
> workqueue to periodically invalidate expired dentries. The value of this
> new parameter is the period, in seconds, of the workqueue. When it is set,
> every new dentry will be added to an rbtree, sorted by the dentry's expiry
> time.
>
> When the workqueue is executed, it will check the dentries in this tree and
> invalidate them if:
>
> - The dentry has timed-out, or if
> - The connection epoch has been incremented.
I wonder, why not make the whole infrastructure global? There's no
reason to have separate rb-trees and workqueues for each fuse
instance. Contention on the lock would be worse, but it's bad as it
is, so need some solution, e.g. hashed lock, which is better done with
a single instance.
>
> The workqueue will run for, at most, 5 seconds each time. It will
> reschedule itself if the dentries tree isn't empty.
It should check need_resched() instead.
> diff --git a/fs/fuse/dir.c b/fs/fuse/dir.c
> index 1fb0b15a6088..257ca2b36b94 100644
> --- a/fs/fuse/dir.c
> +++ b/fs/fuse/dir.c
> @@ -34,33 +34,153 @@ static void fuse_advise_use_readdirplus(struct inode *dir)
> set_bit(FUSE_I_ADVISE_RDPLUS, &fi->state);
> }
>
> -#if BITS_PER_LONG >= 64
> -static inline void __fuse_dentry_settime(struct dentry *entry, u64 time)
> +struct fuse_dentry {
> + u64 time;
> + struct rcu_head rcu;
> + struct rb_node node;
> + struct dentry *dentry;
> +};
> +
You lost the union with rcu_head. Any other field is okay, none of
them matter in rcu protected code. E.g.
struct fuse_dentry {
u64 time;
union {
struct rcu_head rcu;
struct rb_node node;
};
struct dentry *dentry;
};
Thanks,
Miklos
