CircularCounter.java

/**
 * Classe du compteur circulaire externe qui indique le numéro du
 * processus léger qui peut s'exécuter à un instant donné.
 */
public class CircularCounter {
  private int max;
  private int value;
  /** Crée un compteur initialisé à 0 qui va jusqu'à max-1. */
  public CircularCounter(int max) {
    this.max = max;
    value = 0;
  }
  public int getMax() { return max; }
  public int getValue() { return value; }
  public synchronized void increment() {
    value = (value + 1) % max;
  }
}