Critical section 4

// Declara 2 arreglos de 0 a n-1 de booleans inicializados como false en todas sus posiciones.
boolean permissions[0:n-1] = ([n] false)
boolean requesters[0:n-1] = ([n] false)

process Coordinator {
  while true {
    int i = 0
    while !requesters[i] { // Barre repetidamente el arreglo buscando un proceso que esté pidiendo entrar a su sección crítica.
      i = (i + 1) MOD n
    }
    
    permissions[i] = true // Da permiso al proceso i para entrar a su sección crítica.
    requesters[i] = false // Como ya le dió permiso, lo desmarca de los que estan pidiendo permiso.
    
    while permissions[i] { // Espera a que el proceso en sección crítica le avise que terminó.
      skip
    }
  }
}

process Worker[i=0 to n-1] {
  // Non-Critical section
  
  requesters[i] = true // Avisa que quiere entrar a su sección crítica.
  
  while !permissions[i] { // Mientras no se le dé permiso a él, se queda esperando.
    skip
  }
  
  // Critical Section
  
  permissions[i] = false // Avisa que terminó
  
  // Non-Critical section
}