while (TRUE) {
while (tour != 0) /* attente */
section_critique() ;
tour = 1 ;
section_noncritique() ;
}
(a)

while (TRUE) {
while (tour != 1) /* attente */
section_critique() ;
tour = 0 ;
section_noncritique() ;
}
(b)

# define  FALSE   0
# define  TRUE     1
# define   N   2	/* nombre de processus */
int turn ;		/* A qui le tour ? */
int interested [N] ;	/* tous à 0 au départ */

enter_region (int process)
{
	int other; /* nombre des autres processus */
	other =1 - process ; /* l'opposé du processus */
	interested[process] = TRUE ; /* montre que le process est intéressé */
	turn = process ; /* définit indicateur */
	while (turn == process AND interested[other] == TRUE ) ;
}
				
leave_region (int process)
{
	interested[process] = FALSE ; /* permet de quitter la section critique */
}

int lock = 0;
while (1) {
   while (!TSL(lock)]); /* on attend */
   /**** section critique ****/
   lock = 1; /* on sort de la section critique */
   /**** section non critique ****/
}

#define N 100 /* nombre d'emplacements dans le tampon */
int count = 0 ; /* nombre d'éléments dans le tampon */

void producer ()
{
  while (TRUE) {
    produce_item();
    if (count == N)
      sleep () ; /* si tampon plein, entre en sommeil */
    put_item(); /* produit l'élément */
    count = count + 1;
    if (count == 1)
      wakeup(consumer) ; /* si tampon vide avant incrémentation, on réveil le consommateur */
  }
}

void consumer () {
  while (TRUE) {
    if (count == 0)
      sleep() ; /* si tampon vide, entre en sommeil */
    remove_item();
    count = count - 1;
    if (count == N-1)
      wakeup (producer); /* si tampon plein avant décrémentation, on réveil le producteur */
    consume_item(); /* imprime l'élément */
  }
}

var Sa: semaphore := 1
var Sb: semaphore := 0

process P1
Begin
  P( Sa )
  // Code de P1
  V( b )
End

process P2
Begin
  P( Sb )
  // Code de P2
  V( a )
End

#define N 100 /* nombre d'emplacements dans le tampon */

semaphore mutex = 1; /* contrôle l'accès à la section critique */
semaphore production = N; /* nombre de places vides */
semaphore consommation = 0; /* nombre de places occupées */

void consumer () {
{
  while (TRUE)
  {
    P(consommation); /* une place pleine en moins */
    P(mutex); /* section critique */
    retirer_case(); /* retire un élément dans le tampon */
    V(mutex); /* fin section critique */
    V(production); /* une place vide en plus */
  }
}

void producer ()
{
  while (TRUE)
  {
    P(production); /* une place vide en moins */
    P(mutex); /* section critique */
    remplir_case();/* place un élément dans le tampon */
    V(mutex); /* fin section critique */
    V(consommation); /* une place pleine en plus */
  }
}

# define N  5 /* nombre de philosophes */

philosophe(int i) /* i : numéro du philosophe */
{
  while (TRUE)
  {
     penser( ) ;
     prendre_fourchette(i) ; /* prend la fourchette gauche */
     prendre_fourchette( (i+1)%N) ; /* prend la fourchette droite */
     manger( ) ;
     poser_fourchette( i ) ; /* repose la fourchette gauche */
     poser_fourchette((i+1)%N) ; /* repose la fourchette droite */
  }
}

# define N  5 /* nombre de philosophes */

# define GAUCHE  (i-1)%N
# define DROITE  (i+1)%N
# define PENSE  0
# define FAIM  1
typedef int sémaphore ;
int état [N] ;
sémaphore mutex = 1 ;
sémaphore s[N] ;

philosophe(int i) /* i : numéro du philosophe */
{
  while( TRUE) 
  {
     penser ( ) ;
     prendre-fourchette( i ) ; /* prendre 2 fourchettes ou bloque */
     manger( ) ; 
     poser-fourchette( i ) ; /* repose 2 fourchettes */
  }
}

prendre-fourchette(int i)
{ 
  down (mutex) ; /* entre en section critique */
  état [i] = FAIM ;
  test(i) ; :* tente de prendre les 2 fourchettes */
  up (mutex) ; /* quitte la section critique */
  down (s[i]) ; /* bloque s'il n'a pas pu prendre les fourchettes */
}

poser-fourchette(int i)
{
  down (mutex) ; /* entre en section critique */
  état [i] = PENSE ; /* philosophe a fini de manger */
  test(GAUCHE) ; /* regarde si voisin de gauche peut manger */
  test(DROITE) ; /* regarde si voisin de droite peut manger */
  up (mutex) ; /* quitte la section critique */
}

test(int i) ;
{ 
  if (état [i] ==FAIM AND état [GAUCHE] != MANGE AND état [DROITE] != MANGE ) 
 { 
   état [i] =MANGE ;
   up( s[i] ) ;
 }
}