分布式事务中的完整性和保密性

Question

我有一个关于分布式事务的问题。假设我有 3 个事务程序：

事务 A

1. 开始
2. a=read(A)
3. b=read(B)
4. c=a+b
5. write(C,c)
6. 提交

事务 B

1. begin
2. a=read(A)
3. a=a+1
4. write(A,a)
5. commit

事务C

1. begin
2. c=read(C)
3. c=c*2
4. write(A,c)
5. commit

所以有是 5 对关键操作：C2-A5、A2-B4、B4-C4、B2-C4、A2-C4。

我应该确保完整性和保密，你知道如何实现吗？

先感谢您！

Answer 1

您在帖子中描述的是多用户系统中的常见情况。不同的会话同时使用相同的表和相同的行启动事务。这里有两个问题：

1. 如果会话 C 在会话 A 更新记录之后但在会话 A 提交其事务之前读取记录，会发生什么情况？
2. 如果会话 C 更新了会话 A 已更新但未提交的相同记录，会发生什么情况？

（您的场景仅说明了第一个问题）。

第一个问题的答案是 ioslation level。这是跨会话未提交事务的可见性的定义。 ANSI 标准指定了四个级别：

• 可串行化：否来自另一个会话的更改是可见的。
• REPEATABLE READ：允许幻读，即同一个查询执行两次可能返回不同的结果。
• READ COMMITTED：仅由另一个会话提交的更改可见。
• READ UNCOMMITTED：允许允许 diryt 读取，即一个会话中未提交的更改在另一个会话中可见。

不同的风格或数据库以不同的方式实现这些，并且并非所有数据库都支持所有这些。例如，Oracle仅支持READ COMMITTED和SERIALIZABLE，并且它将SERIALIZABLE实现为快照（即它是只读事务）。但是，它使用多版本并发控制来防止 READ COMMITTED 事务中的不可重复读取。

因此，回到您的问题，答案是：设置适当的隔离级别。适当的级别取决于您的数据库支持的级别以及您希望发生的行为。也许您想要 READ COMMITTED 或 SERIALIZABLE，也就是说您希望事务在数据值与事务开始一致的基础上继续进行。

至于其他问题，答案更简单：事务必须在表上发出锁，或者最好只在所需的行上发出锁，然后才能开始更新它们。这确保事务可以继续更改这些值而不会导致死锁。这称为悲观锁定。这在使用连接池的应用程序（即大多数基于 Web 的应用程序）中是不可能的，而且情况更加糟糕。