A general framework for static profiling of parametric resource usage

López García, Pedro; Klemen, Maximiliano; Liqat, Umer y Hermenegildo, Manuel V. (2016). A general framework for static profiling of parametric resource usage. "Theory And Practice of Logic Programming", v. 16 (n. 5-6); pp. 849-865. ISSN 1471-0684. https://doi.org/10.1017/S1471068416000442.

Descripción

Título: A general framework for static profiling of parametric resource usage
Autor/es:
  • López García, Pedro
  • Klemen, Maximiliano
  • Liqat, Umer
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: Theory And Practice of Logic Programming
Fecha: Septiembre 2016
Volumen: 16
Materias:
Palabras Clave Informales: Static Profiling; Static Analysis; Resource Usage Analysis; Complexity Analysis
Escuela: E.T.S. de Ingenieros Informáticos (UPM)
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (313kB) | Vista Previa

Resumen

For some applications, standard resource analyses do not provide the information required. Such analyses estimate the total resource usage of a program (without executing it) as functions on input data sizes. However, some applications require knowing how such total resource usage is distributed over selected parts of a program. We propose a novel, general, and flexible framework for setting up cost equations/relations which can be instantiated for performing a wide range of resource usage analyses, including both static profiling and the inference of the standard notion of cost. We extend and generalize standard resource analysis techniques, so that the relations generated include additional Boolean control variables for switching on or off different terms in the relations, as required by the desired resource usage profile. We also instantiate our framework to perform static profiling of accumulated cost (also parameterized by input data sizes). Such information is much more useful to the software developer than the standard notion of cost: it identifies the parts of the program that have the greatest impact on the total program cost, and which therefore should be optimized first. We also report on an implementation of our framework within the CiaoPP system, and its instantiation for accumulated cost, and provide some experimental results. In addition to generality, our new method brings important advantages over our previous approach based on a program transformation, including support for non-deterministic programs, better and easier integration in the compiler, and higher efficiency.

Proyectos asociados

TipoCódigoAcrónimoResponsableTítulo
FP7318337ENTRAROSKILDE UNIVERSITETWhole-Systems Energy Transparency
Gobierno de EspañaTIN2012-39391StrongSoftSin especificarSin especificar
Gobierno de EspañaTIN2015-67522-C3-1-RTRACESUniversidad Complutense de MadridTECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE
Comunidad de MadridM141047003N-GREENSSin especificarSin especificar

Más información

ID de Registro: 47614
Identificador DC: http://oa.upm.es/47614/
Identificador OAI: oai:oa.upm.es:47614
Identificador DOI: 10.1017/S1471068416000442
URL Oficial: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/general-framework-for-static-profiling-of-parametric-resource-usage/D9E0CFC0167A86A9FE59D17B9C9040D5
Depositado por: Memoria Investigacion
Depositado el: 03 Oct 2017 12:51
Ultima Modificación: 03 Oct 2017 12:51
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM