Speculative linearizability