class Standard . ReplicaServer {array checkPointedValue;int32 faultLimit;int32 faulty;set inSet;set lastCmdReceived;int32 lastExec;array lastPrepared_M;array lastPrepared_Pre;assoc lastRep;assoc lastRepTime;int32 myReplicaIndex;set outSet;array prepreparedFlag;int32 primaryReplicaIndex;oid rememberMe;array replica;int32 replicaTotal;int32 seqNumber;int32 stableN;int32 timeout;any value;int32 view;} inherits from Object;
A ReplicaServer object performs the intricate dance required to implement Byzantine fault-tolerant transactions. Such objects are created and initialized by the CreateReplicasOnServers convenience class.
ReplicaServer:create(int32 id, int32 faultsToTolerate)
ReplicaServer:getCurrentViewID()
Returns the current view Id as perceived by this replica.
ReplicaServer:noteReplicaOIDs(array oidVector)
A replica server needs to be aware of its peers that participate in the Byzantine fault-transaction. The object Ids of those peers are specified in the array oidVector. This method is invoked by objects of class CreateReplicasOnServers.