Memorias de investigación
Communications at congresses:
Static Performance Guarantees for Programs with Run-time Checks
Year:2018

Research Areas
  • Engineering

Information
Abstract
Instrumenting programs for performing runtime checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such runtime checks inevitably introduce runtime overhead (in execution time, memory, energy, etc.). Several approaches have been proposed for reducing this overhead, such as eliminating the checks that can statically be proved to always succeed, and/or optimizing the way in which the (remaining) checks are performed. However, there are cases in which it is not possible to remove all checks statically (e.g., open libraries which must check their interfaces, complex properties, unknown code, etc.) and in which, even after optimizations, these remaining checks may still introduce an unacceptable level of overhead. It is thus important for programmers to be able to determine the additional cost due to the runtime checks and compare it to some notion of admissible cost. The common practice used for estimating runtime checking overhead is profiling, which is not exhaustive by nature. Instead, we propose a method that uses static analysis to estimate such overhead, with the advantage that the estimations are functions parameterized by input data sizes. Unlike profiling, this approach can provide guarantees for all possible execution traces, and allows assessing how the overhead grows as the size of the input grows. Our method also extends an existing assertion verification framework to express "admissible" overheads, and statically and automatically checks whether the instrumented program conforms with such specifications. Finally, we present an experimental evaluation of our approach that suggests that our method is feasible and promising.
International
Si
Congress
PPDP '18. 20th International Symposium on Principles and Practice of Declarative Programming
960
Place
Frankurt
Reviewers
Si
ISBN/ISSN
978-1-4503-6441-6
10.1145/3236950.3236970
Start Date
03/09/2018
End Date
05/09/2018
From page
1
To page
12
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
Participants
  • Autor: Maximiliano Klemen IMDEA Software
  • Autor: Nataliia Stulova IMDEA Software
  • Autor: Pedro López IMDEA Software
  • Autor: José Francisco Morales IMDEA Software
  • Autor: Manuel de Hermenegildo Salinas UPM

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial