U re welcome :)
what you described in your example cannot happen under sequential consistency.
The model is an abstract contract of the behaviour the system must respect at any point in time.
Coming back to your example you, just to make it a bit more concrete, we could:
use sessions for clients, so that reads and writes for the same client end up to the same processor
or use a leader processor which serializes reads and writes to other nodes. The idea is similar to what Raft and Paxos do.
Both these approaches will cause the clients to observe a system which behaves as sequential consistent.
U re welcome :)
what you described in your example cannot happen under sequential consistency.
The model is an abstract contract of the behaviour the system must respect at any point in time.
Coming back to your example you, just to make it a bit more concrete, we could:
Both these approaches will cause the clients to observe a system which behaves as sequential consistent.
Thank you very much. Your answer has solved my doubts. : -)
Glad it helped :)