@fluidframework/map 2.0.0-rc.1.0.6 → 2.0.0-rc.2.0.1

package/lib/test/mocha/directoryFuzzTests.spec.js

@@ -0,0 +1,337 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import * as dirPath from "node:path";
+import { strict as assert } from "node:assert";
+import { combineReducersAsync, createWeightedAsyncGenerator, takeAsync, } from "@fluid-private/stochastic-test-utils";
+import { createDDSFuzzSuite, } from "@fluid-private/test-dds-utils";
+import { FlushMode } from "@fluidframework/runtime-definitions";
+import { DirectoryFactory } from "../../directory.js";
+import { assertEquivalentDirectories } from "./directoryEquivalenceUtils.js";
+import { _dirname } from "./dirname.cjs";
+const defaultOptions = {
+    validateInterval: 10,
+    maxSubDirectoryChild: 3,
+    subDirectoryNamePool: ["dir1", "dir2", "dir3"],
+    keyNamePool: ["prop1", "prop2", "prop3"],
+    setKeyWeight: 5,
+    deleteKeyWeight: 2,
+    clearKeysWeight: 1,
+    createSubDirWeight: 2,
+    deleteSubDirWeight: 1,
+};
+function makeOperationGenerator(optionsParam) {
+    const options = { ...defaultOptions, ...optionsParam };
+    // All subsequent helper functions are generators; note that they don't actually apply any operations.
+    function pickAbsolutePathForCreateDirectoryOp(state) {
+        const { random, client } = state;
+        let dir = client.channel;
+        for (;;) {
+            assert(dir !== undefined, "Directory should be defined");
+            const subDirectories = [];
+            for (const [_, b] of dir.subdirectories()) {
+                subDirectories.push(b);
+            }
+            // If this dir already has max number of child, then choose one and continue.
+            if (dir.countSubDirectory !== undefined &&
+                dir.countSubDirectory() === options.maxSubDirectoryChild) {
+                dir = random.pick(subDirectories);
+                continue;
+            }
+            const subDir = random.pick([undefined, ...subDirectories]);
+            if (subDir === undefined) {
+                break;
+            }
+            else {
+                dir = subDir;
+            }
+        }
+        return dir.absolutePath;
+    }
+    function pickAbsolutePathForDeleteDirectoryOp(state) {
+        const { random, client } = state;
+        let parentDir = client.channel;
+        const subDirectories = [];
+        for (const [_, b] of client.channel.subdirectories()) {
+            subDirectories.push(b);
+        }
+        let dirToDelete = random.pick(subDirectories);
+        for (;;) {
+            assert(dirToDelete !== undefined, "Directory should be defined");
+            const subDirs = [];
+            for (const [_, b] of dirToDelete.subdirectories()) {
+                subDirs.push(b);
+            }
+            const subDir = random.pick([undefined, ...subDirs]);
+            if (subDir === undefined) {
+                break;
+            }
+            else {
+                parentDir = dirToDelete;
+                dirToDelete = subDir;
+            }
+        }
+        return parentDir.absolutePath;
+    }
+    function pickAbsolutePathForKeyOps(state, shouldHaveKey) {
+        const { random, client } = state;
+        let parentDir = client.channel;
+        for (;;) {
+            assert(parentDir !== undefined, "Directory should be defined");
+            const subDirs = [];
+            for (const [_, b] of parentDir.subdirectories()) {
+                subDirs.push(b);
+            }
+            const subDir = random.pick([undefined, ...subDirs]);
+            if (subDir !== undefined && (!shouldHaveKey || subDir.size > 0)) {
+                parentDir = subDir;
+            }
+            else {
+                break;
+            }
+        }
+        return parentDir.absolutePath;
+    }
+    async function createSubDirectory(state) {
+        return {
+            type: "createSubDirectory",
+            name: state.random.pick(options.subDirectoryNamePool),
+            path: pickAbsolutePathForCreateDirectoryOp(state),
+        };
+    }
+    async function deleteSubDirectory(state) {
+        const { random, client } = state;
+        const path = pickAbsolutePathForDeleteDirectoryOp(state);
+        const parentDir = client.channel.getWorkingDirectory(path);
+        assert(parentDir !== undefined, "parent dir should be defined");
+        assert(parentDir.countSubDirectory && parentDir.countSubDirectory() > 0, "Atleast 1 subdir should be there");
+        const subDirName = [];
+        for (const [a, _] of parentDir.subdirectories()) {
+            subDirName.push(a);
+        }
+        return {
+            type: "deleteSubDirectory",
+            name: random.pick(subDirName),
+            path,
+        };
+    }
+    async function setKey(state) {
+        const { random } = state;
+        return {
+            type: "set",
+            key: random.pick(options.keyNamePool),
+            path: pickAbsolutePathForKeyOps(state, false),
+            value: random.string(random.integer(0, 4)),
+        };
+    }
+    async function clearKeys(state) {
+        return {
+            type: "clear",
+            path: pickAbsolutePathForKeyOps(state, true),
+        };
+    }
+    async function deleteKey(state) {
+        const { random, client } = state;
+        const path = pickAbsolutePathForKeyOps(state, true);
+        const dir = client.channel.getWorkingDirectory(path);
+        assert(dir, "dir should exist");
+        return {
+            type: "delete",
+            key: random.pick([...dir.keys()]),
+            path,
+        };
+    }
+    return createWeightedAsyncGenerator([
+        [createSubDirectory, options.createSubDirWeight],
+        [
+            deleteSubDirectory,
+            options.deleteSubDirWeight,
+            (state) => (state.client.channel.countSubDirectory?.() ?? 0) > 0,
+        ],
+        [setKey, options.setKeyWeight],
+        [
+            deleteKey,
+            options.deleteKeyWeight,
+            (state) => state.client.channel.size > 0,
+        ],
+        [
+            clearKeys,
+            options.clearKeysWeight,
+            (state) => state.client.channel.size > 0,
+        ],
+    ]);
+}
+function logCurrentState(clients, loggingInfo) {
+    for (const id of loggingInfo.clientIds) {
+        const { channel: sharedDirectory } = clients.find((s) => s.containerRuntime.clientId === id) ?? {};
+        if (sharedDirectory !== undefined) {
+            console.log(`Client ${id}:`);
+            console.log(JSON.stringify(sharedDirectory.getAttachSummary(true).summary, undefined, 4));
+            console.log("\n");
+        }
+    }
+}
+function makeReducer(loggingInfo) {
+    const withLogging = (baseReducer) => async (state, operation) => {
+        if (loggingInfo !== undefined && loggingInfo.printConsoleLogs) {
+            logCurrentState(state.clients, loggingInfo);
+            console.log("-".repeat(20));
+            console.log("Next operation:", JSON.stringify(operation, undefined, 4));
+        }
+        try {
+            await baseReducer(state, operation);
+        }
+        catch (error) {
+            if (loggingInfo !== undefined) {
+                logCurrentState(state.clients, loggingInfo);
+            }
+            throw error;
+        }
+        return state;
+    };
+    const reducer = combineReducersAsync({
+        createSubDirectory: async ({ client }, { path, name }) => {
+            const dir = client.channel.getWorkingDirectory(path);
+            assert(dir);
+            dir.createSubDirectory(name);
+        },
+        deleteSubDirectory: async ({ client }, { path, name }) => {
+            const dir = client.channel.getWorkingDirectory(path);
+            assert(dir);
+            dir.deleteSubDirectory(name);
+        },
+        set: async ({ client }, { path, key, value }) => {
+            const dir = client.channel.getWorkingDirectory(path);
+            assert(dir);
+            dir.set(key, value);
+        },
+        clear: async ({ client }, { path }) => {
+            const dir = client.channel.getWorkingDirectory(path);
+            assert(dir);
+            dir.clear();
+        },
+        delete: async ({ client }, { path, key }) => {
+            const dir = client.channel.getWorkingDirectory(path);
+            assert(dir);
+            dir.delete(key);
+        },
+    });
+    return withLogging(reducer);
+}
+describe("SharedDirectory fuzz Create/Delete concentrated", () => {
+    const options = {
+        setKeyWeight: 0,
+        clearKeysWeight: 0,
+        deleteKeyWeight: 0,
+        createSubDirWeight: 2,
+        deleteSubDirWeight: 2,
+        maxSubDirectoryChild: 2,
+        subDirectoryNamePool: ["dir1", "dir2"],
+        validateInterval: defaultOptions.validateInterval,
+    };
+    const model = {
+        workloadName: "default directory 1",
+        generatorFactory: () => takeAsync(100, makeOperationGenerator(options)),
+        reducer: makeReducer({ clientIds: ["A", "B", "C"], printConsoleLogs: false }),
+        validateConsistency: assertEquivalentDirectories,
+        factory: new DirectoryFactory(),
+    };
+    createDDSFuzzSuite(model, {
+        validationStrategy: { type: "fixedInterval", interval: defaultOptions.validateInterval },
+        reconnectProbability: 0.15,
+        numberOfClients: 3,
+        clientJoinOptions: {
+            maxNumberOfClients: 3,
+            clientAddProbability: 0.08,
+            stashableClientProbability: 0.2,
+        },
+        defaultTestCount: 25,
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 21,
+        saveFailures: { directory: dirPath.join(_dirname, "../../../src/test/mocha/results/1") },
+    });
+    createDDSFuzzSuite({ ...model, workloadName: "default directory 1 with rebasing" }, {
+        validationStrategy: {
+            type: "random",
+            probability: 0.4,
+        },
+        rebaseProbability: 0.2,
+        reconnectProbability: 0.5,
+        containerRuntimeOptions: {
+            flushMode: FlushMode.TurnBased,
+            enableGroupedBatching: true,
+        },
+        numberOfClients: 3,
+        clientJoinOptions: {
+            maxNumberOfClients: 3,
+            clientAddProbability: 0.08,
+            stashableClientProbability: undefined,
+        },
+        defaultTestCount: 200,
+        // The seeds below fail only when rebaseProbability is non-zero ADO:6044
+        skip: [
+            13, 40, 43, 55, 66, 93, 94, 107, 110, 123, 136, 148, 160, 163, 168, 172, 177, 191,
+            196,
+        ],
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 21,
+        saveFailures: {
+            directory: dirPath.join(_dirname, "../../../src/test/mocha/results/1"),
+        },
+    });
+});
+describe("SharedDirectory fuzz", () => {
+    const model = {
+        workloadName: "default directory 2",
+        generatorFactory: () => takeAsync(100, makeOperationGenerator()),
+        reducer: makeReducer({ clientIds: ["A", "B", "C"], printConsoleLogs: false }),
+        validateConsistency: assertEquivalentDirectories,
+        factory: new DirectoryFactory(),
+    };
+    createDDSFuzzSuite(model, {
+        validationStrategy: { type: "fixedInterval", interval: defaultOptions.validateInterval },
+        reconnectProbability: 0.15,
+        numberOfClients: 3,
+        clientJoinOptions: {
+            // Note: if tests are slow, we may want to tune this down. This mimics behavior before this suite
+            // was refactored to use the DDS fuzz harness.
+            maxNumberOfClients: Number.MAX_SAFE_INTEGER,
+            clientAddProbability: 0.08,
+            stashableClientProbability: 0.2,
+        },
+        defaultTestCount: 25,
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 0,
+        saveFailures: { directory: dirPath.join(_dirname, "../../../src/test/mocha/results/2") },
+    });
+    createDDSFuzzSuite({ ...model, workloadName: "default directory 2 with rebasing" }, {
+        validationStrategy: {
+            type: "random",
+            probability: 0.4,
+        },
+        rebaseProbability: 0.2,
+        reconnectProbability: 0.5,
+        containerRuntimeOptions: {
+            flushMode: FlushMode.TurnBased,
+            enableGroupedBatching: true,
+        },
+        numberOfClients: 3,
+        clientJoinOptions: {
+            // Note: if tests are slow, we may want to tune this down. This mimics behavior before this suite
+            // was refactored to use the DDS fuzz harness.
+            maxNumberOfClients: Number.MAX_SAFE_INTEGER,
+            clientAddProbability: 0.08,
+            stashableClientProbability: undefined,
+        },
+        defaultTestCount: 200,
+        // The seeds below fail only when rebaseProbability is non-zero ADO:6044
+        skip: [73],
+        // Uncomment this line to replay a specific seed from its failure file:
+        // replay: 0,
+        saveFailures: {
+            directory: dirPath.join(_dirname, "../../../src/test/mocha/results/2"),
+        },
+    });
+});
+//# sourceMappingURL=directoryFuzzTests.spec.js.map

