Towards a streaming model for nested data parallelism

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

The language-integrated cost semantics for nested data parallelism pioneered by NESL provides an intuitive, high-level model for predicting performance and scalability of parallel algorithms with reasonable accuracy. However, this predictability, obtained through a uniform, parallelism-flattening execution strategy, comes at the price of potentially prohibitive space usage in the common case of computations with an excess of available parallelism, such as dense-matrix multiplication.

We present a simple nested data-parallel functional language and associated cost semantics that retains NESL's intuitive work--depth model for time complexity, but also allows highly parallel computations to be expressed in a space-efficient way, in the sense that memory usage on a single (or a few) processors is of the same order as for a sequential formulation of the algorithm, and in general scales smoothly with the actually realized degree of parallelism, not the potential parallelism.

The refined semantics is based on distinguishing formally between fully materialized (i.e., explicitly allocated in memory all at once) "vectors" and potentially ephemeral "sequences" of values, with the latter being bulk-processable in a streaming fashion. This semantics is directly compatible with previously proposed piecewise execution models for nested data parallelism, but allows the expected space usage to be reasoned about directly at the source-language level.

The language definition and implementation are still very much work in progress, but we do present some preliminary examples and timings, suggesting that the streaming model has practical potential.
OriginalsprogEngelsk
TitelFHPC '13 : proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing
Antal sider12
ForlagAssociation for Computing Machinery
Publikationsdato2013
Sider13-24
ISBN (Elektronisk)978-1-4503-2381-9
DOI
StatusUdgivet - 2013
Begivenhed2nd ACM SIGPLAN Workshop on Functional High-Performance Computing - Boston, USA
Varighed: 23 sep. 201323 sep. 2013
Konferencens nummer: 2

Konference

Konference2nd ACM SIGPLAN Workshop on Functional High-Performance Computing
Nummer2
LandUSA
ByBoston
Periode23/09/201323/09/2013

ID: 101199403