312 Sequential Consistency Model and Linearizability Model in Distributed System Sequential Consistency Model and Linearizability Model in Distributed System