A framework for automatic and parameterizable memoization

Loïc Besnard (1) , Pedro Pinto (2, 3) , Imane Lasri (4) , João Bispo (2, 3) , Erven Rohou (4) , João Manuel Paiva Cardoso (2, 3)

1 SED [Rennes] - Service Expérimentation et Développement
2 FEUP - Faculdade de Engenharia da Universidade do Porto
3 INESC TEC - Institute for Systems and Computer Engineering, Technology and Science [Porto]
4 PACAP - Pushing Architecture and Compilation for Application Performance

Improving execution time and energy efficiency is needed for many applications and usually requires sophisticated code transformations and compiler optimizations. One of the optimization techniques is memoization, which saves the results of computations so that future computations with the same inputs can be avoided. In this article we present a framework that automatically applies memoization techniques to C/C++ applications. The framework is based on automatic code transformations using a source-to-source compiler and on a memoization library. With the framework users can select functions to memoize as long as they obey to certain restrictions imposed by our current memoization library. We show the use of the framework and associated memoization technique and the impact on reducing the execution time and energy consumption of four representative benchmarks.

Mots clés: source-to-source; compiler optimizations; memoization

Domaines: Autre [cs.OH]

Loïc Besnard, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, et al.. A framework for automatic and parameterizable memoization. SoftwareX, 2019, 10, pp.100322. ⟨10.1016/j.softx.2019.100322⟩. ⟨hal-02305415⟩