On Thu, 4 Dec 2008, Andi Kleen wrote:
> On Thu, Dec 04, 2008 at 12:09:56AM -0500, Mikulas Patocka wrote:
> > BTW. how is this patch supposed to work with pvmove? I.e. you advertise to
> > a filesystem that you support barriers, then the user runs pvmove and you
> > drop barrier support while the filesystem is mounted - that will confuse
> > the filesystem and maybe produce a data corruption. I wouldn't recommend
> File systems handle this generally. Also the pvmove itself will
> act as a barrier.
How do you want to handle this?
the filesystem submits a 1st write request
the filesystem submits a 2nd write barrier request
the filesystem submits a 3rd write request
... time passes ...
the 1st write request ends with success
the 2nd write request ends with -EOPNOTSUPP
the 3rd write request ends with success
--- when you first see -EOPNOTSUPP, you have already corrupted filesystem
(the 3rd write passed while the filesystem expected that it would be
finished after the 2nd write) and you are in an interrupt context, where
you can't reissue -EOPNOTSUPP request. So what do you want to do?
Possible ways how to solve it:
1) Wait synchronously for barriers, don't issue any other writes while
barrier is pending.
- this basically supresses any performance advantage barriers could have.
Ext3 is doing this.
- this solion is right. But if this is "the way it should be done", you
could rip barriers from the kernel completely and replace them with a
simple call to flush hardware cache. In this use scenario, they have no
advantage over a simple call to flush cache.
2) Resubmit the failed -EOPNOTSUPP request from a thread.
- this is what XFS is doing. Bad for code complexity (there must be a
special thread just to catch failed IOs). Also, it still produces
corrupted filesystem for a brief period of time.
3) Fail barriers only synchronously? (so that the caller can detect
missing barrier support before issuing other writes)
- unimplemntable in device mapper, if the device is suspended, it queues
4) Disallow losing barrier support?
- for me it looks like a sensible solution.