observability-and-instrumentation

Observability and Instrumentation

Overview

Code you can't observe is code you can't operate. Observability is the ability to answer "what is the system doing and why?" from the outside, using the telemetry the code emits. Instrumentation is not a post-launch add-on — it's written alongside the feature, the same way tests are. If a feature ships without telemetry, the first user-reported bug becomes archaeology instead of a query.

When to Use

• Building any feature that will run in production
• Adding a new service, endpoint, background job, or external integration
• A production incident took too long to diagnose ("we couldn't tell what happened")
• Setting up or reviewing alerting rules
• Reviewing a PR that adds I/O, retries, queues, or cross-service calls

NOT for:

• Diagnosing a failure happening right now
• Profiling and optimizing measured slowness
• Launch-day monitoring checklists and rollback triggers — this skill covers the instrumentation that feeds them

Process

1. Define "working" before instrumenting

Telemetry without a question is noise. Before adding any instrumentation, write down 2–4 questions an on-call engineer will ask about this feature:

FEATURE: checkout payment retry
QUESTIONS ON-CALL WILL ASK:
1. What fraction of payments succeed on first attempt vs after retry?
2. When a payment fails permanently, why? (provider error? timeout? validation?)
3. Is the payment provider slower than usual?
→ Every signal below must help answer one of these.

If you can't name the questions, you're not ready to instrument — you'll log everything and learn nothing.

2. Pick the right signal for each question

Signal	Answers	Cost profile	Example
Structured log	"What happened in this specific case?"	Per-event; grows with traffic	payment_failed with provider error code
Metric	"How often / how fast, in aggregate?"	Fixed per series; cheap to query	p99 latency of provider calls
Trace	"Where did time go across services?"	Per-request; usually sampled	One slow checkout, broken down by hop

Rule of thumb: metrics tell you that something is wrong, traces tell you where, logs tell you why.

3. Structured logging

Log events, not prose. Every log line is a JSON object with a stable event name and machine-readable fields:

// BAD: string interpolation — unqueryable, inconsistent
logger.info(`Payment ${id} failed for user ${userId} after ${n} retries`);

// GOOD: stable event name + structured fields
logger.warn({
  event: 'payment_failed',
  paymentId: id,
  provider: 'stripe',
  errorCode: err.code,
  attempt: n,
}, 'payment failed');

# Python (structlog): same rule — string interpolation is BAD, structured fields are GOOD
log.info(f"Payment {id} failed for user {user_id} after {n} retries")  # BAD
log.warning("payment_failed", payment_id=id, provider="stripe",        # GOOD
            error_code=err.code, attempt=n)

Log levels — use them consistently:

Level	Meaning	On-call action
error	Invariant broken; someone may need to act	Investigate
warn	Degraded but handled (retry succeeded, fallback used)	Watch for trends
info	Significant business event (order placed, job finished)	None
debug	Diagnostic detail	Off in production by default

Correlation IDs are mandatory. Generate (or accept) a request ID at the system boundary and attach it to every log line, span, and outbound call. Without it, you cannot reconstruct a single request from interleaved logs:

// Express: child logger per request, ID propagated downstream
app.use((req, res, next) => {
  req.id = req.headers['x-request-id'] ?? crypto.randomUUID();
  req.log = logger.child({ requestId: req.id });
  res.setHeader('x-request-id', req.id);
  next();
});

# Flask: bind a request ID at the boundary and propagate it downstream
@app.before_request
def attach_request_id():
    rid = request.headers.get("x-request-id") or str(uuid.uuid4())
    g.request_id = rid
    g.log = log.bind(request_id=rid)  # structlog child logger

@app.after_request
def echo_request_id(resp):
    resp.headers["x-request-id"] = g.request_id
    return resp

Never log secrets, tokens, passwords, or full PII. Telemetry pipelines are a classic data-leak path. Allowlist fields; don't log whole request bodies.

4. Metrics

For request-driven services, instrument RED on every endpoint and every external dependency: Rate (requests/sec), Errors (failure rate), Duration (latency histogram, not average). For resources (queues, pools, hosts), use USE: Utilization, Saturation, Errors.

As with tracing, the vendor-neutral path is the OpenTelemetry metrics API (same SDK and context as step 5). The example below uses Prometheus' prom-client — one common backend choice, not the only one; the RED/USE and cardinality rules are identical either way.

import { Histogram } from 'prom-client';

const httpDuration = new Histogram({
  name: 'http_request_duration_seconds',
  help: 'HTTP request duration',
  labelNames: ['method', 'route', 'status_class'],  // '2xx', not '200'
  buckets: [0.05, 0.1, 0.25, 0.5, 1, 2.5, 5],
});

from prometheus_client import Histogram

http_duration = Histogram(
    "http_request_duration_seconds",
    "HTTP request duration",
    ["method", "route", "status_class"],  # '2xx', not '200'
    buckets=(0.05, 0.1, 0.25, 0.5, 1, 2.5, 5),
)

