SINCRONIZACION DE ACCESOS A RECURSOS COMPARTIDOS: ESPECIFICACION Y USO

Autor: BORONAT PEREZ PABLO
Año: 2001
Universidad: JAUME I DE CASTELLON
Centro de realización: ESCUELA SUPERIOR DE TECNOLOGIA Y CIENCIAS EXPERIMENTALES
Centro de lectura: TECNOLOGIA Y CIENCIAS EXPERIMENTALES
Director: CHOLVI JUAN VICENTE
Tribunal: BERNABEU AUBAN JOSEP , GARITAGOITIA PADRONES J. RAMON , ALVAREZ RODRIGUEZ ANGEL , AREVALO VIÑUALES SERGIO , VILLADANGOS ALONSO JESUS
Resumen de la tesis

Esta tesis se divide en dos partes: La primera se engloba en lo que se conoce como memoria compartida distribuida. En ella se propone un modelo de memoria sincronizado al que se ha llamado "Trace". La particularidad de Trace es que en este sistema se puede configurar dependencias entre diferentes secciones criticas. En la segunda parte, se aborda el problema de la prevención de interbloqueos en el ambito de secciones criticas para el control de acceso a recursos compartidos. En esta parte se formaliza las condiciones que debe reunir un programa para que pueda sufrir interbloqueos y se proponen algoritmos de transformación automatica que proporcionan versiones correctas.
Materias relacionadas