Tesis doctoral de Vicente Cholvi Juan
La tesis esta dedicada al estudio de modelos formales de memoria compartida distribuida. En la misma se analizan algunas de las caracteristicas estructurales de estos modelos, describiendose asimismo diversas aproximaciones realizadas, tanto en el diseño como en la implantacion; tambien se define un nuevo modelo formal de memoria denominado n-mixto. En esta linea se propone una formalizacion -basada en el modelo de «automatas de entrada/salida»- del concepto general de modelo de memoria. Este formalismo constructivo permite identificar los componentes del sistema que afectan al modo en que las operaciones de acceso a memoria son ejecutadas, siendo utilizado en la definicion de diversos modelos de memoria especificos. Con objeto de demostrar la viabilidad del modelo de memoria n-mixto se realiza una implantacion del mismo sobre un sistema distribuido. Se incluye tambien un analisis de prestaciones asi como la demostracion de correccion de dicha implantacion.
Datos académicos de la tesis doctoral «Formalizacion de modelos de memoria«
- Título de la tesis: Formalizacion de modelos de memoria
- Autor: Vicente Cholvi Juan
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- José Manuel Bernabéu Aubán
- Tribunal
- Presidente del tribunal: Vicente Hernandez Garcia
- Angel Alvarez Rodriguez (vocal)
- José Ramon Gonzalez De Mendivil Moreno (vocal)
- Sergio Arevalo Viñuales (vocal)