/// <summary> /// Stops the checking for stability /// </summary> private void stopStableTask() { if (stable_task != null) { stable_task.stop(); stable_task = null; } }
/// <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); } }
/// <summary> /// Stops the checking for stability /// </summary> private void stopStableTask() { if(stable_task != null) { stable_task.stop(); stable_task=null; } }
/// <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); }