Safe Haskell	None
Language	GHC2021

Ecluse.Composition.MemoryPlan.Internal

Description

The solver's working records, the vocabulary Ecluse.Composition.MemoryPlan passes between resolving the tenant demands, walking the shed ladder, and rendering the boot lines. Their constructors stay out of that module's public contract, so this is the only module exporting them, for its own cluster and for the specs that build a record directly. Importing it opts out of the public module's stability promise, as text does.

Synopsis

data PlanInputs = PlanInputs {
- piCache :: CacheSettings
- piLimits :: LimitsSettings
- piQueue :: QueueSettings
- piExplicitAdmission :: Maybe Int
- piPublishConfigured :: Bool
- piQueueDemand :: QueueTenantDemand
- piCapabilities :: Int
- piAllocAreaBytes :: Int
- piCpuAdmission :: Int
- piCpuAdmissionLine :: Text
- piCeilingClause :: Text
}
data TenantDemands = TenantDemands {
- tdCeiling :: Int
- tdReserve :: Int
- tdFixedBuffers :: Int
- tdPins :: OverridePins
- tdCacheDesired :: Int
- tdCacheEntriesExplicit :: Maybe Int
- tdResponseFinal :: Int
- tdAdmissionDesired :: Int
- tdPublishConfigured :: Bool
- tdPublishDesired :: Int
- tdRequestFinal :: Int
- tdRequestComputed :: Int
- tdDepthDesired :: Int
- tdMemoryBacked :: Bool
- tdMirrors :: Bool
- tdArtifactCapDesired :: Int
- tdMirrorChargeDesired :: Int
}
data OverridePins = OverridePins {
- opCache :: Maybe Int
- opAdmission :: Maybe Int
- opResponse :: Maybe Int
- opRequest :: Maybe Int
- opDepth :: Maybe Int
- opArtifact :: Maybe Int
}
data ShedOutcomes = ShedOutcomes {
- soMirrorShed :: Int
- soArtifactCapFinal :: Int
- soCacheShed :: Int
- soCacheFinal :: Int
- soAdmissionFinal :: Int
- soResponseFinal :: Int
- soPublishShed :: Int
- soPublishFinal :: Int
- soQueueShedBytes :: Int
- soDepthFinal :: Int
- soQueueTenantBytes :: Int
- soResidualOvershoot :: Int
}

Documentation

data PlanInputs Source #

Everything resolved before the plan knows whether a heap ceiling exists. The solved path and the fallback path both read it.

Constructors

PlanInputs
Fields piCache :: CacheSettings piLimits :: LimitsSettings piQueue :: QueueSettings piExplicitAdmission :: Maybe Int piPublishConfigured :: Bool piQueueDemand :: QueueTenantDemand piCapabilities :: Int piAllocAreaBytes :: Int piCpuAdmission :: Int piCpuAdmissionLine :: Text piCeilingClause :: Text

data TenantDemands Source #

Every tenant's demand before the shed ladder walks it, resolved from the ceiling: the byte charges, plus the counts, pins, and flags the ladder's steps read.

Constructors

TenantDemands

Fields

tdCeiling :: Int
tdReserve :: Int
tdFixedBuffers :: Int
tdPins :: OverridePins
tdCacheDesired :: Int
tdCacheEntriesExplicit :: Maybe Int
Cache entries, not bytes.
tdResponseFinal :: Int
tdAdmissionDesired :: Int
Concurrent serve operations, not bytes.
tdPublishConfigured :: Bool
tdPublishDesired :: Int
tdRequestFinal :: Int
tdRequestComputed :: Int
tdDepthDesired :: Int
Queued jobs, not bytes.
tdMemoryBacked :: Bool
tdMirrors :: Bool
tdArtifactCapDesired :: Int
tdMirrorChargeDesired :: Int

data OverridePins Source #

Explicit overrides, each pinned (Just) or substituted out (Nothing), in the plan's allocation order. A pinned bound never sheds and answers for its own overshoot.

Constructors

OverridePins
Fields opCache :: Maybe Int opAdmission :: Maybe Int opResponse :: Maybe Int opRequest :: Maybe Int opDepth :: Maybe Int opArtifact :: Maybe Int

Instances

Instances details

Show OverridePins Source #
Instance details Defined in Ecluse.Composition.MemoryPlan.Internal Methods showsPrec :: Int -> OverridePins -> ShowS # show :: OverridePins -> String # showList :: [OverridePins] -> ShowS #
Eq OverridePins Source #
Instance details Defined in Ecluse.Composition.MemoryPlan.Internal Methods (==) :: OverridePins -> OverridePins -> Bool # (/=) :: OverridePins -> OverridePins -> Bool #

data ShedOutcomes Source #

Every tenant's post-shed value plus the residual overshoot the ladder could not reclaim. The combined invariant is a pure function of this record.

Constructors

ShedOutcomes
Fields soMirrorShed :: Int soArtifactCapFinal :: Int soCacheShed :: Int soCacheFinal :: Int soAdmissionFinal :: Int soResponseFinal :: Int soPublishShed :: Int soPublishFinal :: Int soQueueShedBytes :: Int soDepthFinal :: Int soQueueTenantBytes :: Int soResidualOvershoot :: Int