SWAP: Parallelization through Algorithm Substitution

Author

Li, Hengjie ; He, Wenting ; Chen, Yang ; Eeckhout, Lieven ; Temam, Olivier ; Wu, Chengyong

Volume

32

Issue

4

fYear

2012

Firstpage

54

Lastpage

67

Abstract

By explicitly indicating which algorithms they use and encapsulating these algorithms within software components, programmers make it possible for an algorithm-aware compiler to replace their original algorithm implementations with compatible parallel implementations, or with the parallel implementations of compatible algorithms, using the so-called specification compatibility graph (SCG). Along with the SCG, a software environment is introduced for performing algorithm-aware compilation.

Keywords

formal specification; object-oriented programming; parallelising compilers; SWAP; algorithm substitution; algorithm-aware compilation; algorithm-aware compiler; parallel implementation; software component; software environment; specification compatibility graph; Algorithm design and analysis; Computer architecture; Parallel processing; Program processors; Semantics; Software algorithms; Algorithm design and analysis; Computer architecture; Parallel processing; Program processors; SWAP; Semantics; Software algorithms; parallel programming; parallelization; specification compatibility graph;

fLanguage

English

Journal_Title

Micro, IEEE

Publisher

ieee

ISSN

0272-1732

Type

jour

DOI

10.1109/MM.2012.53

Filename

6235945