Cardinality is the failure mode. Every unique label combination is a separate time series. Labels must come from small, fixed sets (route template, status class, provider name). Never use user IDs, raw URLs, error messages, or other unbounded values as labels — that belongs in logs and traces.

OK as label:    route="/api/tasks/:id"   status_class="5xx"   provider="stripe"
NEVER a label:  user_id, email, request_id, full URL, error message text

Track averages never, percentiles always: an average hides the 1% of users having a terrible time. Use histograms and read p50/p95/p99.

5. Distributed tracing

Use OpenTelemetry — it's the vendor-neutral standard, and auto-instrumentation covers HTTP, gRPC, and common DB clients with near-zero code:

// tracing.ts — must be imported before anything else
import { NodeSDK } from '@opentelemetry/sdk-node';
import { getNodeAutoInstrumentations } from '@opentelemetry/auto-instrumentations-node';

const sdk = new NodeSDK({
  serviceName: 'checkout-service',
  instrumentations: [getNodeAutoInstrumentations()],
});
sdk.start();

# tracing.py — imported before app code; auto-instruments HTTP, gRPC, and DB clients
from opentelemetry import trace
from opentelemetry.sdk.trace import TracerProvider

trace.set_tracer_provider(TracerProvider())
# run with: OTEL_SERVICE_NAME=checkout-service opentelemetry-instrument python app.py

Add manual spans only around meaningful internal units of work (e.g., applyDiscounts, chargeProvider) and attach the attributes on-call will filter by. Propagate context across every async boundary — HTTP headers, queue message metadata — or the trace dies at the gap. Sample head-based at a low rate by default; keep 100% of errors if your backend supports tail sampling.

6. Alerting

Alert on symptoms users feel, not on causes:

SYMPTOM (page-worthy):           CAUSE (dashboard, not a page):
error rate > 1% for 5 min        CPU at 85%
p99 latency > 2s                 one pod restarted
queue age > 10 min               disk at 70%

Cause-based alerts fire when nothing is wrong and miss failures you didn't predict. Symptom-based alerts fire exactly when users are hurt, regardless of the cause.

Rules for every alert you create:

1. It must be actionable. If the response is "ignore it, it self-heals", delete the alert.
2. It links to a runbook — even three lines: what it means, first query to run, escalation path.
3. It has a threshold and duration justified by the SLO or by historical data, not by a guess.
4. Use two severities only: page (user-facing, act now) and ticket (degradation, act this week). A third tier becomes noise that trains people to ignore everything.

7. Verify the telemetry itself

Instrumentation is code; it can be wrong. Before calling the work done, trigger the paths and look at the actual output:

• Force an error in staging → find it in the logs by requestId, confirm fields are structured (not [object Object])
• Send test traffic → confirm metric series appear with the expected labels and sane values
• Follow one request across services in the tracing UI → no broken spans
• Fire each new alert once (lower the threshold temporarily) → confirm it reaches the right channel and the runbook link works

Common Rationalizations

Rationalization	Reality
"I'll add logging after it works"	"After" becomes "after the first incident", which is the most expensive moment to discover you're blind. Instrument as you build.
"More logs = more observability"	Unstructured noise makes incidents slower, not faster. Three queryable events beat three hundred prose lines.
"console.log is fine for now"	Unstructured output can't be filtered, correlated, or alerted on. The structured logger costs five extra minutes once.
"We can just look at the dashboards when something breaks"	Dashboards built without defined questions show you everything except the answer. Start from on-call questions.
"Alert on everything important, we'll tune later"	A noisy pager trains people to ignore it. The tuning never happens; the missed real page does.
"User ID as a metric label makes debugging easier"	It also makes your metrics backend fall over. High-cardinality lookups belong in logs and traces.
"Tracing is overkill for our two services"	Two services already means cross-service latency questions logs can't answer. Auto-instrumentation makes the cost trivial.

Red Flags

• A feature PR with retries, queues, or external calls and zero new telemetry
• Log lines built by string interpolation instead of structured fields
• No correlation/request ID — each log line is an orphan
• Metrics labeled with user IDs, raw URLs, or error message text (cardinality bomb)
• Latency tracked as an average with no percentiles
• Alerts that fire daily and get acknowledged without action
• Alerts on causes (CPU, memory) paging humans while user-facing error rate is unmonitored
• Secrets, tokens, or full request bodies appearing in logs
• "It works on my machine" as the only evidence a production feature is healthy

Verification

After instrumenting a feature, confirm:

• The on-call questions for this feature are written down, and each signal maps to one
• All log output is structured (JSON), with stable event names and a correlation ID on every line
• No secrets, tokens, or unredacted PII in any log line (spot-check actual output)
• RED metrics exist for every new endpoint and every external dependency, with bounded label sets
• Latency is a histogram; p95/p99 are queryable
• A single request can be followed end-to-end in the tracing UI without broken spans
• Every new alert is symptom-based, has a runbook link, and was test-fired once
• An induced failure in staging was located via telemetry alone, without reading the source

For the at-a-glance version of this list, including the pre-launch instrumentation gate, see references/observability-checklist.md.