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