@adobe/ecs 0.0.0-stage → 0.1.0

package/dist/implementation/world/state.js

@@ -0,0 +1,335 @@
+import { createHolds } from './stop-lists.js';
+import { declarationOf, firstKeyOf, kindOf, labelOf } from '../../interface/registry/index.js';
+import { createArchetype, startTicks } from './archetype.js';
+import { createEntities } from './entities.js';
+import { createPlan } from './plan.js';
+import { createStructure, owner, restratify, weak } from './structure.js';
+import { layoutOf, objectLayout } from '../../interface/registry/layout.js';
+import { createMemory } from './memory.js';
+import { createStrings } from './strings.js';
+import { createLayoutDirectory } from './layout-directory.js';
+import { createJournal } from './journal.js';
+import { createObserverState } from './joined-observer.js';
+import { claimComponent } from './remote.js';
+const tiersRan = new WeakMap();
+const tierRanOf = (runners, main) => {
+    const known = tiersRan.get(runners);
+    if (known !== undefined && known.main === main)
+        return known;
+    let here = false;
+    let onMain = false;
+    let gpu = false;
+    const logs = [];
+    for (let i = 0; i < runners.length; i++) {
+        const { remote, placement } = runners[i];
+        if (remote !== null) {
+            if (!logs.includes(remote.channel.log))
+                logs.push(remote.channel.log);
+            if (remote.channel.log === main)
+                onMain = true;
+        }
+        else
+            here = true;
+        if (placement !== "cpu")
+            gpu = true;
+    }
+    const tier = { main, here, onMain: onMain || (here && main === undefined), gpu, logs };
+    tiersRan.set(runners, tier);
+    return tier;
+};
+/** Counts a tier's runners into `ran`: one on a joined thread by its log, one here on `main` unless a joined thread claims it. */
+export const countRan = (state, runners) => {
+    const { ran } = state;
+    ran.systems += runners.length;
+    const tier = tierRanOf(runners, state.claims.get("main"));
+    if (tier.onMain)
+        ran.main = true;
+    if (tier.gpu)
+        ran.gpu = true;
+    for (let k = 0; k < tier.logs.length; k++)
+        ran.joined.add(tier.logs[k]);
+};
+/** Starts gathering what a run ran. */
+export const startRan = (ran) => {
+    ran.systems = 0;
+    ran.main = false;
+    ran.gpu = false;
+    if (ran.joined.size !== 0)
+        ran.joined.clear();
+};
+export const createState = (shared, wasm = true, simd = true, gpu = false, initial = new Map()) => {
+    const memory = createMemory(shared);
+    return {
+        memory,
+        entities: createEntities(memory),
+        archetypes: [],
+        bumped: [],
+        replaced: { count: 0 },
+        directory: createLayoutDirectory(memory),
+        archetypeByKey: new Map(),
+        ids: new Map(),
+        keys: [],
+        layouts: [],
+        strings: memory.shared ? createStrings(memory) : null,
+        derived: [],
+        transfers: [],
+        transferring: false,
+        resources: new Set(),
+        tick: 0,
+        queued: [],
+        drains: [],
+        drained: 0,
+        resourceEntity: -1,
+        observed: new Set(),
+        observedCounts: [],
+        kernelIndexes: new Map(),
+        referencesWritten: [],
+        journal: createJournal(),
+        ticked: new Set(),
+        resident: new Set(),
+        batches: [],
+        batchByKey: new Map(),
+        unused: [],
+        lists: new Map(),
+        byIndex: [],
+        shapes: [],
+        recent: [],
+        nextRecent: 0,
+        commandable: [],
+        starts: [],
+        directories: new Set(), workers: 0, afterSync: new Set(),
+        rows: new Map(),
+        wasm,
+        simd,
+        plan: createPlan(),
+        syncing: null,
+        carried: null,
+        born: null,
+        structure: createStructure(),
+        finalizers: [],
+        activated: new Set(),
+        activation: { version: -1, met: true },
+        initial,
+        gpu: null,
+        touched: gpu ? new Set() : null,
+        remote: [],
+        claims: new Map(),
+        logs: [],
+        claimed: false,
+        ran: { systems: 0, main: false, gpu: false, joined: new Set() },
+        meta: new Set(),
+        counting: false,
+        observer: createObserverState(),
+        counted: [],
+        threadTasks: new Map(),
+        channels: [],
+        placement: 0,
+        runnersVersion: 0,
+        unplaced: [],
+        unplacedSeen: new Set(),
+        holds: createHolds(),
+        tails: [],
+        indexes: new Map(),
+        written: [],
+        valuesWritten: 0,
+        indexFailures: [],
+        phasedBuilds: 0,
+        pooledBuilds: 0,
+        watchesPending: [],
+    };
+};
+/** Counts one more system or index watching a component's changes, so kernels keep its stamps. */
+export const observe = (state, id) => {
+    state.observedCounts[id] = (state.observedCounts[id] ?? 0) + 1;
+    state.observed.add(id);
+};
+/** Counts one fewer; kernels that muted its stamps before keep them until they load again for another reason. */
+export const unobserve = (state, id) => {
+    const count = (state.observedCounts[id] ?? 0) - 1;
+    state.observedCounts[id] = count;
+    if (count <= 0)
+        state.observed.delete(id);
+};
+/** The id of a component or resource the world has met, or undefined. */
+export const metIdOf = (state, key) => state.ids.get(key) ?? state.ids.get(firstKeyOf(key));
+/** Components whose hosts are being resolved, to report a cycle of `within` declarations. */
+const resolving = new Set();
+/** The id of a component or resource. Throws if it has no registered schema. */
+export const idOf = (state, key) => {
+    const existing = state.ids.get(key);
+    if (existing !== undefined)
+        return existing;
+    // Symbols registered under one id are one component, by the first of them.
+    const first = firstKeyOf(key);
+    if (first !== key) {
+        const id = idOf(state, first);
+        state.ids.set(key, id);
+        return id;
+    }
+    const declaration = declarationOf(key);
+    if (declaration === undefined)
+        throw new Error(`"${labelOf(key)}" has no registered schema; import the module that registers it.`);
+    const { structure } = state;
+    // A host gets its id first, so stratifying with the new edge can name it; a cycle throws before anything is
+    // recorded.
+    const within = declaration.within;
+    let host = -1;
+    if (typeof within === "symbol") {
+        if (resolving.has(key))
+            throw new Error(`Components are within each other in a cycle: ${[...resolving].map(labelOf).sort().join(", ")}.`);
+        resolving.add(key);
+        try {
+            host = idOf(state, within);
+        }
+        finally {
+            resolving.delete(key);
+        }
+    }
+    const id = state.keys.length;
+    if (host >= 0) {
+        const hosts = [...structure.hosts];
+        hosts[id] = host;
+        restratify(structure, structure.rules, hosts, other => labelOf(other === id ? key : state.keys[other]));
+    }
+    state.ids.set(key, id);
+    state.keys.push(key);
+    const declared = layoutOf(declaration.type);
+    // Only other threads need strings in shared memory, and there are none without it.
+    const layout = declared.kind === "string" && state.strings === null ? objectLayout : declared;
+    state.layouts.push(layout);
+    state.starts.push(layout.kind === "constant" ? layout.value : defaultOf(key));
+    state.commandable.push(false);
+    state.written.push(0);
+    state.derived.push(declaration.derived === true);
+    state.transfers.push(declaration.transfer === true);
+    if (declaration.transfer === true)
+        state.transferring = true;
+    structure.hosts[id] = host;
+    structure.dependents[id] = [];
+    if (host >= 0)
+        structure.dependents[host].push(id);
+    structure.references[id] = declaration.reference === "owner" ? owner : declaration.reference === "weak" ? weak : 0;
+    if (structure.references[id] !== 0)
+        structure.referenceIds.push(id);
+    if (kindOf(key) === "resource")
+        state.resources.add(id);
+    state.activation.met = true;
+    if (state.claimed)
+        claimComponent(state, id);
+    return id;
+};
+/**
+ * What a resource or derived component starts at: its declaration's default or its schema's, or `null` when its type
+ * allows leaving it out.
+ */
+export const defaultOf = (key) => {
+    const declaration = declarationOf(key);
+    if (declaration === undefined)
+        return null;
+    if ("default" in declaration)
+        return declaration.default;
+    const { type } = declaration;
+    return type !== undefined && "default" in type ? type.default : null;
+};
+/**
+ * The id of a component a command names. Throws for a key that isn't a symbol, isn't registered, or is a resource,
+ * for a derived component, which only rules add and remove, and for one only the world writes.
+ */
+export const commandIdOf = (state, key) => {
+    const known = typeof key === "symbol" ? state.ids.get(key) : undefined;
+    if (known !== undefined && state.commandable[known])
+        return known;
+    if (Array.isArray(key))
+        throw new Error("A command names a list of components where one component's symbol goes.");
+    if (typeof key !== "symbol")
+        throw new Error(`"${labelOf(key)}" isn't a component: a component's key is a symbol.`);
+    if (kindOf(key) === "resource")
+        throw new Error(`"${labelOf(key)}" is a resource, not a component.`);
+    const id = idOf(state, key);
+    if (state.derived[id])
+        throw new Error(`"${labelOf(key)}" is derived, so only rules add and remove it.`);
+    state.commandable[id] = true;
+    return id;
+};
+/** The archetype for sorted component ids, created if needed. Creation allocates, so it happens only at sync points. */
+export const archetypeOf = (state, components) => {
+    const key = components.join(",");
+    const existing = state.archetypeByKey.get(key);
+    if (existing !== undefined)
+        return existing;
+    const archetype = createArchetype(state.memory, state.strings, state.archetypes.length, components, state.layouts, components.some(id => state.resources.has(id)), components.some(id => state.meta.has(id)), state.ticked, state.bumped, state.replaced, state.remote);
+    state.archetypes.push(archetype);
+    state.archetypeByKey.set(key, archetype);
+    return archetype;
+};
+/** Starts keeping ticks for components, in every archetype. Allocates, so it runs only between runs. */
+export const startTicking = (state, components) => {
+    for (const id of components) {
+        if (state.ticked.has(id))
+            continue;
+        state.ticked.add(id);
+        for (const archetype of state.archetypes) {
+            const storage = archetype.storageById[id];
+            if (storage !== undefined)
+                startTicks(state.memory, archetype, storage, state.tick);
+        }
+    }
+};
+/**
+ * Marks components as held on the GPU, once they keep ticks. Returns whether any is new, so kernels that muted its
+ * chunk stamps load again.
+ */
+export const reside = (state, components) => {
+    let added = false;
+    for (const id of components) {
+        if (state.resident.has(id))
+            continue;
+        state.resident.add(id);
+        added = true;
+    }
+    return added;
+};
+/** The archetype with `id` added, through a cached edge. Creating one allocates, so this runs only at sync points. */
+export const withComponent = (state, archetype, id) => {
+    if (archetype.storageById[id] !== undefined)
+        return archetype;
+    let next = archetype.adding[id];
+    if (next === undefined) {
+        next = archetypeOf(state, [...archetype.components, id].sort((a, b) => a - b));
+        archetype.adding[id] = next;
+    }
+    return next;
+};
+export const withoutComponent = (state, archetype, id) => {
+    if (archetype.storageById[id] === undefined)
+        return archetype;
+    let next = archetype.removing[id];
+    if (next === undefined) {
+        next = archetypeOf(state, archetype.components.filter(component => component !== id));
+        archetype.removing[id] = next;
+    }
+    return next;
+};
+/** The storages two archetypes share, as source and target pairs, cached per pair. */
+export const movesOf = (from, to) => {
+    let moves = from.moves[to.id];
+    if (moves === undefined) {
+        moves = to.storages.flatMap(storage => {
+            const source = from.storageById[storage.component];
+            return source === undefined ? [] : [source, storage];
+        });
+        from.moves[to.id] = moves;
+    }
+    return moves;
+};
+/** Own symbol keys whose value isn't `undefined`: string keys are never a component's. */
+export const entriesOf = (values) => {
+    const entries = [];
+    for (const key of Object.getOwnPropertySymbols(values)) {
+        const value = Reflect.get(values, key);
+        if (value !== undefined)
+            entries.push([key, value]);
+    }
+    return entries;
+};
+//# sourceMappingURL=state.js.map

