15事务.ppt

数据库系统概念----事务 前言 提纲 事务概念 事务状态 原子性和持久性的实现 事务调度 事务的可串行化 事务的可恢复性 事务的可串行化判定 事务概念 事务定义 事务是构成单一逻辑工作单元的操作集合。这些操作要么都做，要么都不做，是一个不可分割的工作单位。 例如银行转帐 SQL中事务的定义 事务以Begin transaction开始，以Commit work或 Rollback work结束 Commit work表示提交，事务正常结束 Rollback work表示事务非正常结束，撤消事务已做的操作，回滚到事务开始时状态 事务概念 示例 银行转帐：事务T从A帐户过户50元到B帐户 T： read(A); A := A – 50; write(A); read(B); B := B + 50; write(B); read(X)：从数据库传送数据项X到事务的工作区中 write(X)：从事务的工作区中将数据项X写回数据库 事务概念 事务特性(ACID) 原子性(Atomicity) 事务中包含的所有操作要么全做，要么全不做 原子性由恢复系统实现 一致性(Consistency) 事务的隔离执行必须保证数据库的一致性 事务开始前，数据库处于一致性的状态；事务结束后，数据库必须仍处于一致性状态；事务的执行过程中可以暂时的不一致 数据库的一致性状态由用户来负责，由并发控制系统实现 如银行转帐，转帐前后两个帐户金额之和应保持不变 事务概念 隔离性(Isolation) 系统必须保证事务不受其它并发执行事务的影响 对任何一对事务T1，T2，在T1看来，T2要么在T1开始之前已经结束，要么在T1完成之后再开始执行 隔离性通过并发控制系统实现 持久性(Durability) 一个事务一旦提交之后，它对数据库的影响必须是永久的 系统发生故障不能改变事务的持久性 持久性通过恢复系统实现 事务状态 事务的语义 事务的语义由用户决定 张三去上海谈判，需要定机票、宾馆和会议室。 张三和李四分别从北京和天津去上海参加会议，需要预定机票和宾馆。 张三和李四分别从北京和天津去上海会面，需要订机票和宾馆。 上述三个实例如何定义事务？ 原子性和持久性的实现 欲更新数据库的事务首先创建数据库的一个完整拷贝，所有的更新在新建的拷贝上进行，而原始数据库（影子拷贝）原封不动。 终止事务时，新拷贝将删除 原子性和持久性的实现 基于影子拷贝的方案 提交过程 原子性和持久性的实现 故障处理 事务故障 指针更新前： 删除新拷贝，中止事务，数据库旧拷贝有效 指针更新后： 数据库已更新完毕，数据库新拷贝有效 系统故障 指针更新前： 数据库旧拷贝有效 指针更新后： 数据库已更新完毕，数据库新拷贝有效 原子性和持久性的实现 此方法效率低下，一个事务的执行需要复制整个数据库 此方法不允许事务并发执行 并发执行 并行 Vs 串行 基本比较 并行事务会破坏数据库的一致性 串行事务效率低 并行的优点 一个事务由不同的步骤组成，所涉及的系统资源也不同。这些步骤可以并发执行，以提高系统的吞吐量(throughput) 系统中存在着周期不等的各种事务，串行会导致难于预测的延迟。如果各个事务所涉及的是数据库的不同部分，采用并行会减少平均响应时间(average response time) 核心问题 在保证一致性的前提下最大限度地提高并发度 事务调度(Schedule) 事务的调度 事务的执行顺序称为一个调度(schedule)，表示事务的指令在系统中执行的时间顺序 一组事务的调度必须保证 包含了所有事务的操作指令 一个事务中指令的顺序必须保持不变 串行调度 在串行调度中，属于同一事务的指令紧挨在一起 对于有n个事务的事务组，可以有n！个有效调度 并行调度 在并行调度中，来自不同事务的指令可以交叉执行 当并行调度等价于某个串行调度时，则称它是正确的 事务调度 事务执行示例 事务调度 事务调度 事务调度 事务调度 事务调度 数据库系统的调度应该保证任何调度执行后数据库总处于一致状态 通过保证任何调度执行的效果与没有并发执行的调度执行效果一样，可以保证数据库的一致性。 可串行化(Serializability) 只考虑read和write两种操作 冲突可串行化(conflict serializability) 视图可串行化(view serializability) 可串行化 可串行化 指令的顺序 考虑一个调度S中的两条连续指令（仅限read与 write操作）Ii与Ij，分别属于事务Ti与Tj ①Ii = read(Q), Ij = read(Q); ②Ii = read(Q), Ij = write