package/lib/test/mocha/directoryFuzzTests.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"directoryFuzzTests.spec.js","sourceRoot":"","sources":["../../../src/test/mocha/directoryFuzzTests.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAGN,oBAAoB,EACpB,4BAA4B,EAC5B,SAAS,GACT,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAEN,kBAAkB,GAGlB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAoDzC,MAAM,cAAc,GAAwC;IAC3D,gBAAgB,EAAE,EAAE;IACpB,oBAAoB,EAAE,CAAC;IACvB,oBAAoB,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;IAC9C,WAAW,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;IACxC,YAAY,EAAE,CAAC;IACf,eAAe,EAAE,CAAC;IAClB,eAAe,EAAE,CAAC;IAClB,kBAAkB,EAAE,CAAC;IACrB,kBAAkB,EAAE,CAAC;CACrB,CAAC;AAEF,SAAS,sBAAsB,CAC9B,YAAwC;IAExC,MAAM,OAAO,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,YAAY,EAAE,CAAC;IAEvD,sGAAsG;IACtG,SAAS,oCAAoC,CAAC,KAAoB;QACjE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACjC,IAAI,GAAG,GAAe,MAAM,CAAC,OAAO,CAAC;QACrC,SAAS;YACR,MAAM,CAAC,GAAG,KAAK,SAAS,EAAE,6BAA6B,CAAC,CAAC;YACzD,MAAM,cAAc,GAAiB,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,cAAc,EAAE,EAAE;gBAC1C,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACvB;YACD,6EAA6E;YAC7E,IACC,GAAG,CAAC,iBAAiB,KAAK,SAAS;gBACnC,GAAG,CAAC,iBAAiB,EAAE,KAAK,OAAO,CAAC,oBAAoB,EACvD;gBACD,GAAG,GAAG,MAAM,CAAC,IAAI,CAAa,cAAc,CAAC,CAAC;gBAC9C,SAAS;aACT;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAyB,CAAC,SAAS,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC;YACnF,IAAI,MAAM,KAAK,SAAS,EAAE;gBACzB,MAAM;aACN;iBAAM;gBACN,GAAG,GAAG,MAAM,CAAC;aACb;SACD;QACD,OAAO,GAAG,CAAC,YAAY,CAAC;IACzB,CAAC;IAED,SAAS,oCAAoC,CAAC,KAAoB;QACjE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACjC,IAAI,SAAS,GAAe,MAAM,CAAC,OAAO,CAAC;QAC3C,MAAM,cAAc,GAAiB,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE;YACrD,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SACvB;QACD,IAAI,WAAW,GAAG,MAAM,CAAC,IAAI,CAAa,cAAc,CAAC,CAAC;QAC1D,SAAS;YACR,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,6BAA6B,CAAC,CAAC;YACjE,MAAM,OAAO,GAAiB,EAAE,CAAC;YACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,WAAW,CAAC,cAAc,EAAE,EAAE;gBAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAChB;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAyB,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;YAC5E,IAAI,MAAM,KAAK,SAAS,EAAE;gBACzB,MAAM;aACN;iBAAM;gBACN,SAAS,GAAG,WAAW,CAAC;gBACxB,WAAW,GAAG,MAAM,CAAC;aACrB;SACD;QACD,OAAO,SAAS,CAAC,YAAY,CAAC;IAC/B,CAAC;IAED,SAAS,yBAAyB,CAAC,KAAoB,EAAE,aAAsB;QAC9E,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACjC,IAAI,SAAS,GAAe,MAAM,CAAC,OAAO,CAAC;QAC3C,SAAS;YACR,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,6BAA6B,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAiB,EAAE,CAAC;YACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE;gBAChD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAChB;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAyB,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;YAC5E,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE;gBAChE,SAAS,GAAG,MAAM,CAAC;aACnB;iBAAM;gBACN,MAAM;aACN;SACD;QACD,OAAO,SAAS,CAAC,YAAY,CAAC;IAC/B,CAAC;IAED,KAAK,UAAU,kBAAkB,CAAC,KAAoB;QACrD,OAAO;YACN,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;YACrD,IAAI,EAAE,oCAAoC,CAAC,KAAK,CAAC;SACjD,CAAC;IACH,CAAC;IAED,KAAK,UAAU,kBAAkB,CAAC,KAAoB;QACrD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACjC,MAAM,IAAI,GAAG,oCAAoC,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,8BAA8B,CAAC,CAAC;QAChE,MAAM,CACL,SAAS,CAAC,iBAAiB,IAAI,SAAS,CAAC,iBAAiB,EAAE,GAAG,CAAC,EAChE,kCAAkC,CAClC,CAAC;QACF,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,CAAC,cAAc,EAAE,EAAE;YAChD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SACnB;QACD,OAAO;YACN,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,MAAM,CAAC,IAAI,CAAS,UAAU,CAAC;YACrC,IAAI;SACJ,CAAC;IACH,CAAC;IAED,KAAK,UAAU,MAAM,CAAC,KAAoB;QACzC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACzB,OAAO;YACN,IAAI,EAAE,KAAK;YACX,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;YACrC,IAAI,EAAE,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC;YAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1C,CAAC;IACH,CAAC;IAED,KAAK,UAAU,SAAS,CAAC,KAAoB;QAC5C,OAAO;YACN,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC;SAC5C,CAAC;IACH,CAAC;IAED,KAAK,UAAU,SAAS,CAAC,KAAoB;QAC5C,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QACjC,MAAM,IAAI,GAAG,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAChC,OAAO;YACN,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACjC,IAAI;SACJ,CAAC;IACH,CAAC;IAED,OAAO,4BAA4B,CAA2B;QAC7D,CAAC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,CAAC;QAChD;YACC,kBAAkB;YAClB,OAAO,CAAC,kBAAkB;YAC1B,CAAC,KAAoB,EAAW,EAAE,CACjC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC;SACtD;QACD,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC;QAC9B;YACC,SAAS;YACT,OAAO,CAAC,eAAe;YACvB,CAAC,KAAoB,EAAW,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;SAChE;QACD;YACC,SAAS;YACT,OAAO,CAAC,eAAe;YACvB,CAAC,KAAoB,EAAW,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;SAChE;KACD,CAAC,CAAC;AACJ,CAAC;AASD,SAAS,eAAe,CAAC,OAAmC,EAAE,WAAwB;IACrF,KAAK,MAAM,EAAE,IAAI,WAAW,CAAC,SAAS,EAAE;QACvC,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,GACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;QAC/D,IAAI,eAAe,KAAK,SAAS,EAAE;YAClC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7B,OAAO,CAAC,GAAG,CACV,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAC5E,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAClB;KACD;AACF,CAAC;AAED,SAAS,WAAW,CAAC,WAAyB;IAC7C,MAAM,WAAW,GAChB,CAAI,WAA2C,EAAkC,EAAE,CACnF,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;QAC1B,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,gBAAgB,EAAE;YAC9D,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;SACxE;QACD,IAAI;YACH,MAAM,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;SACpC;QAAC,OAAO,KAAK,EAAE;YACf,IAAI,WAAW,KAAK,SAAS,EAAE;gBAC9B,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;aAC5C;YACD,MAAM,KAAK,CAAC;SACZ;QACD,OAAO,KAAK,CAAC;IACd,CAAC,CAAC;IAEH,MAAM,OAAO,GAA2C,oBAAoB,CAAC;QAC5E,kBAAkB,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;YACxD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,kBAAkB,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;YACxD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,GAAG,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACrB,CAAC;QACD,KAAK,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;YACrC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,GAAG,CAAC,KAAK,EAAE,CAAC;QACb,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE;YAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;KACD,CAAC,CAAC;IAEH,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAChE,MAAM,OAAO,GAA8B;QAC1C,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,CAAC;QAClB,eAAe,EAAE,CAAC;QAClB,kBAAkB,EAAE,CAAC;QACrB,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,CAAC;QACvB,oBAAoB,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QACtC,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;KACjD,CAAC;IACF,MAAM,KAAK,GAA8C;QACxD,YAAY,EAAE,qBAAqB;QACnC,gBAAgB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC;QACvE,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;QAC7E,mBAAmB,EAAE,2BAA2B;QAChD,OAAO,EAAE,IAAI,gBAAgB,EAAE;KAC/B,CAAC;IAEF,kBAAkB,CAAC,KAAK,EAAE;QACzB,kBAAkB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,CAAC,gBAAgB,EAAE;QACxF,oBAAoB,EAAE,IAAI;QAC1B,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,IAAI;YAC1B,0BAA0B,EAAE,GAAG;SAC/B;QACD,gBAAgB,EAAE,EAAE;QACpB,uEAAuE;QACvE,cAAc;QACd,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,mCAAmC,CAAC,EAAE;KACxF,CAAC,CAAC;IAEH,kBAAkB,CACjB,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,mCAAmC,EAAE,EAC/D;QACC,kBAAkB,EAAE;YACnB,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,GAAG;SAChB;QACD,iBAAiB,EAAE,GAAG;QACtB,oBAAoB,EAAE,GAAG;QACzB,uBAAuB,EAAE;YACxB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,qBAAqB,EAAE,IAAI;SAC3B;QACD,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,IAAI;YAC1B,0BAA0B,EAAE,SAAS;SACrC;QACD,gBAAgB,EAAE,GAAG;QACrB,wEAAwE;QACxE,IAAI,EAAE;YACL,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG;YACjF,GAAG;SACH;QACD,uEAAuE;QACvE,cAAc;QACd,YAAY,EAAE;YACb,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,mCAAmC,CAAC;SACtE;KACD,CACD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACrC,MAAM,KAAK,GAA8C;QACxD,YAAY,EAAE,qBAAqB;QACnC,gBAAgB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,sBAAsB,EAAE,CAAC;QAChE,OAAO,EAAE,WAAW,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;QAC7E,mBAAmB,EAAE,2BAA2B;QAChD,OAAO,EAAE,IAAI,gBAAgB,EAAE;KAC/B,CAAC;IAEF,kBAAkB,CAAC,KAAK,EAAE;QACzB,kBAAkB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,CAAC,gBAAgB,EAAE;QACxF,oBAAoB,EAAE,IAAI;QAC1B,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,iGAAiG;YACjG,8CAA8C;YAC9C,kBAAkB,EAAE,MAAM,CAAC,gBAAgB;YAC3C,oBAAoB,EAAE,IAAI;YAC1B,0BAA0B,EAAE,GAAG;SAC/B;QACD,gBAAgB,EAAE,EAAE;QACpB,uEAAuE;QACvE,aAAa;QACb,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,mCAAmC,CAAC,EAAE;KACxF,CAAC,CAAC;IAEH,kBAAkB,CACjB,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,mCAAmC,EAAE,EAC/D;QACC,kBAAkB,EAAE;YACnB,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,GAAG;SAChB;QACD,iBAAiB,EAAE,GAAG;QACtB,oBAAoB,EAAE,GAAG;QACzB,uBAAuB,EAAE;YACxB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,qBAAqB,EAAE,IAAI;SAC3B;QACD,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,iGAAiG;YACjG,8CAA8C;YAC9C,kBAAkB,EAAE,MAAM,CAAC,gBAAgB;YAC3C,oBAAoB,EAAE,IAAI;YAC1B,0BAA0B,EAAE,SAAS;SACrC;QACD,gBAAgB,EAAE,GAAG;QACrB,wEAAwE;QACxE,IAAI,EAAE,CAAC,EAAE,CAAC;QACV,uEAAuE;QACvE,aAAa;QACb,YAAY,EAAE;YACb,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,mCAAmC,CAAC;SACtE;KACD,CACD,CAAC;AACH,CAAC,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport * as dirPath from \"node:path\";\nimport { strict as assert } from \"node:assert\";\nimport {\n\tAsyncGenerator,\n\tAsyncReducer,\n\tcombineReducersAsync,\n\tcreateWeightedAsyncGenerator,\n\ttakeAsync,\n} from \"@fluid-private/stochastic-test-utils\";\nimport {\n\tClient,\n\tcreateDDSFuzzSuite,\n\tDDSFuzzModel,\n\tDDSFuzzTestState,\n} from \"@fluid-private/test-dds-utils\";\nimport { FlushMode } from \"@fluidframework/runtime-definitions\";\nimport { DirectoryFactory } from \"../../directory.js\";\nimport { IDirectory } from \"../../interfaces.js\";\nimport { assertEquivalentDirectories } from \"./directoryEquivalenceUtils.js\";\nimport { _dirname } from \"./dirname.cjs\";\n\ntype FuzzTestState = DDSFuzzTestState<DirectoryFactory>;\n\ninterface SetKey {\n\ttype: \"set\";\n\tpath: string;\n\tkey: string;\n\tvalue: string;\n}\n\ninterface ClearKeys {\n\ttype: \"clear\";\n\tpath: string;\n}\n\ninterface DeleteKey {\n\ttype: \"delete\";\n\tpath: string;\n\tkey: string;\n}\n\ninterface CreateSubDirectory {\n\ttype: \"createSubDirectory\";\n\tpath: string;\n\tname: string;\n}\n\ninterface DeleteSubDirectory {\n\ttype: \"deleteSubDirectory\";\n\tpath: string;\n\tname: string;\n}\n\ntype KeyOperation = SetKey | DeleteKey | ClearKeys;\n\ntype SubDirectoryOperation = CreateSubDirectory | DeleteSubDirectory;\n\ntype Operation = KeyOperation | SubDirectoryOperation;\n\ninterface OperationGenerationConfig {\n\tvalidateInterval: number;\n\tmaxSubDirectoryChild?: number;\n\tsubDirectoryNamePool?: string[];\n\tkeyNamePool?: string[];\n\tsetKeyWeight?: number;\n\tdeleteKeyWeight?: number;\n\tclearKeysWeight?: number;\n\tcreateSubDirWeight?: number;\n\tdeleteSubDirWeight?: number;\n}\n\nconst defaultOptions: Required<OperationGenerationConfig> = {\n\tvalidateInterval: 10,\n\tmaxSubDirectoryChild: 3,\n\tsubDirectoryNamePool: [\"dir1\", \"dir2\", \"dir3\"],\n\tkeyNamePool: [\"prop1\", \"prop2\", \"prop3\"],\n\tsetKeyWeight: 5,\n\tdeleteKeyWeight: 2,\n\tclearKeysWeight: 1,\n\tcreateSubDirWeight: 2,\n\tdeleteSubDirWeight: 1,\n};\n\nfunction makeOperationGenerator(\n\toptionsParam?: OperationGenerationConfig,\n): AsyncGenerator<Operation, FuzzTestState> {\n\tconst options = { ...defaultOptions, ...optionsParam };\n\n\t// All subsequent helper functions are generators; note that they don't actually apply any operations.\n\tfunction pickAbsolutePathForCreateDirectoryOp(state: FuzzTestState): string {\n\t\tconst { random, client } = state;\n\t\tlet dir: IDirectory = client.channel;\n\t\tfor (;;) {\n\t\t\tassert(dir !== undefined, \"Directory should be defined\");\n\t\t\tconst subDirectories: IDirectory[] = [];\n\t\t\tfor (const [_, b] of dir.subdirectories()) {\n\t\t\t\tsubDirectories.push(b);\n\t\t\t}\n\t\t\t// If this dir already has max number of child, then choose one and continue.\n\t\t\tif (\n\t\t\t\tdir.countSubDirectory !== undefined &&\n\t\t\t\tdir.countSubDirectory() === options.maxSubDirectoryChild\n\t\t\t) {\n\t\t\t\tdir = random.pick<IDirectory>(subDirectories);\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tconst subDir = random.pick<IDirectory | undefined>([undefined, ...subDirectories]);\n\t\t\tif (subDir === undefined) {\n\t\t\t\tbreak;\n\t\t\t} else {\n\t\t\t\tdir = subDir;\n\t\t\t}\n\t\t}\n\t\treturn dir.absolutePath;\n\t}\n\n\tfunction pickAbsolutePathForDeleteDirectoryOp(state: FuzzTestState): string {\n\t\tconst { random, client } = state;\n\t\tlet parentDir: IDirectory = client.channel;\n\t\tconst subDirectories: IDirectory[] = [];\n\t\tfor (const [_, b] of client.channel.subdirectories()) {\n\t\t\tsubDirectories.push(b);\n\t\t}\n\t\tlet dirToDelete = random.pick<IDirectory>(subDirectories);\n\t\tfor (;;) {\n\t\t\tassert(dirToDelete !== undefined, \"Directory should be defined\");\n\t\t\tconst subDirs: IDirectory[] = [];\n\t\t\tfor (const [_, b] of dirToDelete.subdirectories()) {\n\t\t\t\tsubDirs.push(b);\n\t\t\t}\n\t\t\tconst subDir = random.pick<IDirectory | undefined>([undefined, ...subDirs]);\n\t\t\tif (subDir === undefined) {\n\t\t\t\tbreak;\n\t\t\t} else {\n\t\t\t\tparentDir = dirToDelete;\n\t\t\t\tdirToDelete = subDir;\n\t\t\t}\n\t\t}\n\t\treturn parentDir.absolutePath;\n\t}\n\n\tfunction pickAbsolutePathForKeyOps(state: FuzzTestState, shouldHaveKey: boolean): string {\n\t\tconst { random, client } = state;\n\t\tlet parentDir: IDirectory = client.channel;\n\t\tfor (;;) {\n\t\t\tassert(parentDir !== undefined, \"Directory should be defined\");\n\t\t\tconst subDirs: IDirectory[] = [];\n\t\t\tfor (const [_, b] of parentDir.subdirectories()) {\n\t\t\t\tsubDirs.push(b);\n\t\t\t}\n\t\t\tconst subDir = random.pick<IDirectory | undefined>([undefined, ...subDirs]);\n\t\t\tif (subDir !== undefined && (!shouldHaveKey || subDir.size > 0)) {\n\t\t\t\tparentDir = subDir;\n\t\t\t} else {\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\t\treturn parentDir.absolutePath;\n\t}\n\n\tasync function createSubDirectory(state: FuzzTestState): Promise<CreateSubDirectory> {\n\t\treturn {\n\t\t\ttype: \"createSubDirectory\",\n\t\t\tname: state.random.pick(options.subDirectoryNamePool),\n\t\t\tpath: pickAbsolutePathForCreateDirectoryOp(state),\n\t\t};\n\t}\n\n\tasync function deleteSubDirectory(state: FuzzTestState): Promise<DeleteSubDirectory> {\n\t\tconst { random, client } = state;\n\t\tconst path = pickAbsolutePathForDeleteDirectoryOp(state);\n\t\tconst parentDir = client.channel.getWorkingDirectory(path);\n\t\tassert(parentDir !== undefined, \"parent dir should be defined\");\n\t\tassert(\n\t\t\tparentDir.countSubDirectory && parentDir.countSubDirectory() > 0,\n\t\t\t\"Atleast 1 subdir should be there\",\n\t\t);\n\t\tconst subDirName: string[] = [];\n\t\tfor (const [a, _] of parentDir.subdirectories()) {\n\t\t\tsubDirName.push(a);\n\t\t}\n\t\treturn {\n\t\t\ttype: \"deleteSubDirectory\",\n\t\t\tname: random.pick<string>(subDirName),\n\t\t\tpath,\n\t\t};\n\t}\n\n\tasync function setKey(state: FuzzTestState): Promise<SetKey> {\n\t\tconst { random } = state;\n\t\treturn {\n\t\t\ttype: \"set\",\n\t\t\tkey: random.pick(options.keyNamePool),\n\t\t\tpath: pickAbsolutePathForKeyOps(state, false),\n\t\t\tvalue: random.string(random.integer(0, 4)),\n\t\t};\n\t}\n\n\tasync function clearKeys(state: FuzzTestState): Promise<ClearKeys> {\n\t\treturn {\n\t\t\ttype: \"clear\",\n\t\t\tpath: pickAbsolutePathForKeyOps(state, true),\n\t\t};\n\t}\n\n\tasync function deleteKey(state: FuzzTestState): Promise<DeleteKey> {\n\t\tconst { random, client } = state;\n\t\tconst path = pickAbsolutePathForKeyOps(state, true);\n\t\tconst dir = client.channel.getWorkingDirectory(path);\n\t\tassert(dir, \"dir should exist\");\n\t\treturn {\n\t\t\ttype: \"delete\",\n\t\t\tkey: random.pick([...dir.keys()]),\n\t\t\tpath,\n\t\t};\n\t}\n\n\treturn createWeightedAsyncGenerator<Operation, FuzzTestState>([\n\t\t[createSubDirectory, options.createSubDirWeight],\n\t\t[\n\t\t\tdeleteSubDirectory,\n\t\t\toptions.deleteSubDirWeight,\n\t\t\t(state: FuzzTestState): boolean =>\n\t\t\t\t(state.client.channel.countSubDirectory?.() ?? 0) > 0,\n\t\t],\n\t\t[setKey, options.setKeyWeight],\n\t\t[\n\t\t\tdeleteKey,\n\t\t\toptions.deleteKeyWeight,\n\t\t\t(state: FuzzTestState): boolean => state.client.channel.size > 0,\n\t\t],\n\t\t[\n\t\t\tclearKeys,\n\t\t\toptions.clearKeysWeight,\n\t\t\t(state: FuzzTestState): boolean => state.client.channel.size > 0,\n\t\t],\n\t]);\n}\n\ninterface LoggingInfo {\n\t// Clients to print\n\tclientIds: string[];\n\t// Set this to true in case you want to debug and print client states and ops.\n\tprintConsoleLogs?: boolean;\n}\n\nfunction logCurrentState(clients: Client<DirectoryFactory>[], loggingInfo: LoggingInfo): void {\n\tfor (const id of loggingInfo.clientIds) {\n\t\tconst { channel: sharedDirectory } =\n\t\t\tclients.find((s) => s.containerRuntime.clientId === id) ?? {};\n\t\tif (sharedDirectory !== undefined) {\n\t\t\tconsole.log(`Client ${id}:`);\n\t\t\tconsole.log(\n\t\t\t\tJSON.stringify(sharedDirectory.getAttachSummary(true).summary, undefined, 4),\n\t\t\t);\n\t\t\tconsole.log(\"\\n\");\n\t\t}\n\t}\n}\n\nfunction makeReducer(loggingInfo?: LoggingInfo): AsyncReducer<Operation, FuzzTestState> {\n\tconst withLogging =\n\t\t<T>(baseReducer: AsyncReducer<T, FuzzTestState>): AsyncReducer<T, FuzzTestState> =>\n\t\tasync (state, operation) => {\n\t\t\tif (loggingInfo !== undefined && loggingInfo.printConsoleLogs) {\n\t\t\t\tlogCurrentState(state.clients, loggingInfo);\n\t\t\t\tconsole.log(\"-\".repeat(20));\n\t\t\t\tconsole.log(\"Next operation:\", JSON.stringify(operation, undefined, 4));\n\t\t\t}\n\t\t\ttry {\n\t\t\t\tawait baseReducer(state, operation);\n\t\t\t} catch (error) {\n\t\t\t\tif (loggingInfo !== undefined) {\n\t\t\t\t\tlogCurrentState(state.clients, loggingInfo);\n\t\t\t\t}\n\t\t\t\tthrow error;\n\t\t\t}\n\t\t\treturn state;\n\t\t};\n\n\tconst reducer: AsyncReducer<Operation, FuzzTestState> = combineReducersAsync({\n\t\tcreateSubDirectory: async ({ client }, { path, name }) => {\n\t\t\tconst dir = client.channel.getWorkingDirectory(path);\n\t\t\tassert(dir);\n\t\t\tdir.createSubDirectory(name);\n\t\t},\n\t\tdeleteSubDirectory: async ({ client }, { path, name }) => {\n\t\t\tconst dir = client.channel.getWorkingDirectory(path);\n\t\t\tassert(dir);\n\t\t\tdir.deleteSubDirectory(name);\n\t\t},\n\t\tset: async ({ client }, { path, key, value }) => {\n\t\t\tconst dir = client.channel.getWorkingDirectory(path);\n\t\t\tassert(dir);\n\t\t\tdir.set(key, value);\n\t\t},\n\t\tclear: async ({ client }, { path }) => {\n\t\t\tconst dir = client.channel.getWorkingDirectory(path);\n\t\t\tassert(dir);\n\t\t\tdir.clear();\n\t\t},\n\t\tdelete: async ({ client }, { path, key }) => {\n\t\t\tconst dir = client.channel.getWorkingDirectory(path);\n\t\t\tassert(dir);\n\t\t\tdir.delete(key);\n\t\t},\n\t});\n\n\treturn withLogging(reducer);\n}\n\ndescribe(\"SharedDirectory fuzz Create/Delete concentrated\", () => {\n\tconst options: OperationGenerationConfig = {\n\t\tsetKeyWeight: 0,\n\t\tclearKeysWeight: 0,\n\t\tdeleteKeyWeight: 0,\n\t\tcreateSubDirWeight: 2,\n\t\tdeleteSubDirWeight: 2,\n\t\tmaxSubDirectoryChild: 2,\n\t\tsubDirectoryNamePool: [\"dir1\", \"dir2\"],\n\t\tvalidateInterval: defaultOptions.validateInterval,\n\t};\n\tconst model: DDSFuzzModel<DirectoryFactory, Operation> = {\n\t\tworkloadName: \"default directory 1\",\n\t\tgeneratorFactory: () => takeAsync(100, makeOperationGenerator(options)),\n\t\treducer: makeReducer({ clientIds: [\"A\", \"B\", \"C\"], printConsoleLogs: false }),\n\t\tvalidateConsistency: assertEquivalentDirectories,\n\t\tfactory: new DirectoryFactory(),\n\t};\n\n\tcreateDDSFuzzSuite(model, {\n\t\tvalidationStrategy: { type: \"fixedInterval\", interval: defaultOptions.validateInterval },\n\t\treconnectProbability: 0.15,\n\t\tnumberOfClients: 3,\n\t\tclientJoinOptions: {\n\t\t\tmaxNumberOfClients: 3,\n\t\t\tclientAddProbability: 0.08,\n\t\t\tstashableClientProbability: 0.2,\n\t\t},\n\t\tdefaultTestCount: 25,\n\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t// replay: 21,\n\t\tsaveFailures: { directory: dirPath.join(_dirname, \"../../../src/test/mocha/results/1\") },\n\t});\n\n\tcreateDDSFuzzSuite(\n\t\t{ ...model, workloadName: \"default directory 1 with rebasing\" },\n\t\t{\n\t\t\tvalidationStrategy: {\n\t\t\t\ttype: \"random\",\n\t\t\t\tprobability: 0.4,\n\t\t\t},\n\t\t\trebaseProbability: 0.2,\n\t\t\treconnectProbability: 0.5,\n\t\t\tcontainerRuntimeOptions: {\n\t\t\t\tflushMode: FlushMode.TurnBased,\n\t\t\t\tenableGroupedBatching: true,\n\t\t\t},\n\t\t\tnumberOfClients: 3,\n\t\t\tclientJoinOptions: {\n\t\t\t\tmaxNumberOfClients: 3,\n\t\t\t\tclientAddProbability: 0.08,\n\t\t\t\tstashableClientProbability: undefined,\n\t\t\t},\n\t\t\tdefaultTestCount: 200,\n\t\t\t// The seeds below fail only when rebaseProbability is non-zero ADO:6044\n\t\t\tskip: [\n\t\t\t\t13, 40, 43, 55, 66, 93, 94, 107, 110, 123, 136, 148, 160, 163, 168, 172, 177, 191,\n\t\t\t\t196,\n\t\t\t],\n\t\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t\t// replay: 21,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: dirPath.join(_dirname, \"../../../src/test/mocha/results/1\"),\n\t\t\t},\n\t\t},\n\t);\n});\n\ndescribe(\"SharedDirectory fuzz\", () => {\n\tconst model: DDSFuzzModel<DirectoryFactory, Operation> = {\n\t\tworkloadName: \"default directory 2\",\n\t\tgeneratorFactory: () => takeAsync(100, makeOperationGenerator()),\n\t\treducer: makeReducer({ clientIds: [\"A\", \"B\", \"C\"], printConsoleLogs: false }),\n\t\tvalidateConsistency: assertEquivalentDirectories,\n\t\tfactory: new DirectoryFactory(),\n\t};\n\n\tcreateDDSFuzzSuite(model, {\n\t\tvalidationStrategy: { type: \"fixedInterval\", interval: defaultOptions.validateInterval },\n\t\treconnectProbability: 0.15,\n\t\tnumberOfClients: 3,\n\t\tclientJoinOptions: {\n\t\t\t// Note: if tests are slow, we may want to tune this down. This mimics behavior before this suite\n\t\t\t// was refactored to use the DDS fuzz harness.\n\t\t\tmaxNumberOfClients: Number.MAX_SAFE_INTEGER,\n\t\t\tclientAddProbability: 0.08,\n\t\t\tstashableClientProbability: 0.2,\n\t\t},\n\t\tdefaultTestCount: 25,\n\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t// replay: 0,\n\t\tsaveFailures: { directory: dirPath.join(_dirname, \"../../../src/test/mocha/results/2\") },\n\t});\n\n\tcreateDDSFuzzSuite(\n\t\t{ ...model, workloadName: \"default directory 2 with rebasing\" },\n\t\t{\n\t\t\tvalidationStrategy: {\n\t\t\t\ttype: \"random\",\n\t\t\t\tprobability: 0.4,\n\t\t\t},\n\t\t\trebaseProbability: 0.2,\n\t\t\treconnectProbability: 0.5,\n\t\t\tcontainerRuntimeOptions: {\n\t\t\t\tflushMode: FlushMode.TurnBased,\n\t\t\t\tenableGroupedBatching: true,\n\t\t\t},\n\t\t\tnumberOfClients: 3,\n\t\t\tclientJoinOptions: {\n\t\t\t\t// Note: if tests are slow, we may want to tune this down. This mimics behavior before this suite\n\t\t\t\t// was refactored to use the DDS fuzz harness.\n\t\t\t\tmaxNumberOfClients: Number.MAX_SAFE_INTEGER,\n\t\t\t\tclientAddProbability: 0.08,\n\t\t\t\tstashableClientProbability: undefined,\n\t\t\t},\n\t\t\tdefaultTestCount: 200,\n\t\t\t// The seeds below fail only when rebaseProbability is non-zero ADO:6044\n\t\t\tskip: [73],\n\t\t\t// Uncomment this line to replay a specific seed from its failure file:\n\t\t\t// replay: 0,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: dirPath.join(_dirname, \"../../../src/test/mocha/results/2\"),\n\t\t\t},\n\t\t},\n\t);\n});\n"]}

