|Version 9 (modified by 5 years ago) (diff),|
The DPH packages
This page describes the packages (aka libraries) that form part of DPH, enumerates all the wyas in which they differ from "normal" GHC packages, and says what stuff lives where.
What packages there are
DPH is split into the following packages:
Contains shared debugging and tracing functions. Particularly, the flags for enabling extended sanity checking are hard-coded in the
Flat arrays, and sequential operators on them. Most sequential operators that we used are supplied by
dph-prim-seqadds segmented operators that are only useful in the context of nested data parallelism. This package also defines the segment descriptor types, that are also used to implement nested arrays. Flat arrays are also referred to as "unlifted arrays", so this library is also called the "unlifted primitive library".
Flat arrays, and parallel operators on them. This package exports exactly the same types and functions as
dph-prim-seq, except that they run in parallel.
Defines the common interface exposed by
dph-prim-par. The interface is defined by the
DPH_Interface.hheader files, which provide the module signature and type sigs respectively. These header files are
dph-prim-parto ensure they really do have the same interface.
Nested parallel arrays. This module defines the
PArraytype, and the functions used by vectorised code. The code in this package uses the interface defined by
dph-prim-interface. This means it can be compiled against either the
dph-prim-parpackages. Doing this results in the
These packages are produced by compiling
dph-commonagainst either the
Nested parallel arrays with virtual segment descriptors. This is a new version of
dph-commoncurrently under development. It extends the old library with a new form of segment descriptor. The new segment descriptor allows us to avoid physically replicating data in vectorised code.
Quick check properties for the other dph packages.
Example programs using Data Parallel Haskell.
The DPH libraries use Template Haskell, so they can only be compiled with a stage2 compiler.
vectorised code ^ | used-by | dph-seq = dph-common = dph-par (nested array API) . ^ ^ . link | used-by . link . | . . dph-prim-interface . (flat array API) . ^ ^ . defined by dph-prim-interface . | provides | . provided by dph-prim-seq . | | . and dph-prim-par dph-prim-seq ---> dph-prim-par used-by dph-base (debugging and tracing utils) used by all packages dph-common-vseg (new version of dph-common) still under development
How the DPH packages are coupled to GHC
GHC knows about DPH as follows.
- The flags
-package dph-par. These packages contain the types and functions that vectorised code uses. They are produced by compiling
dph-commonagainst either the
dph-prim-parpackages respectively. They also contain the array functions visible to used code via
- The vectoriser only generates names exported by dph-common (via either dph-par or dph-seq). It does not use the