CheckpointTraceScenario
Reliability scenarios · Implementation: mlsysim/engine/scenario_definitions/reliability.py.
Construct this scenario with keyword inputs. The fields below show the types and defaults declared by this class.
Checkpoint strides priced on turns turns that crash after the turns in crashes.
Notes
Equation: The result property composes mlsysim.solvers.CheckpointTraceModel.solve with the stored fields and any derived properties described below.
Assumptions: Inputs use the units and validity ranges of mlsysim.solvers.CheckpointTraceModel.solve. The named scenario supplies a fixed configuration rather than observations of a new run.
Excludes: Additional runtime effects or statistical guarantees beyond the cited solver contracts; no measurement is performed by this wrapper.
References
Derivation: The result property composes mlsysim.solvers.CheckpointTraceModel.solve with the stored fields and any derived properties described below. Individual property contracts identify the exact accounting expression or reusable calculation. Registry entries supply the scenario inputs; this class does not turn them into measured outcomes.
Examples
Evaluate a named scenario using its declared inputs.
>>> from mlsysim import Scenarios
>>> scenario = Scenarios.TwoCrashCheckpointTrace
>>> round(float(scenario.result.checkpoints[10]), 4)
10.0Attributes
| Name | Description |
|---|---|
| crashes | |
| pause | |
| rebuild_per_turn | |
| reexecute_per_turn | |
| restore | |
| result | Return the modeled CheckpointTrace result from |
| strides | |
| turns |
Methods
| Name | Description |
|---|---|
| stride_overhead | Dimensionless checkpoint overhead from calc_stride_overhead using the observed |
stride_overhead
engine.scenario_types.CheckpointTraceScenario.stride_overhead(
stride,
lost_turn_cost,
)Dimensionless checkpoint overhead from calc_stride_overhead using the observed crashes-per-turn frequency.
Expected overhead per turn at stride on this trace’s crash rate (seconds).
Equation: calc_stride_overhead(pause, stride, len(crashes) / turns, lost_turn_cost).
turns
Type: int.
Declared default: required.
crashes
Type: List[int].
Declared default: required.
strides
Type: List[int].
Declared default: required.
pause
Type: Quantity.
Declared default: required.
restore
Type: Quantity.
Declared default: required.
rebuild_per_turn
Type: Quantity.
Declared default: required.
reexecute_per_turn
Type: Quantity.
Declared default: required.
result
engine.scenario_types.CheckpointTraceScenario.result
Return the modeled CheckpointTrace result from mlsysim.solvers.CheckpointTraceModel.solve.
Equation: the scenario supplies its named fields to that solver. Returned quantity units, validity conditions, and omissions follow its calculation contract; this property adds no empirical calibration.