A general framework for static profiling of parametric resource usage

López García, Pedro and Klemen, Maximiliano and Liqat, Umer and 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.

Description

Title: A general framework for static profiling of parametric resource usage
Author/s:
  • López García, Pedro
  • Klemen, Maximiliano
  • Liqat, Umer
  • Hermenegildo, Manuel V.
Item Type: Article
Título de Revista/Publicación: Theory And Practice of Logic Programming
Date: September 2016
ISSN: 1471-0684
Volume: 16
Subjects:
Freetext Keywords: Static Profiling; Static Analysis; Resource Usage Analysis; Complexity Analysis
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (313kB) | Preview

Abstract

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.

Funding Projects

TypeCodeAcronymLeaderTitle
FP7318337ENTRAROSKILDE UNIVERSITETWhole-Systems Energy Transparency
Government of SpainTIN2012-39391StrongSoftUnspecifiedUnspecified
Government of SpainTIN2015-67522-C3-1-RTRACESUniversidad Complutense de MadridTECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE
Madrid Regional GovernmentM141047003N-GREENSUnspecifiedUnspecified

More information

Item ID: 47614
DC Identifier: http://oa.upm.es/47614/
OAI Identifier: oai:oa.upm.es:47614
DOI: 10.1017/S1471068416000442
Official URL: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/general-framework-for-static-profiling-of-parametric-resource-usage/D9E0CFC0167A86A9FE59D17B9C9040D5
Deposited by: Memoria Investigacion
Deposited on: 03 Oct 2017 12:51
Last Modified: 03 Oct 2017 12:51
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM