Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.Runtime.Heap.Layout

Contents

Words and bytes
Closure representation

Synopsis

type WordOff = Int
type ByteOff = Int
wordsToBytes :: Num a => Platform -> a -> a
bytesToWordsRoundUp :: Platform -> ByteOff -> WordOff
roundUpToWords :: Platform -> ByteOff -> ByteOff
roundUpTo :: ByteOff -> ByteOff -> ByteOff
data StgWord
fromStgWord :: StgWord -> Integer
toStgWord :: Platform -> Integer -> StgWord
data StgHalfWord
fromStgHalfWord :: StgHalfWord -> Integer
toStgHalfWord :: Platform -> Integer -> StgHalfWord
halfWordSize :: Platform -> ByteOff
halfWordSizeInBits :: Platform -> Int
data SMRep
- = HeapRep IsStatic !WordOff !WordOff ClosureTypeInfo
- | ArrayPtrsRep !WordOff !WordOff
- | SmallArrayPtrsRep !WordOff
- | ArrayWordsRep !WordOff
- | StackRep Liveness
- | RTSRep Int SMRep
type IsStatic = Bool
data ClosureTypeInfo
- = Constr ConTagZ ConstrDescription
- | Fun FunArity ArgDescr
- | Thunk
- | ThunkSelector SelectorOffset
- | BlackHole
- | IndStatic
data ArgDescr
- = ArgSpec !Int
- | ArgGen Liveness
- | ArgUnknown
type Liveness = [Bool]
type ConstrDescription = ByteString
mkHeapRep :: Profile -> IsStatic -> WordOff -> WordOff -> ClosureTypeInfo -> SMRep
blackHoleRep :: SMRep
indStaticRep :: SMRep
mkStackRep :: [Bool] -> SMRep
mkRTSRep :: Int -> SMRep -> SMRep
arrPtrsRep :: Platform -> WordOff -> SMRep
smallArrPtrsRep :: WordOff -> SMRep
arrWordsRep :: Platform -> ByteOff -> SMRep
isStaticRep :: SMRep -> IsStatic
isConRep :: SMRep -> Bool
isThunkRep :: SMRep -> Bool
isFunRep :: SMRep -> Bool
isStaticNoCafCon :: SMRep -> Bool
isStackRep :: SMRep -> Bool
heapClosureSizeW :: Profile -> SMRep -> WordOff
fixedHdrSizeW :: Profile -> WordOff
arrWordsHdrSize :: Profile -> ByteOff
arrWordsHdrSizeW :: Profile -> WordOff
arrPtrsHdrSize :: Profile -> ByteOff
arrPtrsHdrSizeW :: Profile -> WordOff
profHdrSize :: Profile -> WordOff
thunkHdrSize :: Profile -> WordOff
nonHdrSize :: Platform -> SMRep -> ByteOff
nonHdrSizeW :: SMRep -> WordOff
smallArrPtrsHdrSize :: Profile -> ByteOff
smallArrPtrsHdrSizeW :: Profile -> WordOff
hdrSize :: Profile -> SMRep -> ByteOff
hdrSizeW :: Profile -> SMRep -> WordOff
fixedHdrSize :: Profile -> ByteOff
rtsClosureType :: SMRep -> Int
rET_SMALL :: Int
rET_BIG :: Int
aRG_GEN :: Int
aRG_GEN_BIG :: Int
card :: Platform -> Int -> Int
cardRoundUp :: Platform -> Int -> Int
cardTableSizeB :: Platform -> Int -> ByteOff
cardTableSizeW :: Platform -> Int -> WordOff

Words and bytes

type WordOff = Int Source #

Word offset, or word count

type ByteOff = Int Source #

Byte offset, or byte count

wordsToBytes :: Num a => Platform -> a -> a Source #

Convert the given number of words to a number of bytes.

This function morally has type WordOff -> ByteOff, but uses Num a to allow for overloading.

bytesToWordsRoundUp :: Platform -> ByteOff -> WordOff Source #

First round the given byte count up to a multiple of the machine's word size and then convert the result to words.

roundUpToWords :: Platform -> ByteOff -> ByteOff Source #

Round up the given byte count to the next byte count that's a multiple of the machine's word size.

roundUpTo :: ByteOff -> ByteOff -> ByteOff Source #

Round up base to a multiple of size.

data StgWord Source #

Instances

Instances details

Bits StgWord Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods (.&.) :: StgWord -> StgWord -> StgWord Source # (.\|.) :: StgWord -> StgWord -> StgWord Source # xor :: StgWord -> StgWord -> StgWord Source # complement :: StgWord -> StgWord Source # shift :: StgWord -> Int -> StgWord Source # rotate :: StgWord -> Int -> StgWord Source # zeroBits :: StgWord Source # bit :: Int -> StgWord Source # setBit :: StgWord -> Int -> StgWord Source # clearBit :: StgWord -> Int -> StgWord Source # complementBit :: StgWord -> Int -> StgWord Source # testBit :: StgWord -> Int -> Bool Source # bitSizeMaybe :: StgWord -> Maybe Int Source # bitSize :: StgWord -> Int Source # isSigned :: StgWord -> Bool Source # shiftL :: StgWord -> Int -> StgWord Source # unsafeShiftL :: StgWord -> Int -> StgWord Source # shiftR :: StgWord -> Int -> StgWord Source # unsafeShiftR :: StgWord -> Int -> StgWord Source # rotateL :: StgWord -> Int -> StgWord Source # rotateR :: StgWord -> Int -> StgWord Source # popCount :: StgWord -> Int Source #
Outputable StgWord Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgWord -> SDoc Source #
Eq StgWord Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods (==) :: StgWord -> StgWord -> Bool # (/=) :: StgWord -> StgWord -> Bool #

