The BSPModel is not working

[Yuzhen11]

This is because the Get() request is only sent to the servers that have the keys, and thus it is possible that a worker is fast (Get() is unblock due to the reply by server B) so that server A may receive Clock() which is min_clock + 2.

[wuruoyu]

gonna solve this week. So many assignment these days.