Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

Problemas de fairness en la programación con semáforos / Mariano Javier Arselán.

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2011.Descripción: 62 p. : il. ; 30 cmTema(s):
Contenidos parciales:
Sincronización -- Fairness del Scheduler -- Fairness del semáforo -- Fairness en el algoritmo -- Lógica temporal -- Axiomatización -- Sección crítica fair con semáforo unfair -- Invariantes -- Sección crítica por categorías -- Sección crítica condicional fair.
Nota de disertación: Tesis (Lic. en Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2011. Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF Secc. Tesis y Trabajos especiales Trabajo Especial Computación CAJA 12 - 21295 1 Disponible 21295
Total de reservas: 0

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.


Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)