Re: Privilege Levels Below User

John Savard wrote:

On Tue, 11 Jun 2024 00:45:28 +0000, mitchalsup@aol.com (MitchAlsup1)
wrote:

I forgot to add that Mc 88120 had these features in 1992.

Stores waited for retirement.

Given that in the case of external RAM, as opposed to registers inside
the processor, there is only one possible value at any location...
memory doesn't have a pile of rename locations to play with... I am so
unimaginative that I don't think I could design a CPU in which stores
to RAM didn't wait for the instruction that performed them to retire.

I never said it did. Effectively, there is a buffer that feeds the OoO
engine results as early as possible (acting like a cache, but a cache
withy the property that it can be discarded (in part or whole) just
like
instructions in the shadow of a branch can be discarded.) So, the
pipeline
gets fed by the buffer and the update of the actual cache is delayed
until
the instruction causing the event to retire.
So depending on where you look you can see the front of the pipeline or
the end of the pipeline--and it works the exact same way as branch
pred-
iction and with the same property that one can back up to some sane
point
based on external events (coherent messages,...) rather than branch
mis-
prediction.

That, though, wouldn't save me from Spectre, since Spectre leaks
information by virtue of fetches of stuff _read_ in earlier speculated
code that didn't really happen being in cache.

Here, Spectré performs back to back dependent LDs, by doing these many times in a row, and prediction mechanism will lock in on these
instructions
being OK to execute.
Then, the first LD returns a pointer while the TLB returns "bad access"
But the loaded pointer goes through AGEN before permissions have been
fully checked. This second LD is not allowed to modify the data cache;
or Spectré can see this microarchitectural state change.
When the bad LD is discarded from execution so is the damage done by
the second LD--its data is discarded from the buffer and never makes it to the cache. Instruction entering the pipeline after do not see the data that should have never been there. Q.E.D. no Spectré sensi-
tivity.

John Savard