Files
2026-07-13 12:58:18 +08:00

107 lines
5.2 KiB
JavaScript

/// <reference path="../pb_data/types.d.ts" />
//
// Fleet worker REGISTRY: one row per live worker process. Each worker
// self-registers on boot and heartbeats on a ~60-90s cadence (see harness
// src/fleet/worker/registration.ts), refreshing its capacity + liveness. The
// control-plane / fleet-health slot (S10) reads this collection to answer "who
// is in the fleet, how busy are they, and which ones have gone stale?".
//
// DISTINCT from the other fleet collections:
// - `probe_jobs` : the work QUEUE the workers race over (S0).
// - `probe_runs` : run-level history.
// - `status`/`status_history` : per-result state machine.
// - `workers` : the MEMBERSHIP roster + per-member capacity/liveness.
//
// Field semantics (mirrored in harness src/fleet/contracts.ts —
// WorkerRegistration / WorkerHeartbeat / WorkerDescriptor):
// - worker_id : stable worker id; SAME value the worker passes to S0's
// claimJob(jobId, workerId, ...) so this row and a
// claim's `claimed_by` join on one value. UNIQUE.
// - endpoint : worker's reachable host:port for control-plane probes.
// - capacity_* : the BrowserPool.budget() snapshot (S6) at the last
// register/heartbeat: in_use / available / max context
// counts plus the cgroup pids.current / pids.max
// ceiling gauges (-1 when off-Linux/unreadable).
// - current_job_id : id of the job the worker is running, or empty/idle.
// - registered_at : ISO timestamp the worker first registered.
// - last_heartbeat_at : ISO timestamp of the latest heartbeat. fleet-health
// (S10) reads THIS against a staleness window to derive
// online | stale | offline (see isWorkerStale). Indexed
// DESC for "freshest workers first" + the staleness scan.
//
// ── CAPACITY / PIDS NULL-VS-UNAVAILABLE CONVENTION ────────────────────────
// `capacity_pids_current` / `capacity_pids_max` are NULLABLE: the cgroup pids
// gauges degrade to a `-1` sentinel off-Linux / on an unreadable controller
// (see browser-pool.ts budget()). The registration writer maps that sentinel to
// `null` (never writes -1), so a fleet-health query can cleanly separate a
// MEASURED pids ceiling from an UNAVAILABLE one — a stored `-1` would be
// indistinguishable from a genuine count.
//
// PUBLIC-READ INVARIANT: mirrors `status` / `probe_runs` /
// `resource_snapshots` — listRule/viewRule = "" (unauthenticated read) so the
// dashboard / fleet-health can enumerate the roster without a session. The
// fields are pure operational metadata (id, endpoint, capacity counts,
// timestamps) — NEVER write secrets, env vars, or auth tokens here. Writes stay
// superuser-only (createRule/updateRule/deleteRule = null) so only the harness
// (authed as superuser) can mint/refresh/evict rows.
migrate(
(db) => {
const dao = new Dao(db);
// Idempotency: skip when the collection already exists (mirrors the
// probe_jobs / probe_runs presence-gate pattern). PB JSVM has no typed
// ErrCollectionNotFound, so catch broadly and return on present.
try {
dao.findCollectionByNameOrId("workers");
return;
} catch (e) {
// Not present — fall through to create.
}
const c = new Collection({
name: "workers",
type: "base",
schema: [
{ name: "worker_id", type: "text", required: true },
{ name: "endpoint", type: "text", required: true },
// --- Capacity snapshot (BrowserPool.budget()) ---
{ name: "capacity_in_use", type: "number" },
{ name: "capacity_available", type: "number" },
{ name: "capacity_max", type: "number" },
// Nullable cgroup pids gauges: -1 sentinel maps to null (see header).
{ name: "capacity_pids_current", type: "number" },
{ name: "capacity_pids_max", type: "number" },
// Id of the job the worker is currently running, empty while idle.
{ name: "current_job_id", type: "text" },
{ name: "registered_at", type: "date", required: true },
{ name: "last_heartbeat_at", type: "date", required: true },
],
indexes: [
// One row per worker: the upsert-by-worker_id path and the
// join-to-claimed_by both rely on worker_id being unique.
"CREATE UNIQUE INDEX IF NOT EXISTS idx_workers_worker_id ON workers (worker_id)",
// fleet-health (S10) staleness scan + "freshest workers first".
"CREATE INDEX IF NOT EXISTS idx_workers_heartbeat ON workers (last_heartbeat_at DESC)",
],
// Public read mirrors status / probe_runs / resource_snapshots; writes
// superuser-only (the harness authenticates as a superuser).
listRule: "",
viewRule: "",
createRule: null,
updateRule: null,
deleteRule: null,
});
dao.saveCollection(c);
},
(db) => {
const dao = new Dao(db);
// Narrowed: a real deleteCollection failure must propagate. Absent →
// nothing to do.
let c;
try {
c = dao.findCollectionByNameOrId("workers");
} catch (e) {
return;
}
dao.deleteCollection(c);
},
);