Ayuda
Ir al contenido

Dialnet


Interconexión de sistemas de memoria compartida distribuida

  • Autores: Ernesto Jimenez Merino
  • Directores de la Tesis: Antonio Fernández Anta (dir. tes.)
  • Lectura: En la Universidad Rey Juan Carlos ( España ) en 2004
  • Idioma: español
  • Tribunal Calificador de la Tesis: Ricardo Jiménez-Peris (presid.), Sergio Arévalo Viñuales (secret.), Michel Raynal (voc.), Pablo Boronat Pérez (voc.), Mustaque Ahamad (voc.)
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • 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


Fundación Dialnet

Dialnet Plus

  • Más información sobre Dialnet Plus

Opciones de compartir

Opciones de entorno