Resumen tesina sistemas

TESIS DOCTORAL
SISTEMA COMPUTACIONAL DE PROGRAMACIÓN
FLEXIBLE DISEÑADO SOBRE UNA MÁQUINA
ABSTRACTA REFLECTIVA NO RESTRICTIVA
Presentada por
Francisco Ortín Soler
para obtención del título deDoctor por la Universidad de Oviedo
Dirigida por el
Profesor Doctor D. Juan Manuel Cueva Lovelle
Oviedo, Diciembre de 2001

RESUMEN
Esta tesis describe el modo en el que distintas técnicas dereflectividad pueden ser
empleadas para el desarrollo de un sistema computacional de programación extensible y
adaptable dinámicamente, sin sufrir dependencia alguna de un lenguaje de programaciónespecífico, y empleando para ello una plataforma virtual heterogénea.
Se diseña una máquina abstracta, de tamaño y complejidad semántica reducida, como
la raíz computacional del sistema, que otorgaprimitivas básicas de reflectividad. Tanto
su tamaño restringido como su capacidad introspectiva, la hacen susceptible de ser implantada
en entornos computacionales heterogéneos, constituyendoadicionalmente un entorno
computacional independiente de la plataforma.
Haciendo uso de las facultades reflectivas ofrecidas por la máquina abstracta su nivel
de abstracción computacional podrá serextendido dinámicamente, utilizando para ello
su propio lenguaje de programación sin necesidad de modificar la implementación reducida
de la máquina virtual, y, por tanto, sin perder portabilidad de sucódigo. El empleo de su
capacidad extensible se utilizará, a modo de ejemplo, en el diseño de abstracciones propias
de persistencia, distribución, planificación controlada de hilos y recolección debasura. Todas
las abstracciones ofrecidas mediante la extensión de la plataforma, utilizando su propio
lenguaje, son adaptables para cualquier aplicación, en tiempo de ejecución.
Se diseña un sistema deprocesamiento genérico de lenguajes disponiendo de las características
reflectivas de la plataforma, dando lugar a una independencia global del lenguaje
de programación seleccionado por el...