Ben Pfaff wrote: > This sort of thing won't work on systems with virtually indexed caches, > at least not without inserting explicit flushes.
Good point. Yes, explicit data cache flushing instructions or - in the worst case - system calls are necessary. > I don't know whether > virtually indexed caches still exist in the wild. Yes, data caches are indexed by virtual address, not by physical address, on many platforms. That makes the common case of a cache lookup faster. Bruno
