... so this patch implements basically an assert() that triggers even if the condition is only violated speculatively
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Here's what it looks like (given it's event number 0x5d umask value 0x01). I just use a faulting load and then speculation based on the result of the load. I added some loads to the abortfunc to show the speculative loads occurring as well. The TSX aborts line up close to clears.pic.twitter.com/yTvKEcMHJ8
-
Let me know if you want any speculative behavior graphed. I love looking at what happens in the uarch during speculation!
- 3 more replies
New conversation -
-
-
SPEC_WARN_ON() is amazing. Both in practical and educational value. Although I'm not completely sold on the latest efforts on proactive kernel protections, this is clearly on the useful side of things.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
genius
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
amaziny and crazy :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
time travel!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
great, more stuff like this is needed, thanks for pointing out! :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
> by using CMOV which is not predicted
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.