CASM - Optimized Compilation of Abstract State Machines
In this paper we present CASM, a language based on Abstract State Machines (ASM), and its optimizing compiler. ASM is a well-defined (formal) method based on algebraic concepts. A distinct feature of ASM is its combination of parallel and sequential execution semantics. This makes it an excellent choice to formally specify and verify micro-architectures. We present a compilation scheme and an implementation of a runtime system supporting efficient execution of ASM. After introducing novel analysis techniques we present optimizations allowing us to eliminate many costly operations. Benchmark results show that our baseline compiler is 2-3 magnitudes faster than other ASM implementations. The optimizations further increase the performance of the compiled programs up to 264%. The achieved performance allows our ASM implementation to be used with industry-size applications.
Top- Lezuo, Roland
- Paulweber, Philipp
- Krall, Andreas
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) |
Divisions |
Software Architecture |
Subjects |
Software Engineering Programmiersprachen Datenstrukturen Theoretische Informatik Rechnerarchitektur |
Event Location |
Edinburgh, UK |
Event Type |
Conference |
Event Dates |
12-13 June 2014 |
Series Name |
Proceedings of the 2014 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES) |
ISSN/ISBN |
978-1-4503-2877-7 |
Page Range |
pp. 13-22 |
Date |
June 2014 |
Official URL |
http://dx.doi.org/10.1145/2597809.2597813 |
Export |