Problemas de fairness en la programación con semáforos / Mariano Javier Arselán.
Detalles de publicación: [S.l. : s.n. ], 2011.Descripción: 62 p. : il. ; 30 cmTema(s):Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Trabajo Especial de Grado | FaMAF Secc. Tesis y Trabajos especiales | Trabajo Especial Computación CAJA 12 - 21295 | 1 | Disponible | 21295 |
Tesis (Lic. en Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011.
Bibliografía : p. 61.
En este trabajo se estudian los problemas asociados al progreso de un multiprograma cuando se utilizan semáforos binarios. Específicamente, las propiedades de progreso con las que se trabaja aquí son las propiedades de fairness (justicia). Normalmente, los procesos que ejecutan un multiprograma necesitan acceder a recursos compartidos (memoria, disco, etc) de manera exclusiva, y para este control de acceso se pueden utilizar semáforos. El problema que surge de bloquear procesos con semáforos es que podría ocurrir que un proceso nunca obtenga acceso al recurso por una situación de starvation. Para evitar esto, existen diferentes algoritmos de sección crítica fair, que pueden ser implementados con semáforos unfair. Entre ellos tenemos los algoritmos de sección crítica fair de Morris y de Martin-Burch, y el de sección crítica condicional fair de Dijkstra.