A method and system for increasing server cluster availability by requiring at
a minimum only one node and a quorum replica set of replica members to form and
operate a cluster. Replica members, independent from the nodes, maintain cluster
operational data. A cluster operates when one node possesses a majority of replica
members, which ensures that any new or surviving cluster includes consistent cluster
operational data via at least one replica member from the immediately prior cluster.
Arbitration provides exclusive ownership by one node of the replica members, including
at cluster formation, and when the owning node fails. Arbitration uses a fast mutual
exclusion algorithm and a reservation mechanism to challenge for and defend the
exclusive reservation of each member. A quorum replica set algorithm brings members
online and offline with data consistency, including updating unreconciled replica
members, and ensures consistent read and update operations.