StatePact Concurrency Playground

StatePact Concurrency Playground

在浏览器里模拟共享可变状态的智能体如何冲突，提供五种隔离模式，让你亲眼看到超卖、丢失更新和写偏斜。

由 Mithun-2714 在 Hugging Face 上制作。这些说明是 Mindket 根据它的 Space 页面和 README 写的，应用自己的文件和许可证在 Hugging Face 上。

简介

它是什么：StatePact Concurrency Playground 是对 StatePact 的一个手写浏览器模拟，StatePact 是多智能体系统里用于共享可变状态的事务层。智能体读取一个值，对它进行推理，再把它写回去。这个页面在五种隔离模式下运行同一个工作负载，让你看到每种模式的表现。它是一个 JavaScript 模拟，不是 Python 引擎。

适合谁：开发多智能体系统、想看看智能体写入同一份状态时会发生什么的开发者。

行业 | 谁在用 | 怎么用 | 例子
软件 | 智能体开发者 | 观察并发的智能体如何在共享状态上冲突 | 在库存工作负载里看到超卖
数据库 | 研究事务的工程师 | 在同一个工作负载上比较隔离模式 | 在写偏斜上比较 snapshot 和 serializable
教育 | 学习并发的学生 | 通过实验了解丢失更新和写偏斜 | 在每种模式下运行计数器工作负载

如果你想运行真正的引擎或它的测试，可以跳过这个页面，因为它只是模拟这个协议。

用在哪里：

• 网页浏览器，在 Hugging Face 上这个 Space 的页面里
• Windows、macOS 或 Linux 上的浏览器，打开下载好的 index.html

使用场景 | 谁用 | 得到什么
看超卖 | 开发者 | 一次库存运行，并发预订超过了库存
看丢失更新 | 学生 | 一次计数器运行，部分增量丢失了
看写偏斜 | 工程师 | 两个智能体各自通过检查，合在一起却破坏了规则

如何设置：在线使用不需要安装任何东西。本地副本需要一个浏览器，以及下载时用到的少量 Python。

• 一个网页浏览器
• Python 和 pip 工具，只在下载这一步需要

1. 用 pip 安装 Hugging Face hub 包。
2. 把这个 Space 的文件下载到一个文件夹里。
3. 进入该文件夹。
4. 在网页浏览器里打开 index.html。

pip install -U huggingface_hub
hf download Mithun-2714/StatePact-Concurrency-Playground --repo-type space --local-dir StatePact-Concurrency-Playground
cd StatePact-Concurrency-Playground

真正的 Python 引擎在单独的 StatePact 仓库里。克隆那个仓库之后，下面是它自己用于演示的命令。

cd StatePact
uv sync --extra demo
uv run python demo/app.py

如何使用：打开页面，从三种工作负载里选一种，从五种隔离模式里选一种，然后运行。接着切换模式，再运行同一个工作负载，比较结果。

工具 | 作用
库存工作负载 | 并发预订有限的库存，让你看到超卖
计数器工作负载 | 并发地给计数器加一，让你看到丢失更新
写偏斜工作负载 | 让两个智能体各自检查一条规则并写入，这一对就可能破坏它
none 模式 | 不做任何验证，故意不安全，用作基准
optimistic 模式 | 验证每一次读写的基础版本，是默认模式
snapshot 模式 | 只验证写入的基础版本，所以可能出现写偏斜
serializable 模式 | 在 optimistic 的基础上增加串行化图审计
pessimistic 模式 | 使用严格的两阶段锁，等待而不是重试

示例：你在 none 模式下运行计数器工作负载，会看到增量丢失。你切换到 optimistic 模式再运行一次。现在每一次增量都生效了。然后你在 snapshot 模式下运行写偏斜工作负载，看到规则被破坏。

新手与专家：当几个智能体同时读取一个值、思考再写回去时，有些写入会覆盖别的写入。第一步，先在 none 模式下运行计数器工作负载，再在 optimistic 模式下运行。

作者的基准测试结果来自 Python 引擎，而不是这个页面，它报告 none 在 400 次增量里丢失 376 到 390 次，而 optimistic 恰好达到 400。它还报告在 20 次试验里，snapshot 下 20 次出现写偏斜，serializable 下 0 次。

选择一个工作负载和一种隔离模式
模拟的智能体读取、推理并写入
提交验证接受或拒绝写入
你看到结果并比较各种模式

注意事项：

• Limits: 这个页面用 JavaScript 模拟协议，所以它的表现不是 Python 引擎的实测表现
• License: Apache 2.0
• Cost to run: 来源没有提到
• Data it reaches: 只有页面自己的脚本和仓库里的 benchmark-latest.json 文件
• Not for: 测试真实的数据库或真正的引擎，因为这个页面是模拟

Hugging Face 上的数据（2026年11月13日）

• 点赞：2
• 构建方式：static
• 许可证：apache-2.0

链接

• Space：https://huggingface.co/spaces/Mithun-2714/StatePact-Concurrency-Playground
• 文件：https://huggingface.co/spaces/Mithun-2714/StatePact-Concurrency-Playground/tree/main

试用

在浏览器里打开这个 Space，或在它的页面上把它复制到你自己的 Hugging Face 账号。这个工具包里没有会自己运行的东西。