Transactionprocessinginmobiledistributedreal-time.pptVIP

Transaction processing in mobile distributed real-time database systems 移动分布式实时数据库系统的事务处理 摘要 提出DMVOCC—MDA协议处理移动分布式实时事务。协议采用多版本乐观方法，使用多版本动态调整串行次序技术。移动分布式事务局部有效性确认分为2个阶段：第1阶段在移动主机上进行，使用向后有效性确认机制，对服务器上个广播周期提交事务进行有效性确认；第2阶段在服务器上进行，通过局部有效性确认的移动事务，提交到服务器进行局部最终有效性确认。在全局有效性确认中对分布更新事务进行检查，以保证分布串行性。移动只读事务能无阻塞提交，降低移动只读事务的响应时间，消除移动只读事务和移动更新事务的冲突，避免不必要的移动事务重启动。在移动主机上及早地检测数据冲突，节省处理和通信资源。实验结果表明，DMVOCC—MDA协议与其他协议相比，错过率和重启动率低，提交率和吞吐量高。 在移动广播环境中，传输带宽是不对称的。从服务器到移动主机(MobileHosts，MHs)下行传输带宽远大于从MHs到服务器上行传输带宽。在这种不对称的传输带宽环境中，MHs应尽量减少对上行传输信道的竞争，并发控制协议不应卷入MHs在事务执行期间进行数据冲突检测时与其他MH和服务器持续同步。在移动分布式实时数据库系统中，并发控制协议研究主要有3个方面： a．扩展锁制机制。对每个数据项加锁的请求必须从MHs传送到服务器，大量的加锁请求会堵塞从MHs到服务器上行传输信道，事务请求数据封锁可能等待很长时间，导致移动实时事务处理不可容忍地延时。此外，存在死锁问题，死锁检测开销很大。MHs为检测数据冲突必须与服务器持续同步。 b．采用乐观并发控制机制。乐观并发控制机制具有非阻塞和无死锁的良好特性，对实时环境非常有吸引力。但乐观并发控制机制重启动事务数量多，而在移动实时数据库中重启动移动事务代价很高。移动事务直接提交到服务器进行有效性确认，在服务器决定所有事务是否提交。MHs需等待很长时间才知道哪些移动事务必须重启动。在具有大量MHs的移动实时分布式数据库中，此策略也会导致移动事务处理不可容忍地延时，且浪费处理资源和通信带宽。 c．使用混合机制。移动只读事务按乐观并发控制机制处理，移动更新事务必须提交到服务器进行有效性确认。若发生冲突，则事务重启动，否则使用锁机制。MH$为检测数据冲突同样必须与服务器持续同步，且重启动事务数量多。 在此，本文作者提出DMVOCC—MDA并发控制协议处理移动分布式实时事务。通过使用多版本机制，移动只读事务能无阻塞提交，通过乐观方法，降低移动更新事务之间的冲突。通过多版本动态调整事务串行次序，避免不必要的事务重启动。事务有效性确认分为2个阶段：第l阶段在MH进行，使用向后有效性确认机制，与在服务器上个广播周期提交的事务进行有效性确认。MHs能及时确定哪些事务由于数据冲突必须重启动。及早地检测数据冲突，节省了处理和通信资源。第2阶段在服务器上进行。通过MH上局部有效性确认事务，提交到服务器进行局部最终有效性确认。移动分布事务还必须执行全局有效性确认，以保证分布串行性。 1. 广播有效确认信息 广播介质可以看作延迟时间很长的广播磁盘来建模。服务器维护每个数据项多个版本，数据项所有版本都将广播。数据项按访问频度进行划分，访问频度相近的数据项放在同一个广播磁盘上。磁盘分成更小相等的称为块的数据单元。磁盘块的个数与磁盘的速度成反比。数据项所有版本都相继广播。热数据项位于快速磁盘上，冷数据项则位于慢速磁盘上。广播数据时，从每一个磁盘上取一块广播，磁盘上的块按顺序取。广播周期分成多个微周期，在1个微周期中广播所有磁盘中的一块。从而，在1个广播周期中，热数据项被频繁地广播，冷数据项广播次数则相对较少。服务器广播在广播周期开始时，广播在服务器上个广播周期提交事务的有效确认信息。事务的有效确认信息为(TiTS(Ti),Rset(Ti)，West(Ti))其中：TS(Ti)为时间戳，Rset(Ti)为Ti读集，。West(Ti)为Ti写集。所有提交的事务有效性确认信息由Cset，Aset,Creadset和Cwriteset组成，其中Cset为上个广播周期在服务器提交的事务集合，Aset为上个广播周期在服务器夭折的动事务集合，Creadset为所有提交的事务的Rset组成，Cwriteset为所有提交的事务West组成。 2多版本乐观并发控制机制 每个事务Ti赋予1个时间戳Ts(Ti)，对于每个数据项x有一个版本序xl，x2，…，Xm与之关联。每个版本Xk包含3个数据字段：a．Xk版本值；b．Wts(xk)；c．Rts(xk)。其中，Wts(xk)表示创建版本的事务时间戳，Rts(xk)表示所