On Tue 28-06-11 14:30:55, Moffett, Kyle D wrote: > This is really helpful to me, but it's deviated a bit from solving > the original bug. Based on the last log that I generated showing that > the error occurs in journal_stop(), what else should I be testing? I was looking at it for a while but so far I have no idea... > Further discussion of the exact behavior of data-journalling below: > On Jun 28, 2011, at 05:36, Jan Kara wrote: > > On Mon 27-06-11 23:21:17, Moffett, Kyle D wrote: > > > Actually, normal desktop might be quite happy with non-journaled filesystem > > when fsck is fask enough. > > No, because fsck can occasionally fail on a non-journalled filesystem, and > then the Joe user is sitting there staring at an unhappy console prompt with > a lot of cryptic error messages. > > It's also very bad for any kind of embedded or server environment that might > need to come back up headless. OK, I agree. > >> data=ordered: > >> Data appended to a file will be written before the metadata > >> extending the length of the file is written, and in certain cases > >> the data will be written before file renames (partial ordering), > >> but the data itself is unjournalled, and may be only partially > >> complete for updates. > >> + Does not write data to the media twice > >> + A crash or power failure will not leave old uninitialized data > >> in files. > >> - Data writes to files may only partially complete in the event > >> of a crash. No problems for logfiles, or self-journalled > >> application databases, but others may experience partial writes > >> in the event of a crash and need recovery. > > > > Correct, one should also note that noone guarantees order in which data > > hits the disk - i.e. when you do write(f,"a"); write(f,"b"); and these are > > overwrites it may happen that "b" is written while "a" is not. > > Yes, right, I should have mentioned that too. If a program wants > data-level ordering then it must issue an fsync() or fdatasync(). > > Just to confirm, an file write in data=ordered mode can be only > partially written during a hard shutdown: > char a[512] = "aaaaaaaaaaaaaaa"...; > char b[512] = "bbbbbbbbbbbbbbb"...; > write(fd, a, 512); > fsync(fd); > write(fd, b, 512); <== Hard poweroff here > fsync(fd); > > The data on disk could contain any mix of "b"s and "a"s, and possibly > even garbage data depending on the operation of the disk firmware, > correct? Correct. > >> data=journalled: > >> Data and metadata are both journalled, meaning that a given data > >> write will either complete or it will never occur, although the > >> precise ordering is not guaranteed. This also implies all of the > >> data<=>metadata guarantees of data=ordered. > >> + Direct IO data writes are effectively "atomic", resulting in > >> less likelihood of data loss for application databases which do > >> not do their own journalling. This means that a power failure > >> or system crash will not result in a partially-complete write. > > > > Well, direct IO is atomic in data=journal the same way as in data=ordered. > > It can happen only half of direct IO write is done when you hit power > > button at the right moment - note this holds for overwrites. Extending > > writes or writes to holes are all-or-nothing for ext4 (again both in > > data=journal and data=ordered mode). > > My impression of journalled data was that a single-sector write would > be written checksummed into the journal and then later into the actual > filesystem, so it would either complete (IE: journal entry checksum is > OK and it gets replayed after a crash) or it would not (IE: journal > entry does not checksum and therefore the later write never happened > and the entry is not replayed). Umm, right. This is true. That's another guarantee of data=journal mode I didn't think of. > >> - Cached writes are not atomic > >> + For small cached file writes (of only a few filesystem pages) > >> there is a good chance that kernel writeback will queue the > >> entire write as a single I/O and it will be "protected" as a > >> result. This helps reduce the chance of serious damage to some > >> text-based database files (such as those for some Wikis), but > >> is obviously not a guarantee. > > Page sized and page aligned writes are atomic (in both data=journal and > > data=ordered modes). When a write spans multiple pages, there are chances > > the writes will be merged in a single transaction but no guarantees as you > > properly write. > > I don't know that our definitions of "atomic write" are quite the same... > > I'm assuming that filesystem "atomic write" means that even if the disk > itself does not guarantee that a single write will either complete or it > will be discarded, then the filesystem will provide that guarantee. OK. There are different levels of "disk does not guarantee atomic writes" though. E.g. flash disks don't guarantee atomic writes but even more they actually corrupt unrelated blocks on power failure so any filesystem is actually screwed on power failure. For standard rotating drives I'd rely on the drive being able to write a full fs block (4k) although I agree noone really guarantees this. Honza -- Jan Kara <jack@xxxxxxx> SUSE Labs, CR -- To unsubscribe from this list: send the line "unsubscribe linux-ext4" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
