A Concurrent Dynamic Task Graph
Locking without blocking: making lock based concurrent data structure algorithms nonblocking