Message-ID: <1161899.1631530176@warthog.procyon.org.uk>
Date:   Mon, 13 Sep 2021 11:49:36 +0100
From:   David Howells <dhowells@...hat.com>
To:     torvalds@...ux-foundation.org
cc:     dhowells@...hat.com, Marc Dionne <marc.dionne@...istor.com>,
        Markus Suvanto <markus.suvanto@...il.com>,
        linux-afs@...ts.infradead.org, linux-fsdevel@...r.kernel.org,
        linux-kernel@...r.kernel.org
Subject: [GIT PULL] afs: Fixes for 3rd party-induced data corruption


Hi Linus,

Here are some fixes for AFS that can cause data corruption due to
interaction with another client modifying data cached locally[1].

 (1) When d_revalidating a dentry, don't look at the inode to which it
     points.  Only check the directory to which the dentry belongs.  This
     was confusing things and causing the silly-rename cleanup code to
     remove the file now at the dentry of a file that got deleted.

 (2) Fix mmap data coherency.  When a callback break is received that
     relates to a file that we have cached, the data content may have been
     changed (there are other reasons, such as the user's rights having
     been changed).  However, we're checking it lazily, only on entry to
     the kernel, which doesn't happen if we have a writeable shared mapped
     page on that file.

     We make the kernel keep track of mmapped files and clear all PTEs
     mapping to that file as soon as the callback comes in by calling
     unmap_mapping_pages() (we don't necessarily want to zap the
     pagecache).  This causes the kernel to be reentered when userspace
     tries to access the mmapped address range again - and at that point we
     can query the server and, if we need to, zap the page cache.

     Ideally, I would check each file at the point of notification, but
     that involves poking the server[*] - which is holding an exclusive
     lock on the vnode it is changing, waiting for all the clients it
     notified to reply.  This could then deadlock against the server.
     Further, invalidating the pagecache might call ->launder_page(), which
     would try to write to the file, which would definitely deadlock.  (AFS
     doesn't lease file access).

     [*] Checking to see if the file content has changed is a matter of
     	 comparing the current data version number, but we have to ask the
     	 server for that.  We also need to get a new callback promise and
     	 we need to poke the server for that too.

 (3) Add some more points at which the inode is validated, since we're
     doing it lazily, notably in ->read_iter() and ->page_mkwrite(), but
     also when performing some directory operations.

     Ideally, checking in ->read_iter() would be done in some derivation of
     filemap_read().  If we're going to call the server to read the file,
     then we get the file status fetch as part of that.

 (4) The above is now causing us to make a lot more calls to afs_validate()
     to check the inode - and afs_validate() takes the RCU read lock each
     time to make a quick check (ie. afs_check_validity()).  This is
     entirely for the purpose of checking cb_s_break to see if the server
     we're using reinitialised its list of callbacks - however this isn't a
     very common event, so most of the time we're taking this needlessly.

     Add a new cell-wide counter to count the number of reinitialisations
     done by any server and check that - and only if that changes, take the
     RCU read lock and check the server list (the server list may change,
     but the cell a file is part of won't).

 (5) Don't update vnode->cb_s_break and ->cb_v_break inside the validity
     checking loop.  The cb_lock is done with read_seqretry, so we might go
     round the loop a second time after resetting those values - and that
     could cause someone else checking validity to miss something (I
     think).

Also included are patches for fixes for some bugs encountered whilst
debugging this.

 (6) Fix a leak of afs_read objects and fix a leak of keys hidden by that.

 (7) Fix a leak of pages that couldn't be added to extend a writeback.

 (8) Fix the maintenance of i_blocks when i_size is changed by a local
     write or a local dir edit[**].

     [**] Would you prefer this patch separately to the other patches?

David

Link: https://bugzilla.kernel.org/show_bug.cgi?id=214217 [1]
Link: https://lore.kernel.org/r/163111665183.283156.17200205573146438918.stgit@warthog.procyon.org.uk/ # v1
Link: https://lore.kernel.org/r/163113612442.352844.11162345591911691150.stgit@warthog.procyon.org.uk/ # i_blocks patch
---

The following changes since commit b91db6a0b52e019b6bdabea3f1dbe36d85c7e52c:

  Merge tag 'for-5.15/io_uring-vfs-2021-08-30' of git://git.kernel.dk/linux-block (2021-08-30 19:39:59 -0700)

are available in the Git repository at:

  git://git.kernel.org/pub/scm/linux/kernel/git/dhowells/linux-fs.git tags/afs-fixes-20210913

for you to fetch changes up to 9d37e1cab2a9d2cee2737973fa455e6f89eee46a:

  afs: Fix updating of i_blocks on file/dir extension (2021-09-13 09:14:21 +0100)

----------------------------------------------------------------
AFS fixes

----------------------------------------------------------------
David Howells (8):
      afs: Fix missing put on afs_read objects and missing get on the key therein
      afs: Fix page leak
      afs: Add missing vnode validation checks
      afs: Fix incorrect triggering of sillyrename on 3rd-party invalidation
      afs: Fix mmap coherency vs 3rd-party changes
      afs: Try to avoid taking RCU read lock when checking vnode validity
      afs: Fix corruption in reads at fpos 2G-4G from an OpenAFS server
      afs: Fix updating of i_blocks on file/dir extension

 fs/afs/callback.c          | 44 ++++++++++++++++++++-
 fs/afs/cell.c              |  2 +
 fs/afs/dir.c               | 57 +++++++++------------------
 fs/afs/dir_edit.c          |  4 +-
 fs/afs/file.c              | 86 ++++++++++++++++++++++++++++++++++++++--
 fs/afs/fs_probe.c          |  8 +++-
 fs/afs/fsclient.c          | 31 +++++++++------
 fs/afs/inode.c             | 98 ++++++++++++++++++++--------------------------
 fs/afs/internal.h          | 21 ++++++++++
 fs/afs/protocol_afs.h      | 15 +++++++
 fs/afs/protocol_yfs.h      |  6 +++
 fs/afs/rotate.c            |  1 +
 fs/afs/server.c            |  2 +
 fs/afs/super.c             |  1 +
 fs/afs/write.c             | 29 +++++++++++---
 include/trace/events/afs.h |  8 +++-
 mm/memory.c                |  1 +
 17 files changed, 294 insertions(+), 120 deletions(-)
 create mode 100644 fs/afs/protocol_afs.h

Powered by blists - more mailing lists