Part 4Math for LLMs

Model Serving and Inference Optimization: Part 4 - Inference Optimization

Production ML and MLOps / Model Serving and Inference Optimization

Private notes
0/8000

Notes stay private to your browser until account sync is configured.

Part 4
19 min read6 headingsSplit lesson page

Lesson overview | Previous part | Next part

Model Serving and Inference Optimization: Part 4: Inference Optimization

4. Inference Optimization

Inference Optimization develops the part of model serving and inference optimization assigned by the approved Chapter 19 table of contents. The treatment is production-focused: every idea is connected to a versioned artifact, measurable signal, release decision, or incident response.

4.1 batching

Batching is part of the canonical scope of Model Serving and Inference Optimization. In production ML, the useful question is not only whether the model can be trained, but whether the surrounding artifact, signal, or control can be named, versioned, measured, and recovered after a failure.

For this section, the working object is serving architectures, inference optimization, queueing, capacity planning, deployment safety, and LLM serving economics. The notation below treats production systems as mathematical objects because that is how incidents become diagnosable. A dataset, feature, run, trace, or endpoint that lacks a stable identifier cannot be compared across time.

cost(y)=cinnin+coutnout+cgpuT.\operatorname{cost}(y) = c_{\mathrm{in}}n_{\mathrm{in}} + c_{\mathrm{out}}n_{\mathrm{out}} + c_{\mathrm{gpu}}T.

The formula is intentionally simple. It says that batching should be reduced to a measurable object before anyone argues about dashboards or tools. Once the object is measurable, the system can decide whether to accept, warn, rollback, retrain, or escalate.

Production objectMathematical roleOperational consequence
IdentifierA stable key in a set or graphLets teams join logs, artifacts, and incidents
VersionA time-indexed element such as vtv_tMakes old and new behavior comparable
MetricA function m:XRm: \mathcal{X} \to \mathbb{R}Turns behavior into a release or alert signal
ContractA predicate C()C(\cdot)Rejects invalid inputs before the model absorbs them
OwnerA decision variable outside the modelPrevents silent failure after detection

Examples of batching in a real system:

  1. A production pipeline records the input version, transformation code hash, model version, and endpoint version before serving predictions.
  2. An LLM application logs prompt version, retrieval index version, tool span, latency, token count, and guardrail action for each trace.
  3. A release gate compares the candidate model against the current model on quality, safety, latency, and cost before promotion.

Non-examples that often look similar but fail the production contract:

  1. A manually named file like final_dataset.csv with no hash, schema, lineage, or owner.
  2. A metric screenshot pasted into chat without the run id, evaluation dataset, seed, or model artifact.
  3. A dashboard alert with no threshold rationale, no escalation rule, and no rollback candidate.

The AI connection is concrete. Modern ML and LLM systems are compound systems: data pipelines, feature stores, model registries, inference servers, retrievers, tools, evaluators, and safety layers. Batching is one place where the compound system either becomes observable or becomes technical debt.

Operational checklist for batching:

  • State the artifact or signal being controlled.
  • Give it a stable id and version.
  • Define the metric or predicate that decides whether it is valid.
  • Log the dependency chain needed to reproduce it.
  • Attach an owner and a response action.
  • Test the check in continuous integration or release gating.

A useful mental model is to treat every production ML component as a function with preconditions and postconditions. If uu is the upstream artifact and zz is the downstream artifact, the production question is whether the relation uzu \mapsto z can be replayed and audited.

z=T(u;c,e),z = T(u; c, e),

where TT is the transformation, cc is code or configuration, and ee is the execution environment. The hidden technical debt appears when any of uu, cc, or ee is missing from the record.

In notebooks, this subsection will be represented with small synthetic arrays, graphs, traces, or counters rather than external services. The point is not to mimic a vendor tool. The point is to make the mathematics of batching executable enough to test.

Boundary note: this chapter assumes the evaluation methods from Chapter 17, the safety policy ideas from Chapter 18, and the data documentation work from Chapter 16. Here we focus on the production machinery that makes those ideas run repeatedly.

Failure analysis for batching should be written before the incident occurs. A good production note asks what can be stale, missing, corrupted, delayed, unaudited, or too expensive. Each answer should correspond to one observable signal and one response action.

Failure questionProduction testResponse
Is the artifact stale?Compare event time to freshness limitWarn, block, or backfill
Is the artifact malformed?Evaluate schema and semantic contractReject before serving or training
Is the artifact inconsistent?Compare current statistic with reference statisticInvestigate drift or skew
Is the artifact unauditable?Check for missing version, owner, or lineage edgeStop promotion until metadata exists
Is the artifact too costly?Track latency, tokens, storage, or computeRoute, cache, batch, or downscale

The production design pattern is therefore not just to calculate a value. It is to calculate a value, compare it with a declared rule, log the evidence, and make the next action unambiguous. That four-step pattern will reappear across all Chapter 19 notebooks.

4.2 caching

Caching is part of the canonical scope of Model Serving and Inference Optimization. In production ML, the useful question is not only whether the model can be trained, but whether the surrounding artifact, signal, or control can be named, versioned, measured, and recovered after a failure.

For this section, the working object is serving architectures, inference optimization, queueing, capacity planning, deployment safety, and LLM serving economics. The notation below treats production systems as mathematical objects because that is how incidents become diagnosable. A dataset, feature, run, trace, or endpoint that lacks a stable identifier cannot be compared across time.

ρ=λμ,0ρ<1.\rho = \frac{\lambda}{\mu}, \qquad 0 \le \rho < 1.

The formula is intentionally simple. It says that caching should be reduced to a measurable object before anyone argues about dashboards or tools. Once the object is measurable, the system can decide whether to accept, warn, rollback, retrain, or escalate.

Production objectMathematical roleOperational consequence
IdentifierA stable key in a set or graphLets teams join logs, artifacts, and incidents
VersionA time-indexed element such as vtv_tMakes old and new behavior comparable
MetricA function m:XRm: \mathcal{X} \to \mathbb{R}Turns behavior into a release or alert signal
ContractA predicate C()C(\cdot)Rejects invalid inputs before the model absorbs them
OwnerA decision variable outside the modelPrevents silent failure after detection

Examples of caching in a real system:

  1. A production pipeline records the input version, transformation code hash, model version, and endpoint version before serving predictions.
  2. An LLM application logs prompt version, retrieval index version, tool span, latency, token count, and guardrail action for each trace.
  3. A release gate compares the candidate model against the current model on quality, safety, latency, and cost before promotion.

Non-examples that often look similar but fail the production contract:

  1. A manually named file like final_dataset.csv with no hash, schema, lineage, or owner.
  2. A metric screenshot pasted into chat without the run id, evaluation dataset, seed, or model artifact.
  3. A dashboard alert with no threshold rationale, no escalation rule, and no rollback candidate.

The AI connection is concrete. Modern ML and LLM systems are compound systems: data pipelines, feature stores, model registries, inference servers, retrievers, tools, evaluators, and safety layers. Caching is one place where the compound system either becomes observable or becomes technical debt.

Operational checklist for caching:

  • State the artifact or signal being controlled.
  • Give it a stable id and version.
  • Define the metric or predicate that decides whether it is valid.
  • Log the dependency chain needed to reproduce it.
  • Attach an owner and a response action.
  • Test the check in continuous integration or release gating.

A useful mental model is to treat every production ML component as a function with preconditions and postconditions. If uu is the upstream artifact and zz is the downstream artifact, the production question is whether the relation uzu \mapsto z can be replayed and audited.

z=T(u;c,e),z = T(u; c, e),

where TT is the transformation, cc is code or configuration, and ee is the execution environment. The hidden technical debt appears when any of uu, cc, or ee is missing from the record.

In notebooks, this subsection will be represented with small synthetic arrays, graphs, traces, or counters rather than external services. The point is not to mimic a vendor tool. The point is to make the mathematics of caching executable enough to test.

Boundary note: this chapter assumes the evaluation methods from Chapter 17, the safety policy ideas from Chapter 18, and the data documentation work from Chapter 16. Here we focus on the production machinery that makes those ideas run repeatedly.

Failure analysis for caching should be written before the incident occurs. A good production note asks what can be stale, missing, corrupted, delayed, unaudited, or too expensive. Each answer should correspond to one observable signal and one response action.

Failure questionProduction testResponse
Is the artifact stale?Compare event time to freshness limitWarn, block, or backfill
Is the artifact malformed?Evaluate schema and semantic contractReject before serving or training
Is the artifact inconsistent?Compare current statistic with reference statisticInvestigate drift or skew
Is the artifact unauditable?Check for missing version, owner, or lineage edgeStop promotion until metadata exists
Is the artifact too costly?Track latency, tokens, storage, or computeRoute, cache, batch, or downscale

