Tesis doctoral de Angel Alvarez Rodriguez
En esta tesis se aborda el estudio de los problemas asociados con la programacion concurrente de computadores considerados desde el punto de vista de la fiabilidad de los sistemas resultantes. =La fiabilidad aqui estudiada es aquella que proporciona el vehiculo expresivo es decir el lenguaje de programacion tanto desde el punto de vista semantico como desde el sintactico. No se consideran pues aspectos tales como fiabilidad hardware o deteccion/recuperacion automatica de error hardware.= utilizando pascal concurrente se ha programado el nucleo de un sistema operativo en tiempo compartido multiusuario siendo esta la primera vez que un trabajo de tal naturaleza se lleva a cabo en un lenguaje concurrente de alto nivel. La experiencia ha servido para identificar algunos problemas de falta de fiabilidad en los mecanismos de programacion concurrentes usuales hoy dia. en particular y a pesar de haber sido objeto de estudio por un gran numero de investigadores durante tanto tiempo se ha encontrado que el problema de la sincronizacion no esta suficientemente bien concertualizado y como resultado los mecanismos que se utilizan a tal fin no son del todo fiables. En esta tesis se propone un nuevo mecanismo con tal proposito que resulta ser una extension de las expresiones de camino
Datos académicos de la tesis doctoral «Programacion concurrente fiable«
- Título de la tesis: Programacion concurrente fiable
- Autor: Angel Alvarez Rodriguez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1981
Dirección y tribunal
- Director de la tesis
- Eugenio Andrés Puente
- Tribunal
- Presidente del tribunal: Eugenio Andrés Puente
- Antonio Insua Nesrao (vocal)
- Rafael Portaencasa Baeza (vocal)
- Pedro De Miguel Anasagasti (vocal)