Safe Haskell	None
Language	Haskell2010

Language.Paraiso.Generator.Plan

Description

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.

Synopsis

Documentation

data Plan v g a Source

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) Source
Referrer (StorageRef v g a) (Plan v g a) Source
Referrer (SubKernelRef v g a) (Plan v g a) Source

data SubKernelRef v g a Source

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) Source
Nameable (SubKernelRef v g a) Source
Referrer (SubKernelRef v g a) (Plan v g a) Source

data StorageRef v g a Source

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) Source
Nameable (StorageRef v g a) Source
Referrer (StorageRef v g a) (Plan v g a) Source

data StorageIdx Source

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 Source
Show StorageIdx Source

class Referrer a b | a -> b where Source

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

Methods

parent :: a -> b Source

Instances

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

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

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

a list of inputs the subroutine needs.

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

a list of outputs the subroutine makes.

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

all the caclulations performed in the subroutine.

storageType :: StorageRef v g a -> DynValue Source

get the DynValue description for a storage referrence.