问答题
阅读下列说明，回答问题1至问题3，将解答填入对应栏内。

【说明】
某银行的转账业务分为如下两类操作：
(1)读取账户A余额到变量x，记为x=R(A)；
(2)将变量x值写入账户A中的余额，记为W(A，x)。
从账户A向账户B转账金额x元的伪代码操作序列为：a=R(A),=a=a-X，w(A，a), b=R(B)，b=b+x，W(B,b)。
针对上述业务及规则，完成下列问题：

问答题

【问题1】
根据业务规则，转账业务要么被全部执行，要么全部不执行，应如何保障?假设参与转账的账尸余额有大于等于。的约束，上述伪代码执行中可能出现什么情况，应如何处理?(100字以内)

【正确答案】

【答案解析】将转账业务作为一个完整的事务，即能保障所有操作要么全部执行，要么全部不执行。当A账户金额不足时转账金额x时，转账过程中会因为其余额小于。而违反约束，不能被执行，此时需要回滚事务，转胀业务不能被执行。

问答题

【问题2】
若允许对同一账号同时进行转账，要保证转账程序的并发执行，引入共享锁指令 SLock(b)和独占锁指令XLock(A)对数据A进行加锁，解锁指令Unlock(A)对数据A进行解锁。
请补充上述转账业务的伪代码序列，使其满足2PL协议。

【正确答案】

【答案解析】伪代码程序：XLock(A)，a=R(A)，a=a-x，W(A，a)，XLock(B)，b=R(B)，b=b+x，W(B，b)，Unlock(A)，Unlock(B) 注：保证读取数据对象之前加锁，解锁指令之间没有加锁指令即可给分。

问答题

【问题3】
若用SQL语句编写的转账业务事务程序如下：
START TRANSACTION;
SET TRANSACTION ISOLATION LEVEL SERIALIZABLE
UPDATE Accounts
SET CurrentBalance=CurrentBalance-Amount
WHERE AccountID=A；
if error then ROLLBACK；
COMMIT；
UPDATE Accounts
SET CurrentBalance=CurrentBalance+Amount
WHERE AccountID=B；
if error then ROLLBACK；
COMMIT；
其中：Accounts为账户表，CurrentBalance为当前余额，Amount为新存入的金额。
该事务程序能否保证数据的一致性?如不能，请说明原因并改正。(100字以内)

【正确答案】

【答案解析】不能实现，程序中第7行指令COMMIT为事务结束，此程序为两个事务，不满足转账业务要求。修改方法：程序中第7行指令CONMIT删除即可。试题五分析本题考查对事务并发控制概念及编程的掌握。事务是一个完整的业务逻辑处理，原子性要求是为了保证现实业务的正确执行。事务的开始通常是隐性的，上一事务结束后第一条SQL语句为事务开始，结束必须以 RollBack或Commit显示地标明。在并发状态下，可能会相互干扰破坏事务的ACID属性，加锁机制是保障事务正确执行的一种机制。 2PL协议能够保证事务并发状态下调度的正确性，即可串行化的调度。其内容是： ①在对任何数据进行读、写操作之前，首先要申请并获得对该数据的封锁； ②在释放一个封锁之后，事务不再申请和获得任何其他封锁。用伪代码描述，即在R()、W()操作之前分别加指令SLoek()和XLock，不再使用数据之后再解锁，且第一个解锁指令后不能再有加锁指令即可。在SQL编程中，使用标准SQL定义的隔离级别来实现事物并发执行下的一致性控制，4个隔离级别分别为Read Uncommitted、Read committed、Repeatable Read和 Serializable。问题3中的转账程序应为一个完整的现实业务，就满足原子性。而第7行COMMIT将程序分为了两个事务，不满足现实业务需求，去掉该行即可。