I've read v8, though I haven't tested it. The recheck in RegisterPinCountWaiter() closes the window I described. I also think 0002 is worth keeping.
-- JH Shin
I've read v8, though I haven't tested it. The recheck in RegisterPinCountWaiter() closes the window I described. I also think 0002 is worth keeping.
-- JH Shin