Treffer: Static Energy Analysis of Low Level Programs

Title:
Static Energy Analysis of Low Level Programs
Authors:
May, Patrick
Source:
Senior Independent Study Theses
Publisher Information:
Open Works
Publication Year:
2024
Collection:
The College of Wooster: Open Works
Subject Terms:
static analysis, green software, compilers, raspberry pi, arm assembly, Computer Science, Computer and Systems Architecture, Hardware Systems, Programming Languages and Compilers, Software Engineering
Document Type:
Fachzeitschrift text
File Description:
application/pdf
Language:
English
unknown
Relation:
https://openworks.wooster.edu/independentstudy/11015; https://openworks.wooster.edu/context/independentstudy/article/14026/viewcontent/May_IS_FinalVersion.pdf
Availability:
https://openworks.wooster.edu/independentstudy/11015
https://openworks.wooster.edu/context/independentstudy/article/14026/viewcontent/May_IS_FinalVersion.pdf
Accession Number:
edsbas.B8A71C9D
Database:
BASE

Weitere Informationen

This work presents the theory and approach of a static energy analysis tool that semi-automatically predicts energy cost of compiled programs within the ARM v8 assembly architecture. It discusses various background information that is required to understand the methodology of modern software, including compilers, computer architecture, etc. It also presents the concept of cost relations and upper bound static cost analysis specifically, as well as sampling alternative semi-static approaches. A Raspberry Pi 4 Model B is used as a testbench for dynamic energy benchmarking and testing the validity of the static tool.