An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.

Mera, E. and Trigo, Teresa and López García, Pedro and Hermenegildo, Manuel V. (2010). An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
Author/s:
  • Mera, E.
  • Trigo, Teresa
  • López García, Pedro
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: March 2010
Subjects:
Freetext Keywords: Profiling, run-time checking, performance debugging, resource usage estimation/verification, logic programming, perfiles, verificación de tiempos, depuración del rendimiento, estimación/verificación del uso de los recursos, programación lógica.
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 (1MB) | Preview

Abstract

Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such explanations. Our profiler associates cost centers to certain program elements and can measure different types of resource-related properties that affect performance, preserving the precedence of cost centers in the call graph. It includes an automatic method for detecting procedures that are performance bottlenecks. The profiling tool has been integrated in a previously developed run-time checking framework to allow verification of certain properties when they cannot be verified statically. The approach allows checking global computational properties which require complex instrumentation tracking information about previous execution states, such as, e.g., that the execution time accumulated by a given procedure is not greater than a given bound. We have built a prototype implementation, integrated it in the Ciao/CiaoPP system and successfully applied it to performance improvement, automatic optimization (e.g., resource-aware specialization of programs), run-time checking, and debugging of global computational properties (e.g., resource usage) in Prolog programs.

More information

Item ID: 14708
DC Identifier: http://oa.upm.es/14708/
OAI Identifier: oai:oa.upm.es:14708
Official URL: http://clip.dia.fi.upm.es/clippubsbyyear/node5.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 Apr 2013 07:09
Last Modified: 21 Apr 2016 14:29
  • 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