research36 min studyLesson 100 in Engineering

Systems research and open problems

Formulate testable infrastructure research questions, compare mechanisms fairly, and turn limitations into a disciplined next experiment.

On this page

What you’ll understand

  • Separate a new mechanism, an engineering tradeoff, and an empirical claim.
  • Design ablations that isolate the proposed explanation.
  • Use a cost model to decide which open question deserves the next experiment.

A system can be useful without establishing a new theorem, and a negative experiment can teach more than another favorable benchmark. Research advances when a proposed mechanism explains a problem, makes a falsifiable prediction, and survives comparisons that could have disproved it. In AI infrastructure, changing models and hardware make this difficult: a gain may depend on one shape distribution, network topology, or failure pattern. The strongest work makes those dependencies legible so others know what to build on.

Write a question that can lose

Begin with an observed bottleneck and competing explanations. If inference latency rises, possibilities include memory bandwidth, queueing, compilation churn, synchronization, or a workload shift. A research question should predict an observable difference between explanations. For example, if a cache policy helps by reducing repeated transfers, its advantage should shrink when reuse is removed. Define that counterfactual before building a large optimized implementation.

Separate the contribution from the evidence standard. A new measurement method needs validation against known cases; a new scheduler needs workload and quality comparisons; a correctness mechanism needs an explicit fault model and argument. A useful engineering synthesis may combine known mechanisms in a newly effective design. Describe that contribution honestly instead of implying that a practical integration proves a universal principle. State which assumptions are essential and which are conveniences of the prototype.

Smax⁡=1(1−f)+f/sS_{\max}=\frac{1}{(1-f)+f/s}
Amdahl's simplified bound assumes fraction f of baseline elapsed time is accelerated by factor s and the remaining work is unchanged, with no new overhead or changed overlap. It guides a bottleneck hypothesis rather than predicting every system.↔ Scroll wide equations horizontally.

Use ablation and adversarial cases to test the mechanism

An ablation removes or changes one proposed component while keeping other relevant conditions comparable. If the full system improves but the ablation does too, the claimed explanation may be wrong. Interactions complicate one-at-a-time comparisons: batching and caching can help jointly even when each alone does little. Use factorial comparisons where feasible, report tuning effort, and avoid crippling the baseline through an unsuitable configuration.

Evaluate regimes where the idea should fail. A communication optimization should be tested on a fast network as well as a slow one; a queue policy should face bursts and skew; a numerical shortcut should face difficult inputs. These cases reveal the operating envelope rather than merely lowering an aggregate score. Include implementation complexity, resource consumption, and failure recovery in the tradeoff, because a small throughput gain may require unacceptable operational burden.

Δinteraction=(Y11−Y10)−(Y01−Y00)\Delta_{\mathrm{interaction}}=(Y_{11}-Y_{10})-(Y_{01}-Y_{00})
For a controlled two-factor comparison, Yab is a consistently defined response with components A and B disabled or enabled. This difference-in-differences describes interaction on that response scale; uncertainty and confounding still require experimental treatment.↔ Scroll wide equations horizontally.

Turn open problems into bounded next experiments

Several durable questions connect the module: how to allocate compute when data quality changes, when communication compression beats a strong baseline, how compilation adapts to varied shapes, and how energy accounting changes a deployment choice. These are research directions, not claims that one method is currently best. Narrow each to a workload, an intervention, and a measurable outcome. A small experiment that rejects a poor assumption can save more resources than a large benchmark campaign.

Prioritize by expected information and practical consequence. Estimate experiment cost, identify the decision that a positive or negative result would change, and reserve an independent confirmation budget. Publish limitations and negative results with enough context to be reusable. The end of a study should identify what remains unknown and the cheapest credible test that would reduce that uncertainty, while preserving the artifact and evidence needed to challenge the present conclusion.

Decide whether a kernel project can meet its goal

A service spends 30% of elapsed time in a candidate kernel and 70% elsewhere. A proposal aims to make the kernel three times faster, adds 2% of baseline time as overhead, and promises a 1.5× end-to-end speedup.

  1. Normalize baseline elapsed time to 1. The accelerated kernel contributes 0.30/3 = 0.10.

  2. Unchanged work plus the kernel gives 0.70 + 0.10 = 0.80 before new overhead.

  3. Add 0.02 overhead for total 0.82, so predicted speedup is 1/0.82 ≈ 1.22.

  4. Even an infinitely fast kernel would leave 0.72 with this overhead, bounding speedup near 1.39. The promised 1.5× requires another change or a different measured time breakdown.

The result

The stated mechanism cannot support the promised service gain under its own assumptions. Revisit the bottleneck or narrow the claim before investing further.

Explore the model

Interactive lab

Interactive lab · queue

Challenge a throughput explanation

Vary λ and μ for fluid backlog max(0, 4 + (λ−μ)t), with a separate M/M/1 residence estimate only for Poisson arrivals, exponential service, and λ<μ. This toy model can test a simple capacity hypothesis; it does not represent burst distributions, scheduling policies, or a production service.

Challenge a throughput explanationFluid backlog starts at 4 and follows max(0, 4 + (λ − μ)t). The separate M/M/1 residence-time formula assumes Poisson arrivals, exponential service and λ < μ. Current readings: Fluid backlog: 4; Net rate · λ − μ: −1 /s; M/M/1 mean residence: 1 s. All parameters are adjustable with the labeled controls below.02.557.51001.534.56Elapsed time · sFluid backlogλ < μ
Fluid backlogCurrent time
Fluid backlog
4
Net rate · λ − μ
−1 /s
M/M/1 mean residence
1 s
t = 0 s

Fluid backlog starts at 4 and follows max(0, 4 + (λ − μ)t). The separate M/M/1 residence-time formula assumes Poisson arrivals, exponential service and λ < μ. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA model is useful when it exposes a prediction and makes clear which observations would require a richer explanation.

Check your understanding

The full system and a version without the proposed key mechanism improve equally over baseline. What should the researcher do first?

Try it yourself

Four controlled mean latencies are Y00=100 ms, Y10=90 ms, Y01=95 ms, and Y11=75 ms. Compute the stated interaction contrast and explain what else is needed before claiming a general interaction.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Compare B's change when A is enabled with B's change when A is disabled.

Compare with the solution

The contrast is (75−90)−(95−100) = −15−(−5) = −10 ms. On the latency scale, the combined setting has an additional reduction beyond additive single-component changes. Independent repetitions, uncertainty, controlled tuning, and tests in other workload regimes are needed before generalization.

Take it with you

  • Make a mechanism predict a result that a well-designed test could reject.
  • Use strong baselines, ablations, interactions, and failure regimes as evidence.
  • Define the next experiment by the uncertainty and decision it can change.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.