Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Profiling for Run-Time Checking of Computational Properties and Performance Debugging
Áreas de investigación
  • Lenguaje de programación
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.
Nombre congreso
13th international conference on Practical aspects of declarative languages
Tipo de participación
Lugar del congreso
Austin, Texas, USA
Fecha inicio congreso
Fecha fin congreso
Desde la página
Hasta la página
Título de las actas
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Esta actividad pertenece a memorias de investigación
  • Autor: Edison Fernando Mera Menéndez (UPM)
  • Autor: Teresa Trigo (UPM)
  • Autor: Pedro López (CSIC)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)