Note: Case Study

19 Mar 2014

###Leader Election in Ring

####Take away

1. Using libraries

   It’s standard notions so you already understand it. And it reduces the risk of mistakes.

####Question

1. How to modify the model to allow message to be dropped?

2. Each step only one process send id?(concurrency)

   Dealt with in fact Traces

3. Step may send itself out again.
4. The discussion for section 4

###Memory

####Take away

1. Abstraction function

####Question

1. Different address can hold the same data?
2. Alpha function v.s. alpha predicate