Closed mmdriley closed 4 years ago
Not sure if you've seen this -- it's sort of buried in the Github UI -- but for PRs like this with multiple commits you can view them one at a time and pretty easily switch between them.
Click any commit in the PR to go to it, then there are "Prev" and "Next" buttons at the top-right. Review comments work there too.
Comments should be addressed. Will squash PR feedback commits and merge tomorrow if all's well.
One notable change: I outlined the implementation of ExtendSpeculationWindow
. It was originally inline
because I thought it needed to be SAFESIDE_ALWAYS_INLINE
, but that didn't turn out to be the case.
In the process, update
RunWithFaultHandler
to deal with different signals.See individual commits for more detail.