Read-log-update: a lightweight synchronization mechanism for concurrent programming
A lazy concurrent list-based set algorithm