fromStgWord :: StgWord -> Integer Source #

toStgWord :: Platform -> Integer -> StgWord Source #

data StgHalfWord Source #

Instances

Instances details

Outputable StgHalfWord Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: StgHalfWord -> SDoc Source #
Eq StgHalfWord Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods (==) :: StgHalfWord -> StgHalfWord -> Bool # (/=) :: StgHalfWord -> StgHalfWord -> Bool #

fromStgHalfWord :: StgHalfWord -> Integer Source #

toStgHalfWord :: Platform -> Integer -> StgHalfWord Source #

halfWordSize :: Platform -> ByteOff Source #

Half word size in bytes

halfWordSizeInBits :: Platform -> Int Source #

Closure representation

data SMRep Source #

A description of the layout of a closure. Corresponds directly to the closure types in includes/rts/storage/ClosureTypes.h.

Constructors

HeapRep IsStatic !WordOff !WordOff ClosureTypeInfo
ArrayPtrsRep !WordOff !WordOff
SmallArrayPtrsRep !WordOff
ArrayWordsRep !WordOff
StackRep Liveness
RTSRep Int SMRep

Instances

Instances details

Outputable SMRep Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: SMRep -> SDoc Source #
Eq SMRep Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods (==) :: SMRep -> SMRep -> Bool # (/=) :: SMRep -> SMRep -> Bool #
Ord SMRep Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods compare :: SMRep -> SMRep -> Ordering # (<) :: SMRep -> SMRep -> Bool # (<=) :: SMRep -> SMRep -> Bool # (>) :: SMRep -> SMRep -> Bool # (>=) :: SMRep -> SMRep -> Bool # max :: SMRep -> SMRep -> SMRep # min :: SMRep -> SMRep -> SMRep #

type IsStatic = Bool Source #

True <=> This is a static closure. Affects how we garbage-collect it. Static closure have an extra static link field at the end. Constructors do not have a static variant; see Note [static constructors]

data ClosureTypeInfo Source #

Constructors

Constr ConTagZ ConstrDescription
Fun FunArity ArgDescr
Thunk
ThunkSelector SelectorOffset
BlackHole
IndStatic

Instances

Instances details

Outputable ClosureTypeInfo Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ClosureTypeInfo -> SDoc Source #
Eq ClosureTypeInfo Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods (==) :: ClosureTypeInfo -> ClosureTypeInfo -> Bool # (/=) :: ClosureTypeInfo -> ClosureTypeInfo -> Bool #
Ord ClosureTypeInfo Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods compare :: ClosureTypeInfo -> ClosureTypeInfo -> Ordering # (<) :: ClosureTypeInfo -> ClosureTypeInfo -> Bool # (<=) :: ClosureTypeInfo -> ClosureTypeInfo -> Bool # (>) :: ClosureTypeInfo -> ClosureTypeInfo -> Bool # (>=) :: ClosureTypeInfo -> ClosureTypeInfo -> Bool # max :: ClosureTypeInfo -> ClosureTypeInfo -> ClosureTypeInfo # min :: ClosureTypeInfo -> ClosureTypeInfo -> ClosureTypeInfo #

data ArgDescr Source #

An ArgDescr describes the argument pattern of a function

Constructors

ArgSpec !Int
ArgGen Liveness
ArgUnknown

Instances

Instances details

Outputable ArgDescr Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods ppr :: ArgDescr -> SDoc Source #
Eq ArgDescr Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods (==) :: ArgDescr -> ArgDescr -> Bool # (/=) :: ArgDescr -> ArgDescr -> Bool #
Ord ArgDescr Source #
Instance details Defined in GHC.Runtime.Heap.Layout Methods compare :: ArgDescr -> ArgDescr -> Ordering # (<) :: ArgDescr -> ArgDescr -> Bool # (<=) :: ArgDescr -> ArgDescr -> Bool # (>) :: ArgDescr -> ArgDescr -> Bool # (>=) :: ArgDescr -> ArgDescr -> Bool # max :: ArgDescr -> ArgDescr -> ArgDescr # min :: ArgDescr -> ArgDescr -> ArgDescr #

type Liveness = [Bool] Source #

We represent liveness bitmaps as a Bitmap (whose internal representation really is a bitmap). These are pinned onto case return vectors to indicate the state of the stack for the garbage collector.

In the compiled program, liveness bitmaps that fit inside a single word (StgWord) are stored as a single word, while larger bitmaps are stored as a pointer to an array of words.

type ConstrDescription = ByteString Source #