public RandomizedElectionsAndGossipTestCase(int maxIterCnt,
int instancesCnt,
double httpLossProbability,
double httpDupProbability,
int httpMaxDelay,
int timerMinDelay,
int timerMaxDelay,
CreateInitialGossip createInitialGossip,
CreateUpdatedGossip createUpdatedGossip,
int? rndSeed = null)
: base(maxIterCnt,
instancesCnt,
httpLossProbability,
httpDupProbability,
httpMaxDelay,
timerMinDelay,
timerMaxDelay,
rndSeed)
{
_createInitialGossip = createInitialGossip;
_createUpdatedGossip = createUpdatedGossip;
_sendOverHttpBlockingProcessor = new SendOverHttpBlockingProcessor(Rnd,
Runner,
HttpLossProbability,
HttpDupProbability,
HttpMaxDelay);
_updateGossipProcessor = new UpdateGossipProcessor(new ElectionsInstance[0],
_sendOverHttpBlockingProcessor,
_createUpdatedGossip,
Enqueue
);
}
public RandomizedElectionsAndGossipTestCase(int maxIterCnt,
int instancesCnt,
double httpLossProbability,
double httpDupProbability,
int httpMaxDelay,
int timerMinDelay,
int timerMaxDelay,
CreateInitialGossip createInitialGossip,
CreateUpdatedGossip createUpdatedGossip,
int?rndSeed = null)
: base(maxIterCnt,
instancesCnt,
httpLossProbability,
httpDupProbability,
httpMaxDelay,
timerMinDelay,
timerMaxDelay,
rndSeed)
{
_createInitialGossip = createInitialGossip;
_createUpdatedGossip = createUpdatedGossip;
_sendOverGrpcBlockingProcessor = new SendOverGrpcBlockingProcessor(Rnd,
Runner,
HttpLossProbability,
HttpDupProbability,
HttpMaxDelay);
_updateGossipProcessor = new UpdateGossipProcessor(new ElectionsInstance[0],
_sendOverGrpcBlockingProcessor,
_createUpdatedGossip,
Enqueue
);
}
