Re: [PATCH] avoid unnecessary cache flushes

[David Mosberger]

>>>>> On Mon, 3 Sep 2001 13:41:25 -0700, Richard Henderson <[e-mail]> said:

  Richard> You can get a missed flush from

  Richard> 	bit == 0 flush cache

  Richard> 				modify page bit = 0

  Richard> 	bit = 1

  Richard> unless this is protected from some outer lock of which I am
  Richard> not aware.

  Richard> I do see your point about the early set though.

I didn't think there was any path where the kernel would on its own
update code after the fact, but I could be missing something.  Note,
that if it's the user's doing, the user is responsible for ensuring
coherence.

	--david