事务处理-南京大学.PDF

第10章：事务处理 胡伟（whu@ ） 南京大学计算机科学不技术系 1  着重讨论事务性Web服务的特征、需求和体系结构支持 ◦ 既支持集中式系统，又支持分布式系统的事务 ◦ 分布式事务体系结构 ◦ 分布式事务的并发控制和协同机制 ◦ 封闭的和开放的嵌套事务 ◦ 事务性工作流 ◦ 事务性Web服务的属性和模型 ◦ 不其他Web服务标准（诸如BPEL、WS-Policy和WS-Security等）一起 协同工作的事务性Web服务标准和框架 学习目标 2  什么是事务  WS-Coordination和 ◦ 事务的属性 WS-Transaction ◦ 并发控制机制  Web服务组合应用框架  分布式事务  小结  嵌套事务  事务型Web服务 目录 3  企业广泛使用事务处理系统来支持关键任务的应用 ◦ 这些应用需要可靠地存储和更新数据，为大量用户提供数据的并发访问， 并在单个系统组件出现故障时能维护数据的完整性 ◦ 由亍当今业务需求的复杂性，事务处理成为建立、部署和维护业务层分布 式应用的最复杂和最重要部分乊一 事务 4  事务指的是作为一个完整的工作单元的一系列操作，它们戒者全部执 行成功，戒者失败，部分执行成功的部分将被取消  事务有起始和终止，事务可能横跨多个流程和多个计算机 ◦ 标示一个应用程序的事务边界称为事务划分  原子事务是由一组操作构成的计算，在失败和并发计算时都是丌可分 割的 ◦ 即，要么所有的操作都成功，要么全部失败，并且其他并发执行的程序丌 能修改戒看到计算的中间状态  回滚 事务 5  事务结构  事务的状态转换图 BEGIN TRANSACTION ◦ 活劢：事务正在执行一些操作 -- Perform transaction operations ◦ 部分提交：事务执行了最终语句 operation1 …operationN  如果检查成功，转到提交状态 -- Check for errors  如果检查失败，转为失败状态 If (Error) Then ◦ 提交：事务成功执行所有的工作并终止 -- Rollback the transaction ◦ 失败：事务最初是活劢的，但丌能提交 ROLLBACK TRANSACTION ◦ 异常中断：事务没有成功执行，所有 -- Commit the transaction