The production design pattern is therefore not just to calculate a value. It is to calculate a value, compare it with a declared rule, log the evidence, and make the next action unambiguous. That four-step pattern will reappear across all Chapter 19 notebooks.

4.3 quantization preview

Quantization preview is part of the canonical scope of Model Serving and Inference Optimization. In production ML, the useful question is not only whether the model can be trained, but whether the surrounding artifact, signal, or control can be named, versioned, measured, and recovered after a failure.

For this section, the working object is serving architectures, inference optimization, queueing, capacity planning, deployment safety, and LLM serving economics. The notation below treats production systems as mathematical objects because that is how incidents become diagnosable. A dataset, feature, run, trace, or endpoint that lacks a stable identifier cannot be compared across time.

L=λW.L = \lambda W.

The formula is intentionally simple. It says that quantization preview should be reduced to a measurable object before anyone argues about dashboards or tools. Once the object is measurable, the system can decide whether to accept, warn, rollback, retrain, or escalate.

Production objectMathematical roleOperational consequence
IdentifierA stable key in a set or graphLets teams join logs, artifacts, and incidents
VersionA time-indexed element such as vtv_tMakes old and new behavior comparable
MetricA function m:XRm: \mathcal{X} \to \mathbb{R}Turns behavior into a release or alert signal
ContractA predicate C()C(\cdot)Rejects invalid inputs before the model absorbs them
OwnerA decision variable outside the modelPrevents silent failure after detection

Examples of quantization preview in a real system:

  1. A production pipeline records the input version, transformation code hash, model version, and endpoint version before serving predictions.
  2. An LLM application logs prompt version, retrieval index version, tool span, latency, token count, and guardrail action for each trace.
  3. A release gate compares the candidate model against the current model on quality, safety, latency, and cost before promotion.

Non-examples that often look similar but fail the production contract:

  1. A manually named file like final_dataset.csv with no hash, schema, lineage, or owner.
  2. A metric screenshot pasted into chat without the run id, evaluation dataset, seed, or model artifact.
  3. A dashboard alert with no threshold rationale, no escalation rule, and no rollback candidate.

The AI connection is concrete. Modern ML and LLM systems are compound systems: data pipelines, feature stores, model registries, inference servers, retrievers, tools, evaluators, and safety layers. Quantization preview is one place where the compound system either becomes observable or becomes technical debt.

Operational checklist for quantization preview:

  • State the artifact or signal being controlled.
  • Give it a stable id and version.
  • Define the metric or predicate that decides whether it is valid.
  • Log the dependency chain needed to reproduce it.
  • Attach an owner and a response action.
  • Test the check in continuous integration or release gating.

A useful mental model is to treat every production ML component as a function with preconditions and postconditions. If uu is the upstream artifact and zz is the downstream artifact, the production question is whether the relation uzu \mapsto z can be replayed and audited.

z=T(u;c,e),z = T(u; c, e),

where TT is the transformation, cc is code or configuration, and ee is the execution environment. The hidden technical debt appears when any of uu, cc, or ee is missing from the record.

In notebooks, this subsection will be represented with small synthetic arrays, graphs, traces, or counters rather than external services. The point is not to mimic a vendor tool. The point is to make the mathematics of quantization preview executable enough to test.

Boundary note: this chapter assumes the evaluation methods from Chapter 17, the safety policy ideas from Chapter 18, and the data documentation work from Chapter 16. Here we focus on the production machinery that makes those ideas run repeatedly.

Failure analysis for quantization preview should be written before the incident occurs. A good production note asks what can be stale, missing, corrupted, delayed, unaudited, or too expensive. Each answer should correspond to one observable signal and one response action.

Failure questionProduction testResponse
Is the artifact stale?Compare event time to freshness limitWarn, block, or backfill
Is the artifact malformed?Evaluate schema and semantic contractReject before serving or training
Is the artifact inconsistent?Compare current statistic with reference statisticInvestigate drift or skew
Is the artifact unauditable?Check for missing version, owner, or lineage edgeStop promotion until metadata exists
Is the artifact too costly?Track latency, tokens, storage, or computeRoute, cache, batch, or downscale

The production design pattern is therefore not just to calculate a value. It is to calculate a value, compare it with a declared rule, log the evidence, and make the next action unambiguous. That four-step pattern will reappear across all Chapter 19 notebooks.

4.4 distillation preview

Distillation preview is part of the canonical scope of Model Serving and Inference Optimization. In production ML, the useful question is not only whether the model can be trained, but whether the surrounding artifact, signal, or control can be named, versioned, measured, and recovered after a failure.

