pi-mono/packages/chord/test/documents/documents.test.ts
Mario Zechner ff33ef42c4 feat(chord): telemetry from pages and workers stored by the server, who a span was for
The four telemetry gaps (rows on commits, chord.host, microsecond times, a read-only store) and: pages record and
send span batches over their link to the server's ingest object (checked, capped, rate-limited, stamped browser and
with the link's principal); workers send theirs too, so the server is the store's only writer; principalAttributes
lets an app choose what a span records about its principal. The tutorial shows a real page's click traced to the
worker, with the trace viewer.
2026-11-04 11:59:14 +00:00

251 lines
9.7 KiB
TypeScript

import { InMemoryTelemetryContext } from "@earendil-works/pi-telemetry";
import { describe, expect, it, vi } from "vitest";
import { type Context, BACKGROUND_CONTEXT as context, withCancel, withTelemetry } from "../../src/context/index.ts";
import { arr, int, local, method, obj, str } from "../../src/contracts/index.ts";
import type { Tx } from "../../src/documents/index.ts";
import { defineState, type KeyedHandle, type SingletonHandle } from "../../src/documents/index.ts";
import { eq } from "../../src/store/expression.ts";
import type { TableOf } from "../../src/store/index.ts";
import { defineTable } from "../../src/store/table.ts";
import { delivered, framesOf, loaded, memoryStore, rejection } from "../support.ts";
const List = defineState("list", { schema: obj({ items: arr(str()) }), version: 1, initial: () => ({ items: [] }) });
const Drafts = defineState("drafts", {
schema: obj({ body: str() }),
version: 1,
initial: () => ({ body: "" }),
keyed: true,
});
const Owner = local("app.owner", {
version: 1,
params: { id: int() },
members: { list: obj({ items: arr(str()) }), touch: method() },
});
/** Serves `Owner` and hands out its handles; `errors` collects the host's background errors. */
async function owner() {
const handles: { list?: SingletonHandle<{ items: string[] }>; drafts?: KeyedHandle<{ body: string }> } = {};
const { host, errors } = await loaded((h) =>
h.serve(Owner, (_, self) => {
handles.list = self.state(List);
handles.drafts = self.state(Drafts);
return { list: handles.list, touch: async () => null };
}),
);
const reference = await host.get(Owner, { id: 1 }, context);
return { host, errors, reference, list: handles.list!, drafts: handles.drafts! };
}
/** The keys a keyed handle lists. */
async function keysOf(handle: KeyedHandle<{ body: string }>): Promise<string[]> {
const keys: string[] = [];
for await (const key of handle.keys(context)) keys.push(key);
return keys;
}
describe("singleton documents", () => {
it("read initial() until written and again after a retire, whose frame replaces the root", async () => {
const { list } = await owner();
const initial = list.value;
expect(initial).toEqual({ items: [] });
const frames = framesOf(await list.watch(context));
await list.change((draft) => draft.items.push("a"), context);
expect(list.value).toEqual({ items: ["a"] });
await list.retire(context);
expect(list.value).toBe(initial);
await list.retire(context);
await delivered();
expect(frames).toEqual([
[{ items: ["a"] }, [["p", ["items"], 0, 0, ["a"]]]],
[initial, [["r", initial]]],
]);
});
it("throw not_ready when read in the factory", async () => {
const { host } = await loaded((h) =>
h.serve(Owner, (_, self) => {
const list = self.state(List);
void list.value;
return { list, touch: async () => null };
}),
);
await expect(host.get(Owner, { id: 1 }, context)).rejects.toThrow("list: read before activation");
});
});
describe("keyed documents", () => {
it("are absent until written; get, keys and retire by key", async () => {
const { drafts } = await owner();
expect(await drafts.get("a", context)).toBeUndefined();
await drafts.change(
"a",
(draft) => {
draft.body = "x";
},
context,
);
await drafts.change(
"b",
(draft) => {
draft.body = "y";
},
context,
);
await drafts.change("c", () => {}, context);
expect(await drafts.get("a", context)).toEqual({ body: "x" });
expect(await keysOf(drafts)).toEqual(["a", "b"]);
await drafts.retire("a", context);
await drafts.retire("missing", context);
expect(await drafts.get("a", context)).toBeUndefined();
expect(await keysOf(drafts)).toEqual(["b"]);
});
});
describe("when the owner ends", () => {
it("documents are dropped: every use throws released and watches end", async () => {
const { reference, list, drafts } = await owner();
const watch = await list.watch(context);
reference.release();
expect(await watch.closed).toEqual({ kind: "ended" });
const released = { code: "released", reason: "ended", message: "app.owner(1): ended" };
expect(() => list.value).toThrow("app.owner(1): ended");
expect(await rejection(drafts.get("a", context))).toEqual(released);
expect(await rejection(keysOf(drafts))).toEqual(released);
expect(await rejection(list.change(() => {}, context))).toEqual(released);
});
});
describe('transactions their context\'s end cancelled (decision "Mistakes that wait are reported at once" (e))', () => {
it("are reported besides rejecting: a change started in a root and not awaited, its fn settled first", async () => {
const { host, errors, list } = await owner();
let rejected: unknown;
await host.root(async (ctx) => {
// Footgun 10: the empty catch would hide a change that never happened.
void list
.change((draft) => draft.items.push("lost"), ctx)
.catch((error) => {
rejected = error;
});
}, context);
await delivered();
expect(list.value).toEqual({ items: [] });
expect(rejected).toMatchObject({ code: "released", reason: "settled" });
expect(errors).toEqual([
{
kind: "transaction_cancelled",
object: "app.owner(1)",
error: expect.objectContaining({ message: "host.root: its fn settled" }),
},
]);
// Awaited inside the root (the rule: await what you start in a root or a handler), it commits.
await host.root((ctx) => list.change((draft) => draft.items.push("kept"), ctx), context);
expect([list.value, errors.length]).toEqual([{ items: ["kept"] }, 1]);
await host.close(context);
});
it("are reported for a caller's cancellation while the change waits on the line", async () => {
const { host, errors, list, drafts } = await owner();
const gate = Promise.withResolvers<void>();
const holding = drafts.change("a", () => gate.promise, context);
const cancel = withCancel(context);
const waiting = rejection(list.change((draft) => draft.items.push("lost"), cancel.context));
cancel.cancel();
gate.resolve();
await holding;
expect(await waiting).toMatchObject({ name: "AbortError" });
expect(errors.map(({ kind }) => kind)).toEqual(["transaction_cancelled"]);
await host.close(context);
});
it("cost nothing on the committed path: no check of the context beyond the commit's own (cost guard)", async () => {
const { host, errors, list } = await owner();
const reads = vi.spyOn(AbortSignal.prototype, "aborted", "get");
const live = withCancel(context);
try {
for (let n = 0; n < 50; n++) await list.change((draft) => draft.items.push(String(n)), live.context);
const committed = reads.mock.calls.length;
await host.root(async (ctx) => {
void list.change(() => {}, ctx).catch(() => {});
}, context);
await delivered();
// The one cancelled change read its context once to be reported; the 50 committed ones never did.
expect([committed, reads.mock.calls.length - committed, errors.length]).toEqual([0, 1, 1]);
} finally {
reads.mockRestore();
}
await host.close(context);
});
});
describe("commits in telemetry (slice 9)", () => {
it("records a commit's documents, ops and duration as an event of its context's span, and its duration metric", async () => {
const telemetry = new InMemoryTelemetryContext();
let list: SingletonHandle<{ items: string[] }> | undefined;
const { host } = await loaded(
(h) =>
h.serve(Owner, (_, self) => {
list = self.state(List);
return { list, touch: async () => null };
}),
{ telemetry },
);
await host.get(Owner, { id: 1 }, context);
await telemetry.startSpan({ name: "work" }, async (span) => {
const traced = withTelemetry(span, context);
await list!.change((draft) => {
draft.items.push("a", "b");
}, traced);
// A transaction that changes nothing commits nothing: no event.
await list!.change(() => {}, traced);
});
const work = telemetry.getSpans().find(({ name }) => name === "work");
expect(work!.events).toEqual([
{ name: "chord.commit", attributes: { documents: 1, ops: 1, rows: 0, duration: expect.any(Number) } },
]);
expect(telemetry.getMetrics().map(({ name, unit }) => [name, unit])).toContainEqual([
"chord.commit.duration",
"ms",
]);
});
it("counts the table rows a commit's writes changed: a put one, an update or delete the rows it changed", async () => {
const Rows = defineTable("rows", { version: 1, columns: { id: int(), text: str() }, key: ["id"] });
// A table's owner has empty params.
const Keeper = local("app.keeper", { version: 1, params: {}, members: { touch: method() } });
const telemetry = new InMemoryTelemetryContext();
let write: ((fn: (tx: Tx, rows: TableOf<typeof Rows>) => void, ctx: Context) => Promise<void>) | undefined;
const { host } = await loaded(
(h) =>
h.serve(Keeper, (_, self) => {
const rows = self.table(Rows);
write = (fn, ctx) => self.tx((tx) => fn(tx, rows), ctx);
return { touch: async () => null };
}),
{ telemetry, store: await memoryStore() },
);
await telemetry.startSpan({ name: "work" }, async (span) => {
const traced = withTelemetry(span, context);
await write!((tx, rows) => {
for (const id of [1, 2, 3]) tx.put(rows, { id, text: "a" });
}, traced);
await write!((tx, rows) => {
tx.updateWhere(rows, (row) => eq(row.text, "a"), { text: "b" });
tx.delete(rows, { id: 9 });
}, traced);
});
const work = telemetry.getSpans().find(({ name }) => name === "work");
expect(work!.events.map(({ attributes }) => [attributes.documents, attributes.ops, attributes.rows])).toEqual([
[0, 0, 3],
[0, 0, 3],
]);
await host.close(context);
});
it("times nothing when nothing records", async () => {
const { list } = await owner();
const now = vi.spyOn(performance, "now");
await list.change((draft) => void draft.items.push("a"), context);
expect(now).not.toHaveBeenCalled();
now.mockRestore();
});
});