CoSense: Compiler Optimizations using Sensor Technical Specifications

Pei Mu

doi:10.1145/3640537.3641576

2024-02-20

Pei Mu *

Nikolaos Mavrogeorgis

Christos Vasiladiotis

Vasileios Tsoutsouras

Orestis Kaparounakis

Phillip Stanley‐Marbell

Antonio Barbalace

DOI：10.1145/3640537.3641576

原文链接

原文求助

摘要

En 中文

Embedded systems are ubiquitous, but in order to maximize their lifetime on batteries there is a need for faster code execution - i.e., higher energy effciency, and for reduced memory usage. The large number of sensors integrated into embedded systems gives us the opportunity to exploit sensors' technical specifications, like a sensor's value range, to guide compiler optimizations for faster code execution, small binaries, etc. We design and implement such an idea in CoSense, a novel compiler (extension) based on the LLVM infrastructure, using an existing domain-specific language (DSL), Newton, to describe the bounds of and relations between physical quantities measured by sensors. CoSense utilizes previously unexploited physical information correlated to program variables to drive code optimizations. CoSense computes value ranges of variables and proceeds to overload functions, compress variable types, substitute code with constants and simplify the condition statements. We evaluated CoSense using several microbenchmarks and two real-world applications on various platforms and CPUs. For microbenchmarks, CoSense achieves 1.18x geomean speedup in execution time and 12.35% reduction on average in binary code size with 4.66% compilation time overhead on x86, and 1.23x geomean speedup in execution time and 10.95% reduction on average in binary code size with 5.67% compilation time overhead on ARM. For real-world applications, CoSense achieves 1.70x and 1.50x speedup in execution time, 12.96% and 0.60% binary code reduction, 9.69% and 30.43% lower energy consumption, with a 26.58% and 24.01% compilation time overhead, respectively.

Keyword:

embedded systems

sensors

interval arithmetic

value interval propagation

compiler optimizations