Jessica Clarke

Results 515 comments of Jessica Clarke

To make a broader statement: It is always correct to use flush rather than invalidate. If your code relies on using invalidate, it is broken, because the line could be...

C is potentially awkward because you may well not have that for device driver mappings.

(and you wouldn't want revocation to flush the caches either, that sounds expensive...)

~CSetFlags is definitely used by rtld, you must not be tracing correctly~ never mind, missed the static part; yes, it's used in rtld for dynamic binaries, but for static ones...

Static linking by definition means no rtld

You missed: 4. Virtualise the address space so you don't have to deal with holes, high addresses, etc and can instead choose the exact layout of your address space 5....

> > You missed: > > > 4. Virtualise the address space so you don't have to deal with holes, high addresses, etc and can instead choose the exact layout...

The non-temporal hint only set transient state, that’s lost on a trap. That is, if the load/store traps, xepc points to the load/store, and there is no architectural state indicating...

That’s not true for ISAv9; our CBuildCap creates sentries. Morello has the behaviour you’re talking about.

FWIW, purecap EDK2 is being worked on at the moment.