Text this: Sequential consistency versus linearizability /