Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (8MB) | Vista Previa |
Pérez Costoya, Fernando ORCID: https://orcid.org/0000-0003-1526-9574 (1991). Modelo de concurrencia de ADA: implementación y sus implicaciones en el interfaz con el entorno. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación]. https://doi.org/10.20868/UPM.thesis.35520.
Título: | Modelo de concurrencia de ADA: implementación y sus implicaciones en el interfaz con el entorno |
---|---|
Autor/es: |
|
Director/es: |
|
Tipo de Documento: | Tesis (Doctoral) |
Fecha de lectura: | Octubre 1991 |
Materias: | |
Escuela: | Facultad de Informática (UPM) [antigua denominación] |
Departamento: | Arquitectura y Tecnología de Sistemas Informáticos |
Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (8MB) | Vista Previa |
El principal problema que impide actualmente una mayor utilización de las
máquinas paralelas es la falta de herramientas de programación que permitan generar
programas transportables a máquinas con diferentes prestaciones. En este trabajo se
ha estudiado si los lenguajes con paralelismo explícito cumplen este requisito y son,
por lo tanto, adecuados para programar este tipo de máquinas. El exceso de paralelismo,
esto es, el uso de mayor paralelismo en el programa que el proporcionado por la
máquina para esconder la latencia en la comunicación, se presenta en este trabajo
como una solución a los problemas de eficiencia de los programas con paralelismo
explícito cuando se ejecutan en máquinas que no tienen una granularidad adecuada.
Con esta técnica, por lo tanto, los programas escritos con estos lenguajes pueden
transportarse con eficiencia a diferentes máquinas.
Para llevar a cabo el estudio de los lenguajes con paralelismo explícito, se ha
desarrollado un modelo abstracto de paralelismo, en el cual un sistema está formado
por una jerarquía de máquinas virtuales paralelas. Este modelo permite realizar un
análisis genérico de la implementación de este tipo de lenguajes, ya sea sobre una
máquina con sistema operativo o directamente sobre la máquina física.
Este análisis genérico se ha aplicado a un lenguaje de este tipo, el lenguaje
Ada. Se han estudiado las características específicas de Ada que pueden influir en la
implementación eficiente del lenguaje, analizando también la propuesta de modificación
del lenguaje correspondiente al proceso de revisión Ada 9X.
Dentro del marco del modelo de paralelismo, se analiza también la problemática
específica de las implementaciones del lenguaje sobre el sistema operativo. En
este tipo de implementaciones, las interacciones de un programa con el entorno externo
pueden causar ciertos problemas, como el bloqueo del proceso correspondiente
del sistema operativo, que disminuyen el rendimiento del programa. Se analizan estos
problemas y se proponen soluciones a los mismos. Se desarrolla en profundidad un
ejemplo de este tipo de problemas: El acceso al estándar gráfico GKS desde Ada.---ABSTRACT---The major obstacle to the widespread utilization of the parallel machines is the
lack of programming tools allowing the development of software portable between
machines with different performance.
This dissertation analyzes whether languages with explicit parallelism fulfil this
requirement. The approach of using programs with more parallelism than available
on the machine (parallel slackness) is presented. This technique can solve the efficiency
problems appearing in the execution of programs with explicit parallelism
over machines with a too coarse granularity. Therefore, with this approach programs
can run efficiently on different machines.
A new abstract model of parallelism allowing the generic study of the implementation
of languages with explicit parallelism is developed. In this model, a parallel
system is described by a hierarchy of parallel virtual machines.
This generic analysis is applied to Ada language. Ada specific features with
problematic implementation are identified and analyzed. The change proposals to
Ada language in the frame of Ada 9X revisión process are also analyzed.
The specific problematic of the language implementation on top of the operating
system is studied under the scope of the parallelism model. With this kind of
implementation, program interactions with extemal environments can lead to problems,
like the blocking of the corresponding operating system process, decreasing
the program execution performance. A practical example of this kind of problems,
the access to GKS (Graphic Kernel System) from Ada programs, is analyzed and the
implemented solution is described.
ID de Registro: | 35520 |
---|---|
Identificador DC: | https://oa.upm.es/35520/ |
Identificador OAI: | oai:oa.upm.es:35520 |
Identificador DOI: | 10.20868/UPM.thesis.35520 |
Depositado por: | Biblioteca Facultad de Informatica |
Depositado el: | 03 Jun 2015 13:42 |
Ultima Modificación: | 10 Oct 2022 09:22 |