| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Unison.Runtime.Machine.Types
Synopsis
- type Tick = CombIx -> K -> IO ()
- type Tag = Word64
- type ActiveThreads = Maybe (IORef (Set ThreadId))
- data CCache prof = CCache {
- sandboxed :: Bool
- tracer :: Bool -> Val -> Tracer
- profiler :: !prof
- srcCombs :: TVar (EnumMap Word64 Combs)
- combs :: TVar (EnumMap Word64 MCombs)
- combRefs :: TVar (EnumMap Word64 Reference)
- baseNums :: TVar (EnumMap Word64 Word64)
- cacheableCombs :: TVar (EnumSet Word64)
- optInfos :: TVar (OptInfos Reference Symbol)
- freshTm :: TVar Word64
- freshRecSchema :: TVar Word64
- intermed :: TVar (Map Reference (SuperGroup Reference Symbol))
- refTm :: TVar (Map Reference Word64)
- recordRefs :: TVar (BiMap RecordSchema RecordRef)
- sandbox :: TVar (Map Reference (Set Reference))
- recordFieldMappings :: TVar RecordFieldMappings
- nativeCells :: TVar NativeCellPool
- jit :: !JIT
- type Combs = GCombs Void CombIx
- data Tracer
- baseCCache :: JIT -> Bool -> IO (CCache ())
- initialNativeCells :: Int
- refLookup :: String -> Map Reference Word64 -> Reference -> Word64
- refNumTm :: CCache prof -> Reference -> IO Word64
- refNumsTm :: CCache prof -> IO (Map Reference Word64)
- refNumsTy :: CCache prof -> IO (Map Reference Word64)
- recordRefLookup :: BiMap RecordSchema RecordRef -> RecordSchema -> RecordRef
- class RuntimeProfiler prof where
- data Ticker prof
- startTicker :: prof -> IO (Ticker prof, IO ())
- checkTicker :: Ticker prof -> CombIx -> K -> IO ()
- data family Ticker prof
- tickCallback :: Int -> (Bool -> Tick) -> IORef (Maybe Tick) -> IORef Bool -> IO ()
- lookupCode :: CCache prof -> Referent -> IO (Maybe (Referenced Code))
- resolveCode :: Reference -> Map Reference (SuperGroup Reference Symbol) -> Map Reference Word64 -> EnumSet Word64 -> Maybe (Code Reference)
- canonicalizeCodeRefs :: Code Reference -> IO (Referenced Code)
- cacheability :: Map Reference Word64 -> EnumSet Word64 -> Reference -> Cacheability
- checkSandboxing :: CCache prof -> [Reference] -> Closure -> IO Bool
- checkValueSandboxing :: CCache prof -> [Reference] -> Value Reference -> IO (Either [Referent] [Referent])
- codeValidate :: CCache prof -> [(Reference, SuperGroup Reference Symbol)] -> IO (Maybe (Failure Text))
- type MCombs = RCombs Val
- type MSection = RSection Val
- type MBranch = RBranch Val
- type MInstr = RInstr Val
- type MComb = RComb Val
- type MRef = RRef Val
Documentation
type ActiveThreads = Maybe (IORef (Set ThreadId)) Source #
A ref storing every currently active thread. This is helpful for cleaning up orphaned threads when the main process completes.
We track threads when running in a host process like UCM,
otherwise, in one-off environments Nothing is used and we don't bother tracking forked threads since they'll be
cleaned up automatically on process termination.
Constructors
| CCache | |
Fields
| |
initialNativeCells :: Int Source #
How many native code cells a fresh cache starts with. Each is 16 bytes.
refNumsTy :: CCache prof -> IO (Map Reference Word64) Source #
The process-wide type numbering (Unison.Runtime.TypeNumbers).
class RuntimeProfiler prof where Source #
Instances
| RuntimeProfiler ProfileComm Source # | |||||
Defined in Unison.Runtime.Machine.Types Associated Types
Methods startTicker :: ProfileComm -> IO (Ticker ProfileComm, IO ()) Source # checkTicker :: Ticker ProfileComm -> CombIx -> K -> IO () Source # | |||||
| RuntimeProfiler () Source # | |||||
Defined in Unison.Runtime.Machine.Types Associated Types
| |||||
data family Ticker prof Source #
Instances
| newtype Ticker ProfileComm Source # | |
Defined in Unison.Runtime.Machine.Types | |
| data Ticker () Source # | |
Defined in Unison.Runtime.Machine.Types | |
lookupCode :: CCache prof -> Referent -> IO (Maybe (Referenced Code)) Source #
resolveCode :: Reference -> Map Reference (SuperGroup Reference Symbol) -> Map Reference Word64 -> EnumSet Word64 -> Maybe (Code Reference) Source #
canonicalizeCodeRefs :: Code Reference -> IO (Referenced Code) Source #
cacheability :: Map Reference Word64 -> EnumSet Word64 -> Reference -> Cacheability Source #
checkValueSandboxing :: CCache prof -> [Reference] -> Value Reference -> IO (Either [Referent] [Referent]) Source #
codeValidate :: CCache prof -> [(Reference, SuperGroup Reference Symbol)] -> IO (Maybe (Failure Text)) Source #