Profiling for run-time checking of computational properties and performance debugging in logic programs

Authors:
Edison Mera;Teresa Trigo;Pedro Lopez-García;Manuel Hermenegildo
Affiliations:
Complutense University of Madrid, Spain;IMDEA Software Institute, Spain;IMDEA Software Institute, Spain and Spanish Research Council, CSIC, Spain;IMDEA Software Institute, Spain and School of Computer Science, Technical University of Madrid, Spain
Venue:
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Year:
2011

Citing 12
Cited 0

Profiling Prolog programs

Software—Practice & Experience
A matrix model for the flow of control in Prolog programs with applications to profiling

Software—Practice & Experience
Formally based profiling for higher-order functional languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
Gprof: A call graph execution profiler

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Profiling large-scale lazy functional programs

Journal of Functional Programming
Fast, accurate call graph profiling

Software—Practice & Experience
JaViz: a client/server Java profiling tool

IBM Systems Journal
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Poly-controlled partial evaluation in practice

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
User-definable resource bounds analysis for logic programs

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Run-time profiling of functional logic programs

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

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.