add para in linearizability