The runtime is JSPI-only; this removes everything that still pretended otherwise. Three exhaustive sweeps (C++/JS+build+CI/tests+docs) drove the inventory; every deletion verified by grep closure + full gates. Broken-right-now fixes: - deploy-staging.yml passed the retired opt_level input — the workflow could not even start. Removed. - env.sh carried dead exports with a live -sASYNCIFY=1 inside (WASM_LDFLAGS/PTHREAD_LDFLAGS, zero consumers). Removed; the WASM_LEGACY_EXCEPTIONS rationale rewritten to the real reason. - docker/build.sh exported PCBJAM_ASYNC_BACKEND (read nowhere). Gone. Dead weight removed: - binaryen submodule (nothing builds or invokes it), wasm-opt-bench workflow + scripts/bench/, get-wasm-opt.sh, diagnostics.js (242 lines of Asyncify-API-only code), the KICAD_PIPELINE background-postprocess scaffolding (existed to parallelize the deleted wasm-opt phase; the postprocess is a seconds-long node script and now runs inline), build-monitor's dead asyncify rows, sched-context orphan build output, dead .gitignore entries, the .jspi-assets spike dir (the two wf-result research JSONs moved to docs/features/async/migration-evidence/). - bindings: fiber_park.h + its 12 embind registrations (broken-if- called under JSPI), the kicadOpenFileStart/OPEN_JOB starter route, main_stack_runner.h + 5 includes, the always-null context-sleep weak hook in nanosleep_yield.c. - shim: the backend field (installed-flag idempotency instead), noteContextWait (dead both sides), the __wxAsyncifyDump alias (+ the WasmTool fallback and string-dump normalize branch). - web: the emscripten-6-ignored mainScriptUrlOrBlob option in boot.ts (gerber-demo keeps it: it loads the deployed CDN release, which predates emscripten 6 — noted inline). Conditionals: all 'backend === jspi' checks reduced to scheduler- presence checks; races_quiescent re-keyed from Asyncify.state (vacuous) to real backlog quiescence (resumeReady/mutatorQueue — NOT _windowLive, which is the probing activation's own window by definition). Renames (identifiers only, no file renames): ASYNC_LINK_FLAGS→ JSPI_LINK_FLAGS and Makefile ASYNC_LDFLAGS→JSPI_LDFLAGS, kicadCollabFiberBusy→kicadCollabBusy (embind + web + tests), collab_common.h fiber*→apply*/coroutine naming, asyncifySignatures→ wasmTrapSignatures (lists byte-identical). Tests: the two remaining vacuous [wx-asyncify]/fiber-resume-refused asserts re-keyed to live JSPI beacons; eeschema-load's failure message no longer sends the developer to a deleted script; wait-beacons' dead families/parser deleted; lane-0 legacy-glue guards removed (lane 0 is unconstructible); the embind test.fail re-gated with the JSPI reason (plain embind invokers cannot suspend — verified still failing); lint-determinism now scans tests/jspi (166 files clean); eeschema-collab local-move gated to chromium (~50% flaky on FF even solo; pcbnew twin covers both engines). Docs: DEBUG.md rewritten as the JSPI debugging guide; build.md describes the single-phase build; docs/features/async/README.md banner-marked historical and repointed at the NEW 23-jspi-runtime.md (current architecture: export census, turnstile, libcontext ownership + refusal contract, embind call shapes, the em-pthread service-wrapper trick, exception policy, known gaps). Gates on the cleaned tree: test:e2e 725 passed / 0 failed (after the quiescence-probe fix; the 3 other reds were verified contention flakes solo-green or the documented FF gate), web 76/0, jspi 18/18 both engines, vitest 295/295 + 17/17, all lints green, live-app census clean. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016X9eh1s5sTx1o9Em9KBuwR
154 lines
5.3 KiB
TypeScript
154 lines
5.3 KiB
TypeScript
import type { Page } from "@playwright/test";
|
|
import { test, expect } from "./fixtures";
|
|
|
|
/**
|
|
* N2 — message ordering under a parked open (scheduler semantics).
|
|
* docs/features/async/17-mailbox-scheduler-plan.md §3d N2, §3b.
|
|
*
|
|
* Legacy glue (open_gate, doc 14) DROPPED collab entries issued while
|
|
* `kicadOpenFile` was parked; the mailbox flipped drop→deliver, and the
|
|
* scheduler's embind lane is the only glue now: a mutating entry issued
|
|
* during the open becomes a queued message, applied IN ORDER after the open
|
|
* completes — the shim wraps the audited mutators (doc 18) at the Module
|
|
* boundary, queueing busy-window calls and delivering after settle with
|
|
* promise-returned results.
|
|
*
|
|
* Ordering probe: apply A ADDS a segment, apply B MOVES that same segment.
|
|
* B can only land if A landed first — the single final-position check proves
|
|
* both delivery and order (drop-A-deliver-B leaves B targetless).
|
|
*/
|
|
|
|
const NEW_SEG = "fa2c0000-0000-0000-0000-00000000beef";
|
|
const B_TARGET = "60000000,60000000"; // where apply B moves A's segment (IU)
|
|
|
|
function smallBoard(): string {
|
|
return `(kicad_pcb
|
|
\t(version 20241229)
|
|
\t(generator "pcbnew")
|
|
\t(generator_version "9.0")
|
|
\t(general (thickness 1.6))
|
|
\t(paper "A4")
|
|
\t(layers
|
|
\t\t(0 "F.Cu" signal)
|
|
\t\t(2 "B.Cu" signal)
|
|
\t\t(25 "Edge.Cuts" user)
|
|
\t)
|
|
\t(setup)
|
|
\t(net 0 "")
|
|
\t(segment (start 10 10) (end 15 10) (width 0.2) (layer "F.Cu") (net 0) (uuid "fa2b0000-0000-0000-0000-000000000001"))
|
|
)`;
|
|
}
|
|
|
|
type FS = { mkdirTree(p: string): void; writeFile(p: string, d: string): void };
|
|
type Mod = {
|
|
kicadOpenFile(p: string): unknown;
|
|
kicadOpenFileBusy(): boolean;
|
|
kicadTestSetOpenPark(ms: number): void;
|
|
kicadCollabApplyItems(j: string): unknown;
|
|
kicadCollabGetPos(id: string): string;
|
|
};
|
|
|
|
async function bootHarness(page: Page): Promise<void> {
|
|
await page.goto("/kicad/pcbnew-collab.html");
|
|
await expect(page.locator("#canvas")).toBeVisible({ timeout: 90000 });
|
|
await page.waitForFunction(() => !!window.wxElementRegistry, null, { timeout: 90000 });
|
|
await page.waitForFunction(
|
|
() => {
|
|
const m = (window as unknown as { Module?: Partial<Mod> }).Module;
|
|
return (
|
|
typeof m?.kicadOpenFile === "function" &&
|
|
typeof m?.kicadCollabApplyItems === "function" &&
|
|
typeof m?.kicadTestSetOpenPark === "function"
|
|
);
|
|
},
|
|
null,
|
|
{ timeout: 90000 },
|
|
);
|
|
await page.waitForFunction(
|
|
() =>
|
|
!!window.wxElementRegistry &&
|
|
window.wxElementRegistry
|
|
.findAll({ visible: true })
|
|
.some((e) => /Frame$/.test(e.typeName) || (e.name || "").endsWith("Frame")),
|
|
null,
|
|
{ timeout: 90000 },
|
|
);
|
|
}
|
|
|
|
test.describe("mailbox N2: entries during a parked open are delivered in order", () => {
|
|
test("apply A (add) then apply B (move) mid-park land in order after settle", async ({
|
|
page,
|
|
testLogger,
|
|
}) => {
|
|
test.setTimeout(180000);
|
|
void testLogger;
|
|
await bootHarness(page);
|
|
|
|
const issued = await page.evaluate(async ({ newSeg, board }) => {
|
|
const w = window as unknown as { FS: FS; Module: Mod };
|
|
const dir = "/home/kicad/documents";
|
|
try {
|
|
w.FS.mkdirTree(dir);
|
|
} catch {
|
|
/* exists */
|
|
}
|
|
const path = `${dir}/n2.kicad_pcb`;
|
|
w.FS.writeFile(path, board);
|
|
// Deterministic park window on entry AND post-load (open_gate.h test lever)
|
|
w.Module.kicadTestSetOpenPark(1500);
|
|
w.Module.kicadOpenFile(path);
|
|
|
|
// Wait until the busy window is observably open, then issue A and B once.
|
|
const t0 = performance.now();
|
|
while (!w.Module.kicadOpenFileBusy() && performance.now() - t0 < 30000) {
|
|
await new Promise((r) => setTimeout(r, 5));
|
|
}
|
|
if (!w.Module.kicadOpenFileBusy()) return { inWindow: false };
|
|
|
|
const applyA = JSON.stringify({
|
|
added: [
|
|
{
|
|
sexpr: `(segment (start 50 50) (end 55 50) (width 0.2) (layer "F.Cu") (net 0) (uuid "${newSeg}"))`,
|
|
parent: null,
|
|
},
|
|
],
|
|
changed: [],
|
|
removed: [],
|
|
});
|
|
const applyB = JSON.stringify({
|
|
added: [],
|
|
changed: [
|
|
{
|
|
sexpr: `(segment (start 60 60) (end 65 60) (width 0.2) (layer "F.Cu") (net 0) (uuid "${newSeg}"))`,
|
|
parent: null,
|
|
},
|
|
],
|
|
removed: [],
|
|
});
|
|
w.Module.kicadCollabApplyItems(applyA);
|
|
w.Module.kicadCollabApplyItems(applyB);
|
|
|
|
// Wait for the open chain to settle.
|
|
const t1 = performance.now();
|
|
while (w.Module.kicadOpenFileBusy() && performance.now() - t1 < 120000) {
|
|
await new Promise((r) => setTimeout(r, 50));
|
|
}
|
|
w.Module.kicadTestSetOpenPark(0);
|
|
return { inWindow: true, settled: !w.Module.kicadOpenFileBusy() };
|
|
}, { newSeg: NEW_SEG, board: smallBoard() });
|
|
|
|
expect(issued.inWindow, "the busy window was observed").toBe(true);
|
|
expect(issued.settled, "the open settled").toBe(true);
|
|
|
|
// Both queued applies were delivered, in order — A's segment exists and
|
|
// sits where B moved it. (Drop-A-deliver-B leaves B targetless; drop-both
|
|
// leaves GetPos empty — either failure mode misses B_TARGET.)
|
|
await expect
|
|
.poll(
|
|
() =>
|
|
page.evaluate((id) => (window.Module as unknown as Mod).kicadCollabGetPos(id), NEW_SEG),
|
|
{ timeout: 10000, intervals: [200] },
|
|
)
|
|
.toBe(B_TARGET);
|
|
});
|
|
});
|