> On Thu, Apr 02, 1998 at 01:41:02PM -0800, William J. Earl wrote:
> > > Another way to finally eleminate the virtual coherency problem from
> > > KSEG0's landscape would be to actually use 8 pages as an array of
> > > empty_zero_pages, so we would be able to map one wherever we want
> > > such that we never run into virtual coherency trouble.
> > For an always-zero page, this is the best solution. At a small
> > cost in memory, you get far less overhead.
> Indeed, 16ns on a 250Mhz machine for every exception that goes via the
> general exception vector _plus_ the actual vce / vci handling, that sucks.
> I just wonder why those exceptions have been implemented at all?
> They may help somewhat in debugging operating systems, but in our situation
> they're nervragging by their mere existance.
In the R10000, the hardware does the VCE correction. On the R4000PC,
and R5000, we have to avoid the problem in software, since the hardware
does not detect conflicts. The motivation, and the reason that IRIX
depends on VCEs on the R4000 and R4400, was to make it easier to port
R3000 operating systems to the R4000. If you don't have infrastructure
to control virtual aliasing (where a single page is mapped read-write at
two distinct virtual addresses with differing primary cache virtual indexes),
you get wrong answers with VCE (whether handled in software or hardware).
At MIPS, with the Magnum 4000PC under RISC/os, and at SGI, with the
Indy R4000PC (and later R4600 and R5000), I modified RISC/os and IRIX to
control virtual aliasing, but only for those platforms without hardware
VCE detection (in order to minimize time to market).
Note that taking a K0SEG address for a physical page which is also mapped
to user space can easily cause a VCE, since there is a good chance that
the K0SEG virtual index differs from the user space virtual index, unless
you match physical page color to virtual page color when allocating pages.
Note that you have to do that for any pages which must be accessible in
the general exception handler, since you cannot handle a VCE in the