Paper Info
Title
Exploiting static application knowledge in a Java compiler for embedded systems: a case study
Abstract
Offering many benefits in terms of productivity and reliability, Java is becoming an attractive choice for the field of embedded computing. However, its programming model that relies on the capabilities of just-in-time compilation limits the opportunities to generate highly optimized code in an ahead-of-time compiler. In the KESO project, a Java VM for statically-configured deeply embedded systems, we have previously used static application knowledge to create a tailored runtime environment. In this paper, we present and discuss how this static knowledge can further be exploited by our compiler in order to perform advanced optimizations that would otherwise not be achievable. We conducted a case study with the CDx real-time benchmark in which we examined the peculiarities and challenges that arise, and evaluated the effectiveness of both standard and system-model-specific compiler optimizations in the context of a static embedded application model. Our results show that incorporating the available a-priori knowledge in the compiler provides significant improvements to both footprint and runtime, and can additionally help the system integrator to identify consistency problems between the code and a higher-level system specification at an early development stage.
Year
DOI
Venue
2011
10.1145/2043910.2043927
JTRES
Keywords
Field
DocType
static knowledge,available a-priori knowledge,system-model-specific compiler optimizations,advanced optimizations,java compiler,ahead-of-time compiler,java vm,static application knowledge,case study,static embedded application model,embedded computing,embedded system,compiler optimization,embedded systems,system modeling,java,system integration,real time,a priori knowledge,programming model,design,just in time compiler
Dead code elimination,Inline expansion,Programming language,Functional compiler,Computer science,Compiler correctness,Real-time computing,Java compiler,Compiler construction,Dynamic compilation,Parallel computing,Compiler,Embedded system
Conference
Citations 
PageRank 
References 
5
0.50
20
Authors
4
Name
Order
Citations
PageRank
Christoph Erhardt1244.18
Michael Stilkerich2414.12
Daniel Lohmann334827.16
Wolfgang Schröder-Preikschat489690.63