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

Descripción

Título: 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: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 13th International Symposium PADL 2011
Fechas del Evento: 24-25 de enero de 2011
Lugar del Evento: Austin, Texas
Título del Libro: Practical Aspects of Declarative Languages
Fecha: 2011
ISBN: 9783642183782
Volumen: 6539
Materias:
Palabras Clave Informales: Profiling, Run-time checking, Performance debugging, Resource usage estimation/verification, Logic programming, Verificación de programas de ordenador, Programación lógica
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Ninguna

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (992kB) | 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 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.

Más información

ID de Registro: 13783
Identificador DC: http://oa.upm.es/13783/
Identificador OAI: oai:oa.upm.es:13783
URL Oficial: http://www.springerlink.com/content/0775077q1765r738/
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 29 Oct 2012 11:19
Ultima Modificación: 21 Abr 2016 13:09
  • 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