Messages in this thread | | | From | Daniel Phillips <> | Subject | Re: precise characterization of ext3 atomicity | Date | Thu, 4 Sep 2003 23:08:54 +0200 |
| |
On Thursday 04 September 2003 22:10, Andrew Morton wrote: > Daniel Phillips <phillips@arcor.de> wrote: > > On Thursday 04 September 2003 17:55, Andrew Morton wrote: > > > Hans Reiser <reiser@namesys.com> wrote: > > > > Is it correct to say of ext3 that it guarantees and only guarantees > > > > atomicity of writes that do not cross page boundaries? > > > > > > Yes. > > > > Is that just happenstance, or does Posix or similar mandate it? > > Happenstance. > > It's semi-trivial to do this in ext3. You'd open the file with O_ATOMIC > and a write() would either be completely atomic or would return -EFOO > without having written anything. > > The thing which prevents this is the ranking order between journal_start() > and lock_page(). > > It's not trivial but also not too hard to change things so that > journal_start() can rank outside lock_page() - this would also offer some > CPU savings. > > Can't say that I'm terribly motivated about the feature though.
I'm relieved, I have always thought that some higher level synchronization is required for simultaneous writes. So Hans might as well tell his fans that Ext3 makes no official guarantee, and neither does Linux.
Regards,
Daniel
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |