PType system: A featherweight parallelizability detector (2004)
| Venue: | IN PROCEEDINGS OF 2ND ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2004), LNCS 3302 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Xu04ptypesystem:,
author = {Dana N. Xu and Siau-Cheng Khoo and Zhenjiang Hu},
title = {PType system: A featherweight parallelizability detector},
booktitle = {IN PROCEEDINGS OF 2ND ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2004), LNCS 3302},
year = {2004},
pages = {197--212},
publisher = {Springer, LNCS}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrate an automated typebased system that soundly detects parallelizability of sequential functional programs. Our type inference system discovers the parallelizability property of a sequential program in a modular fashion, by exploring a ring structure among the program’s operators. It handles self-recursive functions with accumulating parameters, as well as a class of non-linear mutual-recursive functions. Programs whose types are inferred to be parallelizable can be automatically transformed to parallel code in a mutumorphic form – a succint model for parallel computation. Transforming into such a form is an important step towards constructing efficient data parallel programs.
