Consistency Model In Distributed Shared Memory