ident
All repositories: gitoria
3.7 KB
// ws-handshake-order.mjs — hl:http1 must not answer an Upgrade with its 101 before// the peer is registered and its `connect` queued (039_http1_ws_client, 2026-10-02):// written first, an in-process WebSocketClient could read the 101 and queue `open`// ahead of the server's `connect` (2 of 80 runs under load). Deterministic form:// stalled peers make a broadcast hold the plugin's peer lock for ~100 ms each; an// Upgrade sent meanwhile may get its 101 only after the broadcast let go, because// registering needs that lock. Drives the built libhttp1.so through the interpreter// (ws_handshake_order.hl) with raw sockets.import { spawn } from 'node:child_process';import { connect } from 'node:net';import { fileURLToPath } from 'node:url';import { dirname, resolve } from 'node:path';const HERE = dirname(fileURLToPath(import.meta.url));const ROOT = resolve(HERE, '../../..');const BIN = resolve(ROOT, 'native/zig-out/bin/hybriel');const FIXTURE = resolve(HERE, 'ws_handshake_order.hl');const PORT = Number(process.env.HL_TEST_PORT || 14981);const STALLED = 5;const sleep = (ms) => new Promise((r) => setTimeout(r, ms));const server = spawn(BIN, [FIXTURE], {env: { ...process.env, HL_TEST_PORT: String(PORT) },stdio: ['ignore', 'pipe', 'pipe'],});let log = '';server.stdout.on('data', (d) => { log += d; });server.stderr.on('data', (d) => { log += d; });const finish = (code, msg) => { console.log(msg); server.kill('SIGKILL'); process.exit(code); };let up = false;for (let i = 0; i < 80 && !up; i++) {try { up = (await fetch(`http://127.0.0.1:${PORT}/`)).status === 200; } catch {}if (!up) await sleep(250);}if (!up) finish(1, 'FAIL server did not come up\n' + log.slice(0, 4000));// One raw Upgrade; resolves with the time its 101 arrived. `stall` stops reading after it.const upgrade = (stall) => new Promise((res, rej) => {const sock = connect(PORT, '127.0.0.1');let head = '';sock.on('connect', () => sock.write(`GET / HTTP/1.1\r\nHost: 127.0.0.1:${PORT}\r\nUpgrade: websocket\r\nConnection: Upgrade\r\n` +'Sec-WebSocket-Key: dGhlIHNhbXBsZSBub25jZQ==\r\nSec-WebSocket-Version: 13\r\n\r\n'));sock.on('data', (d) => {if (head === null) return;head += d.toString('latin1');if (!head.includes('\r\n\r\n')) return;if (!head.startsWith('HTTP/1.1 101')) return rej(new Error('no 101: ' + head.slice(0, 200)));head = null;if (stall) sock.pause();res({ at: performance.now(), sock });});sock.on('error', () => {});});const stalled = [];for (let i = 0; i < STALLED; i++) stalled.push(await upgrade(true));await sleep(100); // every stalled peer's `connect` is throughlet holdDone = 0;const hold = fetch(`http://127.0.0.1:${PORT}/hold`).then(async (r) => { await r.text(); holdDone = performance.now(); });await sleep(150); // the broadcast is inside its first stalled peerconst lateSent = performance.now();const late = await upgrade(false);await hold;for (const s of stalled) s.sock.destroy();late.sock.destroy();// The /hold answer leaves only after the handler returns, a few ms after the lock went:// a 101 that waited for the lock lands within those ms, one that did not lands at once.const waited = late.at - lateSent, remaining = holdDone - lateSent;if (remaining < 250) finish(1, `FAIL precondition: the Upgrade was sent only ${remaining.toFixed(0)} ms before the broadcast ended, so nothing was measured`);if (waited < remaining / 2) finish(1, `FAIL the 101 arrived ${waited.toFixed(0)} ms after the Upgrade, ${(remaining - waited).toFixed(0)} ms before the broadcast let the peer lock go — sent before the peer was registered`);finish(0, 'ok ws-handshake-order: an Upgrade during a held broadcast gets its 101 only after the peer is registered');
Branches
- mainmain branch
Latest commits
- 5fdbb6b2ident mission 009: report — scratch folder notemre
- 74235815ident mission 009 (4/4): docs (README files map + same-output test, STATUS, LOG), report, tests/letcount.py + realdata-baseline/comparemre
- fe183516ident mission 009 (3/4): let only where reassigned — 293 never-reassigned lets are plain declarations; kept: reassigned, loop bodies, names of a file member, a name declared twice in one function; same outputmre
- d2e7f91bident mission 009 (2/4): one lib file per topic (login, accounts, identities, apps, invites, selector, notify + helpers, util), function routes as thin wrappers in lib/api.hl, project.hl = the map; same outputmre
- 91017164ident mission 009 (1/4): file moves — the root .hl files into lib/ (api.hl → lib/api-helpers.hl), styles.hl → components/styles.hl; imports adjusted, no other changemre
- f8bdcbc2ident: Hybriel master 06617221 (plugin allocators 3a781359 + 413f60e4, mpackdb 2cb7ae5e, http1 773de63e); all gates greenmre
- ff78726cident: Hybriel master 190aa11d (fc838894 GC correctness, #127, #126 closure scopes); gates all greenmre
- a3a7d21aident: Hybriel master 8efba065 (#126 GC by bytes, #48 lambda params copy); session-writing lambdas take &sessionmre
- 98226b41antcolony#40: mission references point to the moved missionsmre
- ff805b9aantcolony#40: history (LOG.md), worker briefs (missions/) and reports moved here from antcolony, numbered per project; old numbers in antcolony docs/mission-map.mdmre
- 51a7bcdfident: Hybriel master 73267707 (#122); /code uses the new page() signature; pending address passed as parameter; once-checksmre
- 836f644fident#24: installable app (manifest, service worker, data-free offline /start), own iconmre
- 8bebbbf2deploy.sh: back up live storage/.sessions/.env before every deploy (newest 5 kept)mre
- cc063ea2deploy.sh: never send .git or .gitignore to Byrodinmre
- 81b15b7bState of 2026-09-27, before the move to gitoriamre