| Copyright | (c) 2017--2018 Michael Walker |
|---|---|
| License | MIT |
| Maintainer | Michael Walker <mike@barrucadu.co.uk> |
| Stability | experimental |
| Portability | DeriveAnyClass, DeriveGeneric, GADTs |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.DejaFu.Internal
Description
Internal types and functions used throughout DejaFu. This module is NOT considered to form part of the public interface of this library.
- data Settings n a = Settings {}
- data Way where
- data IdSource = IdSource {}
- nextCRId :: String -> IdSource -> (IdSource, CRefId)
- nextMVId :: String -> IdSource -> (IdSource, MVarId)
- nextTVId :: String -> IdSource -> (IdSource, TVarId)
- nextTId :: String -> IdSource -> (IdSource, ThreadId)
- nextId :: String -> (Int, [String]) -> (Id, (Int, [String]))
- initialIdSource :: IdSource
- isBlock :: ThreadAction -> Bool
- tvarsOf :: ThreadAction -> Set TVarId
- tvarsWritten :: ThreadAction -> Set TVarId
- tvarsRead :: ThreadAction -> Set TVarId
- rewind :: ThreadAction -> Maybe Lookahead
- willRelease :: Lookahead -> Bool
- data ActionType
- isBarrier :: ActionType -> Bool
- isCommit :: ActionType -> CRefId -> Bool
- synchronises :: ActionType -> CRefId -> Bool
- crefOf :: ActionType -> Maybe CRefId
- mvarOf :: ActionType -> Maybe MVarId
- tidsOf :: ThreadAction -> Set ThreadId
- simplifyAction :: ThreadAction -> ActionType
- simplifyLookahead :: Lookahead -> ActionType
- etail :: String -> [a] -> [a]
- eidx :: String -> [a] -> Int -> a
- efromJust :: String -> Maybe a -> a
- efromList :: String -> [a] -> NonEmpty a
- eadjust :: (Ord k, Show k) => String -> (v -> v) -> k -> Map k v -> Map k v
- einsert :: (Ord k, Show k) => String -> k -> v -> Map k v -> Map k v
- elookup :: (Ord k, Show k) => String -> k -> Map k v -> v
- fatal :: String -> String -> a
- runRefCont :: MonadRef r n => (n () -> x) -> (a -> Maybe b) -> ((a -> x) -> x) -> n (x, r (Maybe b))
SCT settings
SCT configuration record.
Since: 1.2.0.0
Constructors
| Settings | |
How to explore the possible executions of a concurrent program.
Since: 0.7.0.0
Identifiers
The number of ID parameters was getting a bit unwieldy, so this hides them all away.
Constructors
| IdSource | |
The initial ID source.
Actions
isBlock :: ThreadAction -> Bool #
Check if a ThreadAction immediately blocks.
tvarsOf :: ThreadAction -> Set TVarId #
Get the TVars affected by a ThreadAction.
tvarsWritten :: ThreadAction -> Set TVarId #
Get the TVars a transaction wrote to (or would have, if it
didn't retry).
tvarsRead :: ThreadAction -> Set TVarId #
Get the TVars a transaction read from.
rewind :: ThreadAction -> Maybe Lookahead #
Convert a ThreadAction into a Lookahead: "rewind" what has
happened. Killed has no Lookahead counterpart.
willRelease :: Lookahead -> Bool #
Check if an operation could enable another thread.
Simplified actions
data ActionType #
A simplified view of the possible actions a thread can perform.
Constructors
| UnsynchronisedRead CRefId | A |
| UnsynchronisedWrite CRefId | A |
| UnsynchronisedOther | Some other action which doesn't require cross-thread communication. |
| PartiallySynchronisedCommit CRefId | A commit. |
| PartiallySynchronisedWrite CRefId | A |
| PartiallySynchronisedModify CRefId | A |
| SynchronisedModify CRefId | An |
| SynchronisedRead MVarId | A |
| SynchronisedWrite MVarId | A |
| SynchronisedOther | Some other action which does require cross-thread communication. |
Instances
isBarrier :: ActionType -> Bool #
Check if an action imposes a write barrier.
isCommit :: ActionType -> CRefId -> Bool #
Check if an action commits a given CRef.
synchronises :: ActionType -> CRefId -> Bool #
Check if an action synchronises a given CRef.
crefOf :: ActionType -> Maybe CRefId #
Get the CRef affected.
mvarOf :: ActionType -> Maybe MVarId #
Get the MVar affected.
tidsOf :: ThreadAction -> Set ThreadId #
Get the ThreadIds involved in a ThreadAction.
simplifyAction :: ThreadAction -> ActionType #
Throw away information from a ThreadAction and give a
simplified view of what is happening.
This is used in the SCT code to help determine interesting alternative scheduling decisions.
simplifyLookahead :: Lookahead -> ActionType #
Variant of simplifyAction that takes a Lookahead.
Error reporting
etail :: String -> [a] -> [a] #
tail but with a better error message if it fails. Use this
only where it shouldn't fail!
eidx :: String -> [a] -> Int -> a #
'(!!)' but with a better error message if it fails. Use this only where it shouldn't fail!
efromJust :: String -> Maybe a -> a #
fromJust but with a better error message if it fails. Use this
only where it shouldn't fail!
efromList :: String -> [a] -> NonEmpty a #
fromList but with a better error message if it fails. Use this
only where it shouldn't fail!
eadjust :: (Ord k, Show k) => String -> (v -> v) -> k -> Map k v -> Map k v #
adjust but which errors if the key is not present. Use this
only where it shouldn't fail!
einsert :: (Ord k, Show k) => String -> k -> v -> Map k v -> Map k v #
insert but which errors if the key is already present. Use
this only where it shouldn't fail!
elookup :: (Ord k, Show k) => String -> k -> Map k v -> v #
lookup but which errors if the key is not present. Use this
only where it shouldn't fail!
Miscellaneous
runRefCont :: MonadRef r n => (n () -> x) -> (a -> Maybe b) -> ((a -> x) -> x) -> n (x, r (Maybe b)) #
Run with a continuation that writes its value into a reference, returning the computation and the reference. Using the reference is non-blocking, it is up to you to ensure you wait sufficiently.