Control.Concurrent.RCU.QSBR.Internal

QSBR-based RCU

Documentation

newtype SRef s a

Shared references

Constructors

SRef

Fields

unSRef :: IORef a

Instances

MonadRCU (SRef s) (RCU s)

MonadWriting (SRef s) (WritingRCU s)

MonadReading (SRef s) (WritingRCU s)

MonadReading (SRef s) (ReadingRCU s)

MonadNew (SRef s) (RCU s)

MonadNew (SRef s) (WritingRCU s)

MonadNew (SRef s) (ReadingRCU s)

Eq (SRef s a)

data RCUThread s a

This is a basic RCU thread. It may be embellished when running in a more exotic context.

Constructors

RCUThread

Fields

rcuThreadId :: !ThreadId

rcuThreadVar :: !(MVar a)

newtype RCU s a

This is an RCU computation. It can use forking and joining to form new threads, and then you can use reading and writing to run classic read-side and write-side RCU computations. Writers are serialized using an MVar, readers are able to proceed while writers are updating.

Constructors

RCU

Fields

unRCU :: RCUState -> IO a

Instances

Monad (RCU s)

Functor (RCU s)

Applicative (RCU s)

MonadIO (RCU s)

MonadRCU (SRef s) (RCU s)

MonadNew (SRef s) (RCU s)

type Reading (RCU s) = ReadingRCU s

type Writing (RCU s) = WritingRCU s

type Thread (RCU s) = RCUThread s

runRCU :: (forall s. RCU s a) -> IO a

Run an RCU computation.

newtype ReadingRCU s a

This is the basic read-side critical section for an RCU computation

Constructors

ReadingRCU

Fields

runReadingRCU :: RCUState -> IO a

Instances

Monad (ReadingRCU s)

Functor (ReadingRCU s)

Applicative (ReadingRCU s)

Alternative (ReadingRCU s)

MonadPlus (ReadingRCU s)

MonadReading (SRef s) (ReadingRCU s)

MonadNew (SRef s) (ReadingRCU s)

newtype WritingRCU s a

This is the basic write-side critical section for an RCU computation

Constructors

WritingRCU

Fields

runWritingRCU :: RCUState -> IO a

Instances

Monad (WritingRCU s)

Functor (WritingRCU s)

Applicative (WritingRCU s)

Alternative (WritingRCU s)

MonadPlus (WritingRCU s)

MonadWriting (SRef s) (WritingRCU s)

MonadReading (SRef s) (WritingRCU s)

MonadNew (SRef s) (WritingRCU s)

data RCUState

State for an RCU computation.

Constructors

RCUState

Fields

rcuStateGlobalCounter :: !Counter

rcuStateMyCounter :: !Counter

rcuStateThreadCountersV :: !(MVar [Counter])

rcuStateWriterLockV :: !(MVar ())