ALGORITMO DE DEKKER:


Para el proceso padre:                     Para el proceso hijo:

WHILE ( ... ) {                                       WHILE ( ... ) {
   c1 <- T;                                              c2 <- T;
   while ( c2 = T ) {                                    while ( c2 = T ) {
      if ( turno = 2 ) {                                    if ( turno = 2 ) { 
         c1 <- F;                                              c1 <- F;
         while ( turno = 2 );                                  while ( turno = 2 );
         c1 <- T;                                                 c1 <- T;
      }                                                     }   
   }                                                     }   
   SECCION CRITICA;                                      SECCION CRITICA;
   turno <- 2;                                           turno <- 2;
   c1 <- F;                                              c1 <- F;
   RESTO;                                                RESTO; 
}                                                     }   




Para volver al menú principal, pinche aquí.