Safe Haskell	None
Language	Haskell2010

Futhark.CodeGen.ImpCode.Multicore

Description

Multicore imperative code.

Synopsis

type Program = Functions Multicore
data Multicore
- = SegOp String [Param] ParallelTask (Maybe ParallelTask) [Param] SchedulerInfo
- | ParLoop String (Code Multicore) [Param]
- | GetLoopBounds VName VName
- | GetTaskId VName
- | GetNumTasks VName
- | Atomic AtomicOp
type MCCode = Code Multicore
data Scheduling
- = Dynamic
- | Static
data SchedulerInfo = SchedulerInfo {
- iterations :: Exp
- scheduling :: Scheduling
}
data AtomicOp
- = AtomicAdd IntType VName VName (Count Elements (TExp Int32)) Exp
- | AtomicSub IntType VName VName (Count Elements (TExp Int32)) Exp
- | AtomicAnd IntType VName VName (Count Elements (TExp Int32)) Exp
- | AtomicOr IntType VName VName (Count Elements (TExp Int32)) Exp
- | AtomicXor IntType VName VName (Count Elements (TExp Int32)) Exp
- | AtomicXchg PrimType VName VName (Count Elements (TExp Int32)) Exp
- | AtomicCmpXchg PrimType VName VName (Count Elements (TExp Int32)) VName Exp
newtype ParallelTask = ParallelTask (Code Multicore)
module Futhark.CodeGen.ImpCode

Documentation

type Program = Functions Multicore Source #

An imperative multicore program.

data Multicore Source #

A multicore operation.

Constructors

SegOp String [Param] ParallelTask (Maybe ParallelTask) [Param] SchedulerInfo
ParLoop String (Code Multicore) [Param]
GetLoopBounds VName VName	Retrieve inclusive start and exclusive end indexes of the chunk we are supposed to be executing. Only valid immediately inside a `ParLoop` construct!
GetTaskId VName	Retrieve the task ID that is currently executing. Only valid immediately inside a `ParLoop` construct!
GetNumTasks VName	Retrieve the number of subtasks to execute. Only valid immediately inside a `SegOp` or `ParLoop` construct!
Atomic AtomicOp

Instances

Instances details

Pretty Multicore Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods ppr :: Multicore -> Doc # pprPrec :: Int -> Multicore -> Doc # pprList :: [Multicore] -> Doc #
FreeIn Multicore Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods freeIn' :: Multicore -> FV Source #

type MCCode = Code Multicore Source #

Multicore code.

data Scheduling Source #

Whether the Scheduler should schedule the tasks as Dynamic or it is restainted to Static

Constructors

Dynamic
Static

Instances

Instances details

Pretty Scheduling Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods ppr :: Scheduling -> Doc # pprPrec :: Int -> Scheduling -> Doc # pprList :: [Scheduling] -> Doc #

data SchedulerInfo Source #

Information about parallel work that is do be done. This is passed to the scheduler to help it make scheduling decisions.

Constructors

SchedulerInfo
Fields iterations :: Exp The number of total iterations for a task. scheduling :: Scheduling The type scheduling for the task.

Instances

Instances details

Pretty SchedulerInfo Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods ppr :: SchedulerInfo -> Doc # pprPrec :: Int -> SchedulerInfo -> Doc # pprList :: [SchedulerInfo] -> Doc #
FreeIn SchedulerInfo Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods freeIn' :: SchedulerInfo -> FV Source #

data AtomicOp Source #

Atomic operations return the value stored before the update. This old value is stored in the first VName. The second VName is the memory block to update. The Exp is the new value.

Constructors

AtomicAdd IntType VName VName (Count Elements (TExp Int32)) Exp
AtomicSub IntType VName VName (Count Elements (TExp Int32)) Exp
AtomicAnd IntType VName VName (Count Elements (TExp Int32)) Exp
AtomicOr IntType VName VName (Count Elements (TExp Int32)) Exp
AtomicXor IntType VName VName (Count Elements (TExp Int32)) Exp
AtomicXchg PrimType VName VName (Count Elements (TExp Int32)) Exp
AtomicCmpXchg PrimType VName VName (Count Elements (TExp Int32)) VName Exp

Instances

Instances details

Show AtomicOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods showsPrec :: Int -> AtomicOp -> ShowS # show :: AtomicOp -> String # showList :: [AtomicOp] -> ShowS #
FreeIn AtomicOp Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods freeIn' :: AtomicOp -> FV Source #

newtype ParallelTask Source #

A task for a SegOp.

Constructors

ParallelTask (Code Multicore)

Instances

Instances details

Pretty ParallelTask Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods ppr :: ParallelTask -> Doc # pprPrec :: Int -> ParallelTask -> Doc # pprList :: [ParallelTask] -> Doc #
FreeIn ParallelTask Source #
Instance details Defined in Futhark.CodeGen.ImpCode.Multicore Methods freeIn' :: ParallelTask -> FV Source #

module Futhark.CodeGen.ImpCode