• Christian Brauner's avatar
    fcntl: add F_CREATED_QUERY · 820a1858
    Christian Brauner authored
    Systemd has a helper called openat_report_new() that returns whether a
    file was created anew or it already existed before for cases where
    O_CREAT has to be used without O_EXCL (cf. [1]). That apparently isn't
    something that's specific to systemd but it's where I noticed it.
    
    The current logic is that it first attempts to open the file without
    O_CREAT | O_EXCL and if it gets ENOENT the helper tries again with both
    flags. If that succeeds all is well. If it now reports EEXIST it
    retries.
    
    That works fairly well but some corner cases make this more involved. If
    this operates on a dangling symlink the first openat() without O_CREAT |
    O_EXCL will return ENOENT but the second openat() with O_CREAT | O_EXCL
    will fail with EEXIST. The reason is that openat() without O_CREAT |
    O_EXCL follows the symlink while O_CREAT | O_EXCL doesn't for security
    reasons. So it's not something we can really change unless we add an
    explicit opt-in via O_FOLLOW which seems really ugly.
    
    The caller could try and use fanotify() to register to listen for
    creation events in the directory before calling openat(). The caller
    could then compare the returned tid to its own tid to ensure that even
    in threaded environments it actually created the file. That might work
    but is a lot of work for something that should be fairly simple and I'm
    uncertain about it's reliability.
    
    The caller could use a bpf lsm hook to hook into security_file_open() to
    figure out whether they created the file. That also seems a bit wild.
    
    So let's add F_CREATED_QUERY which allows the caller to check whether
    they actually did create the file. That has caveats of course but I
    don't think they are problematic:
    
    * In multi-threaded environments a thread can only be sure that it did
      create the file if it calls openat() with O_CREAT. In other words,
      it's obviously not enough to just go through it's fdtable and check
      these fds because another thread could've created the file.
    
    * If there's any codepaths where an openat() with O_CREAT would yield
      the same struct file as that of another thread it would obviously
      cause wrong results. I'm not aware of any such codepaths from openat()
      itself. Imho, that would be a bug.
    
    * Related to the previous point, calling the new fcntl() on files created
      and opened via special-purpose system calls or ioctl()s would cause
      wrong results only if the affected subsystem a) raises FMODE_CREATED
      and b) may return the same struct file for two different calls. I'm
      not seeing anything outside of regular VFS code that raises
      FMODE_CREATED.
    
      There is code for b) in e.g., the drm layer where the same struct file
      is resurfaced but again FMODE_CREATED isn't used and it would be very
      misleading if it did.
    
    Link: https://github.com/systemd/systemd/blob/11d5e2b5fbf9f6bfa5763fd45b56829ad4f0777f/src/basic/fs-util.c#L1078 [1]
    Link: https://lore.kernel.org/r/20240724-work-fcntl-v1-1-e8153a2f1991@kernel.orgReviewed-by: default avatarJeff Layton <jlayton@kernel.org>
    Reviewed-by: default avatarJan Kara <jack@suse.cz>
    Signed-off-by: default avatarChristian Brauner <brauner@kernel.org>
    820a1858
fcntl.c 24.7 KB