Safe Haskell	None
Language	Haskell2010

System.Posix.Thread

Contents

Threads
Attributes
Thread local storage

Description

Bindings to the POSIX threads library.

Requires linking with the -threaded RTS.

Synopsis

Threads

create :: IO (Ptr a) -> IO ThreadId #

Create a new thread.

create_ :: IO () -> IO ThreadId #

Like create, but with an IO computation that returns nothing.

createWithAttributes #

Arguments

:: AttributesMonoid
-> IO (Ptr a)	Created thread runs this IO computation.
-> IO ThreadId

Create a new thread.

createWithAttributes_ :: AttributesMonoid -> IO () -> IO ThreadId #

Like createWithAttributes, but with an IO computation that returns nothing.

exit :: Ptr a -> IO () #

Terminate calling thread.

exit_ :: IO () #

Like exit, but don't return anything.

cancel :: ThreadId -> IO () #

Send a cancellation request to a thread.

join :: ThreadId -> IO (Ptr a) #

Join with a terminated thread.

detach :: ThreadId -> IO () #

Detach a thread.

myThreadId :: IO ThreadId #

Obtain ID of the calling thread.

Attributes

data Attributes #

Thread attributes.

Constructors

Attributes
Fields detachState :: DetachState guardSize :: CSize inheritSched :: InheritSched schedParam :: SchedParam schedPolicy :: SchedPolicy scope :: Scope stack :: Ptr () stackSize :: CSize

Instances

Show Attributes #
Methods showsPrec :: Int -> Attributes -> ShowS # show :: Attributes -> String # showList :: [Attributes] -> ShowS #
Generic Attributes #
Associated Types type Rep Attributes :: * -> * # Methods from :: Attributes -> Rep Attributes x # to :: Rep Attributes x -> Attributes #
Storable Attributes #
Methods sizeOf :: Attributes -> Int # alignment :: Attributes -> Int # peekElemOff :: Ptr Attributes -> Int -> IO Attributes # pokeElemOff :: Ptr Attributes -> Int -> Attributes -> IO () # peekByteOff :: Ptr b -> Int -> IO Attributes # pokeByteOff :: Ptr b -> Int -> Attributes -> IO () # peek :: Ptr Attributes -> IO Attributes # poke :: Ptr Attributes -> Attributes -> IO () #
type Rep Attributes #
type Rep Attributes

data AttributesMonoid #

Partial set of thread attributes. Think of it as a diff to apply to the default attributes object.

Constructors

AttributesMonoid
Fields detachState :: First DetachState guardSize :: First CSize inheritSched :: First InheritSched schedParam :: First SchedParam schedPolicy :: First SchedPolicy scope :: First Scope stack :: First (Ptr ()) stackSize :: First CSize

Instances

Show AttributesMonoid #
Methods showsPrec :: Int -> AttributesMonoid -> ShowS # show :: AttributesMonoid -> String # showList :: [AttributesMonoid] -> ShowS #
Generic AttributesMonoid #
Associated Types type Rep AttributesMonoid :: * -> * # Methods from :: AttributesMonoid -> Rep AttributesMonoid x # to :: Rep AttributesMonoid x -> AttributesMonoid #
Monoid AttributesMonoid #
Methods mempty :: AttributesMonoid # mappend :: AttributesMonoid -> AttributesMonoid -> AttributesMonoid # mconcat :: [AttributesMonoid] -> AttributesMonoid #
Storable AttributesMonoid #
Methods sizeOf :: AttributesMonoid -> Int # alignment :: AttributesMonoid -> Int # peekElemOff :: Ptr AttributesMonoid -> Int -> IO AttributesMonoid # pokeElemOff :: Ptr AttributesMonoid -> Int -> AttributesMonoid -> IO () # peekByteOff :: Ptr b -> Int -> IO AttributesMonoid # pokeByteOff :: Ptr b -> Int -> AttributesMonoid -> IO () # peek :: Ptr AttributesMonoid -> IO AttributesMonoid # poke :: Ptr AttributesMonoid -> AttributesMonoid -> IO () #
type Rep AttributesMonoid #
type Rep AttributesMonoid

Thread local storage

data Key #

Opaque objects used to locate thread-specific data.

Instances

Eq Key #
Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Ord Key #
Methods compare :: Key -> Key -> Ordering # (<) :: Key -> Key -> Bool # (<=) :: Key -> Key -> Bool # (>) :: Key -> Key -> Bool # (>=) :: Key -> Key -> Bool # max :: Key -> Key -> Key # min :: Key -> Key -> Key #
Show Key #
Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #
Storable Key #
Methods sizeOf :: Key -> Int # alignment :: Key -> Int # peekElemOff :: Ptr Key -> Int -> IO Key # pokeElemOff :: Ptr Key -> Int -> Key -> IO () # peekByteOff :: Ptr b -> Int -> IO Key # pokeByteOff :: Ptr b -> Int -> Key -> IO () # peek :: Ptr Key -> IO Key # poke :: Ptr Key -> Key -> IO () #

createKey #

Arguments

:: FunPtr (Ptr a -> IO ())	Finalizer
-> IO Key

Thread-specific data key creation.

createKey_ :: IO Key #

Like createKey, but with no finalizer.

deleteKey :: Key -> IO () #

Thread-specific data key deletion.

setSpecific :: Key -> Ptr a -> IO () #

Associate a thread-specific value with a key obtained via a previous call to createKey.

getSpecific :: Key -> IO (Ptr a) #

Return the value currently bound to the specified key on behalf of the calling thread.