分布式事务管理与恢复.ppt

分布式事务管理与恢复 事务概念 事务是访问或更新各种数据项的程序执行单元. 事务必须保证数据库的一致性 事务执行期间数据库可能不一致 事务概念-续 当事务提交（commit）时数据库必须是一致的 事务概念-续 两个问题: 故障 各种软硬件故障 并发执行 多个事务同时执行 事务性质 ACID 原子性（Atomicity） 事务的操作要么全部执行, 要么全部不执行 一致性（Consistency） 并发执行的多个事务,其操作的结果应与以某种顺序串行执行这几个事务所得的结果相同. 持久性（Durability） 当事务提交后, 其操作的结果将永久化, 而与提交后发生的故障无关 事务性质-续 独立性（ Isolation） 虽然可以有多个事务同时执行，但是单个事务的执行不应该感知其他事务的存在，因此事务执行的中间结果应该对其他并发事务隐藏 一对事务 Ti 和 Tj的执行, 看起来好像是或者 Ti 在Ti 执行结束之后才开始执行，或者Tj,是在 Ti执行结束之后才开始执行 举例 从账号A向账号B转账 $50: 1. read(A) 2. A := A – 50 3. write(A) 4. read(B) 5. B := B + 50 6. write(B) 举例-续 一致性要求 事务执行后A 和 B账号的总金额不变 原子性要求 如果事务在第3步和第6步之间故障, 系统应该保证事务对数据库的修改没有产生,否则将导致不一致性 举例-续 持久性要求 一旦用户通知说事务已经完成（即$50 转账成功），那么由该事务对数据库的修改就必须保证是永久的，即使是发生故障也如此 举例-续 独立性要求 如果在第 3步和第6步之间, 允许其他事务访问被修改的数据库的中间结果, 那么它将见到一个不一致的数据库 (也就是说， A + B 的和少于它的正确值） 当然事务的串行执行将不会出现这种情况，但是数据库中事务并行执行的优点就损失了 事务状态 活动 从事务开始执行的初始状态始， 事务执行中保持该状态 部分提交 事务的最后一个语句执行后进入该状态 失败 一旦发现事务不能正常执行时进入该状态 夭折 当事务被回滚后，数据库恢复到事务开始执行前的状态。 事务夭折后有两种选择 重启动 仅当没有内部逻辑错误时 KILL 提交 当事务成功执行后. 事务状态-续 分布式事务 分布式事务是由若干个不同Site上的子事务组成的事务 事务的ACID性质 此时事务的原子性、一致性、持久性、独立性等都要将每个Site上的子事务考虑在内 分布式事务结构 Begin Trans . . . . Abort/Commit 进程协作 进程 系统中可以并行执行的一段操作序列，分布式事务中的子事务序列是进程方式完成 过程 不可并行执行的操作序列 事务代理（Agent） 应用在各个Site上执行的若干进程，称作应用在该Site上的代理。代理可以执行应用程序员写的程序，也可以执行系统的原语函数，不同代理间通过报文实现通讯，根代理（Root Agent） 应用启动Site上的代理。 根代理所在的Site称作原发Site。 一般，根代理负责发系统原语，只有根代理可以请求创建新代理。 转账应用 事务在两个账户之间执行“基金汇兑”操作。 全局关系 Account (Account-number, Amount) 假设账户分布在网络的不同站点上。 全局级转帐事务 FUND_TRANSFER: read (terminal,$AMOUNT,$FROM_ACC,$TO_ACC); begin_transaction; select AMOUNT into $FROM_AMOUNT from ACCOUNT where ACCOUNT_NUMBER=$FROM_ACC; if $FROM_AMOUNT-$AMOUNT0 then abort else begin update ACCOUNT set AMOUNT = AMOUNT-$AMOUNT where ACCOUNT_NUMBER = $FROM_ACC; update ACCOUNT set AMOUNT = AMOUNT+$AMOUNT where ACCOUNT_NUMBER = $TO_ACC; commit end ROOT_AGENT; read(terminal,$AMOUNT,$FROM_A