Regarding the gen_leader fork above, it does have basic support for netsplit situations merged from Andrew Thompson's (of Basho) fork.  There has not been any rigorous model checking that I'm aware of.  My own testing has shown that it basically works, with 2 caveats (so far): 1) the process is periodically unavailable for a few seconds at a time doing election related things (even on stable networks), so frequent requests like "who is the leader" can sometimes take a while, 2) if 2 gen_leader instances are started during a netsplit, they will eventually deadlock.  I'm hoping to take a look at these issues over the next few weeks.<br>
<br>-Garret Smith<br><br><br><div class="gmail_quote">On Sun, Jul 1, 2012 at 10:24 AM, Ulf Wiger <span dir="ltr"><<a href="mailto:ulf@feuerlabs.com" target="_blank">ulf@feuerlabs.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><br>
On 1 Jul 2012, at 19:15, Ulf Wiger wrote:<br>
<br>
> Answering this question with anything other than 'no' can risk destabilizing the system unless the two candidates disagree.<br>
<br>
<br>
</div>s/disagree/agree<br>
<br>
of course. :)<br>
<br>
BR,<br>
Ulf<br>
<div class="HOEnZb"><div class="h5"><br>
Ulf Wiger, Co-founder & Developer Advocate, Feuerlabs Inc.<br>
<a href="http://feuerlabs.com" target="_blank">http://feuerlabs.com</a><br>
<br>
<br>
<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</div></div></blockquote></div><br>