tickets
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
- bb64d57cmission 012 (ticket #25 API part): every /api/projects/<x>/… route takes the project's id (12-char record id) as well as its slug, same answers byte for byte; tickets stay under their project, no global /api/tickets/<x>. gate 315/0 (old code: the 13 id checks fail), connect 60/0, live-data copy old vs new 1,484 identical, slug vs id 772 identicalmre
- 7538b034mission 011 (ticket #25 web part): short page URLs /<slug> and /<slug>/<number>; /projects/<slug>, /projects/<slug>/<n>, /projects/<slug>/tickets/<n> and /tickets/<ref> answer 301 (current slug); slug pages moved behind hl:web's own routes after construction (they answered /__hl/* and /components/*.hl); reserved slugs refused; API paths unchanged. gate 293/0, connect 60/0, live-data copy 187/0, API old vs new: only page links differmre
- 0369106emission 010 (code order) 4/4: README file map + import order + 'Same output' test, STATUS (entry, lessons, how to verify), LOG, report; tests/realdata-baseline.mjs + realdata-compare*.py (a cleanup answers the same on live data), tests/letcount.pymre
- a75e0279mission 010 (code order) 3/4: let only where a variable is reassigned or re-bound in a loop body (456 lets → plain declarations; Hybriel refuses a plain declaration inside a loop on its 2nd pass). gate 249/0, connect 60/0, real-data reads identical, a 50-step write sequence (API + faces) identical to the old codemre
- e9d5c618mission 010 (code order) 2/4: one lib/ file per topic — store.hl split into projects / tickets (+ relations) / events / tickets-helpers, util.hl shared helpers (env, storage dir, URLs, sorts, Vienna time), the function routes out of project.hl into lib/api.hl (thin; auth/filters/Accept in api-helpers.hl), invite + member-removal logic out of the faces/routes into invites.hl / tickets.hl; project.hl is the map. /login/callback gets req + the session store by reference. gate 249/0, connect 60/0, real-data reads identicalmre
- 97e269b5mission 010 (code order) 1/4: .hl files out of the root — lib/ (store, users, connections, invites, migrate, markdown, mdview, import = ticketfile, util = localtime, jsoncheck, api-helpers = api), tools/import.hl, components/styles.hl; import paths only. gate 249/0, connect 60/0, real-data reads identicalmre
- 38f9d10ftickets: Hybriel master 06617221 (plugin allocators 3a781359 + 413f60e4, mpackdb 2cb7ae5e, http1 773de63e); gate 249/0, connect 60/0mre
- d3db6139tickets: Hybriel master 190aa11d (fc838894 GC correctness, #126 closure scopes, #127); gate 249/0, connect 60/0mre
- bce182e3tickets: Hybriel master 7eea0d32 (#126 memory, #48 lambda copies its argument); migrate.hl lambdas take &logmre
- 4137be0fantcolony#40: mission references point to the moved missionsmre
- 9bfba36aantcolony#40: history (LOG.md), worker briefs (missions/) and reports moved here from antcolony, numbered per project; old numbers in antcolony docs/mission-map.mdmre
- c7bd2645tickets: Hybriel master 73267707 (#122 fixed); compactNow workaround removed (#110 covered)mre
- 2ab91ee9tickets: gate checks rows appear once (session sync); re-vendor to ff51cf46 stopped on hybriel#122, stays 837fe120mre
- e01c2b1dtickets#24: installable app (manifest, service worker, offline list), own icon; gate waits for the hello's pongmre
- 752fbb7fdeploy.sh: back up live storage/.sessions/.env before every deploy (newest 5 kept)mre
- 38bdd5e4deploy.sh: never send .git or .gitignore to Byrodinmre
- f12fa1bcState of 2026-09-27, before the move to gitoriamre