Atomic operations

  1. REDIRECT Linearizability