金融信息安全(8)-事务处理.ppt

事务处理事务处理李改成李改成******@.******@?事务是商业完整性安全策略中良构变换过程的一个严格形式,强调对整个应用系统的完整性进行控制。?下面是一个用伪代码写的SQL Server数据库系统事务的例子:–BEGIN TRANSACTION DEBIT_CREDIT–Debit savings account $1000–Credit checking account $MIT TRANSACTION DEBIT_CREDIT事务性质事务性质?原子性(Atomicity)–原子性(atomicity)是指事务是系统的逻辑工作单位,事务中包括的诸操作要么都做,要么都不做;将一组操作进行打包操作,可以保证操作的原子性。?在更新数据库尚未完成时,应用发生错误可能导致数据库崩溃。一个事务使用交易边界代码内的代码完成,所有边界内的代码必须全部完成或全部不执行,保证操作集合的原子性。?一种常规的方法是使用数据库日志功能,当意外发生时,可以回滚到当前交易发生之前的状态。?如果储蓄户头的提款反映到数据库中而支票户头的存款没有,那么这笔资金就会从数据库中彻底丢失。如果相反的情况发生(支票户头的存款到位而储蓄户头却没被提款),客户的支票户头就会神奇地增加,而实际上却没有相应的客户现金存款或者转帐的事情发生。正是由于SQL Server 的原子性,取款和存款都必须完成,否则,两个事件都不会完成。事务性质事务性质?一致性(Consistency)–一致性(consistency)是指事务执行的结果必须是使系统从一个一致性状态变到另一个一致性状态,因此当系统只包含成功事务提交的结果时,就说系统处于一致性状态。–一致性属性确保事务不允许系统到达一个不准确的逻辑状态。即使在发生系统故障时,约束和规则也必须得到保证。?在存款取款(DEBIT_CREDIT)的例子中,逻辑规则是:钱是不能凭空产生或销毁的,对于每个(收支)条目必须有一个相应的抵衡条目产生。–在较高的层次上需要考虑潜在的脆弱性和意外情况是否在流程处理范围内,例如,先借后贷的结算基本要求、联动交易是否符合业务和管理制度?事务原子性要求会计分录在交易完成时同时产生,不需另行开立传票,简化柜员操作及减少差错。?存、取动作一次完成,可减少操作次数,降低误记漏记的可能。?委托方与代理方均需同时写流水,以便委托方的实时查询。事务性质事务性质?隔离性(Isolation)–隔离性(isolation)是指一个事务的执行不能被其他事务干扰,即一个事务内部的操作及使用的数据对其他并发事务是隔离的,并发执行的各个事务之间不能互相干扰–在DEBIT_CREDIT 的例子中,当该事务正在执行的时候,别的事务是无法看到进行中的任务的。譬如说,如果其他事务要读取取款以后的储蓄户头上的余额,而接着DEBIT_CREDIT 事务被中止了,其他事务就会在一个逻辑上根本不存在的余额上进行操作。–SQL Server 会在事务之间自动实现隔离。它采用锁定数据或者新建行版本来使多个并发用户能够操作数据,以防止导致不正确结果的副作用发生。?持久性(Durability)–持续性(durability)是指一个事务一旦提交,它对系统中数据的改变就应该是永久性的。接下来的其他操作或故障不应该对其执行结果有任何影响。原子性实现原子性实现?BEA TUXEDO 中间件提供了交易(事务)API,应用可以使用它们开始、提交或中止一个交易。–BEA TUXEDO中的同一个组中的所有服务器只能直接访问一个数据库管理系统。?交易管理器(TM)–客户端应用程序使用ATMI 连接事务管理服务器(TMS) 开始、提交和中止位于多个资源中的事务。?交易管理器用于维护分布式交易的原子性。例如,顾客转帐中,客户机发起一个交易,触发一个转帐服务,转帐服务更新柜员日志并触发取款和存款服务,它们都需要更新账户数据库。只有所有交易步都成功完成时,交易才能提交。–TM对事务所需要的所有资源上的操作进行控制?使用内置的SQL 接口访问RM,读/更新该服务器群所使用的数据库?分布式交易处理在全局同时处理位于一个或多个数据库。TM在高级层次上控制资源操作,通过XA调用控制RM。?交易日志–系统必须有足够的信息可以使得交易能够在任何时刻都回滚到初始状态。为跟踪交易中参与方的行为,BEA TUXEDO 创建交易日志。?资源管理器RM–在底层是本地资源管理器RM (DBMS) ,负责单个资源。事务处理模式事务处理模式事务处理模式事务处理模式?XA接口标准–是事务处理系统与数据库服务器的事务管理接口。TMS 和RM使用XA 接口执行全局意义的原子资源操作。?全局事务–可能涉及到多个组。–由ATMI调用直接发起;–由客户和服务器进行Begun, committ