From: Samuel Wu <wusamuel@google.com>
To: Al Viro <viro@zeniv.linux.org.uk>
Cc: Greg KH <gregkh@linuxfoundation.org>,
linux-fsdevel@vger.kernel.org, torvalds@linux-foundation.org,
brauner@kernel.org, jack@suse.cz, raven@themaw.net,
miklos@szeredi.hu, neil@brown.name, a.hindborg@kernel.org,
linux-mm@kvack.org, linux-efi@vger.kernel.org,
ocfs2-devel@lists.linux.dev, kees@kernel.org,
rostedt@goodmis.org, linux-usb@vger.kernel.org,
paul@paul-moore.com, casey@schaufler-ca.com,
linuxppc-dev@lists.ozlabs.org, john.johansen@canonical.com,
selinux@vger.kernel.org, borntraeger@linux.ibm.com,
bpf@vger.kernel.org, clm@meta.com,
android-kernel-team <android-kernel-team@google.com>
Subject: Re: [PATCH v4 00/54] tree-in-dcache stuff
Date: Sat, 31 Jan 2026 11:48:49 -0800 [thread overview]
Message-ID: <CAG2KctoJoBevAM=2F=dNnM3VUUcHX9VV-vhKDx5ydOwa4a6zUA@mail.gmail.com> (raw)
In-Reply-To: <20260131024324.GA3183987@ZenIV>
On Fri, Jan 30, 2026 at 6:41 PM Al Viro <viro@zeniv.linux.org.uk> wrote:
>
> On Fri, Jan 30, 2026 at 06:09:00PM -0800, Samuel Wu wrote:
> > On Fri, Jan 30, 2026 at 5:16 PM Al Viro <viro@zeniv.linux.org.uk> wrote:
> > >
> > > On Fri, Jan 30, 2026 at 05:05:34PM -0800, Samuel Wu wrote:
> > >
> > > > > How lovely... Could you slap
> > > > > WARN_ON(ret == -EAGAIN);
> > > > > right before that
> > > > > if (ret < 0)
> > > > > return ret;
> > > >
> > > > Surprisingly ret == 0 every time, so no difference in dmesg logs with
> > > > this addition.
> > >
> > > What the hell? Other than that mutex_lock(), the only change in there
> > > is the order of store to file->private_data and call of ffs_data_opened();
> > > that struct file pointer is not visible to anyone at that point...
> >
> > Agree, 09e88dc22ea2 (serialize ffs_ep0_open() on ffs->mutex) in itself
> > is quite straightforward. Not familiar with this code path so just
> > speculating, but is there any interaction with previous patches (e.g.
> > refcounting)?
> >
> > > Wait, it also brings ffs_data_reset() on that transition under ffs->mutex...
> > > For a quick check: does
> > > git fetch git://git.kernel.org/pub/scm/linux/kernel/git/viro/vfs.git for-wsamuel2
> > > git switch --detach FETCH_HEAD
> > > demonstrate the same breakage?
> >
> > Had to adjust forward declaration of ffs_data_reset() to build, but
> > unfortunately same breakage.
>
> That really looks like a badly racy userland on top of everything else...
> I mean, it smells like userland open() from one process while another
> is in the middle of configuring that stuff getting delayed too much
> for the entire thing to work. Bloody wonderful...
>
> OK, let's see if a variant with serialization on spinlock works - how does
> the following do on top of mainline?
Excellent, this is working consistently for me on the latest 6.19-rc7.
>
> diff --git a/drivers/usb/gadget/function/f_fs.c b/drivers/usb/gadget/function/f_fs.c
> index 05c6750702b6..fa467a40949d 100644
> --- a/drivers/usb/gadget/function/f_fs.c
> +++ b/drivers/usb/gadget/function/f_fs.c
> @@ -59,7 +59,6 @@ static struct ffs_data *__must_check ffs_data_new(const char *dev_name)
> __attribute__((malloc));
>
> /* Opened counter handling. */
> -static void ffs_data_opened(struct ffs_data *ffs);
> static void ffs_data_closed(struct ffs_data *ffs);
>
> /* Called with ffs->mutex held; take over ownership of data. */
> @@ -636,23 +635,25 @@ static ssize_t ffs_ep0_read(struct file *file, char __user *buf,
> return ret;
> }
>
> +
> +static void ffs_data_reset(struct ffs_data *ffs);
> +
> static int ffs_ep0_open(struct inode *inode, struct file *file)
> {
> struct ffs_data *ffs = inode->i_sb->s_fs_info;
> - int ret;
>
> - /* Acquire mutex */
> - ret = ffs_mutex_lock(&ffs->mutex, file->f_flags & O_NONBLOCK);
> - if (ret < 0)
> - return ret;
> -
> - ffs_data_opened(ffs);
> + spin_lock_irq(&ffs->eps_lock);
> if (ffs->state == FFS_CLOSING) {
> - ffs_data_closed(ffs);
> - mutex_unlock(&ffs->mutex);
> + spin_unlock_irq(&ffs->eps_lock);
> return -EBUSY;
> }
> - mutex_unlock(&ffs->mutex);
> + if (!ffs->opened++ && ffs->state == FFS_DEACTIVATED) {
> + ffs->state = FFS_CLOSING;
> + spin_unlock_irq(&ffs->eps_lock);
> + ffs_data_reset(ffs);
> + } else {
> + spin_unlock_irq(&ffs->eps_lock);
> + }
> file->private_data = ffs;
>
> return stream_open(inode, file);
> @@ -1202,15 +1203,10 @@ ffs_epfile_open(struct inode *inode, struct file *file)
> {
> struct ffs_data *ffs = inode->i_sb->s_fs_info;
> struct ffs_epfile *epfile;
> - int ret;
> -
> - /* Acquire mutex */
> - ret = ffs_mutex_lock(&ffs->mutex, file->f_flags & O_NONBLOCK);
> - if (ret < 0)
> - return ret;
>
> - if (!atomic_inc_not_zero(&ffs->opened)) {
> - mutex_unlock(&ffs->mutex);
> + spin_lock_irq(&ffs->eps_lock);
> + if (!ffs->opened) {
> + spin_unlock_irq(&ffs->eps_lock);
> return -ENODEV;
> }
> /*
> @@ -1220,11 +1216,11 @@ ffs_epfile_open(struct inode *inode, struct file *file)
> */
> epfile = smp_load_acquire(&inode->i_private);
> if (unlikely(ffs->state != FFS_ACTIVE || !epfile)) {
> - mutex_unlock(&ffs->mutex);
> - ffs_data_closed(ffs);
> + spin_unlock_irq(&ffs->eps_lock);
> return -ENODEV;
> }
> - mutex_unlock(&ffs->mutex);
> + ffs->opened++;
> + spin_unlock_irq(&ffs->eps_lock);
>
> file->private_data = epfile;
> return stream_open(inode, file);
> @@ -2092,8 +2088,6 @@ static int ffs_fs_init_fs_context(struct fs_context *fc)
> return 0;
> }
>
> -static void ffs_data_reset(struct ffs_data *ffs);
> -
> static void
> ffs_fs_kill_sb(struct super_block *sb)
> {
> @@ -2150,15 +2144,6 @@ static void ffs_data_get(struct ffs_data *ffs)
> refcount_inc(&ffs->ref);
> }
>
> -static void ffs_data_opened(struct ffs_data *ffs)
> -{
> - if (atomic_add_return(1, &ffs->opened) == 1 &&
> - ffs->state == FFS_DEACTIVATED) {
> - ffs->state = FFS_CLOSING;
> - ffs_data_reset(ffs);
> - }
> -}
> -
> static void ffs_data_put(struct ffs_data *ffs)
> {
> if (refcount_dec_and_test(&ffs->ref)) {
> @@ -2176,28 +2161,29 @@ static void ffs_data_put(struct ffs_data *ffs)
>
> static void ffs_data_closed(struct ffs_data *ffs)
> {
> - if (atomic_dec_and_test(&ffs->opened)) {
> - if (ffs->no_disconnect) {
> - struct ffs_epfile *epfiles;
> - unsigned long flags;
> -
> - ffs->state = FFS_DEACTIVATED;
> - spin_lock_irqsave(&ffs->eps_lock, flags);
> - epfiles = ffs->epfiles;
> - ffs->epfiles = NULL;
> - spin_unlock_irqrestore(&ffs->eps_lock,
> - flags);
> -
> - if (epfiles)
> - ffs_epfiles_destroy(ffs->sb, epfiles,
> - ffs->eps_count);
> -
> - if (ffs->setup_state == FFS_SETUP_PENDING)
> - __ffs_ep0_stall(ffs);
> - } else {
> - ffs->state = FFS_CLOSING;
> - ffs_data_reset(ffs);
> - }
> + spin_lock_irq(&ffs->eps_lock);
> + if (--ffs->opened) { // not the last opener?
> + spin_unlock_irq(&ffs->eps_lock);
> + return;
> + }
> + if (ffs->no_disconnect) {
> + struct ffs_epfile *epfiles;
> +
> + ffs->state = FFS_DEACTIVATED;
> + epfiles = ffs->epfiles;
> + ffs->epfiles = NULL;
> + spin_unlock_irq(&ffs->eps_lock);
> +
> + if (epfiles)
> + ffs_epfiles_destroy(ffs->sb, epfiles,
> + ffs->eps_count);
> +
> + if (ffs->setup_state == FFS_SETUP_PENDING)
> + __ffs_ep0_stall(ffs);
> + } else {
> + ffs->state = FFS_CLOSING;
> + spin_unlock_irq(&ffs->eps_lock);
> + ffs_data_reset(ffs);
> }
> }
>
> @@ -2214,7 +2200,7 @@ static struct ffs_data *ffs_data_new(const char *dev_name)
> }
>
> refcount_set(&ffs->ref, 1);
> - atomic_set(&ffs->opened, 0);
> + ffs->opened = 0;
> ffs->state = FFS_READ_DESCRIPTORS;
> mutex_init(&ffs->mutex);
> spin_lock_init(&ffs->eps_lock);
> @@ -2266,6 +2252,7 @@ static void ffs_data_reset(struct ffs_data *ffs)
> {
> ffs_data_clear(ffs);
>
> + spin_lock_irq(&ffs->eps_lock);
> ffs->raw_descs_data = NULL;
> ffs->raw_descs = NULL;
> ffs->raw_strings = NULL;
> @@ -2289,6 +2276,7 @@ static void ffs_data_reset(struct ffs_data *ffs)
> ffs->ms_os_descs_ext_prop_count = 0;
> ffs->ms_os_descs_ext_prop_name_len = 0;
> ffs->ms_os_descs_ext_prop_data_len = 0;
> + spin_unlock_irq(&ffs->eps_lock);
> }
>
>
> @@ -3756,6 +3744,7 @@ static int ffs_func_set_alt(struct usb_function *f,
> {
> struct ffs_function *func = ffs_func_from_usb(f);
> struct ffs_data *ffs = func->ffs;
> + unsigned long flags;
> int ret = 0, intf;
>
> if (alt > MAX_ALT_SETTINGS)
> @@ -3768,12 +3757,15 @@ static int ffs_func_set_alt(struct usb_function *f,
> if (ffs->func)
> ffs_func_eps_disable(ffs->func);
>
> + spin_lock_irqsave(&ffs->eps_lock, flags);
> if (ffs->state == FFS_DEACTIVATED) {
> ffs->state = FFS_CLOSING;
> + spin_unlock_irqrestore(&ffs->eps_lock, flags);
> INIT_WORK(&ffs->reset_work, ffs_reset_work);
> schedule_work(&ffs->reset_work);
> return -ENODEV;
> }
> + spin_unlock_irqrestore(&ffs->eps_lock, flags);
>
> if (ffs->state != FFS_ACTIVE)
> return -ENODEV;
> @@ -3791,16 +3783,20 @@ static void ffs_func_disable(struct usb_function *f)
> {
> struct ffs_function *func = ffs_func_from_usb(f);
> struct ffs_data *ffs = func->ffs;
> + unsigned long flags;
>
> if (ffs->func)
> ffs_func_eps_disable(ffs->func);
>
> + spin_lock_irqsave(&ffs->eps_lock, flags);
> if (ffs->state == FFS_DEACTIVATED) {
> ffs->state = FFS_CLOSING;
> + spin_unlock_irqrestore(&ffs->eps_lock, flags);
> INIT_WORK(&ffs->reset_work, ffs_reset_work);
> schedule_work(&ffs->reset_work);
> return;
> }
> + spin_unlock_irqrestore(&ffs->eps_lock, flags);
>
> if (ffs->state == FFS_ACTIVE) {
> ffs->func = NULL;
> diff --git a/drivers/usb/gadget/function/u_fs.h b/drivers/usb/gadget/function/u_fs.h
> index 4b3365f23fd7..6a80182aadd7 100644
> --- a/drivers/usb/gadget/function/u_fs.h
> +++ b/drivers/usb/gadget/function/u_fs.h
> @@ -176,7 +176,7 @@ struct ffs_data {
> /* reference counter */
> refcount_t ref;
> /* how many files are opened (EP0 and others) */
> - atomic_t opened;
> + int opened;
>
> /* EP0 state */
> enum ffs_state state;
next prev parent reply other threads:[~2026-01-31 19:49 UTC|newest]
Thread overview: 81+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-11-18 5:15 Al Viro
2025-11-18 5:15 ` [PATCH v4 01/54] fuse_ctl_add_conn(): fix nlink breakage in case of early failure Al Viro
2025-11-18 5:15 ` [PATCH v4 02/54] tracefs: fix a leak in eventfs_create_events_dir() Al Viro
2025-11-18 5:15 ` [PATCH v4 03/54] new helper: simple_remove_by_name() Al Viro
2025-11-18 5:15 ` [PATCH v4 04/54] new helper: simple_done_creating() Al Viro
2025-11-18 5:15 ` [PATCH v4 05/54] introduce a flag for explicitly marking persistently pinned dentries Al Viro
2025-11-18 5:15 ` [PATCH v4 06/54] primitives for maintaining persisitency Al Viro
2025-11-18 5:15 ` [PATCH v4 07/54] convert simple_{link,unlink,rmdir,rename,fill_super}() to new primitives Al Viro
2025-11-18 5:15 ` [PATCH v4 08/54] convert ramfs and tmpfs Al Viro
2025-11-18 5:15 ` [PATCH v4 09/54] procfs: make /self and /thread_self dentries persistent Al Viro
2025-11-18 5:15 ` [PATCH v4 10/54] configfs, securityfs: kill_litter_super() not needed Al Viro
2025-11-18 5:15 ` [PATCH v4 11/54] convert xenfs Al Viro
2025-11-18 5:15 ` [PATCH v4 12/54] convert smackfs Al Viro
2025-11-18 5:15 ` [PATCH v4 13/54] convert hugetlbfs Al Viro
2025-11-18 5:15 ` [PATCH v4 14/54] convert mqueue Al Viro
2025-11-18 5:15 ` [PATCH v4 15/54] convert bpf Al Viro
2025-11-18 5:15 ` [PATCH v4 16/54] convert dlmfs Al Viro
2025-11-18 5:15 ` [PATCH v4 17/54] convert fuse_ctl Al Viro
2025-11-18 5:15 ` [PATCH v4 18/54] convert pstore Al Viro
2025-11-18 5:15 ` [PATCH v4 19/54] convert tracefs Al Viro
2025-11-18 5:15 ` [PATCH v4 20/54] convert debugfs Al Viro
2025-11-18 5:15 ` [PATCH v4 21/54] debugfs: remove duplicate checks in callers of start_creating() Al Viro
2025-11-18 5:15 ` [PATCH v4 22/54] convert efivarfs Al Viro
2025-11-18 5:15 ` [PATCH v4 23/54] convert spufs Al Viro
2025-11-18 5:15 ` [PATCH v4 24/54] convert ibmasmfs Al Viro
2025-11-18 5:15 ` [PATCH v4 25/54] ibmasmfs: get rid of ibmasmfs_dir_ops Al Viro
2025-11-18 5:15 ` [PATCH v4 26/54] convert devpts Al Viro
2025-11-18 5:15 ` [PATCH v4 27/54] binderfs: use simple_start_creating() Al Viro
2025-11-18 5:15 ` [PATCH v4 28/54] binderfs_binder_ctl_create(): kill a bogus check Al Viro
2025-11-18 5:15 ` [PATCH v4 29/54] convert binderfs Al Viro
2025-11-18 5:15 ` [PATCH v4 30/54] autofs_{rmdir,unlink}: dentry->d_fsdata->dentry == dentry there Al Viro
2025-11-18 5:15 ` [PATCH v4 31/54] convert autofs Al Viro
2025-11-18 5:15 ` [PATCH v4 32/54] convert binfmt_misc Al Viro
2025-11-18 5:15 ` [PATCH v4 33/54] selinuxfs: don't stash the dentry of /policy_capabilities Al Viro
2025-11-18 5:15 ` [PATCH v4 34/54] selinuxfs: new helper for attaching files to tree Al Viro
2025-11-18 5:15 ` [PATCH v4 35/54] convert selinuxfs Al Viro
2025-11-18 5:15 ` [PATCH v4 36/54] functionfs: don't abuse ffs_data_closed() on fs shutdown Al Viro
2025-11-18 5:15 ` [PATCH v4 37/54] functionfs: don't bother with ffs->ref in ffs_data_{opened,closed}() Al Viro
2025-11-18 5:15 ` [PATCH v4 38/54] functionfs: need to cancel ->reset_work in ->kill_sb() Al Viro
2025-11-18 5:15 ` [PATCH v4 39/54] functionfs: fix the open/removal races Al Viro
2025-11-18 5:15 ` [PATCH v4 40/54] functionfs: switch to simple_remove_by_name() Al Viro
2025-11-18 5:15 ` [PATCH v4 41/54] convert functionfs Al Viro
2025-11-18 5:15 ` [PATCH v4 42/54] gadgetfs: switch to simple_remove_by_name() Al Viro
2025-11-18 5:15 ` [PATCH v4 43/54] convert gadgetfs Al Viro
2025-11-18 5:15 ` [PATCH v4 44/54] hypfs: don't pin dentries twice Al Viro
2025-11-18 5:15 ` [PATCH v4 45/54] hypfs: switch hypfs_create_str() to returning int Al Viro
2025-11-18 5:15 ` [PATCH v4 46/54] hypfs: swich hypfs_create_u64() " Al Viro
2025-11-18 5:15 ` [PATCH v4 47/54] convert hypfs Al Viro
2025-11-18 5:15 ` [PATCH v4 48/54] convert rpc_pipefs Al Viro
2025-11-18 5:15 ` [PATCH v4 49/54] convert nfsctl Al Viro
2025-11-18 5:15 ` [PATCH v4 50/54] convert rust_binderfs Al Viro
2025-11-18 5:16 ` [PATCH v4 51/54] get rid of kill_litter_super() Al Viro
2025-11-18 5:16 ` [PATCH v4 52/54] convert securityfs Al Viro
2025-11-18 5:16 ` [PATCH v4 53/54] kill securityfs_recursive_remove() Al Viro
2025-11-18 5:16 ` [PATCH v4 54/54] d_make_discardable(): warn if given a non-persistent dentry Al Viro
2026-01-27 0:56 ` [PATCH v4 00/54] tree-in-dcache stuff Samuel Wu
2026-01-27 7:42 ` Greg KH
2026-01-27 18:39 ` Linus Torvalds
2026-01-27 20:14 ` Al Viro
2026-01-28 8:53 ` Greg KH
2026-01-28 2:02 ` Samuel Wu
2026-01-28 4:59 ` Al Viro
2026-01-29 0:58 ` Samuel Wu
2026-01-29 3:23 ` Al Viro
2026-01-29 22:54 ` Al Viro
2026-01-30 1:16 ` Samuel Wu
2026-01-30 7:04 ` Al Viro
2026-01-30 22:31 ` Samuel Wu
2026-01-30 23:57 ` Al Viro
2026-01-31 0:14 ` Linus Torvalds
2026-01-31 1:08 ` Al Viro
2026-01-31 1:11 ` Linus Torvalds
2026-02-01 0:11 ` Al Viro
2026-01-31 0:59 ` Al Viro
2026-01-31 1:05 ` Samuel Wu
2026-01-31 1:18 ` Al Viro
2026-01-31 2:09 ` Samuel Wu
2026-01-31 2:43 ` Al Viro
2026-01-31 19:48 ` Samuel Wu [this message]
2026-01-31 14:58 ` Krishna Kurapati PSSNV
2026-01-31 20:02 ` Samuel Wu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAG2KctoJoBevAM=2F=dNnM3VUUcHX9VV-vhKDx5ydOwa4a6zUA@mail.gmail.com' \
--to=wusamuel@google.com \
--cc=a.hindborg@kernel.org \
--cc=android-kernel-team@google.com \
--cc=borntraeger@linux.ibm.com \
--cc=bpf@vger.kernel.org \
--cc=brauner@kernel.org \
--cc=casey@schaufler-ca.com \
--cc=clm@meta.com \
--cc=gregkh@linuxfoundation.org \
--cc=jack@suse.cz \
--cc=john.johansen@canonical.com \
--cc=kees@kernel.org \
--cc=linux-efi@vger.kernel.org \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=linux-usb@vger.kernel.org \
--cc=linuxppc-dev@lists.ozlabs.org \
--cc=miklos@szeredi.hu \
--cc=neil@brown.name \
--cc=ocfs2-devel@lists.linux.dev \
--cc=paul@paul-moore.com \
--cc=raven@themaw.net \
--cc=rostedt@goodmis.org \
--cc=selinux@vger.kernel.org \
--cc=torvalds@linux-foundation.org \
--cc=viro@zeniv.linux.org.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox