Title :
SWAP: Parallelization through Algorithm Substitution
Author :
Li, Hengjie ; He, Wenting ; Chen, Yang ; Eeckhout, Lieven ; Temam, Olivier ; Wu, Chengyong
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;
Journal_Title :
Micro, IEEE
