Generating Power Management Code from Declarative Descriptions

Abstract

Power management is a problem any modern computer must solve in order to work. Sometimes, computers make use of a BMC, which solves this problem in software, however the software to do so is not generally available but proprietary. Previous work at ETH Zürich has created an algorithm to solve this problem and synthesize power sequences from a declarative specification of the system. In this thesis, I have developed a backend compiler that translates such synthesized abstract power sequences to C code which then can be compiled into an executable. I aim to set the basis for a compiler tool chain that can generate native executables for arbitrary power sequences from a declarative specification. Testing has shown that the compiler is capable of producing C programs from nothing but declarative power sequences and some information about the target system in an efficient manner.