added synchronization for counters in AbstractExplorationAlgorithm

bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/dse/AbstractExplorationAlgorithm.java

@@ -11,6 +11,7 @@ import java.nio.file.Path;
 import java.util.HashMap;
 import java.util.Map;
 import java.util.Optional;
+import java.util.concurrent.atomic.AtomicInteger;
 import java.util.logging.Logger;
 
 import org.eclipse.emf.common.util.EList;
@@ -56,8 +57,8 @@ public abstract class AbstractExplorationAlgorithm implements IExplorationAlgori
 	protected int nbOfCheckedSteps;
 	
 	// stats counters
-	protected int nbAccuracyEvals = 0;
-	protected int nbCostEvals = 0;
+	protected AtomicInteger nbAccuracyEvals = new AtomicInteger(0);
+	protected AtomicInteger nbCostEvals = new AtomicInteger(0);
 	
 	// Charts to display results
 	private ScatterChart accuracyChart;
@@ -152,7 +153,7 @@ public abstract class AbstractExplorationAlgorithm implements IExplorationAlgori
 	protected void evaluateAccuracy(ISolution sol) throws AccuracyEvaluationException {
 		Stopwatch watch = Stopwatch.createStarted();
 		
-		nbAccuracyEvals++;
+		nbAccuracyEvals.incrementAndGet();
 		try {
 			accuracyEvaluator.evaluate(sol);
 			logger.finest(() -> "Error stats for Solution " + sol.getID() + "\n" + printErrorStats(sol));
@@ -169,7 +170,7 @@ public abstract class AbstractExplorationAlgorithm implements IExplorationAlgori
 	protected void evaluateCost(ISolution sol) throws CostEvaluationException {
 		Stopwatch watch = Stopwatch.createStarted();
 		
-		nbCostEvals++;
+		nbCostEvals.incrementAndGet();
 		try {
 			costEvaluator.evaluate(sol);
 			logger.fine(() -> "Cost for Solution " + sol.getID() + " = " + getCost(sol).get());