From: Ross Zwisler <ross.zwisler@linux.intel.com>
To: Jan Kara <jack@suse.cz>
Cc: Ross Zwisler <ross.zwisler@linux.intel.com>,
linux-kernel@vger.kernel.org, Theodore Ts'o <tytso@mit.edu>,
Alexander Viro <viro@zeniv.linux.org.uk>,
Andreas Dilger <adilger.kernel@dilger.ca>,
Andrew Morton <akpm@linux-foundation.org>,
Dan Williams <dan.j.williams@intel.com>,
Dave Chinner <david@fromorbit.com>, Jan Kara <jack@suse.com>,
Matthew Wilcox <willy@linux.intel.com>,
linux-ext4@vger.kernel.org, linux-fsdevel@vger.kernel.org,
linux-mm@kvack.org, linux-nvdimm@lists.01.org, xfs@oss.sgi.com
Subject: Re: [PATCH v2 0/2] DAX bdev fixes - move flushing calls to FS
Date: Thu, 11 Feb 2016 12:49:22 -0700 [thread overview]
Message-ID: <20160211194922.GA5260@linux.intel.com> (raw)
In-Reply-To: <20160211124304.GI21760@quack.suse.cz>
On Thu, Feb 11, 2016 at 01:43:04PM +0100, Jan Kara wrote:
> On Wed 10-02-16 13:48:54, Ross Zwisler wrote:
> > During testing of raw block devices + DAX I noticed that the struct
> > block_device that we were using for DAX operations was incorrect. For the
> > fault handlers, etc. we can just get the correct bdev via get_block(),
> > which is passed in as a function pointer, but for the *sync code and for
> > sector zeroing we don't have access to get_block(). This is also an issue
> > for XFS real-time devices, whenever we get those working.
> >
> > Patch one of this series fixes the DAX sector zeroing code by explicitly
> > passing in a valid struct block_device.
> >
> > Patch two of this series fixes DAX *sync support by moving calls to
> > dax_writeback_mapping_range() out of filemap_write_and_wait_range() and
> > into the filesystem/block device ->writepages function so that it can
> > supply us with a valid block device. This also fixes DAX code to properly
> > flush caches in response to sync(2).
> >
> > Thanks to Jan Kara for his initial draft of patch 2:
> > https://lkml.org/lkml/2016/2/9/485
> >
> > Here are the changes that I've made to that patch:
> >
> > 1) For DAX mappings, only return after calling
> > dax_writeback_mapping_range() if we encountered an error. In the non-error
> > case we still need to write back normal pages, else we lose metadata
> > updates.
> >
> > 2) In dax_writeback_mapping_range(), move the new check for
> > if (!mapping->nrexceptional || wbc->sync_mode != WB_SYNC_ALL)
> > above the i_blkbits check. In my testing I found cases where
> > dax_writeback_mapping_range() was called for inodes with i_blkbits !=
> > PAGE_SHIFT - I'm assuming these are internal metadata inodes? They have no
> > exceptional DAX entries to flush, so we have no work to do, but if we
> > return error from the i_blkbits check we will fail the overall writeback
> > operation. Please let me know if it seems wrong for us to be seeing inodes
> > set to use DAX but with i_blkbits != PAGE_SHIFT and I'll get more info.
>
> So I'm wondering - how come S_DAX flag got set for inode where i_blkbis !=
> PAGE_SHIFT? That would seem to be a bug? I specifically ordered the checks
> like this to catch such issues.
I've isolated this one - this happens for all three filesystems (ext2, ext4 &
XFS), and does indeed have to do with the fact that S_DAX is set for
bdev->bd_inode.
Here is one failure path:
[ 102.866637] [<ffffffff81576d93>] dump_stack+0x85/0xc2
[ 102.867101] [<ffffffff812b9ee0>] dax_writeback_mapping_range+0x60/0xe0
[ 102.867738] [<ffffffff812a1d4f>] blkdev_writepages+0x3f/0x50
[ 102.868272] [<ffffffff811db011>] do_writepages+0x21/0x30
[ 102.868784] [<ffffffff811cb6a6>] __filemap_fdatawrite_range+0xc6/0x100
[ 102.869378] [<ffffffff811cb75a>] filemap_write_and_wait+0x4a/0xa0
[ 102.869933] [<ffffffff812a15e0>] set_blocksize+0x70/0xd0
[ 102.870424] [<ffffffff812a273d>] sb_set_blocksize+0x1d/0x50
[ 102.870933] [<ffffffff8132ac9b>] ext4_fill_super+0x75b/0x3360
[ 102.871487] [<ffffffff81583381>] ? vsnprintf+0x201/0x4c0
[ 102.872005] [<ffffffff815836d9>] ? snprintf+0x49/0x60
[ 102.872499] [<ffffffff81263010>] mount_bdev+0x180/0x1b0
[ 102.872981] [<ffffffff8132a540>] ? ext4_calculate_overhead+0x370/0x370
[ 102.873580] [<ffffffff8131ad95>] ext4_mount+0x15/0x20
[ 102.874042] [<ffffffff81263908>] mount_fs+0x38/0x170
[ 102.874524] [<ffffffff812839db>] vfs_kern_mount+0x6b/0x150
[ 102.875041] [<ffffffff8128670f>] do_mount+0x24f/0xe90
[ 102.875508] [<ffffffff81284444>] ? mntput+0x24/0x40
[ 102.875958] [<ffffffff812399ba>] ? __kmalloc_track_caller+0xea/0x240
[ 102.876542] [<ffffffff812862bc>] ? copy_mount_options+0x2c/0x210
[ 102.877087] [<ffffffff81287695>] SyS_mount+0x95/0xe0
[ 102.877573] [<ffffffff81a6af72>] entry_SYSCALL_64_fastpath+0x12/0x76
In set_blocksize() we are actually updating bdev->bd_inode->i_blkbits to be
12, but before that happens we do a sync_blockdev() with i_blkbits at 10,
which causes the failure. This can be reproduced easily just by mounting an
ext2 or ext4 filesystem.
I think the plan of unsetting S_DAX on bdev->bd_inode when we mount will save
us from this, as long as we do it super early in the mount process.
next prev parent reply other threads:[~2016-02-11 19:49 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-10 20:48 [PATCH v2 0/2] DAX bdev fixes - move flushing calls to FS Ross Zwisler
2016-02-10 20:48 ` [PATCH v2 1/2] dax: supply DAX clearing code with correct bdev Ross Zwisler
2016-02-10 20:48 ` [PATCH v2 2/2] dax: move writeback calls into the filesystems Ross Zwisler
2016-02-10 22:03 ` Dave Chinner
2016-02-10 22:43 ` Ross Zwisler
2016-02-10 23:44 ` Dave Chinner
2016-02-11 12:50 ` Jan Kara
2016-02-11 15:22 ` Dan Williams
2016-02-11 16:22 ` Jan Kara
2016-02-11 20:46 ` Dave Chinner
2016-02-11 20:58 ` Dan Williams
2016-02-11 22:46 ` Dave Chinner
2016-02-11 22:59 ` Dan Williams
2016-02-11 23:44 ` Dave Chinner
2016-02-11 12:43 ` [PATCH v2 0/2] DAX bdev fixes - move flushing calls to FS Jan Kara
2016-02-11 19:49 ` Ross Zwisler [this message]
2016-02-11 20:50 ` Dave Chinner
2016-02-12 19:03 ` Ross Zwisler
2016-02-13 2:38 ` Dave Chinner
2016-02-13 4:59 ` Ross Zwisler
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160211194922.GA5260@linux.intel.com \
--to=ross.zwisler@linux.intel.com \
--cc=adilger.kernel@dilger.ca \
--cc=akpm@linux-foundation.org \
--cc=dan.j.williams@intel.com \
--cc=david@fromorbit.com \
--cc=jack@suse.com \
--cc=jack@suse.cz \
--cc=linux-ext4@vger.kernel.org \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=linux-nvdimm@lists.01.org \
--cc=tytso@mit.edu \
--cc=viro@zeniv.linux.org.uk \
--cc=willy@linux.intel.com \
--cc=xfs@oss.sgi.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).