| Copyright | (C) 2014 I/O Tweag |
|---|---|
| License | see libraries/base/LICENSE |
| Maintainer | [email protected] |
| Stability | internal |
| Portability | non-portable (GHC Extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
GHC.StaticPtr
Description
Symbolic references to values.
References to values are usually implemented with memory addresses, and this is practical when communicating values between the different pieces of a single process.
When values are communicated across different processes running in possibly different machines, though, addresses are no longer useful since each process may use different addresses to store a given value.
To solve such concern, the references provided by this module offer a key that can be used to locate the values on each process. Each process maintains a global table of references which can be looked up with a given key. This table is known as the Static Pointer Table. The reference can then be dereferenced to obtain the value.
- data StaticPtr a
- deRefStaticPtr :: StaticPtr a -> a
- type StaticKey = Fingerprint
- staticKey :: StaticPtr a -> StaticKey
- unsafeLookupStaticPtr :: StaticKey -> IO (Maybe (StaticPtr a))
- data StaticPtrInfo = StaticPtrInfo {
- spInfoUnitId :: String
- spInfoModuleName :: String
- spInfoSrcLoc :: (Int, Int)
- staticPtrInfo :: StaticPtr a -> StaticPtrInfo
- staticPtrKeys :: IO [StaticKey]
- class IsStatic p where
Documentation
A reference to a value of type a.
deRefStaticPtr :: StaticPtr a -> a Source #
Dereferences a static pointer.
type StaticKey = Fingerprint Source #
A key for StaticPtrs that can be serialized and used with
unsafeLookupStaticPtr.
data StaticPtrInfo Source #
Miscelaneous information available for debugging purposes.
Constructors
| StaticPtrInfo | |
Fields
| |
Instances
staticPtrInfo :: StaticPtr a -> StaticPtrInfo Source #
StaticPtrInfo of the given StaticPtr.
staticPtrKeys :: IO [StaticKey] Source #
A list of all known keys.