Classic Paxos implementation in lua.

Nginx cluster management based on paxos.

Feature:

• Classic two phase paxos algorithm.

• Optional phase-3 as phase 'learn' or 'commit'

• Support membership changing on the fly.

  This is archived by making the group members a paxos instance. Running paxos on group member updates group membership.

  Here we borrowed the concept 'view' that stands for a single version of membership.

  'view' is a no more than a normal paxos instance.