sistoper: manejo de prioridad en semáforos

Buenas, mirando el tema de semáforos quise implementar prioridades entre procesos usando una variable booleana.

Por ejemplo si tengo el siguiente escenario: el problema del Productor - Consumidor y a parte tengo Inspectores que tienen prioridad tanto sobre los Productores como sobre los Consumidores a la hora de entrar al buffer.

Mi idea fue que al momento de obtener el buffer los Productores o Consumidores preguntaran si había llegado un inspector, si es así liberaran el buffer y esperaran a que el inspector lo liberara.

procedure productor() { procedure inspector() { procedure consumidor() {

producir(); hayInspector = true; P(N);

P(E); P(S); P(S);

P(S); mirarBuffer(); if (hayInspector) {

if (hayInspector) { V(S); V(S);

V(S); } P(S);

P(S); hayInspector = false;

hayInspector = false; }

} tomar();

guardar(); V(S);

V(S); V(E);

V(N); }

}

Gracias.

Saludos!

Re: manejo de prioridad en semáforos

de Leonardo Alberro Zimmermann - miércoles, 21 de agosto de 2019, 15:51

Como inicializás los semáforos?

Re: manejo de prioridad en semáforos

de Esteban Gabriel Risso Martinez - miércoles, 21 de agosto de 2019, 16:44

De la misma forma que en el teórico, INIT(S,1), INIT(N,0), INIT(E,TAM_BUFFER). Básicamente al Productor - Consumidor del teórico le agregue la variable booleana, para intentar manejar la prioridad que tienen los inspectores sobre ambos.

Pero no se si quedo bien, capaz necesito agregar algún semáforo para manejar la variable hayInspector.

Re: manejo de prioridad en semáforos

de Leonardo Alberro Zimmermann - jueves, 22 de agosto de 2019, 14:47

Algunos comentarios:

- hayInspector es una variable que siempre debe ser mutoexcluida, de lo contrario es fácil llegar a una inconsistencia. En procedure inspector() es modificada fuera de un mutex.

- Si el inspector es el que inspecciona es él quien cuando sale debe indicar que "se fue" seteando hayInspector en false.

- No me queda claro si tu idea era un solo inspector o muchos. Si eran muchos la solución no lo contempla y deberías darle prioridad sobre los consumidores parecido a como le diste prioridad a estos sobre los productores.

Saludos.

Re: manejo de prioridad en semáforos

de Esteban Gabriel Risso Martinez - jueves, 22 de agosto de 2019, 16:26

Mi planteo es: muchos inspectores que tienen prioridad sobre los productores y consumidores al momento de entrar al buffer. Para resolver esto quiero utilizar la variable booleana hayInspectores.

Mirando los comentarios que me hiciste puse un semáforo para hacer un mutex en hayInspectores.

INIT(mhayInspectores,1);

procedure productor() { procedure inspector() {

producir(); P(mhayInspectores);

P(E); hayInspector = true;

P(S); V(mhayInspectores);

if (hayInspector) { P(S);

V(S); mirarBuffer();

P(S); V(S);

} P(mhayInspectores);

guardar(); hayInspector = false;

V(S); V(mhayInspectores);

V(N); }

}

Me genera dudas si esta bien porque al terminar un inspector cambia el valor de hayInspector en false y si hay otro inspector y un productor pelando por el buffer ya no se cumple que la variable hayInspector del segundo inspector sea true, afectando la prioridad del mismo.

Re: manejo de prioridad en semáforos

de Esteban Gabriel Risso Martinez - lunes, 26 de agosto de 2019, 18:04

Agradezco si alguien me da una mano con esto, todavía no termine de ver como implementar la prioridad en semáforos con una variable booleana.

Gracias!

Re: manejo de prioridad en semáforos

de Arturo Camilo Collazo Gil - lunes, 26 de agosto de 2019, 18:55

Hola,

tal vez te convenga enfocar el problema como una "instancia" de lectores / escritores con prioridad.

Si en vez de gestionar la prioridad con una variable booleana, lo haces con un contador, el último inspector puede dar paso a los otros procesos no-inspectores.

En la ppt de "uso de semáforos", se resuelve de la forma comentada arriba (Problema lectores / escritores, con un contador de escritores + un semáforo especial "try").

Saludos!

Re: manejo de prioridad en semáforos

de Esteban Gabriel Risso Martinez - martes, 27 de agosto de 2019, 16:27

Entiendo lo que decís y de hecho hice tal cual lo que describís. Pero después buscando en el eva encontré que también se podía implementar la prioridad usando una variable booleana y quise intentar hacerlo de esa forma pero no tuve mucho éxito.

Gracias por la respuesta.

Saludos!