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

Mera, E.; Trigo, Teresa; López García, Pedro y Hermenegildo, Manuel V. (2010). An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.
Autor/es:
  • Mera, E.
  • Trigo, Teresa
  • López García, Pedro
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Marzo 2010
Materias:
Palabras Clave Informales: 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.
Escuela: Facultad de Informática (UPM) [antigua denominación]
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 (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14708
Identificador DC: http://oa.upm.es/14708/
Identificador OAI: oai:oa.upm.es:14708
URL Oficial: http://clip.dia.fi.upm.es/clippubsbyyear/node5.html
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 Abr 2013 07:09
Ultima Modificación: 21 Abr 2016 14:29
  • 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