[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20250323103234.2mwhpsbigpwtiby4@pali>
Date: Sun, 23 Mar 2025 11:32:34 +0100
From: Pali Rohár <pali@...nel.org>
To: Amir Goldstein <amir73il@...il.com>
Cc: Andrey Albershteyn <aalbersh@...hat.com>,
Richard Henderson <richard.henderson@...aro.org>,
Matt Turner <mattst88@...il.com>,
Russell King <linux@...linux.org.uk>,
Catalin Marinas <catalin.marinas@....com>,
Will Deacon <will@...nel.org>,
Geert Uytterhoeven <geert@...ux-m68k.org>,
Michal Simek <monstr@...str.eu>,
Thomas Bogendoerfer <tsbogend@...ha.franken.de>,
"James E.J. Bottomley" <James.Bottomley@...senpartnership.com>,
Helge Deller <deller@....de>,
Madhavan Srinivasan <maddy@...ux.ibm.com>,
Michael Ellerman <mpe@...erman.id.au>,
Nicholas Piggin <npiggin@...il.com>,
Christophe Leroy <christophe.leroy@...roup.eu>,
Naveen N Rao <naveen@...nel.org>,
Heiko Carstens <hca@...ux.ibm.com>,
Vasily Gorbik <gor@...ux.ibm.com>,
Alexander Gordeev <agordeev@...ux.ibm.com>,
Christian Borntraeger <borntraeger@...ux.ibm.com>,
Sven Schnelle <svens@...ux.ibm.com>,
Yoshinori Sato <ysato@...rs.sourceforge.jp>,
Rich Felker <dalias@...c.org>,
John Paul Adrian Glaubitz <glaubitz@...sik.fu-berlin.de>,
"David S. Miller" <davem@...emloft.net>,
Andreas Larsson <andreas@...sler.com>,
Andy Lutomirski <luto@...nel.org>,
Thomas Gleixner <tglx@...utronix.de>,
Ingo Molnar <mingo@...hat.com>, Borislav Petkov <bp@...en8.de>,
Dave Hansen <dave.hansen@...ux.intel.com>, x86@...nel.org,
"H. Peter Anvin" <hpa@...or.com>, Chris Zankel <chris@...kel.net>,
Max Filippov <jcmvbkbc@...il.com>,
Alexander Viro <viro@...iv.linux.org.uk>,
Christian Brauner <brauner@...nel.org>, Jan Kara <jack@...e.cz>,
Mickaël Salaün <mic@...ikod.net>,
Günther Noack <gnoack@...gle.com>,
Arnd Bergmann <arnd@...db.de>, Paul Moore <paul@...l-moore.com>,
James Morris <jmorris@...ei.org>,
"Serge E. Hallyn" <serge@...lyn.com>, linux-alpha@...r.kernel.org,
linux-kernel@...r.kernel.org, linux-arm-kernel@...ts.infradead.org,
linux-m68k@...ts.linux-m68k.org, linux-mips@...r.kernel.org,
linux-parisc@...r.kernel.org, linuxppc-dev@...ts.ozlabs.org,
linux-s390@...r.kernel.org, linux-sh@...r.kernel.org,
sparclinux@...r.kernel.org, linux-fsdevel@...r.kernel.org,
linux-security-module@...r.kernel.org, linux-api@...r.kernel.org,
linux-arch@...r.kernel.org, selinux@...r.kernel.org,
Andrey Albershteyn <aalbersh@...nel.org>, linux-xfs@...r.kernel.org
Subject: Re: [PATCH v4 0/3] fs: introduce getfsxattrat and setfsxattrat
syscalls
On Sunday 23 March 2025 09:45:06 Amir Goldstein wrote:
> On Fri, Mar 21, 2025 at 8:50 PM Andrey Albershteyn <aalbersh@...hat.com> wrote:
> >
> > This patchset introduced two new syscalls getfsxattrat() and
> > setfsxattrat(). These syscalls are similar to FS_IOC_FSSETXATTR ioctl()
> > except they use *at() semantics. Therefore, there's no need to open the
> > file to get an fd.
> >
> > These syscalls allow userspace to set filesystem inode attributes on
> > special files. One of the usage examples is XFS quota projects.
> >
> > XFS has project quotas which could be attached to a directory. All
> > new inodes in these directories inherit project ID set on parent
> > directory.
> >
> > The project is created from userspace by opening and calling
> > FS_IOC_FSSETXATTR on each inode. This is not possible for special
> > files such as FIFO, SOCK, BLK etc. Therefore, some inodes are left
> > with empty project ID. Those inodes then are not shown in the quota
> > accounting but still exist in the directory. This is not critical but in
> > the case when special files are created in the directory with already
> > existing project quota, these new inodes inherit extended attributes.
> > This creates a mix of special files with and without attributes.
> > Moreover, special files with attributes don't have a possibility to
> > become clear or change the attributes. This, in turn, prevents userspace
> > from re-creating quota project on these existing files.
> >
> > Christian, if this get in some mergeable state, please don't merge it
> > yet. Amir suggested these syscalls better to use updated struct fsxattr
> > with masking from Pali Rohár patchset, so, let's see how it goes.
>
> Andrey,
>
> To be honest I don't think it would be fair to delay your syscalls more
> than needed.
I agree.
> If Pali can follow through and post patches on top of your syscalls for
> next merge window that would be great, but otherwise, I think the
> minimum requirement is that the syscalls return EINVAL if fsx_pad
> is not zero. we can take it from there later.
IMHO SYS_getfsxattrat is fine in this form.
For SYS_setfsxattrat I think there are needed some modifications
otherwise we would have problem again with backward compatibility as
is with ioctl if the syscall wants to be extended in future.
I would suggest for following modifications for SYS_setfsxattrat:
- return EINVAL if fsx_xflags contains some reserved or unsupported flag
- add some flag to completely ignore fsx_extsize, fsx_projid, and
fsx_cowextsize fields, so SYS_setfsxattrat could be used just to
change fsx_xflags, and so could be used without the preceding
SYS_getfsxattrat call.
What do you think about it?
Use cases for future without breaking backward compatibility:
- atomically / race-free do set or clear just one flag in fsx_xflags
(so avoid getfsxattrat - modify buffer - setfsxattrat roundtrip)
- use fsx_pad[] for some new purposes
> We can always also increase the size of struct fsxattr, but let's first
> use the padding space already available.
>
> Thanks,
> Amir.
>
> >
> > NAME
> >
> > getfsxattrat/setfsxattrat - get/set filesystem inode attributes
> >
> > SYNOPSIS
> >
> > #include <sys/syscall.h> /* Definition of SYS_* constants */
> > #include <unistd.h>
> >
> > long syscall(SYS_getfsxattrat, int dirfd, const char *pathname,
> > struct fsxattr *fsx, size_t size,
> > unsigned int at_flags);
> > long syscall(SYS_setfsxattrat, int dirfd, const char *pathname,
> > struct fsxattr *fsx, size_t size,
> > unsigned int at_flags);
> >
> > Note: glibc doesn't provide for getfsxattrat()/setfsxattrat(),
> > use syscall(2) instead.
> >
> > DESCRIPTION
> >
> > The syscalls take fd and path to the child together with struct
> > fsxattr. If path is absolute, fd is not used. If path is empty,
> > inode under fd is used to get/set attributes on.
> >
> > This is an alternative to FS_IOC_FSGETXATTR/FS_IOC_FSSETXATTR
> > ioctl with a difference that file don't need to be open as we
> > can reference it with a path instead of fd. By having this we
> > can manipulated filesystem inode attributes not only on regular
> > files but also on special ones. This is not possible with
> > FS_IOC_FSSETXATTR ioctl as with special files we can not call
> > ioctl() directly on the filesystem inode using file descriptor.
> >
> > RETURN VALUE
> >
> > On success, 0 is returned. On error, -1 is returned, and errno
> > is set to indicate the error.
> >
> > ERRORS
> >
> > EINVAL Invalid at_flag specified (only
> > AT_SYMLINK_NOFOLLOW and AT_EMPTY_PATH is
> > supported).
> >
> > EINVAL Size was smaller than any known version of
> > struct fsxattr.
> >
> > EINVAL Invalid combination of parameters provided in
> > fsxattr for this type of file.
> >
> > E2BIG Size of input argument **struct fsxattr** is too
> > big.
> >
> > EBADF Invalid file descriptor was provided.
> >
> > EPERM No permission to change this file.
> >
> > EOPNOTSUPP Filesystem does not support setting attributes
> > on this type of inode
> >
> > HISTORY
> >
> > Added in Linux 6.14.
> >
> > EXAMPLE
> >
> > Create directory and file "mkdir ./dir && touch ./dir/foo" and then
> > execute the following program:
> >
> > #include <fcntl.h>
> > #include <errno.h>
> > #include <string.h>
> > #include <linux/fs.h>
> > #include <stdio.h>
> > #include <sys/syscall.h>
> > #include <unistd.h>
> >
> > int
> > main(int argc, char **argv) {
> > int dfd;
> > int error;
> > struct fsxattr fsx;
> >
> > dfd = open("./dir", O_RDONLY);
> > if (dfd == -1) {
> > printf("can not open ./dir");
> > return dfd;
> > }
> >
> > error = syscall(467, dfd, "./foo", &fsx, 0);
> > if (error) {
> > printf("can not call 467: %s", strerror(errno));
> > return error;
> > }
> >
> > printf("dir/foo flags: %d\n", fsx.fsx_xflags);
> >
> > fsx.fsx_xflags |= FS_XFLAG_NODUMP;
> > error = syscall(468, dfd, "./foo", &fsx, 0);
> > if (error) {
> > printf("can not call 468: %s", strerror(errno));
> > return error;
> > }
> >
> > printf("dir/foo flags: %d\n", fsx.fsx_xflags);
> >
> > return error;
> > }
> >
> > SEE ALSO
> >
> > ioctl(2), ioctl_iflags(2), ioctl_xfs_fsgetxattr(2)
> >
> > ---
> > Changes in v4:
> > - Use getname_maybe_null() for correct handling of dfd + path semantic
> > - Remove restriction for special files on which flags are allowed
> > - Utilize copy_struct_from_user() for better future compatibility
> > - Add draft man page to cover letter
> > - Convert -ENOIOCTLCMD to -EOPNOSUPP as more appropriate for syscall
> > - Add missing __user to header declaration of syscalls
> > - Link to v3: https://lore.kernel.org/r/20250211-xattrat-syscall-v3-1-a07d15f898b2@kernel.org
> >
> > Changes in v3:
> > - Remove unnecessary "dfd is dir" check as it checked in user_path_at()
> > - Remove unnecessary "same filesystem" check
> > - Use CLASS() instead of directly calling fdget/fdput
> > - Link to v2: https://lore.kernel.org/r/20250122-xattrat-syscall-v2-1-5b360d4fbcb2@kernel.org
> >
> > v1:
> > https://lore.kernel.org/linuxppc-dev/20250109174540.893098-1-aalbersh@kernel.org/
> >
> > Previous discussion:
> > https://lore.kernel.org/linux-xfs/20240520164624.665269-2-aalbersh@redhat.com/
> >
> > ---
> > Andrey Albershteyn (3):
> > lsm: introduce new hooks for setting/getting inode fsxattr
> > fs: split fileattr/fsxattr converters into helpers
> > fs: introduce getfsxattrat and setfsxattrat syscalls
> >
> > arch/alpha/kernel/syscalls/syscall.tbl | 2 +
> > arch/arm/tools/syscall.tbl | 2 +
> > arch/arm64/tools/syscall_32.tbl | 2 +
> > arch/m68k/kernel/syscalls/syscall.tbl | 2 +
> > arch/microblaze/kernel/syscalls/syscall.tbl | 2 +
> > arch/mips/kernel/syscalls/syscall_n32.tbl | 2 +
> > arch/mips/kernel/syscalls/syscall_n64.tbl | 2 +
> > arch/mips/kernel/syscalls/syscall_o32.tbl | 2 +
> > arch/parisc/kernel/syscalls/syscall.tbl | 2 +
> > arch/powerpc/kernel/syscalls/syscall.tbl | 2 +
> > arch/s390/kernel/syscalls/syscall.tbl | 2 +
> > arch/sh/kernel/syscalls/syscall.tbl | 2 +
> > arch/sparc/kernel/syscalls/syscall.tbl | 2 +
> > arch/x86/entry/syscalls/syscall_32.tbl | 2 +
> > arch/x86/entry/syscalls/syscall_64.tbl | 2 +
> > arch/xtensa/kernel/syscalls/syscall.tbl | 2 +
> > fs/inode.c | 130 ++++++++++++++++++++++++++++
> > fs/ioctl.c | 39 ++++++---
> > include/linux/fileattr.h | 2 +
> > include/linux/lsm_hook_defs.h | 4 +
> > include/linux/security.h | 16 ++++
> > include/linux/syscalls.h | 6 ++
> > include/uapi/asm-generic/unistd.h | 8 +-
> > include/uapi/linux/fs.h | 3 +
> > security/security.c | 32 +++++++
> > 25 files changed, 259 insertions(+), 13 deletions(-)
> > ---
> > base-commit: ffd294d346d185b70e28b1a28abe367bbfe53c04
> > change-id: 20250114-xattrat-syscall-6a1136d2db59
> >
> > Best regards,
> > --
> > Andrey Albershteyn <aalbersh@...nel.org>
> >
> >
Powered by blists - more mailing lists