oh, and 4) optimistically moving cycle detection out under the read side of a ReadWriteLock with a generation number