A Compiler Framework for Speculative Parallelization
Research output: Contribution to conferences › Paper › Contributed › peer-review
Contributors
Abstract
Making efficient use of modern multi-core and future many-core CPUs is a major challenge. We describe a new compiler-based platform, Prospect, that supports the parallelization of sequential applications. The underlying approach is a generalization of an existing approach to parallelize runtime checks. The basic idea is to generate two variants of the application: (1) a fast variant having bare bone functionality, and (2) a slow variant with extra functionality. The fast variant is executed sequentially. Its execution is divided into epochs.
Each epoch is re-executed by an executor using the slow variant. The approach scales by running the executors on multiple cores in parallel to each other and to the fast variant. We have implemented the Prospect framework to evaluate this approach. Prospect allows custom plug-ins for generating the fast and slow variants. With the help of our novel StackLifter, a process can switch between the fast variant and the slow variant during runtime at arbitrary positions.
Each epoch is re-executed by an executor using the slow variant. The approach scales by running the executors on multiple cores in parallel to each other and to the fast variant. We have implemented the Prospect framework to evaluate this approach. Prospect allows custom plug-ins for generating the fast and slow variants. With the help of our novel StackLifter, a process can switch between the fast variant and the slow variant during runtime at arbitrary positions.
Details
Original language | English |
---|---|
Pages | 131-140 |
Number of pages | 10 |
Publication status | Published - 2010 |
Peer-reviewed | Yes |
Conference
Title | CGO '10: Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization |
---|---|
Abbreviated title | CGO |
Conference number | |
Duration | 24 - 28 April 2010 |
Website | |
Degree of recognition | International event |
Location | |
City | Toronto |
Country | Canada |
External IDs
Scopus | 77953970883 |
---|
Keywords
Research priority areas of TU Dresden
DFG Classification of Subject Areas according to Review Boards
Keywords
- parallelization, speculation, bounds checker, assertions, stack translatio