[C] Algoritmo che riguarda le "sezioni critiche"

[Super LinoBanfi]

Ciao a tutti,
scusate avevo inserito un post sbagliato...

ho fatto un mezzo casino

la mia domanda era rivolta a questo segmento di codice :

while (1){
              choosing[i] = true;
              number[i] = max(number[0],...,number[n-1]) + 1 ;
              choosing[i] = false;

              for (j=0;j<n;j++){
                            while (choosing[j]);
                            while (number[j] !=0 && (number[j],j) < (number[i],i));
              }
              Sezione critica
              number[i] = 0;
              sezione non critica;
}

Premessa :

la struttura choosing è inizializzata a false;
la struttura number è inizializzata a 0;

a cosa serve il primo while nel ciclo for se la condizione (choosing[j]) non è mai verificata ??

[ibykos]

Se hai preso questo codice da un documento in cui si spiegano le sezioni critiche, serve a fare aspettare il programma che lo esegue fintantò che un processo esterno non modifichi il valore di choosing[j], altrimenti quel while bloccherebbe il programma all'infinito.
Se ci ho preso, choosing è una variabile condivisa e rappresenta il vettore dei processi che utilizzano la risorsa.