System.Posix.Thread

Bindings to the POSIX threads library.

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 DetachState CSize InheritSched SchedParam SchedPolicy Scope (Ptr ()) 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 (First DetachState) (First CSize) (First InheritSched) (First SchedParam) (First SchedPolicy) (First Scope) (First (Ptr ())) (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.