Language.Paraiso.Generator.Plan

Taking the optimized OM as the input, The Plan summarizes and fixes the detail of the code generation, such as amount of memory to be allocated, the extra subroutines which does internal calculations, and decisions on which part of calculation each subroutines make etc.

Documentation

data Plan v g a

A data structure that contains all informations for code generation.

Constructors

Plan

Fields

planName :: Name

name of the plan

setup :: Setup v g a

OM setup, includes all static variables

storages :: Vector (StorageRef v g a)

Newly allocated Manifest variables

kernels :: Vector (Kernel v g a)

kernels

subKernels :: Vector (SubKernelRef v g a)

subkernels

lowerMargin :: v g

the total lower margin of the OM, large enough to fit all the kernels

upperMargin :: v g

the total upper margin of the OM, large enough to fit all the kernels

Instances

Nameable (Plan v g a)

Referrer (StorageRef v g a) (Plan v g a)

Referrer (SubKernelRef v g a) (Plan v g a)

data SubKernelRef v g a

subroutines that executes portion of a calculations for certain kernel

Constructors

SubKernelRef

Fields

subKernelParent :: Plan v g a

kernelIdx :: Int

omWriteGroupIdx :: Int

inputIdxs :: Vector Node

calcIdxs :: Vector Node

outputIdxs :: Vector Node

subKernelRealm :: Realm

lowerBoundary :: v g

upperBoundary :: v g

Instances

Realmable (SubKernelRef v g a)

Nameable (SubKernelRef v g a)

Referrer (SubKernelRef v g a) (Plan v g a)

data StorageRef v g a

refers to a storage required in the plan

Constructors

StorageRef

Fields

storageRefParent :: Plan v g a

storageIdx :: StorageIdx

storageDynValue :: DynValue

Instances

Realmable (StorageRef v g a)

Nameable (StorageRef v g a)

Referrer (StorageRef v g a) (Plan v g a)

data StorageIdx

Constructors

StaticRef Int

(StatigRef plan i) = i'th static variable in the plan

ManifestRef Int Node

(ManifestRef plan i j) = j'th node of the i'th kernel in the plan

Instances

Eq StorageIdx

Show StorageIdx

class Referrer a b | a -> b where

a data that holds referrence to the Plan it belongs to.

Methods

parent :: a -> b

Instances

Referrer (StorageRef v g a) (Plan v g a)

Referrer (SubKernelRef v g a) (Plan v g a)

dataflow :: SubKernelRef v g a -> Graph v g a

labNodesIn :: SubKernelRef v g a -> Vector (LNode (Node v g a))

a list of inputs the subroutine needs.

labNodesOut :: SubKernelRef v g a -> Vector (LNode (Node v g a))

a list of outputs the subroutine makes.

labNodesCalc :: SubKernelRef v g a -> Vector (LNode (Node v g a))

all the caclulations performed in the subroutine.

storageType :: StorageRef v g a -> DynValue

get the DynValue description for a storage referrence.