linearizability