@transactional-reducer/core 0.0.1 → 0.0.2

package/dist/TransactionalReducer.js

@@ -1,208 +0,0 @@
-import { Transaction, _generateId, _isDescendantOf, _cleanupCommittedDescendants, } from "./Transaction";
-export class TransactionalReducer {
-    reducer;
-    options;
-    stateRef;
-    actionLogRef;
-    transactionsRef;
-    generationRef;
-    _listeners = new Set();
-    constructor(reducer, initialState, options) {
-        this.reducer = reducer;
-        this.options = options;
-        this.stateRef = { current: initialState };
-        this.actionLogRef = { current: [] };
-        this.transactionsRef = { current: new Map() };
-        this.generationRef = { current: new Map() };
-    }
-    get state() {
-        return this.stateRef.current;
-    }
-    subscribe(listener) {
-        this._listeners.add(listener);
-        return () => { this._listeners.delete(listener); };
-    }
-    _notify() {
-        const state = this.stateRef.current;
-        for (const listener of this._listeners) {
-            listener(state);
-        }
-    }
-    // 非事务 dispatch 仅在有活跃事务时记录日志。
-    // 这确保它们在回滚重放中被保留（txId:null，不在任何 rollbackSet 中）。
-    // 无活跃事务时日志不必要——不可能发生回滚，因此跳过日志记录。
-    dispatch(action) {
-        if (this._hasActiveTransactions()) {
-            this.actionLogRef.current.push({ action, txId: null, generation: 0 });
-        }
-        this._applyAction(action);
-    }
-    run(task, options) {
-        const strategy = options?.onDuplicate ?? this.options?.onDuplicate ?? "rollback";
-        if (strategy === "reuse" && options?.id) {
-            const existing = this.transactionsRef.current.get(options.id);
-            if (existing?.status === "active") {
-                throw new Error(`Cannot run: transaction "${options.id}" is already active`);
-            }
-        }
-        const tx = this._createTx(options?.id, null, options?.onError ?? "rollback", strategy);
-        return this._runWithTx(tx, task);
-    }
-    create(options) {
-        const strategy = options?.onDuplicate ?? this.options?.onDuplicate ?? "rollback";
-        if (strategy === "reuse" && options?.id) {
-            const existing = this.transactionsRef.current.get(options.id);
-            if (existing?.status === "active")
-                return existing;
-        }
-        return this._createTx(options?.id, null, options?.onError ?? "rollback", strategy);
-    }
-    getTransaction(id) {
-        return this.transactionsRef.current.get(id);
-    }
-    _applyAction(action) {
-        this.stateRef.current = this.reducer(this.stateRef.current, action);
-        this._notify();
-    }
-    // ─── _createTx ────────────────────────────────────────────────────────
-    //
-    // 去重机制：如果相同 id 的活跃事务已存在，根据 onDuplicate 策略处理：
-    //   - rollback：回滚旧事务再创建新的（默认，向后兼容）
-    //   - commit：提交旧事务（含回滚其活跃子事务）再创建新的
-    //   - reject：抛出错误，拒绝创建
-    //   - reuse：不在 _createTx 内处理——由调用点（api.create/run/spawn）处理
-    //
-    // 回滚旧事务后，创建新的 Transaction 对象并赋予新的 generation。
-    // 旧句柄变为过期，因为：
-    //   - transactionsRef 中该 id 现在持有新对象
-    //   - generationRef 中该 id 现有更高的 generation
-    //
-    // 关键：旧句柄的异步完成回调绝不能对过期句柄调用
-    // _commit 或 _rollback，因为：
-    //   - _commit 会从 transactionsRef 删除新事务（相同 id 键），
-    //     破坏新事务的状态
-    //   - _rollbackActiveDescendants 会找到新事务的子事务
-    //     （parentId === this.id 匹配）并错误地回滚它们
-    // 这就是 runWithTx 在 _commit/_rollback 前检查过期的原因。
-    // ────────────────────────────────────────────────────────────────────────
-    _createTx(id, parentId, onError, onDuplicate) {
-        const txId = id || this.options?.idGenerator?.() || _generateId();
-        const existing = this.transactionsRef.current.get(txId);
-        if (existing?.status === "active") {
-            switch (onDuplicate) {
-                case "rollback":
-                    existing._rollback();
-                    break;
-                case "commit":
-                    existing._rollbackActiveDescendants();
-                    existing._commit();
-                    if (existing.parentId !== null) {
-                        for (let i = existing.snapshotIndex; i < this.actionLogRef.current.length; i++) {
-                            const entry = this.actionLogRef.current[i];
-                            if (entry.skipped)
-                                continue;
-                            if (entry.txId === existing.id ||
-                                _isDescendantOf(entry.txId, existing.id, this.transactionsRef.current)) {
-                                this.actionLogRef.current[i] = {
-                                    action: entry.action,
-                                    txId: null,
-                                    generation: 0,
-                                };
-                            }
-                        }
-                        _cleanupCommittedDescendants(existing.id, this.transactionsRef.current);
-                    }
-                    break;
-                case "reject":
-                    throw new Error(`Transaction "${txId}" is already active`);
-                case "reuse":
-                    break;
-            }
-        }
-        const generation = this._nextGeneration(txId);
-        const snapshot = (this.options?.snapshot ?? structuredClone)(this.stateRef.current);
-        const snapshotIndex = this.actionLogRef.current.length;
-        const tx = new Transaction(this, txId, parentId, onError, generation, snapshot, snapshotIndex);
-        this.transactionsRef.current.set(txId, tx);
-        return tx;
-    }
-    // ─── _runWithTx ───────────────────────────────────────────────────────
-    //
-    // 包装任务函数，提供自动事务生命周期管理：
-    //   - 成功 → 回滚活跃后代，然后提交
-    //   - onError:"rollback" 的错误 → 回滚事务
-    //   - onError:"commit" 的错误 → 回滚活跃后代，然后提交
-    //
-    // 对于异步任务，Promise 回调中的过期检查至关重要。
-    // 在任务启动和 Promise resolve 之间，事务可能已过期
-    // （例如 _createTx 用相同 id 替换了它）。过期句柄绝不能
-    // 提交或回滚，因为：
-    //   - 对过期根事务的 _commit 会从 transactionsRef 删除新事务
-    //     （共享相同 id 键）
-    //   - 对过期句柄的 _rollbackActiveDescendants 会找到新事务的
-    //     子事务（parentId === this.id 匹配）并错误地回滚它们
-    //
-    // 对于同步任务，执行期间不可能过期（无异步暂停），无需检查。
-    // ────────────────────────────────────────────────────────────────────────
-    _runWithTx(tx, task) {
-        try {
-            const result = task(tx);
-            if (result instanceof Promise) {
-                return result.then((r) => {
-                    // 过期检查：如果事务已被替换（例如第二次 run 使用相同 id），
-                    // 跳过提交——新事务现在拥有该 id。
-                    if (!tx.isStale()) {
-                        tx._rollbackActiveDescendants();
-                        tx._commit();
-                    }
-                    return r;
-                }, (e) => {
-                    if (tx.onError === "commit") {
-                        // onError:"commit" 表示出错时保留变更。
-                        // 仍需过期检查——过期句柄绝不能提交
-                        // （会从 transactionsRef 删除新事务）。
-                        if (!tx.isStale()) {
-                            tx._rollbackActiveDescendants();
-                            tx._commit();
-                        }
-                    }
-                    else {
-                        // _rollback 内部有自己的过期检查，
-                        // 此处无需额外检查。
-                        tx._rollback();
-                    }
-                    throw e;
-                });
-            }
-            // 同步成功：同步执行期间不可能过期
-            tx._rollbackActiveDescendants();
-            tx._commit();
-            return result;
-        }
-        catch (e) {
-            // 同步错误：同样不可能过期
-            if (tx.onError === "commit") {
-                tx._rollbackActiveDescendants();
-                tx._commit();
-            }
-            else {
-                tx._rollback();
-            }
-            throw e;
-        }
-    }
-    _nextGeneration(txId) {
-        const prev = this.generationRef.current.get(txId) ?? 0;
-        const next = prev + 1;
-        this.generationRef.current.set(txId, next);
-        return next;
-    }
-    _hasActiveTransactions() {
-        for (const tx of this.transactionsRef.current.values()) {
-            if (tx.status === "active")
-                return true;
-        }
-        return false;
-    }
-}
-//# sourceMappingURL=TransactionalReducer.js.map

