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. (2011). Profiling for run-time checking of computational properties and performance debugging in logic programs. In: "13th International Symposium PADL 2011", 24-25 de enero de 2011, Austin, Texas. ISBN 9783642183782.

Description

Title: 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: Presentation at Congress or Conference (Article)
Event Title: 13th International Symposium PADL 2011
Event Dates: 24-25 de enero de 2011
Event Location: Austin, Texas
Title of Book: Practical Aspects of Declarative Languages
Date: 2011
ISBN: 9783642183782
Volume: 6539
Subjects:
Freetext Keywords: Profiling, Run-time checking, Performance debugging, Resource usage estimation/verification, Logic programming, Verificación de programas de ordenador, Programación lógica
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: None

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (992kB) | 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 cali 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: 13783
DC Identifier: http://oa.upm.es/13783/
OAI Identifier: oai:oa.upm.es:13783
Official URL: http://www.springerlink.com/content/0775077q1765r738/
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 29 Oct 2012 11:19
Last Modified: 21 Apr 2016 13:09
  • 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