See the slides : Linearizability and Durable Linearizability