package/dist/TransactionalReducer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"TransactionalReducer.js","sourceRoot":"","sources":["../src/TransactionalReducer.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,WAAW,EACX,eAAe,EACf,4BAA4B,GAS7B,MAAM,eAAe,CAAA;AActB,MAAM,OAAO,oBAAoB;IACtB,OAAO,CAA4B;IACnC,OAAO,CAA4C;IACnD,QAAQ,CAAQ;IAChB,YAAY,CAA0B;IACtC,eAAe,CAAqC;IACpD,aAAa,CAA0B;IAExC,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAA;IAElD,YACE,OAAmC,EACnC,YAAe,EACf,OAAwC;QAExC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,QAAQ,GAAG,EAAE,OAAO,EAAE,YAAY,EAAE,CAAA;QACzC,IAAI,CAAC,YAAY,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;QACnC,IAAI,CAAC,eAAe,GAAG,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;QAC7C,IAAI,CAAC,aAAa,GAAG,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;IAC7C,CAAC;IAED,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAA;IAC9B,CAAC;IAED,SAAS,CAAC,QAA4B;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC7B,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA,CAAC,CAAC,CAAA;IACnD,CAAC;IAED,OAAO;QACL,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAA;QACnC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,gDAAgD;IAChD,iCAAiC;IACjC,QAAQ,CAAC,MAAS;QAChB,IAAI,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;QACvE,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IAED,GAAG,CAAI,IAAqC,EAAE,OAA4B;QACxE,MAAM,QAAQ,GAAG,OAAO,EAAE,WAAW,IAAI,IAAI,CAAC,OAAO,EAAE,WAAW,IAAI,UAAU,CAAA;QAChF,IAAI,QAAQ,KAAK,OAAO,IAAI,OAAO,EAAE,EAAE,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAC7D,IAAI,QAAQ,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,KAAK,CACb,4BAA4B,OAAO,CAAC,EAAE,qBAAqB,CAC5D,CAAA;YACH,CAAC;QACH,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CACvB,OAAO,EAAE,EAAE,EACX,IAAI,EACJ,OAAO,EAAE,OAAO,IAAI,UAAU,EAC9B,QAAQ,CACT,CAAA;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAClC,CAAC;IAED,MAAM,CAAC,OAA4B;QACjC,MAAM,QAAQ,GAAG,OAAO,EAAE,WAAW,IAAI,IAAI,CAAC,OAAO,EAAE,WAAW,IAAI,UAAU,CAAA;QAChF,IAAI,QAAQ,KAAK,OAAO,IAAI,OAAO,EAAE,EAAE,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAC7D,IAAI,QAAQ,EAAE,MAAM,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAA;QACpD,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CACnB,OAAO,EAAE,EAAE,EACX,IAAI,EACJ,OAAO,EAAE,OAAO,IAAI,UAAU,EAC9B,QAAQ,CACT,CAAA;IACH,CAAC;IAED,cAAc,CAAC,EAAU;QACvB,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC;IAED,YAAY,CAAC,MAAS;QACpB,IAAI,CAAC,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACnE,IAAI,CAAC,OAAO,EAAE,CAAA;IAChB,CAAC;IAED,yEAAyE;IACzE,EAAE;IACF,6CAA6C;IAC7C,mCAAmC;IACnC,mCAAmC;IACnC,uBAAuB;IACvB,2DAA2D;IAC3D,EAAE;IACF,8CAA8C;IAC9C,cAAc;IACd,oCAAoC;IACpC,2CAA2C;IAC3C,EAAE;IACF,0BAA0B;IAC1B,0BAA0B;IAC1B,iDAAiD;IACjD,eAAe;IACf,4CAA4C;IAC5C,wCAAwC;IACxC,8CAA8C;IAC9C,2EAA2E;IAC3E,SAAS,CACP,EAAsB,EACtB,QAAuB,EACvB,OAAwB,EACxB,WAAgC;QAEhC,MAAM,IAAI,GAAG,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,IAAI,WAAW,EAAE,CAAA;QACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACvD,IAAI,QAAQ,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;YAClC,QAAQ,WAAW,EAAE,CAAC;gBACpB,KAAK,UAAU;oBACb,QAAQ,CAAC,SAAS,EAAE,CAAA;oBACpB,MAAK;gBACP,KAAK,QAAQ;oBACX,QAAQ,CAAC,0BAA0B,EAAE,CAAA;oBACrC,QAAQ,CAAC,OAAO,EAAE,CAAA;oBAClB,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;wBAC/B,KACE,IAAI,CAAC,GAAG,QAAQ,CAAC,aAAa,EAC9B,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,EACpC,CAAC,EAAE,EACH,CAAC;4BACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAE,CAAA;4BAC3C,IAAI,KAAK,CAAC,OAAO;gCAAE,SAAQ;4BAC3B,IACE,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE;gCAC1B,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EACtE,CAAC;gCACD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;oCAC7B,MAAM,EAAE,KAAK,CAAC,MAAM;oCACpB,IAAI,EAAE,IAAI;oCACV,UAAU,EAAE,CAAC;iCACd,CAAA;4BACH,CAAC;wBACH,CAAC;wBACD,4BAA4B,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAA;oBACzE,CAAC;oBACD,MAAK;gBACP,KAAK,QAAQ;oBACX,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,qBAAqB,CAAC,CAAA;gBAC5D,KAAK,OAAO;oBACV,MAAK;YACT,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;QAC7C,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,IAAI,eAAe,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACnF,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAA;QAEtD,MAAM,EAAE,GAAG,IAAI,WAAW,CACxB,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,UAAU,EACV,QAAQ,EACR,aAAa,CACd,CAAA;QAED,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAC1C,OAAO,EAAE,CAAA;IACX,CAAC;IAED,yEAAyE;IACzE,EAAE;IACF,uBAAuB;IACvB,uBAAuB;IACvB,oCAAoC;IACpC,yCAAyC;IACzC,EAAE;IACF,+BAA+B;IAC/B,oCAAoC;IACpC,qCAAqC;IACrC,YAAY;IACZ,+CAA+C;IAC/C,kBAAkB;IAClB,gDAAgD;IAChD,2CAA2C;IAC3C,EAAE;IACF,gCAAgC;IAChC,2EAA2E;IAC3E,UAAU,CACR,EAAqB,EACrB,IAAqC;QAErC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;YACvB,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,IAAI,CAChB,CAAC,CAAC,EAAE,EAAE;oBACJ,oCAAoC;oBACpC,qBAAqB;oBACrB,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;wBAClB,EAAE,CAAC,0BAA0B,EAAE,CAAA;wBAC/B,EAAE,CAAC,OAAO,EAAE,CAAA;oBACd,CAAC;oBACD,OAAO,CAAC,CAAA;gBACV,CAAC,EACD,CAAC,CAAC,EAAE,EAAE;oBACJ,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;wBAC5B,8BAA8B;wBAC9B,oBAAoB;wBACpB,8BAA8B;wBAC9B,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;4BAClB,EAAE,CAAC,0BAA0B,EAAE,CAAA;4BAC/B,EAAE,CAAC,OAAO,EAAE,CAAA;wBACd,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,wBAAwB;wBACxB,YAAY;wBACZ,EAAE,CAAC,SAAS,EAAE,CAAA;oBAChB,CAAC;oBACD,MAAM,CAAC,CAAA;gBACT,CAAC,CACc,CAAA;YACnB,CAAC;YACD,mBAAmB;YACnB,EAAE,CAAC,0BAA0B,EAAE,CAAA;YAC/B,EAAE,CAAC,OAAO,EAAE,CAAA;YACZ,OAAO,MAAM,CAAA;QACf,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,eAAe;YACf,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAC5B,EAAE,CAAC,0BAA0B,EAAE,CAAA;gBAC/B,EAAE,CAAC,OAAO,EAAE,CAAA;YACd,CAAC;iBAAM,CAAC;gBACN,EAAE,CAAC,SAAS,EAAE,CAAA;YAChB,CAAC;YACD,MAAM,CAAC,CAAA;QACT,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,IAAY;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACtD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAA;QACrB,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1C,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,sBAAsB;QAC5B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACvD,IAAI,EAAE,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAA;QACzC,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;CACF"}