Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (999kB) | Vista Previa |
Klemen, Maximiliano, López García, Pedro, Gallagher, John P., Morales Caballero, José Francisco and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2019). A general framework for static cost analysis of parallel logic programs. En: "29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019)", 8-10 Oct 2019, Oporto, Portugal. ISBN 978-3-030-45259-9. pp. 19-35. https://doi.org/10.1007/978-3-030-45260-5_2.
Título: | A general framework for static cost analysis of parallel logic programs |
---|---|
Autor/es: |
|
Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
Título del Evento: | 29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019) |
Fechas del Evento: | 8-10 Oct 2019 |
Lugar del Evento: | Oporto, Portugal |
Título del Libro: | Logic-Based Program Synthesis and Transformation |
Fecha: | 2019 |
ISBN: | 978-3-030-45259-9 |
Volumen: | 12042 |
Materias: | |
Palabras Clave Informales: | Resource usage analysis; Parallelism; Static analysis; Complexity analysis; (Constraint) Logic programming; Prolog |
Escuela: | E.T.S. de Ingenieros Informáticos (UPM) |
Departamento: | Inteligencia Artificial |
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 (999kB) | Vista Previa |
The estimation and control of resource usage is now an important challenge in an increasing number of computing systems. In particular, requirements on timing and energy arise in a wide variety of applications such as internet of things, cloud computing, health, transportation, and robots. At the same time, parallel computing, with (heterogeneous) multi-core platforms in particular, has become the dominant paradigm in computer architecture. Predicting resource usage on such platforms poses a difficult challenge. Most work on static resource analysis has focused on sequential programs, and relatively little progress has been made on the analysis of parallel programs, or more specifically on parallel logic programs. We propose a novel, general, and flexible framework for setting up cost equations/relations which can be instantiated for performing resource usage analysis of parallel logic programs for a wide range of resources, platforms, and execution models. The analysis estimates both lower and upper bounds on the resource usage of a parallel program (without executing it) as functions on input data sizes. In addition, it also infers other meaningful information to better exploit and assess the potential and actual parallelism of a system. We develop a method for solving cost relations involving the max function that arise in the analysis of parallel programs. Finally, we instantiate our general framework for the analysis of logic programs with Independent AndParallelism, report on an implementation within the CiaoPP system, and provide some experimental results. To our knowledge, this is the first approach to the cost analysis of parallel logic programs.
ID de Registro: | 62514 |
---|---|
Identificador DC: | https://oa.upm.es/62514/ |
Identificador OAI: | oai:oa.upm.es:62514 |
Identificador DOI: | 10.1007/978-3-030-45260-5_2 |
URL Oficial: | https://link.springer.com/content/pdf/10.1007%2F97... |
Depositado por: | Biblioteca Facultad de Informatica |
Depositado el: | 27 Abr 2020 15:08 |
Ultima Modificación: | 30 Nov 2022 09:00 |