Hi Paul,

Will do. For this race we don’t have any indication it’s a serious problem beyond the race itself and manual inspection of the relevant code locations.

Best,

Gabe

On Mon, Aug 22, 2022 at 7:42 PM Paul Moore <paul@paul-moore.com> wrote:
On Mon, Aug 22, 2022 at 4:09 PM Gabriel Ryan <gabe@cs.columbia.edu> wrote:
>
> Hi Paul,
>
> Thanks for taking the time to review our report! It sounds like there
> aren't severe negative impacts and patching to eliminate the race
> would impose unnecessary performance penalties so we'll mark this as
> benign for future reference.

I just want to reiterate that if you are seeing a serious problem
please let us know and we'll work with you to find a fix.

--
paul-moore.com