Marten项目中的数字版本乐观并发控制策略实现

Marten作为一个.NET平台上的文档数据库和事件存储库，近期在其7.x版本中实现了一项重要功能：基于数字版本的乐观并发控制策略。这项功能为开发者提供了更灵活的并发控制选项，特别是在事件溯源和异步投影场景中具有重要价值。

背景与动机

乐观并发控制是处理多用户同时修改同一数据项的常用策略。Marten原本使用Guid作为版本标识符（类似ETag机制），这种实现简单直接，但在某些特定场景下存在局限性。例如，在事件溯源系统中，流版本号本身就是递增的数字序列，使用数字版本控制能更自然地映射业务模型。

技术实现细节

Marten通过以下核心组件实现了数字版本控制：

1. 版本元数据跟踪：新增了DocumentMetadata.CurrentRevision属性，用于存储当前文档的数字版本号。

2. 版本列配置：虽然内部称为"RevisionColumn"，但实际数据库列名保持为"version"以确保向后兼容。开发者可以通过DocumentMapping.UseNumericRevisions方法显式启用数字版本控制。

3. 并发验证机制：更新操作会携带预期的新版本号。系统会验证该版本号是否大于数据库中的当前版本，否则拒绝变更。

4. 存储操作增强：新增了IDocumentOperations.Store<T>(T entity, int revision)等重载方法，支持显式指定版本号。

5. 接口支持：提供了IRevisioned接口和[Revisioned]属性，作为数字版本控制的编程抽象。

使用场景与最佳实践

数字版本控制特别适合以下场景：

1. 事件溯源系统：事件流的版本号天然就是递增数字，使用数字版本可以简化实现。

2. 高并发环境：当业务逻辑本身需要维护数字版本概念时，直接使用数字版本比转换Guid更高效。

3. 批量操作：需要精确控制版本号递增步长的场景。

使用时需要注意：

• 不能同时启用乐观并发和数字版本控制
• 版本号必须严格递增
• 插入新文档时版本号默认为1

内部工作机制

Marten通过以下流程实现数字版本控制：

1. 存储阶段：检查传入的版本号是否有效（大于当前版本）
2. 冲突检测：在提交变更前验证版本条件
3. 版本追踪：通过VersionTracker维护版本字典
4. 自动递增：当不显式指定版本号时自动递增当前版本

总结

Marten的数字版本乐观并发控制策略为开发者提供了更丰富的并发控制选项，特别是在事件溯源和需要精确版本管理的场景下表现出色。这项功能的引入使得Marten在保持原有简单性的同时，增强了其在复杂业务场景下的适用性。