Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Infrastructures and Compilation Strategies for the Performance of Computing Systems

Erven Rohou 1
1 ALF - Amdahl's Law is Forever
Inria Rennes – Bretagne Atlantique , IRISA-D3 - ARCHITECTURE
Abstract : This document presents our main contributions to the field of compilation, and more generally to the quest of performance of computing systems. It is structured by type of execution environment, from static compilation (execution of native code), to JIT compilation, and purely dynamic optimization. We also consider interpreters. In each chapter, we give a focus on the most relevant contributions. Chapter 2 describes our work about static compilation. It covers a long time frame (from PhD work 1995--1998 to recent work on real-time systems and worst-case execution times at Inria in 2015) and various positions, both in academia and in the industry. My research on JIT compilers started in the mid-2000s at STMicroelectronics, and is still ongoing. Chapter 3 covers the results we obtained on various aspects of JIT compilers: split-compilation, interaction with real-time systems, and obfuscation. Chapter 4 reports on dynamic binary optimization, a research effort started more recently, in 2012. This considers the optimization of a native binary (without source code), while it runs. It incurs significant challenges but also opportunities. Interpreters represent an alternative way to execute code. Instead of native code generation, an interpreter executes an infinite loop that continuously reads a instruction, decodes it and executes its semantics. Interpreters are much easier to develop than compilers, they are also much more portable, often requiring a simple recompilation. The price to pay is the reduced performance. Chapter 5 presents some of our work related to interpreters. All this research often required significant software infrastructures for validation, from early prototypes to robust quasi products, and from open-source to proprietary. We detail them in Chapter 6. The last chapter concludes and gives some perspectives.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [128 references]  Display  Hide  Download
Contributor : Erven Rohou Connect in order to contact the contributor
Submitted on : Wednesday, December 2, 2015 - 6:43:51 PM
Last modification on : Thursday, January 20, 2022 - 5:33:18 PM
Long-term archiving on: : Saturday, April 29, 2017 - 7:48:49 AM


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License


  • HAL Id : tel-01237164, version 1


Erven Rohou. Infrastructures and Compilation Strategies for the Performance of Computing Systems. Other [cs.OH]. Université de Rennes 1, 2015. ⟨tel-01237164⟩



Les métriques sont temporairement indisponibles