Email Record: Sequential consistency versus linearizability /