Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
Name
Toward an energy efficient language and compiler for (partially) reversible algorithms.pdf
Size
200.3 KB
Format
Adobe PDF
Checksum (MD5)
a6bc25354e473eca1ff338638159a7b9
Author(s)
Tyagi, Nirvan
Lynch, Jayson R.
Demaine, Erik D
Date Issued
June 2016
Journal
Reversible Computation
Publisher
Springer International Publishing
Citation
Tyagi, Nirvan, Jayson Lynch, and Erik D. Demaine. “Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms.” Lecture Notes in Computer Science (2016): 121–136.
Version
Original manuscript
Abstract
We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation. Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations. In this model, irreversible operations cost energy for every bit of information created or destroyed. To handle programs of varying degrees of reversibility, Eel supports a log stack to automatically trade energy costs for space costs, and introduces many powerful control logic operators including protected conditional, general conditional, protected loops, and general loops. In this paper, we present the design and compiler for the three language levels of Eel along with an interpreter to simulate and annotate incurred energy costs of a program. Keywords: Energy Cost, Forward Direction, Control Logic, Conditional Statement, Program Counter
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/978-3-319-40578-0_8