package/dist/implementation/world/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/implementation/world/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAc,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,mCAAmC,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,UAAU,EAAgC,MAAM,gBAAgB,CAAC;AAQ3F,OAAO,EAAE,cAAc,EAAgC,MAAM,eAAe,CAAC;AAE7E,OAAO,EAAE,UAAU,EAAa,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAkB,MAAM,gBAAgB,CAAC;AAC1F,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAe,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,YAAY,EAAe,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,aAAa,EAAoB,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAwB,MAAM,uBAAuB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAgB,MAAM,cAAc,CAAC;AAK3D,OAAO,EAAE,mBAAmB,EAAsB,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAe7C,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAiC,CAAC;AAE9D,MAAM,SAAS,GAAG,CAAC,OAA6B,EAAE,IAAyB,EAAW,EAAE;IACpF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,MAAM,IAAI,GAAc,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACtE,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,IAAI;gBAAE,MAAM,GAAG,IAAI,CAAC;QACnD,CAAC;;YACI,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,SAAS,KAAK,KAAK;YAAE,GAAG,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,SAAS,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACvF,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,kIAAkI;AAClI,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,OAA6B,EAAQ,EAAE;IAC1E,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACtB,GAAG,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC;IAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,MAAM;QAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;IACjC,IAAI,IAAI,CAAC,GAAG;QAAE,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAAQ,EAAQ,EAAE;IACvC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC;IAChB,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC;IACjB,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC;IAChB,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;AAClD,CAAC,CAAC;AAgLF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAgB,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,GAAG,GAAG,KAAK,EAAE,UAA6B,IAAI,GAAG,EAAE,EAAS,EAAE;IAClI,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO;QACH,MAAM;QACN,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC;QAChC,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;QACtB,SAAS,EAAE,qBAAqB,CAAC,MAAM,CAAC;QACxC,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,GAAG,EAAE,IAAI,GAAG,EAAE;QACd,IAAI,EAAE,EAAE;QACR,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;QACrD,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,KAAK;QACnB,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,CAAC;QACV,cAAc,EAAE,CAAC,CAAC;QAClB,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,iBAAiB,EAAE,EAAE;QACrB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,IAAI,GAAG,EAAE;QACrB,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,EAAE;QACV,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE;QACxD,IAAI,EAAE,IAAI,GAAG,EAAE;QACf,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,UAAU,EAAE;QAClB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,eAAe,EAAE;QAC5B,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE;QACtC,OAAO;QACP,GAAG,EAAE,IAAI;QACT,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QAC/B,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,IAAI,EAAE,EAAE;QACR,OAAO,EAAE,KAAK;QACd,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE;QAC/D,IAAI,EAAE,IAAI,GAAG,EAAE;QACf,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,mBAAmB,EAAE;QAC/B,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,CAAC;QACZ,cAAc,EAAE,CAAC;QACjB,QAAQ,EAAE,EAAE;QACZ,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,KAAK,EAAE,WAAW,EAAE;QACpB,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,EAAE;QACX,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,EAAE;QACjB,YAAY,EAAE,CAAC;QACf,YAAY,EAAE,CAAC;QACf,cAAc,EAAE,EAAE;KACrB,CAAC;AACN,CAAC,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,EAAU,EAAQ,EAAE;IACtD,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/D,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC3B,CAAC,CAAC;AAEF,iHAAiH;AACjH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAY,EAAE,EAAU,EAAQ,EAAE;IACxD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAClD,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;IACjC,IAAI,KAAK,IAAI,CAAC;QAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,yEAAyE;AACzE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,GAAQ,EAAsB,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAE5H,6FAA6F;AAC7F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAO,CAAC;AAEjC,gFAAgF;AAChF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,GAAQ,EAAU,EAAE;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,2EAA2E;IAC3E,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;QAChB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACvB,OAAO,EAAE,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,kEAAkE,CAAC,CAAC;IACnI,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC5B,4GAA4G;IAC5G,YAAY;IACZ,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;IACd,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1I,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,IAAI,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;gBACO,CAAC;YACL,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACL,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;IAC7B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;QACjB,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC5C,mFAAmF;IACnF,MAAM,MAAM,GAAW,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;IACtG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IACjD,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IACpD,IAAI,WAAW,CAAC,QAAQ,KAAK,IAAI;QAAE,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;IAC7D,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IAC3B,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IAC9B,IAAI,IAAI,IAAI,CAAC;QAAE,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnH,IAAI,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC;QAAE,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,UAAU;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxD,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,OAAO;QAAE,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,EAAE,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAQ,EAAW,EAAE;IAC3C,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,SAAS,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC,OAAO,CAAC;IACzD,MAAM,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC;IAC7B,OAAO,IAAI,KAAK,SAAS,IAAI,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACzE,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,GAAY,EAAU,EAAE;IAC9D,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;IACnH,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;IACpH,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACrG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;IACzG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IAC7B,OAAO,EAAE,CAAC;AACd,CAAC,CAAC;AAEF,wHAAwH;AACxH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,UAA6B,EAAa,EAAE;IAClF,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxQ,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACzC,OAAO,SAAS,CAAC;AACrB,CAAC,CAAC;AAEF,wGAAwG;AACxG,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,UAA6B,EAAQ,EAAE;IAC9E,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACnC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAC1C,IAAI,OAAO,KAAK,SAAS;gBAAE,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxF,CAAC;IACL,CAAC;AACL,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,UAA6B,EAAW,EAAE;IAC3E,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACrC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,KAAK,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,sHAAsH;AACtH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAY,EAAE,SAAoB,EAAE,EAAU,EAAa,EAAE;IACvF,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/E,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAE,SAAoB,EAAE,EAAU,EAAa,EAAE;IAC1F,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC;QACtF,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAe,EAAE,EAAa,EAAsB,EAAE;IAC1E,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACnD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAc,EAAoB,EAAE;IAC1D,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAC"}

