[DGD] Spectre and speculative execution

[Felix A. Croes]

Raymond Jennings <shentino at gmail.com> wrote:

>[...]
> That was my guess, though I suppose my first guess was how such a
> hardware bug might well cause DGD/Hydra to fumble in a way that
> violates the isolation guarantees it uses itself to enforce the atomic
> context mechanism responsible for isolating concurrent tasks so long
> as they don't peek at each other's state

That is a misunderstanding.  Speculative execution can cause information
leakage, not "fumbles."

Regards,
Felix Croes