串行化论文-熊中敏,王佳艳,汪博,陈明

串行化论文-熊中敏,王佳艳,汪博,陈明

导读:本文包含了串行化论文开题报告文献综述及选题提纲参考文献,主要关键词:数据库,并发事务,可串行化,闭包计算

串行化论文文献综述

熊中敏,王佳艳,汪博,陈明[1](2019)在《基于优先执行关系闭包运算的事务可串行化判定方法》一文中研究指出现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。(本文来源于《计算机应用与软件》期刊2019年09期)

喻刚[2](2019)在《串行化流式文件在汽车衡设备管理中的应用》一文中研究指出在汽车衡系统中,多种设备共存协同工作,是一种普遍的现象。特别是《汽车衡无人值守称重系统》。相关的电子配件较多,软件逻辑处理比较复杂,一但用户需要根据现场进行随意裁剪时,常常会使系统底层逻辑混乱,导致软件的不稳定性增加。本文提供一种串行化流式文件来管理多种设备的思路,以达到灵活"组秤"目的。(本文来源于《衡器》期刊2019年04期)

王嘉豪[3](2018)在《面向混合负载的可串行化隔离级别研究与实现》一文中研究指出随着互联网、大数据、人工智能的发展,现代企业级的应用不仅需要支持传统高并发的OLTP业务,往往还需求高效的实时数据分析,即处理联机事务型和分析型混合的负载(Hybrid Transactions and Analytics Processing,简称HTAP),典型的HTAP负载包含单点的读写请求和范围上的扫描请求。为了支持高并发的事务访问,许多现代应用使用了运行在多核、大内存的服务器上的内存数据库,以获得高吞吐和低延迟。尽管许多大数据系统为了提高并发,使用了快照读甚至读已提交的较低隔离级别,然而在某些金融级系统中仍然需要事务的可串行化调度,以确保关键业务的正确性。目前的大多内存数据库无法在可串行化的隔离级别下良好的支持HTAP请求,为了检测事务之间的冲突,并发控制策略在处理范围扫描请求上花费了较多的代价。因此,本文设计实现了一种高效可扩展的基于逻辑范围验证的乐观并发控制策略(ROCC),通过划分逻辑区间,在范围级别上进行事务验证,减少了事务验证的代价,在保证可串行化隔离级别的基础上提升了整体性能。在工程实现上,ROCC使用了一种优化的数据结构—无锁的循环数组—来高效的追踪修改每个逻辑分区内的事务、进行读写冲突检测以及回收事务内存。实验表明,在HTAP负载下,ROCC能够有效的减少验证代价,相比于其它方法拥有更好性能和可扩展性。此外,本文还介绍了将ROCC应用于一个开源分布式的系统CEDAR的具体实现方法。并通过实验证明了,使用了基于范围验证的CEDAR不仅可以实现可串行化的隔离级别,而且能够高效的支持HTAP负载。(本文来源于《华东师范大学》期刊2018-05-01)

郑朝霞,资义纯,吴旭峰,陈毅成[4](2016)在《SMS4算法串行化设计及其轻量级电路实现》一文中研究指出通过数据通路共享以及核心功能模块的串行化设计对SMS4算法进行了优化,设计实现了小面积低成本的SMS4算法.该算法能广泛应用于智能卡、物联网等领域.为了实现小面积低成本的SMS4算法,采用串行的设计方式,对核心模块进行分时复用,并共享加密和密钥扩展的数据通路;同时,采用电路实时产生常数的方法来进一步减小电路面积,8bit的数据通路中只包含8个D触发器和一个和常数加7的电路,只占用66个等效门(GE).在ASIC实现上,设计的SMS4电路占用3 824GE,除去密钥扩展模块为2 493GE,与已有结果比面积减小18.52%;在FPGA实现上,设计的SMS4占用逻辑资源只有现有结果的20%~40%.(本文来源于《华中科技大学学报(自然科学版)》期刊2016年02期)

吴鹏,于世东,王晨[5](2016)在《基于工程主线的软件工程课程串行化及PM模型研究》一文中研究指出教育部提出大学应该培养理论与实践相结合的社会需要的创新性人才,要进行卓越人才培养和产业行业急需人才的培养,这就需要大学课程体系做出与其要求相适应的调整和改进,使课程体系具有科学性与工程性,在这样的课程体系下才能培养出知识、素质、能力全面发展的工程化的软件工程专业的大学毕业生。提出基于工程主线的软件工程课程串行化及PM模型,该模型采用相位匹配的方式将软件工程不同的专业课程配置上相位参数,通过对相位参数的调整建立专业课程的数学模型,对数学模型的优化改进来完成课程优化与改进,达到课程之间的串行化,根据工程的需求调整课程的相位参数,使课程达到最优组合,建立基于工程的课程体系,培养出软件工程专业卓越工程师。(本文来源于《沈阳师范大学学报(自然科学版)》期刊2016年01期)

党德鹏,张楠,徐娟[6](2015)在《偏斜广播的两层可串行化移动实时并发控制》一文中研究指出针对偏斜数据广播系统,提出两层移动实时事务模型,允许把移动实时事务分解为多个事务帧,以便以帧为粒度更精细地管理移动实时事务操作的并发执行.提出可动态调整帧串行化顺序的并发控制协议BCCDSS,避免不必要的帧夭折,尽可能早地在移动客户机端检测帧数据冲突,并减少须夭折的帧操作,让须夭折的移动事务帧尽早夭折,从而大大提高移动实时事务处理效率.对BCC-DSS协议的性能进行了评价,结果表明BCC-DSS协议能显着改进无线移动实时事务的平均响应时间、重启率和超期率.(本文来源于《华中科技大学学报(自然科学版)》期刊2015年07期)

刘波,范士明,刘华[7](2013)在《一种动态调整串行化顺序的实时并发控制协议》一文中研究指出实时并发控制协议用来控制并发事务间的相互作用,已满足实时数据库的一致性.本文提出一种四阶段实时并发控制协议HTRCC-DASO,协议在读或等待阶段基于事务优先级动态调整串行化顺序,通过阻塞或及早重启低优先级事务,使高优先级事务率先提交并降低事务重启开销.在验证阶段检查事务读写集合的外部一致性和相互一致性并调整活动事务的时间戳间隔,确保满足事务时态一致性和调度冲突可串行化.通过引入相似性概念,提出了HTRCC-DASO的改进版本:SHTRCC-DASO,性能测试结果显示,SHTRCC-DASO协议能保证良好的实时性能.(本文来源于《小型微型计算机系统》期刊2013年03期)

冯凯平[8](2011)在《优先图在冲突可串行化判断中的应用》一文中研究指出在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。(本文来源于《成都信息工程学院学报》期刊2011年05期)

冯凯平[9](2011)在《基于优先图冲突可串行化判断》一文中研究指出在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。(本文来源于《电脑与信息技术》期刊2011年05期)

冯凯平[10](2011)在《两阶段封锁可串行化强制性的实现》一文中研究指出数据库的共享性是建立在多个共享事务的并发执行基础之上的。为了保证多个事务的并发执行,并发控制器对各事务动作的调度应当是可串行化的。然而,在实际调度过程中,并非所有的调度都是可串行化的。为了确保事务之间的可串行性关系,可使用两阶段封锁将非可串行化调度强制实现为可串行化调度。(本文来源于《微型电脑应用》期刊2011年09期)

串行化论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

在汽车衡系统中,多种设备共存协同工作,是一种普遍的现象。特别是《汽车衡无人值守称重系统》。相关的电子配件较多,软件逻辑处理比较复杂,一但用户需要根据现场进行随意裁剪时,常常会使系统底层逻辑混乱,导致软件的不稳定性增加。本文提供一种串行化流式文件来管理多种设备的思路,以达到灵活"组秤"目的。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

串行化论文参考文献

[1].熊中敏,王佳艳,汪博,陈明.基于优先执行关系闭包运算的事务可串行化判定方法[J].计算机应用与软件.2019

[2].喻刚.串行化流式文件在汽车衡设备管理中的应用[J].衡器.2019

[3].王嘉豪.面向混合负载的可串行化隔离级别研究与实现[D].华东师范大学.2018

[4].郑朝霞,资义纯,吴旭峰,陈毅成.SMS4算法串行化设计及其轻量级电路实现[J].华中科技大学学报(自然科学版).2016

[5].吴鹏,于世东,王晨.基于工程主线的软件工程课程串行化及PM模型研究[J].沈阳师范大学学报(自然科学版).2016

[6].党德鹏,张楠,徐娟.偏斜广播的两层可串行化移动实时并发控制[J].华中科技大学学报(自然科学版).2015

[7].刘波,范士明,刘华.一种动态调整串行化顺序的实时并发控制协议[J].小型微型计算机系统.2013

[8].冯凯平.优先图在冲突可串行化判断中的应用[J].成都信息工程学院学报.2011

[9].冯凯平.基于优先图冲突可串行化判断[J].电脑与信息技术.2011

[10].冯凯平.两阶段封锁可串行化强制性的实现[J].微型电脑应用.2011

标签:;  ;  ;  ;  

串行化论文-熊中敏,王佳艳,汪博,陈明
下载Doc文档

猜你喜欢