[lkml]   [2001]   [Sep]   [3]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [PATCH] avoid unnecessary cache flushes
>>>>> On Mon, 3 Sep 2001 13:41:25 -0700, Richard Henderson <> 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

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2005-03-22 13:02    [W:0.100 / U:21.312 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site