Tesis doctoral de Ernesto Jimenez Merino
Una memoria compartida distribuida (mcd) es una abstracción de una memoria compartida por todos los procesos de un sistema distribuido. La mcd es accesible por todos los procesos mediante operaciones de lectura y escritura sobre variables de la misma. Un sistema de mcd es el conjunto formado por todos los procesos del sistema y la mcd. una característica importante de la mcd es la coherencia de las operaciones en la memoria. El criterio elegido para mantener coherente la mcd (al que llamamos modelo de coherencia) es el que determinará la semántica asociada a dichas operaciones. un aspecto de la mcd que no ha sido tratado hasta ahora es el estudio de los modelos de coherencia resultantes de la interconexión de diferentes sistemas de mcd. En esta tesis abordamos dicho estudio presentando, en primer lugar, un protocolo que implanta un sistema de mcd con coherencia secuencial, causal o caché, eligiendo dicha coherencia mediante un parámetro con igual valor en todos los procesos del sistema. Este protocolo permite también: (1) la interconexión, mediante la ejecución simultánea, de un sistema secuencial con otro causal, demostrándose que la coherencia resultante es causal, y (2) la interconexión, mediante la ejecución simultánea, de un sistema caché con otro secuencial, demostrándose que en este caso la coherencia resultante es caché. También demostramos que el protocolo permite cambiar dinámicamente la coherencia del sistema que implanta simplemente cambiando el valor del parámetro elegido. en segundo lugar, esta tesis se centra en el estudio de interconexiones de sistemas de mcd pero independientemente de cómo sea el protocolo que implanta cada sistema. En concreto, esta tesis aborda la interconexión de sistemas de mcd cuyo modelo de coherencia resultante es el mismo que el modelo de los sistemas a interconectar. Para ello, presentamos un marco donde formalmente describir dicha interconexión, demostrando que sólo
Datos académicos de la tesis doctoral «Interconexion de sistemas de memoria compartida distribuida«
- Título de la tesis: Interconexion de sistemas de memoria compartida distribuida
- Autor: Ernesto Jimenez Merino
- Universidad: Rey juan carlos
- Fecha de lectura de la tesis: 11/03/2004
Dirección y tribunal
- Director de la tesis
- Antonio Fernandez Anta
- Tribunal
- Presidente del tribunal: ricardo Jimenez peris
- mustaque Ahamad (vocal)
- michael Raynal (vocal)
- pablo Boronat perez (vocal)