Linearizability and Consistency

Ensure lock-free structures satisfy the requirements of linearizable access.