package/lib/test/mocha/dirname.cjs

@@ -0,0 +1,16 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports._dirname = void 0;
+// Problem:
+//   - `__dirname` is not defined in ESM
+//   - `import.meta.url` is not defined in CJS
+// Solution:
+//   - Export '__dirname' from a .cjs file in the same directory.
+//
+// Note that *.cjs files are always CommonJS, but can be imported from ESM.
+exports._dirname = __dirname;
+//# sourceMappingURL=dirname.cjs.map

package/lib/test/mocha/dirname.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"dirname.cjs","sourceRoot":"","sources":["../../../src/test/mocha/dirname.cts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,WAAW;AACX,wCAAwC;AACxC,8CAA8C;AAC9C,YAAY;AACZ,iEAAiE;AACjE,EAAE;AACF,2EAA2E;AAC9D,QAAA,QAAQ,GAAG,SAAS,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\n// Problem:\n//   - `__dirname` is not defined in ESM\n//   - `import.meta.url` is not defined in CJS\n// Solution:\n//   - Export '__dirname' from a .cjs file in the same directory.\n//\n// Note that *.cjs files are always CommonJS, but can be imported from ESM.\nexport const _dirname = __dirname;\n"]}

package/lib/test/mocha/map.fuzz.spec.js

@@ -0,0 +1,114 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import * as path from "node:path";
+import { strict as assert } from "node:assert";
+import { createDDSFuzzSuite } from "@fluid-private/test-dds-utils";
+import { combineReducers, createWeightedGenerator, takeAsync, } from "@fluid-private/stochastic-test-utils";
+import { FlushMode } from "@fluidframework/runtime-definitions";
+import { MapFactory } from "../../map.js";
+import { _dirname } from "./dirname.cjs";
+function assertMapsAreEquivalent(a, b) {
+    assert.equal(a.size, b.size, `${a.id} and ${b.id} have different number of keys.`);
+    for (const key of a.keys()) {
+        const aVal = a.get(key);
+        const bVal = b.get(key);
+        assert.equal(aVal, bVal, `${a.id} and ${b.id} differ at ${key}: ${aVal} vs ${bVal}`);
+    }
+}
+const reducer = combineReducers({
+    clear: ({ client }) => client.channel.clear(),
+    setKey: ({ client }, { key, value }) => {
+        client.channel.set(key, value);
+    },
+    deleteKey: ({ client }, { key }) => {
+        client.channel.delete(key);
+    },
+});
+const defaultOptions = {
+    setWeight: 20,
+    deleteWeight: 20,
+    clearWeight: 1,
+    keyPoolSize: 20,
+};
+function makeGenerator(optionsParam) {
+    const { setWeight, deleteWeight, clearWeight, keyPoolSize } = {
+        ...defaultOptions,
+        ...optionsParam,
+    };
+    // Use numbers as the key names.
+    const keyNames = Array.from({ length: keyPoolSize }, (_, i) => `${i}`);
+    const setKey = ({ random }) => ({
+        type: "setKey",
+        key: random.pick(keyNames),
+        value: random.bool() ? random.integer(1, 50) : random.string(random.integer(3, 7)),
+    });
+    const deleteKey = ({ random }) => ({
+        type: "deleteKey",
+        key: random.pick(keyNames),
+    });
+    const syncGenerator = createWeightedGenerator([
+        [setKey, setWeight],
+        [deleteKey, deleteWeight],
+        [{ type: "clear" }, clearWeight],
+    ]);
+    return async (state) => syncGenerator(state);
+}
+describe("Map fuzz tests", () => {
+    const model = {
+        workloadName: "default",
+        factory: new MapFactory(),
+        generatorFactory: () => takeAsync(100, makeGenerator()),
+        reducer: async (state, operation) => reducer(state, operation),
+        validateConsistency: assertMapsAreEquivalent,
+    };
+    createDDSFuzzSuite(model, {
+        defaultTestCount: 100,
+        numberOfClients: 3,
+        clientJoinOptions: {
+            maxNumberOfClients: 6,
+            clientAddProbability: 0.1,
+            stashableClientProbability: 0.2,
+        },
+        reconnectProbability: 0,
+        // Uncomment to replay a particular seed.
+        // replay: 0,
+        saveFailures: { directory: path.join(_dirname, "../../../src/test/mocha/results/map") },
+    });
+    createDDSFuzzSuite({ ...model, workloadName: "with reconnect" }, {
+        defaultTestCount: 100,
+        numberOfClients: 3,
+        clientJoinOptions: {
+            maxNumberOfClients: 6,
+            clientAddProbability: 0.1,
+            stashableClientProbability: 0.2,
+        },
+        reconnectProbability: 0.1,
+        // Uncomment to replay a particular seed.
+        // replay: 0,
+        saveFailures: {
+            directory: path.join(_dirname, "../../../src/test/mocha/results/map-reconnect"),
+        },
+    });
+    createDDSFuzzSuite({ ...model, workloadName: "with batches and rebasing" }, {
+        defaultTestCount: 100,
+        numberOfClients: 3,
+        clientJoinOptions: {
+            maxNumberOfClients: 6,
+            clientAddProbability: 0.1,
+            stashableClientProbability: 0.2,
+        },
+        rebaseProbability: 0.2,
+        containerRuntimeOptions: {
+            flushMode: FlushMode.TurnBased,
+            enableGroupedBatching: true,
+        },
+        // Uncomment to replay a particular seed.
+        // replay: 0,
+        saveFailures: {
+            directory: path.join(_dirname, "../../../src/test/mocha/results/map-rebase"),
+        },
+    });
+});
+//# sourceMappingURL=map.fuzz.spec.js.map