package/dist/implementation/world/stop-lists.d.ts

@@ -0,0 +1,114 @@
+import type { Finalizer } from '../../interface/finalizer/created.js';
+import type { Memory } from './memory.js';
+import type { StringStore } from './strings.js';
+import { type MoveLog } from './move-log.js';
+export declare const blockSyncWord = 0;
+export declare const blockNextWord = 1;
+export declare const blockGroupsWord = 2;
+export declare const blockBytesWord = 3;
+export declare const blockHeaderBytes = 16;
+export declare const groupIndexWord = 0;
+export declare const groupCountWord = 1;
+export declare const groupBytesWord = 2;
+export declare const groupHeaderBytes = 16;
+/** Where a group of `count` stops keeps its entities, archetypes and rows, past its header. */
+export declare const entitiesAt: (group: number) => number;
+export declare const archetypesAt: (group: number, count: number) => number;
+export declare const rowsAt: (group: number, count: number) => number;
+/** Where a group's tags of its `object`th object read start. */
+export declare const tagsAt: (group: number, count: number, object: number) => number;
+/** Where a group's linear values start, after the tags of its `objects` object reads. */
+export declare const valuesAt: (group: number, count: number, objects: number) => number;
+/** Bytes of one linear read's column of `count` values of `stride` bytes. */
+export declare const columnBytes: (count: number, stride: number) => number;
+/** One of a joined thread's finalizers, as the world writes its stops. */
+export type StopsOf = {
+    readonly finalizer: Finalizer;
+    /** Its index on the thread. */
+    readonly index: number;
+    /** The components of its object reads, then of its linear reads with their strides, in its `read` order. */
+    readonly objects: readonly number[];
+    readonly linear: readonly number[];
+    readonly strides: readonly number[];
+    /** By linear read: whether it's a string's handles, whose records the block holds copies of. */
+    readonly copies: readonly boolean[];
+    /** This sync point's stops, as plan entries, reused by every sync point. */
+    readonly entries: number[];
+};
+/** A block the thread hasn't acknowledged, or the newest it has, which it still reads the next block's offset from. */
+type Written = {
+    readonly offset: number;
+    readonly bytes: number;
+    readonly sync: number;
+    /** Indexes of despawned entities, held until the thread acknowledges. */
+    readonly held: number[];
+    /** Its finalizers and their stops, reported if the thread is gone before it acknowledges. */
+    readonly stopped: readonly (readonly [Finalizer, number])[];
+    /** The copies of strings' records its stops hold, let go once the thread acknowledges. */
+    readonly strings: number[];
+    acknowledged: boolean;
+};
+/** The world's end of a joined thread's stop lists. */
+export type StopWriter = {
+    readonly memory: Memory;
+    readonly log: MoveLog;
+    /** The world's records of strings, which stops copy. */
+    readonly strings: StringStore | null;
+    /** Finalizers with stops this sync point, in order, whose block is written once every finalizer ran. */
+    readonly staged: StopsOf[];
+    readonly written: Written[];
+    /** Whether a block was written since the thread was last woken. */
+    unwoken: boolean;
+};
+export declare const createStopWriter: (memory: Memory, log: MoveLog, strings: StringStore | null) => StopWriter;
+/**
+ * Indexes of entities despawned with stops of joined threads' finalizers: by index, how many threads haven't
+ * acknowledged the stop, so the sync point kills them without releasing them; and how many are held.
+ */
+export type Holds = {
+    counts: Int32Array;
+    size: number;
+};
+export declare const createHolds: () => Holds;
+/** A storage as stops are copied from it: its tags, or its linear values. */
+type Copied = {
+    readonly tags: Uint32Array;
+    readonly views: {
+        readonly u8: Uint8Array;
+        readonly u32: Uint32Array;
+    };
+};
+/** What a sync point's stops come from: entries' entities and archetypes before apply, and the entity table's rows. */
+export type StopSource = {
+    readonly entity: Float64Array;
+    readonly from: Int32Array;
+    readonly despawned: Uint8Array;
+    readonly archetypes: readonly {
+        readonly storageById: readonly (Copied | undefined)[];
+    }[];
+    readonly row: Uint32Array;
+    readonly holds: Holds;
+};
+/**
+ * Writes the block of a sync point's staged stops, before it applies: entities, archetypes and rows, tags and linear
+ * values, copied from the rows they're at, a column at a time; despawned entities' indexes held. Links it after the
+ * last block.
+ */
+export declare const writeStops: (writer: StopWriter, sync: number, source: StopSource) => void;
+/**
+ * Takes up what the thread acknowledged: blocks through the sync it finalized through return their held indexes, and
+ * all but the newest of them are freed, since the thread reads the next block's offset from that one.
+ */
+export declare const settleStops: (writer: StopWriter, holds: Holds, released: number[]) => void;
+/**
+ * Once the thread is gone: every held index returns, and each finalizer with stops it never acknowledged is a `"thread"`
+ * failure, for the next sync point's report.
+ */
+export declare const endStops: (writer: StopWriter, holds: Holds, released: number[], label: string) => {
+    readonly finalizer: Finalizer;
+    readonly error: Error;
+    readonly kind: "thread";
+}[];
+/** Frees every block once the thread left: one that died may still be reading them. */
+export declare const freeStops: (writer: StopWriter) => void;
+export {};