Resumen de Sincronizacion de accesos a recursos compartidos: especificacion y uso
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.
