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(a)paul-moore.com> wrote:
On Mon, Aug 22, 2022 at 4:09 PM Gabriel Ryan
<gabe(a)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