示例#1
0
 /// <summary>
 /// Stops the checking for stability
 /// </summary>
 private void stopStableTask()
 {
     if (stable_task != null)
     {
         stable_task.stop();
         stable_task = null;
     }
 }
示例#2
0
 /// <summary>
 /// Starts the checking for stability
 /// </summary>
 private void startStableTask()
 {
     num_gossip_runs = max_gossip_runs;
     if (stable_task != null && !stable_task.cancelled())
     {
         return;                  // already running
     }
     stable_task = new StableTask(this);
     timer.add(stable_task, true);             // fixed-rate scheduling
     if (Trace.trace)
     {
         Trace.info("STABLE.startStableTask()", "stable task started; num_gossip_runs=" + num_gossip_runs +
                    ", max_gossip_runs=" + max_gossip_runs);
     }
 }
示例#3
0
 /// <summary>
 /// Stops the checking for stability
 /// </summary>
 private void stopStableTask()
 {
     if(stable_task != null)
     {
         stable_task.stop();
         stable_task=null;
     }
 }
示例#4
0
 /// <summary>
 /// Starts the checking for stability
 /// </summary>
 private void startStableTask()
 {
     num_gossip_runs=max_gossip_runs;
     if(stable_task != null && !stable_task.cancelled())
     {
         return;  // already running
     }
     stable_task = new StableTask(this);
     timer.add(stable_task, true); // fixed-rate scheduling
     if(Trace.trace)
         Trace.info("STABLE.startStableTask()", "stable task started; num_gossip_runs=" + num_gossip_runs +
             ", max_gossip_runs=" + max_gossip_runs);
 }