> And even in that four-liner, I suspect that the *last* two lines are > actually incorrect: there's no point in updating the file time when the > page *becomes* dirty,
Actually all four lines do that. The first two for a write access on a present, read-only pte, the other two for a write on a non-present pte. > we should update the file time when it is marked > clean, and "msync(MS_SYNC)" should update it as part of *that*. That would need a new page flag (PG_mmap_dirty?). Do we have one available? Miklos -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/