检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

并发事务无死锁的可串行化调度的形式化方法

计算机工程与应用 2004年第10期40卷 181-183,229页

作者：罗雪梅王薇韩耀军同济大学应用数学系上海200092 山东科技大学济南校区

并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发... 详细信息

并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。

关键词：并发控制可串行化两段锁协议死锁扩展有色Petri网可达标识图

基于优先执行关系闭包运算的事务可串行化判定方法

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2019年第9期36卷 52-57,99页

作者：熊中敏王佳艳汪博陈明上海海洋大学信息学院上海201306 农业部渔业信息重点实验室上海201306

现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数... 详细信息

现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。

关键词：数据库并发事务可串行化闭包计算逻辑公式

事务并发控制中的两段锁和可串行化冲突图的对比

在线全文

学校读者我要写书评

暂无评论

湖北大学学报（自然科学版） 2005年第1期27卷 19-23页

作者：金蓉李跃新湖北大学数学与计算机科学学院湖北武汉430062

数据库中并发操作一般分为数据级和事务级两种,由于资源的竞争可能引起数据级的冲突和事务级的冲突,因此需要对并发执行的事务转化为某个可串行化调度,从而确保数据库的一致性.目前并发控制的方法有很多,从锁和非锁机制两个方面分析了... 详细信息

数据库中并发操作一般分为数据级和事务级两种,由于资源的竞争可能引起数据级的冲突和事务级的冲突,因此需要对并发执行的事务转化为某个可串行化调度,从而确保数据库的一致性.目前并发控制的方法有很多,从锁和非锁机制两个方面分析了两段锁和可串行化冲突图两种并发控制的规则和数据结构及分类,并从事务的冲突可串行化方面和结构上分析了各自的性能和优缺点.

关键词：可串行化事务并发控制并发操作锁机制并发执行数据库冲突竞争资源

在线全文

学校读者我要写书评

暂无评论

面向混合负载的可串行化隔离级别研究与实现

面向混合负载的可串行化隔离级别研究与实现

作者：王嘉豪华东师范大学

学位级别：硕士

随着互联网、大数据、人工智能的发展,现代企业级的应用不仅需要支持传统高并发的OLTP业务,往往还需求高效的实时数据分析,即处理联机事务型和分析型混合的负载(Hybrid Transactions and Analytics Processing,简称HTAP),典型的HTAP负... 详细信息

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

关键词：可串行化乐观并发控制分布式数据库高并发范围验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

两阶段封锁可串行化强制性的实现

微型电脑应用 2011年第9期27卷 42-43,5页

作者：冯凯平四川烹饪高等专科学校信息技术系

数据库的共享性是建立在多个共享事务的并发执行基础之上的。为了保证多个事务的并发执行,并发控制器对各事务动作的调度应当是可串行化的。然而,在实际调度过程中,并非所有的调度都是可串行化的。为了确保事务之间的可串行性关系,可使... 详细信息

数据库的共享性是建立在多个共享事务的并发执行基础之上的。为了保证多个事务的并发执行,并发控制器对各事务动作的调度应当是可串行化的。然而,在实际调度过程中,并非所有的调度都是可串行化的。为了确保事务之间的可串行性关系,可使用两阶段封锁将非可串行化调度强制实现为可串行化调度。

关键词：两阶段封锁事务调度可串行化强制动作

在线全文

学校读者我要写书评

暂无评论

一种使多库系统事务可串行化的方法

计算机研究与发展 1993年第9期30卷 17-21页

作者：金远平东南大学计算机系南京210018

在多库系统中,各局部数据库高度自治,全局事务与局部事务相互影响,使事务管理面临新的挑战。本文提出一种子事务统一释放资源方法,并证明只要局部DBMS遵守两段封锁协议,这种方法可以保证多库系统中的事务可串行化,同时还讨论不可检测的... 详细信息

在多库系统中,各局部数据库高度自治,全局事务与局部事务相互影响,使事务管理面临新的挑战。本文提出一种子事务统一释放资源方法,并证明只要局部DBMS遵守两段封锁协议,这种方法可以保证多库系统中的事务可串行化,同时还讨论不可检测的全局死锁问题及其处理。

关键词：多数据库系统异构数据库系统事务管理并发控制可串行化

XML数据库中锁协议机制下是可串行化调度分析

在线全文

学校读者我要写书评

暂无评论

中国高新技术企业 2008年第13期 104-104页

作者：严伟中朱巧明苏州大学计算机科学与技术学院

本文介绍了xml数据库的相关技术,并讨论事务及并发控制机制,最后对在锁协议机制(xpl)下的并发调度的可串行化进行了分析和研究。

关键词： xml数据库事务并发控制机制可串行化

数据库系统并发控制的扩展有色Petri网方法

在线全文

学校读者我要写书评

暂无评论

同济大学学报（自然科学版） 2004年第1期32卷 104-108页

作者：韩耀军蒋昌俊罗雪梅同济大学计算机科学与工程系上海200092 中国科学院计算机科学实验室

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模... 详细信息

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.

关键词：可串行化两段锁协议死锁 Petri网可达标识图

在线全文

学校读者我要写书评

暂无评论

实时数据库嵌套事务的并发控制

小型微型计算机系统 1998年第8期19卷 71-75页

作者：刘云生李国徽华中理工大学计算机系

传统满足可串行化正确性标准的并发控制把数据库作为一个整体来考虑，事务的执行保证数据库的一致性。往往在应用中数据库的不同对象集合之间可以独立保证一致性而不必关心别的对象集合的一致性限制以提高事务执行的并发度，这就比较适... 详细信息

传统满足可串行化正确性标准的并发控制把数据库作为一个整体来考虑，事务的执行保证数据库的一致性。往往在应用中数据库的不同对象集合之间可以独立保证一致性而不必关心别的对象集合的一致性限制以提高事务执行的并发度，这就比较适合嵌套事务模型中父子事务及兄弟事务之间的应用。本文则对嵌套事务的并发控制进行了讨论。

关键词：可串行化并发控制嵌套事务数据库