Generating Power Management Code from Declarative Descriptions
OPEN ACCESS
Loading...
Author / Producer
Date
2021-10
Publication Type
Bachelor Thesis
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
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.
Permanent link
Publication status
published
External links
Editor
Contributors
Book title
Journal / series
Volume
Pages / Article No.
Publisher
ETH Zurich
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy