导读:本文包含了嵌套事务论文开题报告文献综述、选题提纲参考文献，主要关键词:事务,嵌套,实时,内存,多核,版本,模型。
嵌套事务论文文献综述写法
归凌佳[1]（2011）在《ForCES路由器中嵌套事务的应用研究》一文中研究指出在ForCES路由器结构中包括一个控制件(Control Element,CE)和多个转发件(Forwarding Element, FE),并且一个CE控制和管理着上百个FE。在ForCES路由器中存在着事务(transaction),比如路由路径和资源的预留。传统的事务模型使用严格的二阶段提交协议,即只要存在一个子事务执行失败,就必须回滚整个事务,使系统回到执行之前的状态；当且仅当所有的子事务都执行成功时,整个事务才可以提交。这种All or Not(全提交或全不提交)的事务部署方式影响了整个系统的性能,同时也一定程度的影响了事务的部署成功率。因而前人在传统事务模型的基础上提出了嵌套的事务模型,即当出现某个子事务执行失败时,该模型只回滚部署失败的子事务,而保留部署成功的节点的状态,然后使用失败节点的替代节点来继续完成整个事务。在已有的嵌套事务模型的基础上本文做了如下的工作：首先在嵌套事务的基础上提出了动态的嵌套事务模型,即动态的寻找替代子事务：当存在某个子事务执行失败时,找到该子事务节点的左右邻居节点,寻找这两个邻居节点之间的其它路径,如果存在,则部署该路径上的子事务；若不存在,则继续寻找该邻居节点的邻居节点,并循环上述操作直到找到另一条路径来执行事务；其次本文使用数学公式证明了在ForCES路由器中动态的嵌套事务模型较嵌套事务模型的优势,同进证明了该模型较传统的事务模型在时间上的的优越性并通过计算机仿真实验使结果显得更直观。除此以外,本文还研究了ForCES路由器中的两种部署方式,即单播的部署方式和组播的部署方式,通过公式证明了这两种方式的优缺点并提出最优的部署方式；最后基于ForCES协议中已有的对事务机制的描述,本文分别对传统事务模型和动态的嵌套事务的实现过程进行了设计。(本文来源于《浙江工商大学》期刊2011-12-01）
李弋[2]（2011）在《面向嵌套事务内存的多线程程序验证框架研究》一文中研究指出随着多线程技术的发展,并行编程逐渐成为软件开发的主流,事务内存的出现有效的解决了并行编程中锁的使用不当带来的一系列问题,而如何保证事务内存程序的正确性也成为值得关注的问题。文章介绍了一种形式验证框架,用于验证使用事务内存的并行程序的正确性。框架基于Hoare风格的程序验证方式并结合了分离逻辑的思想,包括抽象机、程序规范、语法规则及可靠性定理,支持嵌套事务程序的正确性验证,并给出一个简单的程序实例说明其在该框架中的证明过程。(本文来源于《电脑知识与技术》期刊2011年25期）
蔡晋[3]（2010）在《基于替代的嵌套事务夭折策略》一文中研究指出在支持功能替代的实时事务模型中,实时事务调度分为内部调度和外部调度两级,同时也改变了事务夭折模式。高性能的夭折策略有利于提高事务的成功率,减少不必要的资源开销。研究针对基于替代的事务模型,以及与事务两级调度策略相对应的两级夭折模式,并给出具体策略和算法。仿真实验结果表明,该方法能够较好地减少系统不必要的开销,提高系统成功率。(本文来源于《计算机应用研究》期刊2010年11期）
李妩可[4]（2009）在《移动广播环境中实时嵌套事务并发控制机制关键技术研究》一文中研究指出随着信息时代的到来,人们提出了随时随地访问信息的要求,移动计算作为计算技术和无线通讯技术的产物应运而生,由于移动计算本身所具有的网络不对称性、资源有限性、用户移动性等特点,传统的实时嵌套事务并发控制机制不适应于移动数据库。本文将着重对此进行研究。首先,本文对移动数据库的研究背景,研究目的和当前移动实时嵌套事务的研究现状进行了详细介绍,并分析了传统嵌套事务并发控制的优缺点。其次,本文将多版本并发控制与乐观并发控制的优点结合起来,提出了MVOCC-NT (Muliversion Optimistic Concurrency Control for Nested Transaction)。协议设计采用多版本机制,实现移动只读事务无阻塞提交,降低移动只读事务响应时间；通过乐观方法,消除移动只读事务和移动更新事务的冲突。本协议还设计使用了多版本的动态调整串行次序技术,避免了不必要的事务重启动。移动事务处理分为在移动主机和服务器上进行两阶段有效性检查处理。移动主机可以及时检测到数据冲突,可以很好的节省处理和通信资源。最后,将本文提出的移动环境中多版本的乐观并发控制协议与传统的2PL-NT-HP (High Priority Two Phase Locking Scheme for Nested Transaction)做了移动事务延误截止时间率和移动事务重启动率等性能方面的对比。实验仿真表明,MVOCC-NT协议在这些方面都要优于传统的并发控制协议。(本文来源于《中南大学》期刊2009-06-30）
肖迎元,张德干,刘云生[5]（2009）在《嵌套事务模型下实时数据库故障处理策略》一文中研究指出针对嵌套事务的特性,提出了一种新的、支持嵌套实时事务模型的故障恢复模式。该故障恢复模式改进了传统的日志记录类型与结构,能更好地适应嵌套事务的特性与时态数据的时限需求。在日志缓冲区分配策略上,并发的嵌套实时事务被分配在独立的活动日志区,解决了顺序日志模式中当前日志缓冲页因为严重的访问竞争而影响系统性能的问题。在故障发生后的恢复处理算法中,对重做起始点选择与执行顺序进行了优化处理,在确保提交事务持久性的前提下,尽可能地提高恢复性能。性能测试显示,该恢复模式具有比传统恢复模式更好的性能。(本文来源于《计算机集成制造系统》期刊2009年01期）
周巧扣,晏立[6]（2008）在《混合的实时嵌套事务并发控制协议》一文中研究指出嵌套事务作为扩展事务模型的一种,提供了事务内部的并行性和更好的失败恢复选择,具有较为广泛的应用,然而却给事务并发控制带来了更高的复杂性,尤其在实时数据库中事务具有时间限制。针对实时嵌套事务模型,提出了一种混合并发控制协议,对同一事务树内的子事务采用锁协议,对不同事务树之间的事务采用基于动态调整串行化顺序的乐观并发控制协议,提高了事务的成功率,最后证明了协议的正确性。(本文来源于《计算机工程与设计》期刊2008年15期）
曹明腾[7]（2008）在《面向对象程序中可嵌套事务内存研究》一文中研究指出随着集成电路工艺的不断进步以及处理器体系的不断发展,多核已经成为处理器的重要发展方向,已成为服务器和桌面的主流。同时,如何在多核环境下更好地进行多线程编程、寻找替代锁机制的更好的机制自然地成为必须解决的课题。事务内存是其中较成功、且研究较为广泛的一个方案。目前,在事务内存方面,主要有两种实现机制:硬件实现和软件实现。软件事务内存通过软件的方式实现事务内存机制,不需要额外的硬件支持,所有的机制全是通过软件实现的,相对于硬件事务内存有较多优势。因此,本文在面向对象程序中,提供对软件事务内存的支持。同时,为了在语义上实现事务的嵌套执行,本文提出可嵌套事务内存框架设计。本文针对面向对象程序,给出了软件事务内存的详细定义以及软件事务状态的转换关系,同时提供相应的接口。本框架提出了叁种冲突仲裁策略:即时策略、延迟策略和基于优先级策略。即时策略作为其他两种策略的比较对象,评判其性能的好坏。延迟策略以事务的开始时间作为判断软件事务重要性的标准。而基于优先级策略则是以事务的读写操作工作量作为评判事务重要性的依据。同时,为了在面向对象程序中,提供对语义上事务嵌套执行的支持,本文提出了抽象锁机制和补偿机制加以实现之。最后,本文在英特尔双核、四核和八核服务器平台上进行测验,使用了List和HashMap作为测试用例。实验表明延迟策略和基于优先级策略在双核、四核和八核的平台上性能都比即时策略得到了提升,平均分别在20%和25%左右。同时,在嵌套事务方面,软件事务内存的性能也得到了提升,特别是在处理器核数较多的时候。综上所述,本文针对面向对象程序,提出了软件事务内存框架设计,并提出了叁种冲突仲裁策略设计和嵌套事务设计,通过实验证明了冲突仲裁策略的性能优劣和嵌套事务带来的性能提升。(本文来源于《浙江大学》期刊2008-06-01）
何团伟[8]（2007）在《嵌套事务内存研究》一文中研究指出用户应用程序中的并发性正在逐渐增长,现代计算机包含了单核多线程和单芯片多核的功能。如何有效地在多核处理器体系结构下开发出高性能、可移植的并行程序,降低并行程序的开发难度,提高并行程序的设计开发效率成为并行计算领域的一个关键性问题。传统的用户应用程序使用细粒度锁的互斥方式达到同步,但是这种方式容易形成死锁和具有不可组合性、优先级反转和护航效应等问题。非阻塞算法避免了这些限制,且保证线程的延迟或者失败不会阻碍系统整体上向前执行,但同样难于实现和应用。事务内存技术基于数据库管理系统中成功的并发处理经验,能够高效地完成内存级并发读写操作。事务内存系统的核心是冲突检测。本文对国内外在事务内存方面所做的研究与探索进行了总结与分析,研究了现有的软件和硬件事务内存系统的设计方法和冲突检测机制,分析了各自的优缺点。在此基础上,本文首创了适用于所有事务内存系统的冲突检测数学模型。可组合性是现代软件工程的基础,嵌套事务内存正是事务内存可组合性的表现。本文通过对传统并行程序设计方法进行分析,并结合事务内存的现有理论提出了在内存访问层次的嵌套事务内存模型。该模型与硬件无关,定义了平面事务、闭合事务和开放事务在各种操作下的语义,描述了事务所能见的内存状态、内存访问冲突、提交与夭折动作。在该模型的基础上,本文深入研究和分析了开放事务语义,并且提出了适用嵌套事务内存系统的优先级竞争管理算法,将此算法应用于本系统后可以有效地提高单位时间内事务执行的数目。在以上工作的基础上,本文使用C++编程语言实现了一个嵌套事务内存系统。该系统具有良好的可扩展性、友好的编程接口,能从真正意义上简化并行程序设计的开发过程,提高并行程序的开发效率。(本文来源于《天津大学》期刊2007-06-01）
雷向东,赵跃龙,陈松桥,袁晓莉[9]（2007）在《移动计算环境中实时嵌套事务并发控制协议的研究》一文中研究指出提出了移动计算环境中多版本乐观并发控制协议(MultiversionOptimisticConcurrencyControl,MVOCC)处理移动实时嵌套事务.协议消除了只读事务和更新事务之间冲突,通过动态调整事务串行次序,避免不必要的事务重启动.只读事务在移动主机处理,只读事务的响应时间大大改善.事务有效性检查分两级局部有效性检查和全局有效性检查.局部有效性检查在移动主机进行.通过局部有效性检查的事务提交到服务器进行全局有效性检查.如此早地检测数据冲突,节省了处理和通信资源.通过模拟仿真,对协议进行了性能测试,并与OCC-TI-WAIT50和HP2PL协议进行了比较.实验结果表明该协议要优于其它协议.协议不但能有效地降低事务的重启动率和延误截止时间率,而且改善只读事物的响应时间.(本文来源于《小型微型计算机系统》期刊2007年01期）
王晓娟[10]（2006）在《基于组件技术的嵌套事务模型》一文中研究指出在传统的嵌套事务模型基础上,根据CAD系统事务的并发性和数据的一致性,提出一种基于组件的嵌套事务模型,并给出组件的功能实现。同时,分析了该模型对CAD系统事务的影响,并给出了模型的应用实例。(本文来源于《青海大学学报(自然科学版)》期刊2006年01期）
嵌套事务论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着多线程技术的发展,并行编程逐渐成为软件开发的主流,事务内存的出现有效的解决了并行编程中锁的使用不当带来的一系列问题,而如何保证事务内存程序的正确性也成为值得关注的问题。文章介绍了一种形式验证框架,用于验证使用事务内存的并行程序的正确性。框架基于Hoare风格的程序验证方式并结合了分离逻辑的思想,包括抽象机、程序规范、语法规则及可靠性定理,支持嵌套事务程序的正确性验证,并给出一个简单的程序实例说明其在该框架中的证明过程。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
嵌套事务论文参考文献
[1].归凌佳.ForCES路由器中嵌套事务的应用研究[D].浙江工商大学.2011
[2].李弋.面向嵌套事务内存的多线程程序验证框架研究[J].电脑知识与技术.2011
[3].蔡晋.基于替代的嵌套事务夭折策略[J].计算机应用研究.2010
[4].李妩可.移动广播环境中实时嵌套事务并发控制机制关键技术研究[D].中南大学.2009
[5].肖迎元,张德干,刘云生.嵌套事务模型下实时数据库故障处理策略[J].计算机集成制造系统.2009
[6].周巧扣,晏立.混合的实时嵌套事务并发控制协议[J].计算机工程与设计.2008
[7].曹明腾.面向对象程序中可嵌套事务内存研究[D].浙江大学.2008
[8].何团伟.嵌套事务内存研究[D].天津大学.2007
[9].雷向东,赵跃龙,陈松桥,袁晓莉.移动计算环境中实时嵌套事务并发控制协议的研究[J].小型微型计算机系统.2007
[10].王晓娟.基于组件技术的嵌套事务模型[J].青海大学学报(自然科学版).2006