第6章 失误处理与并发控制.pptVIP

并发异常 任务1：读出数据A，将其加上50，写回 任务2：读出数据A，将其加上40，写回 假设A原值为100，串行执行结果：190 并发执行，可能出现各种可能结果 串行化结果：X:=190 并行：R1(A), R2(A), W1(A), W2(A), COMMIT1, COMMIT2。结果：X:=140，错误。 问题：第6步，A2写了A1写后未提交的脏数据。 串行化结果：X:=140 并型：R1(A)，W1(A)，R2(A)，ROLLBACK1，W2(A) , COMMIT2。结果，X:=190，错误。 问题：第4步，A2读了A1写后未提交的脏数据。 串行化结果：X:=190 并行：R1(A)，R2(A)，W1(A)， COMMIT1，W2(A) , COMMIT2。结果，X:=140，错误。 问题：第2、6步，执行第6前X已经不是第2步读出的100，已经是140。A1对A2正在使用的记录数据作了修改。 区别：2步A2没有读A1修改且尚未提交的脏数据（不是脏读）；7步A2没有写A1修改且尚未提交的脏数据（不是脏写） 若要避免不可重复读的发生，可以锁定（S）SELECT语句返回的所有记录（10条），别的进程不能修改。 串行化结果：两个事务都满足规则，都返回YES。 并行：同一事务中相同的两次读，结果集记录个数增加。 Oracle中，使用谓词锁避免幻影读，即满足SELECT语句中WHERE谓词的记录都不能被INSERT。其他的可以。 DB2中，使用表锁实现，即锁定表（100条记录），不能INSERT任何记录。 数据库实现机制简介 会话级手工加锁 ALTER SESSION … LOCK TABLE IN [ROW SHARE | ROW EXCLUSIVE | SHARE | SHART ROW EXCLUSIVE | EXCLUSIVE] MODE [NOWAIT]; 不包括FOR UPDATE子句的查询和其他子查询不申请任何锁，不需要等待任何资源，立即返回。 事务处理的实现机制 数据库实现机制简介 限制性从小到大 Row Share Table Locks(RS)：锁住记录，将要修改。 SELECT … FROM t … FOR UPDATE OF …; LOCK TABLE t IN ROW SHARE MODE; Row Exclusive Table Locks(RX) INSERT INTO t …; UPDATE t …; DELETE FROM t …; LOCK TABLE t IN ROW EXCLUSIVE MODE; 事务处理的实现机制 数据库实现机制简介 Share Table Locks(S) LOCK TABLE t IN SHARE MODE; Share Row Exclusive Table Locks(SRX) LOCK TABLE t IN SHARE ROW EXCLUSIVE MODE; Exclusive Table Locks(X) LOCK TABLE t IN EXCLUSIVE MODE; 不包括FOR UPDATE子句的查询和其他子查询不申请任何锁，不需要等待任何资源，立即返回。 事务处理的实现机制 数据库实现机制简介 transaction 1 DECLARE s1 NUMBER; s2 NUMBER; BEGIN LOCK TABLE detail IN EXCLUSIVE MODE; LOCK TABLE master IN SHARE ROW EXCLUSIVE MODE; SELECT SUM(balance) INTO s1 FROM detail WHERE id = ‘001’; SELECT amount INTO s2 FROM master WHERE id = ‘001’; IF s1 s2 THEN Raise_Application_Error(-20001, ‘not matched’); END IF; END; 事务处理的实现机制 数据库实现机制简介 transaction 2 BEGIN LOCK TABLE detail IN EXCLUSIVE MODE; LOCK TABLE master IN SHARE ROW EXCLUSIVE MODE; INSERT INTO detail(id, balance) VALUES (‘001’, 100); UPDATE master SET amount = amount + 100 WHERE id = ‘001’; END; 事务处理的实现机制 * 不同的隔离级别下，