[parisc-linux] depi?

[Frank Rowand]

Philipp Rumpf wrote:

< stuff deleted - I don't need to argue, my face is already turning blue... >

> What I really want to know is  which algorithm do recent CPUs use to get the
> cache bank index / cache tag.

< stuff deleted >

> [note: what follows is what I think is a proof we can do what I want to do.
> It is very likely to contain formal/grammatical mistakes but I think it should
> be valid nontheless].
> 
>   The Rules

<stuff deleted >

> Any mistakes to point out ?  Misunderstandments in the specification ?  Other-
> wise could the specification please get fixed ?
> 
>         Philipp Rumpf


I didn't bother reading the proof, so no arguments about it.  I already thought
through what is probably a similar proof for myself.

The problem is that no matter how obvious it is to us software folks that it
would be braindead, illogical, or nearly impossible for the hardware to
behave in strange ways, the hardware folks are incredibly devious at making
the hardware more effective, within the constraints of the architecture
(and, on occasion, outside the constraints).  This results in behaviour that
may seem unreasonable to a software person.


*****  I attempt to code within the ARCHITECTURE, not to implement what
specific hardware implementations let me get away with.  That way I don't
get burnt by the creative hardware engineers, who might be pushing the
envelope.  *****


-Frank