Combining static analysis and profiling for estimating execution times in logic programs

Mera, E. and López García, Pedro and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2006). Combining static analysis and profiling for estimating execution times in logic programs. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Combining static analysis and profiling for estimating execution times in logic programs
Author/s:
  • Mera, E.
  • López García, Pedro
  • Puebla Sánchez, Alvaro Germán
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: April 2006
Subjects:
Freetext Keywords: Execution time estimation, Cost analysis, Profiling, Resource awareness, Cost models, Mobile computing, Tiempo estimado de ejecución, Análisis de coste, Perfilamiento, Concienciación de los recursos, Modelos de gastos, Computación móvil.
Faculty: Facultad de Informática (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 (862kB) | Preview

Abstract

Effective static analyses have been proposed which allow inferring functions which bound the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and such bounds have been shown useful in a number of applications, such as granularity control in parallel execution. On the other hand, in certain distributed computation scenarios where different platforms come into play, with each platform having different capabilities, it is more interesting to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution time. With this objective in mind, we propose a method which allows inferring upper and lower bounds on the execution times of procedures of a program in a given execution platform. The approach combines compile-time cost bounds analysis with a one-time profiling of the platform in order to determine the values of certain constants for that platform. These constants calibrate a cost model which from then on is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.

More information

Item ID: 14738
DC Identifier: http://oa.upm.es/14738/
OAI Identifier: oai:oa.upm.es:14738
Official URL: http://clip.dia.fi.upm.es/papers/estim-exec-time-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 04 Apr 2013 07:36
Last Modified: 21 Apr 2016 14:32
  • 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