期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
关系数据库中并发事务的优化方法 被引量:6
1
作者 陈洪 金云程 《计算机工程与应用》 CSCD 北大核心 1997年第9期3-5,共3页
本文分析了关系数据库并发事务的调度原理,在此基础上提出了优化并发事务的几种方法;实践表明,综合运用这些方法能够取得明显的效果。
关键词 关系数据库 关发控制 并发事务 优化法 数据库
下载PDF
基于模糊测试生成多样化的数据库隔离级别测试案例 被引量:2
2
作者 卢皙钰 刘维 +2 位作者 翁思扬 李可强 张蓉 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2023年第5期51-64,共14页
在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛... 在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛应用于软件和系统测试的方法,通过搜索测试空间并生成多样化的测试案例,探索系统的边界条件、异常情况和潜在问题,以发现可能的漏洞.本文介绍了针对数据库隔离级别进行模糊测试的工具SilverBlade,旨在提升生成测试案例的多样性,深入探索隔离级别测试空间.为了有效搜索庞大的测试空间,设计了结构化的测试输入结构,将测试空间拆分成并发事务组合和并发事务执行交互模式两个子空间进行搜索.为了更全面地测试隔离级别核心实现测试空间,还设计了基于深度和广度的自适应搜索方式,用于有效变异测试案例.实验结果表明, SilverBlade能够生成多样性的测试案例,并能够在流行的数据库管理系统PostgreSQL中更广泛地覆盖数据库隔离级别核心实现代码.与对比工具相比, SilverBlade在提高隔离级别关键区域的测试覆盖率方面表现更佳. 展开更多
关键词 模糊测试 多样性测试案例 隔离级别 并发事务 数据库管理系统
下载PDF
一种基于DLL的变电站监控实时数据库设计方法 被引量:1
3
作者 李大中 刘浩 刘淑平 《电测与仪表》 北大核心 2006年第9期59-61,49,共4页
实时数据库是工业变电站监控软件重要的组成部分,用以管理整个监控系统的实时数据。根据工业变电站要求和实时数据库的特点,给出一种基于VC++6.0的实时数据库设计方法,利用动态链接库(DDL)技术建立了实时数据库,并介绍了历史数据的存储... 实时数据库是工业变电站监控软件重要的组成部分,用以管理整个监控系统的实时数据。根据工业变电站要求和实时数据库的特点,给出一种基于VC++6.0的实时数据库设计方法,利用动态链接库(DDL)技术建立了实时数据库,并介绍了历史数据的存储。经现场联网调试证明其性能良好,能够满足工业变电站实时监控的需要。 展开更多
关键词 实时数据库 并发事务 动态链接库
下载PDF
基于优先执行关系闭包运算的事务可串行化判定方法 被引量:2
4
作者 熊中敏 王佳艳 +1 位作者 汪博 陈明 《计算机应用与软件》 北大核心 2019年第9期52-57,99,共7页
现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数... 现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。 展开更多
关键词 数据库 并发事务 可串行化 闭包计算 逻辑公式
下载PDF
并发事务的一种操作模型
5
作者 王生原 杨萍 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 1995年第2期78-81,共4页
本文定义了一种描述分布式数据库系统并发事务行为的操作模型.以此为基础讨论了并发事务的调度,共享模式的Locking机制,死锁等问题.
关键词 分布式数据库 并发事务 操作模型
下载PDF
优先图在冲突可串行化判断中的应用
6
作者 冯凯平 《成都信息工程学院学报》 2011年第5期555-558,共4页
在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征... 在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。 展开更多
关键词 数据库 优先图 可串行化判断 并发事务 冲突可串行性
下载PDF
ADO.NET中事务隔离级别的应用
7
作者 袁志 《现代计算机》 2009年第10期135-137,141,共4页
在基于数据库的多用户应用中,事务并发错误是常见问题,采用事务隔离可以解决并发错误。在SQLServer2005平台上模拟多事务并发场景,引发并发错误,给出使用ADO.NET的隔离级别控制事务并发的方法,提出事务和事物隔离级别的使用建议。
关键词 并发事务 隔离级别 ADO.NET
下载PDF
基于HBase的金融时序数据存储系统 被引量:12
8
作者 刘博伟 黄瑞章 《中国科技论文》 CAS 北大核心 2016年第20期2387-2392,共6页
设计并实现了1个基于HBase的金融时序数据的存储系统。设计了基于金融时序数据的HBase预分区策略,可解决HBase存储热点的问题;采用了行键优化策略和基于时序数据的表设计策略,可解决数据存储分散的问题;使用了提供异步处理机制的事件驱... 设计并实现了1个基于HBase的金融时序数据的存储系统。设计了基于金融时序数据的HBase预分区策略,可解决HBase存储热点的问题;采用了行键优化策略和基于时序数据的表设计策略,可解决数据存储分散的问题;使用了提供异步处理机制的事件驱动的Netty框架所编写的中间件接收采集器发送的请求,可解决高并发事务的处理问题。实验结果表明,与HBase原生方法相比,该系统的性能在处理高并发事务时更好。 展开更多
关键词 金融时序数据 存储热点 并发事务处理 预分区策略
下载PDF
数据库系统中并发事务死锁的解除与避免 被引量:9
9
作者 尹朝庆 《计算机研究与发展》 EI CSCD 北大核心 1995年第4期33-38,共6页
本文利用Petri网作为工具,从提高事务进程并行性出发,建立数据库系统的并发事务进程竞争数据资源的模型,并由此推导出死锁和临界死锁的充分必要条件及提出相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源... 本文利用Petri网作为工具,从提高事务进程并行性出发,建立数据库系统的并发事务进程竞争数据资源的模型,并由此推导出死锁和临界死锁的充分必要条件及提出相应的避免死锁的控制机制。该控制机制是通过如何对关键的空闲数据资源进行控制分配来实现避免死锁。 展开更多
关键词 数据库系统 并发事务进程 死锁 PETRI网
下载PDF
基于HBase与Netty的煤矿微震时序大数据存储优化
10
作者 丁琳琳 王智涵 +2 位作者 顾英豪 王凯璐 包鑫阳 《中国矿山工程》 2023年第5期29-35,共7页
在当前智能煤矿场景中,大量煤矿微震传感器所产生的时序数据呈爆炸式增长,进而对现有的存储系统及性能都有了更高的要求。目前已经存在基于分布式列族数据库HBase能够存储工业时序大数据的实例,但是由于没有考虑到特定业务场景中数据的... 在当前智能煤矿场景中,大量煤矿微震传感器所产生的时序数据呈爆炸式增长,进而对现有的存储系统及性能都有了更高的要求。目前已经存在基于分布式列族数据库HBase能够存储工业时序大数据的实例,但是由于没有考虑到特定业务场景中数据的特征关联问题,现有的策略仍然无法较好地满足煤矿微震波形时序数据的特定存储需求。针对上述问题,基于分布式存储系统HBase,利用煤矿微震波形时序数据的特征,提出了基于HBase与Netty的煤矿微震时序大数据存储性能优化(CM^(2) TS-HBase),分成四个部分,分别为数据采集层、数据预处理层、数据中转层以及数据存储层。其中,数据采集层分为离线部分与实时部分,离线部分即存储在数据中心硬盘中的历史微震时序数据文件,实时部分即部署在某煤矿的多个微震波形传感器通过网络实时地向数据预处理层进行数据缓冲;数据预处理层实现对波形时序数据的文件进行对齐、解析以及序列化操作。根据煤矿微震波形时序数据特征提出了适用于微震波形时序数据的HBase数据表结构、预分区策略以及主键优化策略,有效地解决了数据存储过程中出现的数据热点问题以及数据分散问题;数据中转层提出了基于Netty与Redis的数据转发中间件平台为整个存储体系提供异步处理机制,较好地解决了高并发存储问题;数据存储层是基于分布式数据库HBase作为存储体系的底层存储媒介。最终根据真实数据集的存储耗时证明了相较于原生存储方法(HBase API)与基于金融时序数据存储优化(FTBase),CM2T S-HBase在煤矿微震时序数据的存储性能有了明显提高。 展开更多
关键词 煤矿微震大数据 时序数据 分布式存储 并发事务处理 预分区策略
下载PDF
基于任务的动态角色约束关系研究 被引量:3
11
作者 皮建勇 刘心松 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2005年第1期121-125,共5页
为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系,提出了一个基于任务的动态角色访问控制模型———TD RBAC。采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态... 为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系,提出了一个基于任务的动态角色访问控制模型———TD RBAC。采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态约束关系,从而在传统RBAC模型基础上扩展了动态的角色约束关系。性能评估分析结果显示TD RBAC模型在分布式并行计算环境下具有较好的访问控制效率。 展开更多
关键词 TD-RBAC 谓词任务模型 并发事务逻辑 动态角色约束 访问控制
下载PDF
基于并发事务逻辑的Web服务编制验证 被引量:3
12
作者 王勇 代桂平 +2 位作者 侯亚荣 方娟 任兴田 《电子学报》 EI CAS CSCD 北大核心 2009年第10期2228-2233,共6页
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础... 服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性. 展开更多
关键词 服务编制 并发事务逻辑 形式化 验证
下载PDF
Web服务编排的并发事务逻辑模型 被引量:2
13
作者 王勇 姜正涛 +2 位作者 侯亚荣 方娟 毛国君 《北京工业大学学报》 EI CAS CSCD 北大核心 2009年第8期1132-1137,共6页
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性... 为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性. 展开更多
关键词 WEB服务 并发事务逻辑 服务编排
下载PDF
语义协同事务的恢复
14
作者 申石磊 崔克宁 《河南大学学报(自然科学版)》 CAS 2002年第1期37-39,共3页
在CSCW系统中 ,有些子事务是不可补偿的 ,如果采用数据库中的恢复技术 ,不能完全实现协同事务的恢复 .为了保证协同事务最终能够提交或夭折 ,需要构造扩展调度 .本研究针对基于语义的协同事务模型 。
关键词 语义协同事务模型 串行化 CSCW系统 扩展调度 事务失败 事务恢复 并发事务集合 数据库
下载PDF
基于并发事务逻辑的语义Web服务组合
15
作者 王雪松 钱俊彦 +1 位作者 赵岭忠 高荣亮 《计算机科学》 CSCD 北大核心 2012年第10期139-142,156,共5页
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn... 并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。 展开更多
关键词 语义WEB服务 服务组合 并发事务逻辑 霍恩子句
下载PDF
基于虚拟化技术的云资源池研究与实现
16
作者 侯庆 《中国电子商务》 2014年第8期62-62,305,共2页
本文在统一部署、统筹安排前提下,在满足集团IT系统的网络化、集约化运营的要求,详细分析了省级通信运营商IT系统现状,提出了基于X86刀片服务器的云资源池建设方案,并投入到实际项目中。通过虚拟化软件实现物理盘阵与虚拟逻辑层隔... 本文在统一部署、统筹安排前提下,在满足集团IT系统的网络化、集约化运营的要求,详细分析了省级通信运营商IT系统现状,提出了基于X86刀片服务器的云资源池建设方案,并投入到实际项目中。通过虚拟化软件实现物理盘阵与虚拟逻辑层隔离,能直接对虚拟逻辑层进行资源划分,快速响应新业务需求;系统支持高、中、低端异构设备,完全兼容现有设备及未来将扩展的主流设备;最终通过X86服务器池的虚拟化,协同存储虚拟化实现整体云计算能力提供。 展开更多
关键词 云计算 虚拟化技术 资源池 并发事务处理数
下载PDF
Snapshot加锁机制的研究 被引量:1
17
作者 钟远明 奚建清 《广东工业大学学报》 CAS 2001年第2期15-19,共5页
为解决事务中数据的并发访问问题 ,引入了各种加锁机制 ,本文在分析原有的传统加锁协议的基础上 ,提出一种新的加锁机制 ,基于Snapshot内存快照的加锁机制 。
关键词 SNAPSHOT 内存快照 加锁机制 事务 堆栈 并发事务模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部