MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Array SSA for Explicitly Parallel Programs (1999) [4 citations — 0 self]

Download:
Download as a PDF | Download as a PS
by Jean-francois Collard
In Proc. 5th Intl. Euro-Par Conf., LNCS vol 1685
http://www.prism.uvsq.fr/rapports/1998/document_1998_47.ps
Add To MetaCart

Abstract:

The usefulness and applicability of the Static Single Assignment (SSA) framework is undisputed. SSA was originally crafted for sequential programs manipulating scalars, but it has been separately extended to parallel programs on the one hand, and to sequential programs with arrays on the other. In an Array SSA framework, arrays are precisely handled on an element-per-element basis. This paper proposes an Array SSA form for parallel programs with either weak or strong memory consistency, with event-based synchronization or mutual exclusion, with parallel sections or indexed parallel constructs.

Citations

389 The High Performance Fortran Handbook – Koelbel, Loveman, et al. - 1994
170 A practical algorithm for exact array dependence analysis – Pugh - 1992
58 Constraint-based array dependence analysis – Pugh, Wonnacot - 1998
53 Fuzzy array dataflow analysis – Collard, Barthou, et al. - 1995
43 Array SSA form and its use in parallelization – Knobe, Sarkar - 1998
32 Parallelism for free: efficient and optimal bitvector analyses for parallel programs – Knoop, Steffen, et al. - 1996
28 Lazy array data-flow dependence analysis – Maslov - 1994
26 Concurrent static single assignment form and constant propagation for explicitly parallel programs – Lee, Midkiff, et al. - 1999
19 A new algorithm for scalar register promotion based on ssa form – Sastry, Ju - 1998
18 Data flow analysis of concurrent systems that use the rendezvous model of synchronization – Long, Clarke - 1991
11 Enabling sparse constant propagation of array elements via array ssa form – Sarkar, Knobe - 1998
6 Data flow equations for explicitely parallel programs – Grunwald, Srinivasan - 1993
6 Concurrent ssa form in the presence of mutual exclusion – Novillo, Unrau, et al. - 1998
1 Optimizing explicitly parallel programs using the cssame form – Novillo, Unrau, et al. - 1998
1 Static single assignment form for explicitely parallel programs – Srinivasan, Hook, et al. - 1993
View or Download | Add to My Collection | Correct Errors