Un défaut de synchronisation

Observez le code ci-dessous. Il y figure :

• une classe Compte qui contient une donnée, le capital contenu par le compte, initialement nul, et une méthode qui permet d'ajouter une somme au capital.
• une classe Banquier qui étend la classe Thread et contient une instance de Compte. Lorsque la méthode run d'un banquier est lancée, celui-ci ajoute 1 au capital contenu par le compte qu'il gère.
• une méthode main (dans la classe Banquier) qui fait travailler deux banquiers sur un même compte : on pourrait s'attendre à ce que le contenu du compte passe de 0 à 2.

Après le travail des banquiers, le capital n'est que de 1 : il y a eu un manque de synchronisation entre les banquiers. Successivement :

• un banquier a regardé le montant du compte (alors nul)
• l'autre banquier a fait de même
• le premier banquier a calculé le nouveau montant du compte en additionnant 1 à la valeur qu'il a observé : il a trouvé 1 et a alors modifié en conséquence le montant du compte
• l'autre banquier a fait de même, mettant à son tour 1 sur le montant du compte.

Le code pourrait être plus simple, mais a été conçu pour forcer l'absence de synchronisation.

class Compte
{
  int capital = 0;

  void credite(Banquier leBanquier, int deCombien)
    {
      int montant;

      System.out.println(leBanquier.nom + " commence son travail");
      montant = capital;
      leBanquier.yield();
      System.out.println(leBanquier.nom+" continue son travail");
      capital=montant+deCombien;
    }
}


class Banquier extends Thread
{
  Compte unCompte;
  String nom;

  Banquier(Compte unCompte, String nom)
    {
      this.unCompte=unCompte;
      this.nom = nom;
    }

  public void run()
    {
      System.out.println(nom+" est embauche");
      unCompte.credite(this,1);
    }
}

class EssaiBanquier
{
  public static void main(String[]Argv)
    {
      Compte unCompte = new Compte();
      Banquier Jean, Jacques;

      (Jean = new Banquier(unCompte, "Jean")).start();
      (Jacques = new Banquier(unCompte, "Jacques")).start();
      try
	{
	  Jean.join();
	  Jacques.join();
	}
      catch(InterruptedException e){}
      System.out.println("Votre capital est de " + unCompte.capital);
    }
}

Jean est embauche
Jean commence son travail
jacques est embauche
jacques commence son travail
Jean continue son travail
jacques continue son travail
Votre capital est de 1

Ici, vous pouvez répérer l'exemple.