在《在Linq to Sql中管理并发更新时的冲突(2):引发更新冲突》一文中,我们描述了Linq to Sql检测在更新时是否产生了冲突的基本方法:将该记录每个字段原来的值和更新时的值进行对比,如果稍有不同则意味着记录被修改过,因此产生了更新冲突。不过您是否有这样的感觉,这种方法实在累赘了一些?如果一个表中有数十个字段,那么更新就必须完整地检测一遍(不过我会在今后的文章中提到这方面的控制)。再者,如果其中某一个字段储存了洋洋洒洒上万字的文章,那么在验证时仅仅是将它从Web服务器发送到数据库服务器就需要耗费可观的带宽与时间,这是不是显得有些“得不偿失”呢?
  因此Linq to Sql提供了另外一种检测并发更新冲突的方式:使用记录的时间戳。这并不是Linq to Sql特有的功能,如果您了解其他的ORM框架的话,就会发现诸如Hibernate也提供了类似的机制——自然,在使用上不会像Linq to Sql那样方便。
  在Sql Server中设计数据表时,我们可以使用一个特殊的数据类型:timestamp。请不要将它与SQL-2003标准中的timestamp类型混淆起来,那里的timestamp和Sql Server中的datetime比较相似(Oracle中timestamp的概念符合SQL-2003标准,而MySql中timestamp的概念与Sql Server相同),而Sql Server中的timestamp与SQL-2003标准中的rowversion类型对应。Sql Server中的timestamp类型和binary(8)在存储上非常类似(不过nullable的timestamp和nvarchar(8)类似),从类型名称上我们就可以看出,这是一个“时间戳”字段:当数据表中的某一条记录被添加或者修改之后,Sql Server会自动向类型为timestamp的字段写入当前时间。换句话说,只要在更新时发现该字段的值没有被修改过,就表明没有产生并发冲突。
  我们还是通过一个例子来体验一下吧。
  如上图。我们定义了一个新的数据表,其中有个record_version字段为timestamp类型,这就是记录的时间戳(record_version这个字段名似乎有点不太“雅观”,我觉得我们不会去主动使用它,所以问题不大——当然一些静态检查工具可不这么认为:))。有了记录的时间戳,我们就可以在检测更新冲突时获得更好的性能了。
try
{
    LinqToSqlDemoDataContext dataContext = new LinqToSqlDemoDataContext();

    Order order = dataContext.Orders.Single(o => o.OrderID == 1);
    order.Name = "New Order Name";

    dataContext.Log = Console.Out;
   
//
在下面的语句上设置一个断点
    dataContext.SubmitChanges();
}
catch (ChangeConflictException e)
{
    Console.WriteLine(e.Message);
}

Console.ReadLine();
  在最后的语句上设置断点,并且在程序运行至断点后去数据库里对OrderID为1的纪录作任意更新。然后按F5继续运行:
UPDATE [dbo].[Order]
SET [Name] = @p2
WHERE ([OrderID] = @p0) AND ([record_version] = @p1)

SELECT [t1].[record_version]
FROM [dbo].[Order] AS [t1]
WHERE ((@@ROWCOUNT) > 0) AND ([t1].[OrderID] = @p3)
-- @p0: Input Int (Size = 0; Prec = 0; Scale = 0) [1]
-- @p1: Input Timestamp (Size = 8; Prec = 0; Scale = 0) [SqlBinary(8)]
-- @p2: Input NVarChar (Size = 14; Prec = 0; Scale = 0) [New Order Name]
-- @p3: Input Int (Size = 0; Prec = 0; Scale = 0) [1]
-- Context: SqlProvider(Sql2005) Model: AttributedMetaModel Build: 3.5.21022.8

Row not found or changed.
  上面代码中的UPDATE语句相信大家都很清楚其含义。不过这里可能还需要解释其他两个问题:
  首先是那句SELECT语句。如果您去阅读自动生成的Object Model的代码时就会发现,record_version属性上有一个ColumnAttribute标记(假设您使用了Attribute Based Mapping Source),其AutoSync属性为Always,因此在任何操作之后,Linq to Sql都会补充一句SELECT语句,以此获得新的数据并修改DataContext中的特定对象。其次,由于timestamp类型的数据在记录被修改时就会设置,因此在更新时其他纪录的值与之前相同,也会引发更新冲突,这一点和基于字段值比较的前一种方法是不同的。
  那么,我们一直说出现了“并发更新冲突”,那么发生冲突后又会出现什么问题呢?我们来看一个略有些复杂的示例:
