[PATCH v2 0/4] Properly invalidate data in the cleancache.

From: Andrey Ryabinin
Date: Mon Apr 24 2017 - 12:40:42 EST


Changes since v1:
- Exclude DAX/nfs/cifs/9p hunks from the first patch. All these fs'es
doesn't call cleancache_get_page() (nor directly, nor via mpage_readpage[s]()),
so they are not affected by this bug.
- Updated changelog.


We've noticed that after direct IO write, buffered read sometimes gets
stale data which is coming from the cleancache.
The reason for this is that some direct write hooks call call invalidate_inode_pages2[_range]()
conditionally iff mapping->nrpages is not zero, so we may not invalidate
data in the cleancache.

Another odd thing is that we check only for ->nrpages and don't check for ->nrexceptional,
but invalidate_inode_pages2[_range] also invalidates exceptional entries as well.
So we invalidate exceptional entries only if ->nrpages != 0? This doesn't feel right.

- Patch 1 fixes direct IO writes by removing ->nrpages check.
- Patch 2 fixes similar case in invalidate_bdev().
Note: I only fixed conditional cleancache_invalidate_inode() here.
Do we also need to add ->nrexceptional check in into invalidate_bdev()?

- Patches 3-4: some optimizations.

Andrey Ryabinin (4):
fs: fix data invalidation in the cleancache during direct IO
fs/block_dev: always invalidate cleancache in invalidate_bdev()
mm/truncate: bail out early from invalidate_inode_pages2_range() if
mapping is empty
mm/truncate: avoid pointless cleancache_invalidate_inode() calls.

fs/block_dev.c | 11 +++++------
fs/iomap.c | 18 ++++++++----------
mm/filemap.c | 26 +++++++++++---------------
mm/truncate.c | 13 +++++++++----
4 files changed, 33 insertions(+), 35 deletions(-)

--
2.10.2