Tesis doctoral de Pablo Boronat Perez
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.
Datos académicos de la tesis doctoral «Sincronizacion de accesos a recursos compartidos: especificacion y uso«
- Título de la tesis: Sincronizacion de accesos a recursos compartidos: especificacion y uso
- Autor: Pablo Boronat Perez
- Universidad: Jaume i de castellón
- Fecha de lectura de la tesis: 14/12/2001
Dirección y tribunal
- Director de la tesis
- Vicente Cholvi Juan
- Tribunal
- Presidente del tribunal: José manuel Bernabéu aubán
- angel Alvarez rodriguez (vocal)
- Garitagoitia padrones j. ramon (vocal)
- sergio Arevalo viñuales (vocal)