Exemple #1
0
        public RandomizedElectionsTestCase(int maxIterCnt,
                                           int instancesCnt,
                                           double httpLossProbability,
                                           double httpDupProbability,
                                           int httpMaxDelay,
                                           int timerMinDelay,
                                           int timerMaxDelay,
                                           int?rndSeed            = null,
                                           bool isReadOnlyReplica = false)
        {
            RndSeed = rndSeed ?? Math.Abs(Environment.TickCount);
            Rnd     = new Random(RndSeed);

            _maxIterCnt         = maxIterCnt;
            InstancesCnt        = instancesCnt;
            HttpLossProbability = httpLossProbability;
            HttpDupProbability  = httpDupProbability;
            HttpMaxDelay        = httpMaxDelay;
            _timerMinDelay      = timerMinDelay;
            _timerMaxDelay      = timerMaxDelay;
            _isReadOnlyReplica  = isReadOnlyReplica;

            Runner = new RandomTestRunner(_maxIterCnt);
            Logger = new ElectionsLogger();
        }
        public RandomizedElectionsTestCase(int maxIterCnt, 
                                           int instancesCnt, 
                                           double httpLossProbability,
                                           double httpDupProbability, 
                                           int httpMaxDelay, 
                                           int timerMinDelay, 
                                           int timerMaxDelay,
                                           int? rndSeed = null)
        {
            RndSeed = rndSeed ?? Math.Abs(Environment.TickCount);
            Rnd = new Random(RndSeed);

            _maxIterCnt = maxIterCnt;
            InstancesCnt = instancesCnt;
            HttpLossProbability = httpLossProbability;
            HttpDupProbability = httpDupProbability;
            HttpMaxDelay = httpMaxDelay;
            _timerMinDelay = timerMinDelay;
            _timerMaxDelay = timerMaxDelay;

            Runner = new RandomTestRunner(_maxIterCnt);
            Logger = new ElectionsLogger();
        }