Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
sem free_detectors = 3 // Cantidad de detectores libres a cada instante
sem allocation = 1 // Limita la cantidad de personas que buscan ascensor al mismo tiempo
// Declara un arreglo de 0 a n-1 de booleans inicializados como false en todas sus posiciones.
// Representa los detectores valiendo para cada uno true si está ocupado o false si está libre.
boolean detector_taken[0:n-1] = ([n] false)
process Person[w = 1 to 100] {
p(free_detectors)
p(allocation)
int i = 0
while detector_taken[i] {
i++
}
detector_taken[i] = true // Ocupa el detector i
v(allocation) // Permite que otro busque un detector libre
delay // Usa el detector i
detector_taken[i] = false // Libera el detector i
v(free_detectors) // Aumenta la cantidad de detectores libres
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.