atomic operations

  1. REDIRECT Linearizability