Tesis Doctorales UPM: Consulta online

Materia: MATEMÁTICAS. TESEO;CIENCIAS DE LA COMPUTACIÓN. TESEO; LENGUAJES DE PROGRAMACIÓN. TESEO

Resumen: En esta tesis se aborda el estudio de los problemas asociados con la programación concurrente de computadores considerados desde el punto de vista de la fiabilidad de los sistemas resultantes. La fiabilidad aquí estudiada es aquella que proporciona el vehículo expresivo es decir el lenguaje de programación tanto desde el punto de vista semántico como desde el sintáctico. No se consideran pues aspectos tales como fiabilidad hardware o detección/recuperación automática de error hardware. Utilizando PASCAL concurrente se ha programado el núcleo 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 programación concurrentes usuales hoy día. En particular y a pesar de haber sido objeto de estudio por un gran número de investigadores durante tanto tiempo se ha encontrado que el problema de la sincronización 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 propósito que resulta ser una extensión de las expresiones de camino