one-copy serializability