package/lib/test/mocha/map.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"map.fuzz.spec.js","sourceRoot":"","sources":["../../../src/test/mocha/map.fuzz.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAkC,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnG,OAAO,EACN,eAAe,EACf,uBAAuB,EAGvB,SAAS,GACT,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAsBzC,SAAS,uBAAuB,CAAC,CAAa,EAAE,CAAa;IAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,iCAAiC,CAAC,CAAC;IACnF,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAY,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,IAAI,GAAY,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,cAAc,GAAG,KAAK,IAAI,OAAO,IAAI,EAAE,CAAC,CAAC;KACrF;AACF,CAAC;AAED,MAAM,OAAO,GAAG,eAAe,CAAmB;IACjD,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE;IAC7C,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE;QACtC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QAClC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;CACD,CAAC,CAAC;AASH,MAAM,cAAc,GAAqB;IACxC,SAAS,EAAE,EAAE;IACb,YAAY,EAAE,EAAE;IAChB,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,EAAE;CACf,CAAC;AAEF,SAAS,aAAa,CAAC,YAAwC;IAC9D,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG;QAC7D,GAAG,cAAc;QACjB,GAAG,YAAY;KACf,CAAC;IACF,gCAAgC;IAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEvE,MAAM,MAAM,GAA6B,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,QAAQ;QACd,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KAClF,CAAC,CAAC;IACH,MAAM,SAAS,GAAgC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,WAAW;QACjB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;KAC1B,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,uBAAuB,CAAmB;QAC/D,CAAC,MAAM,EAAE,SAAS,CAAC;QACnB,CAAC,SAAS,EAAE,YAAY,CAAC;QACzB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC;KAChC,CAAC,CAAC;IAEH,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC;AAED,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC/B,MAAM,KAAK,GAAwC;QAClD,YAAY,EAAE,SAAS;QACvB,OAAO,EAAE,IAAI,UAAU,EAAE;QACzB,gBAAgB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC;QACvD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC;QAC9D,mBAAmB,EAAE,uBAAuB;KAC5C,CAAC;IAEF,kBAAkB,CAAC,KAAK,EAAE;QACzB,gBAAgB,EAAE,GAAG;QACrB,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,GAAG;YACzB,0BAA0B,EAAE,GAAG;SAC/B;QACD,oBAAoB,EAAE,CAAC;QACvB,yCAAyC;QACzC,aAAa;QACb,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qCAAqC,CAAC,EAAE;KACvF,CAAC,CAAC;IAEH,kBAAkB,CACjB,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,EAC5C;QACC,gBAAgB,EAAE,GAAG;QACrB,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,GAAG;YACzB,0BAA0B,EAAE,GAAG;SAC/B;QACD,oBAAoB,EAAE,GAAG;QACzB,yCAAyC;QACzC,aAAa;QACb,YAAY,EAAE;YACb,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,+CAA+C,CAAC;SAC/E;KACD,CACD,CAAC;IAEF,kBAAkB,CACjB,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,2BAA2B,EAAE,EACvD;QACC,gBAAgB,EAAE,GAAG;QACrB,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE;YAClB,kBAAkB,EAAE,CAAC;YACrB,oBAAoB,EAAE,GAAG;YACzB,0BAA0B,EAAE,GAAG;SAC/B;QACD,iBAAiB,EAAE,GAAG;QACtB,uBAAuB,EAAE;YACxB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,qBAAqB,EAAE,IAAI;SAC3B;QACD,yCAAyC;QACzC,aAAa;QACb,YAAY,EAAE;YACb,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,4CAA4C,CAAC;SAC5E;KACD,CACD,CAAC;AACH,CAAC,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport * as path from \"node:path\";\nimport { strict as assert } from \"node:assert\";\nimport { DDSFuzzModel, DDSFuzzTestState, createDDSFuzzSuite } from \"@fluid-private/test-dds-utils\";\nimport { Jsonable } from \"@fluidframework/datastore-definitions\";\nimport {\n\tcombineReducers,\n\tcreateWeightedGenerator,\n\tAsyncGenerator,\n\tGenerator,\n\ttakeAsync,\n} from \"@fluid-private/stochastic-test-utils\";\nimport { FlushMode } from \"@fluidframework/runtime-definitions\";\nimport { MapFactory } from \"../../map.js\";\nimport { ISharedMap } from \"../../interfaces.js\";\nimport { _dirname } from \"./dirname.cjs\";\n\ninterface Clear {\n\ttype: \"clear\";\n}\n\ninterface SetKey {\n\ttype: \"setKey\";\n\tkey: string;\n\tvalue: Jsonable<unknown>;\n}\n\ninterface DeleteKey {\n\ttype: \"deleteKey\";\n\tkey: string;\n}\n\ntype Operation = SetKey | DeleteKey | Clear;\n\n// This type gets used a lot as the state object of the suite; shorthand it here.\ntype State = DDSFuzzTestState<MapFactory>;\n\nfunction assertMapsAreEquivalent(a: ISharedMap, b: ISharedMap): void {\n\tassert.equal(a.size, b.size, `${a.id} and ${b.id} have different number of keys.`);\n\tfor (const key of a.keys()) {\n\t\tconst aVal: unknown = a.get(key);\n\t\tconst bVal: unknown = b.get(key);\n\t\tassert.equal(aVal, bVal, `${a.id} and ${b.id} differ at ${key}: ${aVal} vs ${bVal}`);\n\t}\n}\n\nconst reducer = combineReducers<Operation, State>({\n\tclear: ({ client }) => client.channel.clear(),\n\tsetKey: ({ client }, { key, value }) => {\n\t\tclient.channel.set(key, value);\n\t},\n\tdeleteKey: ({ client }, { key }) => {\n\t\tclient.channel.delete(key);\n\t},\n});\n\ninterface GeneratorOptions {\n\tsetWeight: number;\n\tdeleteWeight: number;\n\tclearWeight: number;\n\tkeyPoolSize: number;\n}\n\nconst defaultOptions: GeneratorOptions = {\n\tsetWeight: 20,\n\tdeleteWeight: 20,\n\tclearWeight: 1,\n\tkeyPoolSize: 20,\n};\n\nfunction makeGenerator(optionsParam?: Partial<GeneratorOptions>): AsyncGenerator<Operation, State> {\n\tconst { setWeight, deleteWeight, clearWeight, keyPoolSize } = {\n\t\t...defaultOptions,\n\t\t...optionsParam,\n\t};\n\t// Use numbers as the key names.\n\tconst keyNames = Array.from({ length: keyPoolSize }, (_, i) => `${i}`);\n\n\tconst setKey: Generator<SetKey, State> = ({ random }) => ({\n\t\ttype: \"setKey\",\n\t\tkey: random.pick(keyNames),\n\t\tvalue: random.bool() ? random.integer(1, 50) : random.string(random.integer(3, 7)),\n\t});\n\tconst deleteKey: Generator<DeleteKey, State> = ({ random }) => ({\n\t\ttype: \"deleteKey\",\n\t\tkey: random.pick(keyNames),\n\t});\n\n\tconst syncGenerator = createWeightedGenerator<Operation, State>([\n\t\t[setKey, setWeight],\n\t\t[deleteKey, deleteWeight],\n\t\t[{ type: \"clear\" }, clearWeight],\n\t]);\n\n\treturn async (state) => syncGenerator(state);\n}\n\ndescribe(\"Map fuzz tests\", () => {\n\tconst model: DDSFuzzModel<MapFactory, Operation> = {\n\t\tworkloadName: \"default\",\n\t\tfactory: new MapFactory(),\n\t\tgeneratorFactory: () => takeAsync(100, makeGenerator()),\n\t\treducer: async (state, operation) => reducer(state, operation),\n\t\tvalidateConsistency: assertMapsAreEquivalent,\n\t};\n\n\tcreateDDSFuzzSuite(model, {\n\t\tdefaultTestCount: 100,\n\t\tnumberOfClients: 3,\n\t\tclientJoinOptions: {\n\t\t\tmaxNumberOfClients: 6,\n\t\t\tclientAddProbability: 0.1,\n\t\t\tstashableClientProbability: 0.2,\n\t\t},\n\t\treconnectProbability: 0,\n\t\t// Uncomment to replay a particular seed.\n\t\t// replay: 0,\n\t\tsaveFailures: { directory: path.join(_dirname, \"../../../src/test/mocha/results/map\") },\n\t});\n\n\tcreateDDSFuzzSuite(\n\t\t{ ...model, workloadName: \"with reconnect\" },\n\t\t{\n\t\t\tdefaultTestCount: 100,\n\t\t\tnumberOfClients: 3,\n\t\t\tclientJoinOptions: {\n\t\t\t\tmaxNumberOfClients: 6,\n\t\t\t\tclientAddProbability: 0.1,\n\t\t\t\tstashableClientProbability: 0.2,\n\t\t\t},\n\t\t\treconnectProbability: 0.1,\n\t\t\t// Uncomment to replay a particular seed.\n\t\t\t// replay: 0,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: path.join(_dirname, \"../../../src/test/mocha/results/map-reconnect\"),\n\t\t\t},\n\t\t},\n\t);\n\n\tcreateDDSFuzzSuite(\n\t\t{ ...model, workloadName: \"with batches and rebasing\" },\n\t\t{\n\t\t\tdefaultTestCount: 100,\n\t\t\tnumberOfClients: 3,\n\t\t\tclientJoinOptions: {\n\t\t\t\tmaxNumberOfClients: 6,\n\t\t\t\tclientAddProbability: 0.1,\n\t\t\t\tstashableClientProbability: 0.2,\n\t\t\t},\n\t\t\trebaseProbability: 0.2,\n\t\t\tcontainerRuntimeOptions: {\n\t\t\t\tflushMode: FlushMode.TurnBased,\n\t\t\t\tenableGroupedBatching: true,\n\t\t\t},\n\t\t\t// Uncomment to replay a particular seed.\n\t\t\t// replay: 0,\n\t\t\tsaveFailures: {\n\t\t\t\tdirectory: path.join(_dirname, \"../../../src/test/mocha/results/map-rebase\"),\n\t\t\t},\n\t\t},\n\t);\n});\n"]}