For this section, the working object is serving architectures, inference optimization, queueing, capacity planning, deployment safety, and LLM serving economics. The notation below treats production systems as mathematical objects because that is how incidents become diagnosable. A dataset, feature, run, trace, or endpoint that lacks a stable identifier cannot be compared across time.

p95=inf{t:FT(t)0.95}.p95 = \inf\{t : F_T(t) \ge 0.95\}.

The formula is intentionally simple. It says that distillation preview should be reduced to a measurable object before anyone argues about dashboards or tools. Once the object is measurable, the system can decide whether to accept, warn, rollback, retrain, or escalate.

Production objectMathematical roleOperational consequence
IdentifierA stable key in a set or graphLets teams join logs, artifacts, and incidents
VersionA time-indexed element such as vtv_tMakes old and new behavior comparable
MetricA function m:XRm: \mathcal{X} \to \mathbb{R}Turns behavior into a release or alert signal
ContractA predicate C()C(\cdot)Rejects invalid inputs before the model absorbs them
OwnerA decision variable outside the modelPrevents silent failure after detection

Examples of distillation preview in a real system:

  1. A production pipeline records the input version, transformation code hash, model version, and endpoint version before serving predictions.
  2. An LLM application logs prompt version, retrieval index version, tool span, latency, token count, and guardrail action for each trace.
  3. A release gate compares the candidate model against the current model on quality, safety, latency, and cost before promotion.

Non-examples that often look similar but fail the production contract:

  1. A manually named file like final_dataset.csv with no hash, schema, lineage, or owner.
  2. A metric screenshot pasted into chat without the run id, evaluation dataset, seed, or model artifact.
  3. A dashboard alert with no threshold rationale, no escalation rule, and no rollback candidate.

The AI connection is concrete. Modern ML and LLM systems are compound systems: data pipelines, feature stores, model registries, inference servers, retrievers, tools, evaluators, and safety layers. Distillation preview is one place where the compound system either becomes observable or becomes technical debt.

Operational checklist for distillation preview:

  • State the artifact or signal being controlled.
  • Give it a stable id and version.
  • Define the metric or predicate that decides whether it is valid.
  • Log the dependency chain needed to reproduce it.
  • Attach an owner and a response action.
  • Test the check in continuous integration or release gating.

A useful mental model is to treat every production ML component as a function with preconditions and postconditions. If uu is the upstream artifact and zz is the downstream artifact, the production question is whether the relation uzu \mapsto z can be replayed and audited.

z=T(u;c,e),z = T(u; c, e),

where TT is the transformation, cc is code or configuration, and ee is the execution environment. The hidden technical debt appears when any of uu, cc, or ee is missing from the record.

In notebooks, this subsection will be represented with small synthetic arrays, graphs, traces, or counters rather than external services. The point is not to mimic a vendor tool. The point is to make the mathematics of distillation preview executable enough to test.

Boundary note: this chapter assumes the evaluation methods from Chapter 17, the safety policy ideas from Chapter 18, and the data documentation work from Chapter 16. Here we focus on the production machinery that makes those ideas run repeatedly.

Failure analysis for distillation preview should be written before the incident occurs. A good production note asks what can be stale, missing, corrupted, delayed, unaudited, or too expensive. Each answer should correspond to one observable signal and one response action.

Failure questionProduction testResponse
Is the artifact stale?Compare event time to freshness limitWarn, block, or backfill
Is the artifact malformed?Evaluate schema and semantic contractReject before serving or training
Is the artifact inconsistent?Compare current statistic with reference statisticInvestigate drift or skew
Is the artifact unauditable?Check for missing version, owner, or lineage edgeStop promotion until metadata exists
Is the artifact too costly?Track latency, tokens, storage, or computeRoute, cache, batch, or downscale

The production design pattern is therefore not just to calculate a value. It is to calculate a value, compare it with a declared rule, log the evidence, and make the next action unambiguous. That four-step pattern will reappear across all Chapter 19 notebooks.

4.5 hardware-aware scheduling

Hardware-aware scheduling is part of the canonical scope of Model Serving and Inference Optimization. In production ML, the useful question is not only whether the model can be trained, but whether the surrounding artifact, signal, or control can be named, versioned, measured, and recovered after a failure.

