On Thu, 2025-01-16 at 18:45 +0000, Al Viro wrote:
> On Mon, Jan 06, 2025 at 06:35:25PM -0800, James Bottomley wrote:
>
> > + inode_lock(inode);
> > + if (d_unhashed(file->f_path.dentry)) {
> > + /*
> > + * file got removed; don't allow a set. Caused by
> > an
> > + * unsuccessful create or successful delete write
> > + * racing with us.
> > + */
> > + bytes = -EIO;
> > + goto out;
> > + }
>
> Wouldn't the check for zero ->i_size work here? Would be easier to
> follow...
Unfortunately not. The pathway for creating a variable involves a call
to efivarfs_create() (create inode op) first, which would in itself
create a zero length file, then a call to efivarfs_file_write(), so if
we key here on zero length we'd never be able to create new variables.
The idea behind the check is that delete could race with write and if
so, we can't resurrect the variable once it's been unhashed from the
directory, so we need to error out at that point.
Regards,
James
