4 votes

Nonblocking cycle detection and iterator invalidation