For this section, the working object is serving architectures, inference optimization, queueing, capacity planning, deployment safety, and LLM serving economics. The notation below treats production systems as mathematical objects because that is how incidents become diagnosable. A dataset, feature, run, trace, or endpoint that lacks a stable identifier cannot be compared across time.

cost(y)=cinnin+coutnout+cgpuT.\operatorname{cost}(y) = c_{\mathrm{in}}n_{\mathrm{in}} + c_{\mathrm{out}}n_{\mathrm{out}} + c_{\mathrm{gpu}}T.

The formula is intentionally simple. It says that hardware-aware scheduling should be reduced to a measurable object before anyone argues about dashboards or tools. Once the object is measurable, the system can decide whether to accept, warn, rollback, retrain, or escalate.

Production objectMathematical roleOperational consequence
IdentifierA stable key in a set or graphLets teams join logs, artifacts, and incidents
VersionA time-indexed element such as vtv_tMakes old and new behavior comparable
MetricA function m:XRm: \mathcal{X} \to \mathbb{R}Turns behavior into a release or alert signal
ContractA predicate C()C(\cdot)Rejects invalid inputs before the model absorbs them
OwnerA decision variable outside the modelPrevents silent failure after detection

Examples of hardware-aware scheduling in a real system:

  1. A production pipeline records the input version, transformation code hash, model version, and endpoint version before serving predictions.
  2. An LLM application logs prompt version, retrieval index version, tool span, latency, token count, and guardrail action for each trace.
  3. A release gate compares the candidate model against the current model on quality, safety, latency, and cost before promotion.

Non-examples that often look similar but fail the production contract:

  1. A manually named file like final_dataset.csv with no hash, schema, lineage, or owner.
  2. A metric screenshot pasted into chat without the run id, evaluation dataset, seed, or model artifact.
  3. A dashboard alert with no threshold rationale, no escalation rule, and no rollback candidate.

The AI connection is concrete. Modern ML and LLM systems are compound systems: data pipelines, feature stores, model registries, inference servers, retrievers, tools, evaluators, and safety layers. Hardware-aware scheduling is one place where the compound system either becomes observable or becomes technical debt.

Operational checklist for hardware-aware scheduling:

  • State the artifact or signal being controlled.
  • Give it a stable id and version.
  • Define the metric or predicate that decides whether it is valid.
  • Log the dependency chain needed to reproduce it.
  • Attach an owner and a response action.
  • Test the check in continuous integration or release gating.

A useful mental model is to treat every production ML component as a function with preconditions and postconditions. If uu is the upstream artifact and zz is the downstream artifact, the production question is whether the relation uzu \mapsto z can be replayed and audited.

z=T(u;c,e),z = T(u; c, e),

where TT is the transformation, cc is code or configuration, and ee is the execution environment. The hidden technical debt appears when any of uu, cc, or ee is missing from the record.

In notebooks, this subsection will be represented with small synthetic arrays, graphs, traces, or counters rather than external services. The point is not to mimic a vendor tool. The point is to make the mathematics of hardware-aware scheduling executable enough to test.

Boundary note: this chapter assumes the evaluation methods from Chapter 17, the safety policy ideas from Chapter 18, and the data documentation work from Chapter 16. Here we focus on the production machinery that makes those ideas run repeatedly.

Failure analysis for hardware-aware scheduling should be written before the incident occurs. A good production note asks what can be stale, missing, corrupted, delayed, unaudited, or too expensive. Each answer should correspond to one observable signal and one response action.

Failure questionProduction testResponse
Is the artifact stale?Compare event time to freshness limitWarn, block, or backfill
Is the artifact malformed?Evaluate schema and semantic contractReject before serving or training
Is the artifact inconsistent?Compare current statistic with reference statisticInvestigate drift or skew
Is the artifact unauditable?Check for missing version, owner, or lineage edgeStop promotion until metadata exists
Is the artifact too costly?Track latency, tokens, storage, or computeRoute, cache, batch, or downscale

The production design pattern is therefore not just to calculate a value. It is to calculate a value, compare it with a declared rule, log the evidence, and make the next action unambiguous. That four-step pattern will reappear across all Chapter 19 notebooks.

Skill Check

Test this lesson

Answer 4 quick questions to lock in the lesson and feed your adaptive practice queue.

--
Score
0/4
Answered
Not attempted
Status
1

Which module does this lesson belong to?

2

Which section is covered in this lesson content?

3

Which term is most central to this lesson?

4

What is the best way to use this lesson for real learning?

Your answers save locally first, then sync when account storage is available.
Practice queue