Since we talked about coherence in distributed systems in class, a few interesting algorithms/protocols used in distributed systems to maintain consensus are:
While not the same, 2 phase commit and snooping based coherence have the same core idea. In both, you "shout" out to everyone else if you can do an operation, and everyone else gives you the go ahead.
However, there are other things you have to worry about in 2PC, like machines going down and recovery from that. Thus, it is useful to think about distributed protocols in an adversary manner, but for cache coherence protocols it's not as useful.
jiajunbl
^That's what Paxos is for :D. And for adversarial scenarios, there's Byzantine Paxos.
Since we talked about coherence in distributed systems in class, a few interesting algorithms/protocols used in distributed systems to maintain consensus are:
2PC - 2 phase commit http://en.wikipedia.org/wiki/Two-phase_commit_protocol PAXOS - http://en.wikipedia.org/wiki/Paxos_(computer_science)
While not the same, 2 phase commit and snooping based coherence have the same core idea. In both, you "shout" out to everyone else if you can do an operation, and everyone else gives you the go ahead.
However, there are other things you have to worry about in 2PC, like machines going down and recovery from that. Thus, it is useful to think about distributed protocols in an adversary manner, but for cache coherence protocols it's not as useful.
^That's what Paxos is for :D. And for adversarial scenarios, there's Byzantine Paxos.