On 01/17/2012 02:59 AM, Linus Torvalds wrote: > On Mon, Jan 16, 2012 at 4:36 PM, Dave Chinner <david@xxxxxxxxxxxxx> wrote: >> >> Jan is right, Linus. His definition of what up-to-date means for >> dirty buffers is correct, especially in the case of write errors. > > It's not a dirty buffer any more. > > Go look. We've long since cleared the dirty bit. > > So stop spouting garbage. > > My argument is simple: the contents ARE NOT CORRECT ENOUGH to be > called "up-to-date and clean". > > And I outlined the two choices: > > - mark it dirty and continue trying to write it out forever > > - invalidate it. > > Anything else is crazy talk. And marking it dirty forever isn't really > an option. So.. > > Linus I think this conversation is an hint to the fact that the page_cache-page state machine is clear as mud. And I thought it was only me. For years I want to catch some VFS guru to sit down and finally explain to me all the stages and how they are expressed in page-flag bits. Back to the conversation. The way I understood it (Which is probably wrong) 1. The application dirties a page it is in a *dirty* state. 2. Write-out begins, page goes into that in-write-out state (Am I correct) Now the page comes back from write-out with an error. As Linus stated we can not put it back to *dirty* state because it will probably never clear. (We did bunch of retrys on the block level). And we can't keep it in-write-out surly. But I think we should surly *not* put it in *not-clean* state. Because that one implies reading and the worse we can do is read that page as it is now. Therefor I agree with Jan. That the best is to use that extra error bit to indicate an *error-state*, which is up to the FS to handle. If it was a read error - error-is-set clean-is-cleared If it was a write err - error-is-set clean-is-set. All the rest of the Kernel should consider these as a they are error-sate and I really like Jan's patch of inspecting for error-bit and not the not-clean in a write-out which is darn confusing. (Regardless of the meaning of the clean-bit) Now the filesystem needs to do something about these pages like put them in a Jurnal, shove them in a recovery workQ or whatever. All the VFS/MM can do is like Linus said wait until they are plain removed which is effectively like invalidating them. (In the case the FS did nothing to fix it) I wish there was some heavy logging when the VFS/MM trashes error-set but clean-set pages (Write-errors), even a write-out of these buffers to some global journal, of which tools can extract and amend later. (Like the USB snatched too soon example) So I see Linus point of "we can't go back to any of the old states" but let's not overload the clean-bit and use the proper error-bit like Jan suggested. My $0.017 Boaz -- To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html