EntityFramework 乐观并发控制机制深度解析

乐观并发控制的基本原理

乐观并发控制是EntityFramework中处理数据并发访问的重要机制。它通过在实体类中添加一个并发标记属性（通常使用[Timestamp]或[ConcurrencyCheck]特性标注），在数据更新时检查该标记是否已被其他操作修改，从而避免数据覆盖问题。

跟踪实体与非跟踪实体的行为差异

在实际开发中，我们发现EntityFramework对于跟踪实体(Attached Entity)和非跟踪实体(Detached Entity)的乐观并发控制存在行为差异：

1. 跟踪实体场景：当实体被上下文跟踪时，EF会维护实体的原始值(Original Value)和当前值(Current Value)。乐观并发检查使用的是原始值而非当前值。

2. 非跟踪实体场景：使用AsNoTracking()查询的实体在附加到上下文时，原始值和当前值会被设置为相同的值。此时乐观并发检查使用的是这个相同的值。

问题重现与分析

在用户提供的示例代码中，我们观察到：

// 跟踪实体场景 - 不会抛出并发异常
var widget = await context.Widgets.FirstAsync(w => w.Id == 1);
widget.Name = "Widget 2";
widget.RowVersion = 123456;  // 修改的是当前值
await context.SaveChangesAsync();

// 非跟踪实体场景 - 会抛出并发异常
var widget = await context.Widgets.AsNoTracking().FirstAsync(w => w.Id == 1);
widget.Name = "Widget 2";
widget.RowVersion = 123456;  // 同时设置原始值和当前值
var w = context.Entry(widget);
w.State = EntityState.Modified;
await context.SaveChangesAsync();

这种差异的根本原因在于EF对原始值的处理方式不同。对于跟踪实体，直接修改属性只会改变当前值，而原始值保持不变。

解决方案与最佳实践

要使跟踪实体也能触发并发异常，我们需要显式设置原始值：

context.Entry(widget).Property(w => w.RowVersion).OriginalValue = 123456;

在实际开发中，建议：

1. 明确区分原始值和当前值的概念
2. 对于需要手动处理并发控制的场景，显式设置原始值
3. 考虑使用专门的DTO对象处理非跟踪场景
4. 在文档中明确记录并发控制的预期行为

深入理解EF的并发机制

EntityFramework的乐观并发控制实际上是通过在UPDATE语句中添加WHERE条件实现的。例如：

UPDATE Widget SET Name = @p0, RowVersion = @p1 
WHERE Id = @p2 AND RowVersion = @p3

对于跟踪实体，@p3参数来自原始值；对于非跟踪实体，它来自当前设置的值。理解这一底层机制有助于更好地处理并发场景。

总结

EntityFramework的乐观并发控制是一个强大但需要深入理解的特性。开发人员应当充分认识到跟踪和非跟踪实体在并发处理上的行为差异，根据实际业务场景选择合适的处理方式。对于复杂的并发场景，可能需要结合业务逻辑设计更完善的并发处理策略。