Re: [PATCH] avoid unnecessary cache flushes

David Mosberger
2001-09-03T21:00:45Z

>>>>> On Mon, 3 Sep 2001 13:41:25 -0700, Richard Henderson <rth@twiddle.net> 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