Non-blocking binary search trees
... Figure 4: The eﬀects of successful CAS operations.
state ﬁeld has one of four possible values, Clean, Mark,
IFlag, or DFlag, and is initially Clean. It is used to coordinate actions between updates acting on the same part of
the tree, as described in Section 3. An internal node is called
clean, mark ...