Liveness issue with ELECTION

[jabolina]

Liveness issue with ELECTION

[jabolina]

Thanks, Bela.

I plan on following the approach you suggested in creating the ELECTION2, asserting the PartialConnectivityTest is catching the issue (and working with the fix), and in addition:

• Extend some tests to cover both election protocols;
• Include an operation to start the voting thread. Focused for operators, an easier way for manual intervention.

[belaban]

Hi Jose
implementing the prevoting, as discussed in Diego's thesis in ch. 9.6, sounds like a good plan.
Modeling the faults in PartialConnectivityTest first is critical IMO, then implementing prevoting and making sure the previously failing test now passes.

[belaban]

Given that partial connectivity is the edge case, and not the norm, I suggest creation of an ELECTION2 protocol, perhaps extracting the common functionality into an Election class, and making ELECTION and ELECTION2 extend it.
Alternatively, allow users to configure whether or not they want a prevoting phase: some users may not want this as patial connectivity will not occur in their networks, or - if it does occur - they're willing to allow for manual intervention.