try
{
    LinqToSqlDemoDataContext dataContext = new LinqToSqlDemoDataContext();

    Order order1 = dataContext.Orders.Single(o => o.OrderID == 1);
    Order order2 = dataContext.Orders.Single(o => o.OrderID == 2);
    Order order3 = dataContext.Orders.Single(o => o.OrderID == 3);

    Console.WriteLine('Order 1: ' + order1.Introduction);
    Console.WriteLine('Order 2: ' + order2.Introduction);
    Console.WriteLine('Order 3: ' + order3.Introduction);
    Console.WriteLine();

    order1.Introduction = 'Order 1 modified.';
    order2.Introduction = 'Order 2 modified.';
    order3.Introduction = 'Order 3 modified.';

    dataContext.Log = Console.Out;
    // 在下面的语句上设置一个断点
    dataContext.SubmitChanges();
}
catch (ChangeConflictException e)
{
    Console.WriteLine('---------- ' + e.Message + ' ----------');
}

LinqToSqlDemoDataContext db = new LinqToSqlDemoDataContext();
Order o1 = db.Orders.Single(o => o.OrderID == 1);
Order o2 = db.Orders.Single(o => o.OrderID == 2);
Order o3 = db.Orders.Single(o => o.OrderID == 3);

Console.WriteLine('Order 1: ' + o1.Introduction);
Console.WriteLine('Order 2: ' + o2.Introduction);
Console.WriteLine('Order 3: ' + o3.Introduction);

Console.ReadLine();
  假设我们的数据表里有以下三条记录:
OrderID Name Introduction record_version
1 Order 1 This is order 1 <Binary data>
2 Order 2 This is order 2 <Binary data>
3 Order 3 This is order 3 <Binary data>
  当程序进入到SubmitChanges语句的断点时,我们去数据库中运行以下代码,以修改OrderID为2的记录。
UPDATE Order SET OrderID = "New Order 2" WHERE OrderID = 2
  继续运行程序,最终控制台中会打印出以下信息:
Order 1: This is order 1
Order 2: This is order 2
Order 3: This is order 3

UPDATE [dbo].[Order]
SET [Introduction] = @p2
WHERE ([OrderID] = @p0) AND ([record_version] = @p1)

SELECT [t1].[record_version]
FROM [dbo].[Order] AS [t1]
WHERE ((@@ROWCOUNT) > 0) AND ([t1].[OrderID] = @p3)
-- @p0: Input Int (Size = 0; Prec = 0; Scale = 0) [1]
-- @p1: Input Timestamp (Size = 8; Prec = 0; Scale = 0) [SqlBinary(8)]
-- @p2: Input NVarChar (Size = 26; Prec = 0; Scale = 0) [Order 1 modified.]
-- @p3: Input Int (Size = 0; Prec = 0; Scale = 0) [1]
-- Context: SqlProvider(Sql2005) Model: AttributedMetaModel Build: 3.5.21022.8

UPDATE [dbo].[Order]
SET [Introduction] = @p2
WHERE ([OrderID] = @p0) AND ([record_version] = @p1)

SELECT [t1].[record_version]
FROM [dbo].[Order] AS [t1]
WHERE ((@@ROWCOUNT) > 0) AND ([t1].[OrderID] = @p3)
-- @p0: Input Int (Size = 0; Prec = 0; Scale = 0) [2]
-- @p1: Input Timestamp (Size = 8; Prec = 0; Scale = 0) [SqlBinary(8)]
-- @p2: Input NVarChar (Size = 26; Prec = 0; Scale = 0) [Order 2 modified.]
-- @p3: Input Int (Size = 0; Prec = 0; Scale = 0) [2]
-- Context: SqlProvider(Sql2005) Model: AttributedMetaModel Build: 3.5.21022.8

---------- 1 of 2 updates failed. ----------
Order 1: This is order 1
Order 2: This is order 2
Order 3: This is order 3
  首先我们分别打印出三个Video对象的Introduction并将它们修改为新的值。在SubmitChanges方法调用之前,数据库中ID为2的记录已经被修改过了,因此在第一组UPDATE+SELECT调用成功之后——请注意,这是一次调用,Linq to Sql每次更新一条记录——在更新第二条记录之后发现了并发冲突。于是抛出异常(请注意异常的Message表示“两次更新其中有一次失败了”),第三条记录也不会再更新了。在冲突发生之后,ID为2和纪录自然没有被修改(WHERE条件不成立),但是第一条记录呢?从try...catch块之后的操作中看,ID为1的记录也没有被更新。
  也就是说,第一次更新被回滚了。这自然是事务的作用。在调用(默认的)SubmitChanges方法时,Linq to Sql会把所有的更新放在同一个事务中,因此它们“共同进退”。但是由于业务需求不同,有时候我们不希望某条记录的冲突导致了所有更新失败。自然,Linq to Sql也提供了这个方面的控制。在下一篇文章中,我们就来看一下Linq to Sql中与乐观并发控制有关的事务问题,以及出现并发冲突之后的解决方式。