Les primitives matérielles de synchronisation.

Les solutions logicielles font les hypothèses suivantes :

• Interruption toujours possibles.
• Actions atomiques = Lecture, Ecriture.

Le problème devient plus simple si on les change.

• Permettre à l'utilisateur d'interdire momentanement les interruptions (difficile et dangereux).
• Augmenter l'ensemble des actions atomiques (le jeu d'instructions).

  fonction TestAndSet

  permet de modifier un booléen s'il vaut false.

  fonction TestAndSet(var but : booleen) : booleen
  debut TestAndSet := but; but := true; fin
  

  Une solution non équitable pour N processus au problème de la section critique avec un booléen lock initialise à false.

  debut
  tant que vrai faire debut
          tant que TestAndSet(lock) faire rien
          Section Critique
          lock := false
          Section Non Critique
          fin
  fin
  

  Certains processeurs possèdent une instruction TestAndSet.

  procedure swap

  permet l'échange de deux booléens.

  procedure swap(var a, b : booleen)
  debut aux := a; a := b; b := aux fin
  

  Une solution non équitable pour N processus au problème de la section critique avec un booléen lock et N booléens key[i] initialises à false.

  debut
  tant que vrai faire debut
          key[i] := true;
          tant que key[i] faire
          swap(lock,key[i]);
          Section Critique;
          lock := false
          Section Non Critique
          fin
  fin
  

  Certains processeurs possèdent une instruction swap.

  les procedures wait et signal

  manipulent des entiers.

  procedure wait(var S : entier)         procedure signal(var S : entier)
  debut                                  debut
  tant que (S <= 0) faire rien;          S := S + 1
  S := S - 1;                            fin
  fin
  

  Une solution non équitable pour N processus au problème de la section critique avec un entier mutex initialisé à 1.

  debut
  tant que vrai faire debut
          wait(mutex);
          Section Critique;
          signal(mutex);
          Section Non Critique
          fin
  fin
  

  Aucun processeur ne possède ces instructions.

  Il existe des solutions équitables.

Le défaut commun à ces solutions est l'attente active (gaspillage de l'UC).