分布式实时数据库的通用自动化测试方法研究

为提高大型分布式实时数据库的软件测试效率,面向数据库数据采样和存储标准符合性的测试需求,本文提出了一种测试设计左移的自动化测试方法,并在此基础上构建了数据型自动化测试用例形式的自动测试模型,实现了用例开发、执行和运维的自动化测试系统。实际应用证明该方法提高了数据型自动化用例的生成效率、易维护性、可读性和兼容性,提升了自动化测试用例转化效率和执行效率,满足了数据型接口功能测试需求。

一种分布式实时数据库提交协议

传统的事务提交协议不适合实时环境的需要 ,并且文献中现有的几个实时提交协议限制了实时事务执行的并发度 ,影响了实时事务的定时限制 .该文针对分布式实时数据库系统的提交处理提出了 2 SC协议 ,它增加了事务执行的并发度且有助于事务截止期的满足 .文中首先提出了一个分布式实时事务经历模型 ,着重讨论了事务因为冲突操作而引起的提交依赖和夭折依赖 .然后给出了 2 SC(双空间提交 )协议规则 ,根据该协议分布式实时事务的提交处理在两个空间中完成 :结点的局部事务空间和系统的全局事务空间 .在局部事务空间中 ,当处于准备状态的参与者夭折时 ,仅仅夭折其夭折依赖集中的事务而不会夭折其提交依赖集中的事务 ;在适当的条件下 ,处于准备状态的参与者允许其它事务访问其锁住的数据 .在全局事务空间中 ,参与者能够在进入准备之前主动夭折 ,即当一个事务在进入准备状态之前就超过了截止期 ,其协调者和所有的参与者都将“寂寞死”.接着该文证明了 2 SC协议的正确性 ,即确保分布式事务提交的原子性 ,同时分析了该协议固有的优点比如提高事务执行的并发度和减缓事务的串联夭折等 .并且 2 SC协议能够和现有的并发控制协议有机地结合在一起 ,确保分布式实时事务可串行化和提交的原子性 .最后通过一个模拟实验证?

分布式实时事务一阶段实时提交

给出了分布式实时事务一致性实时提交协议的形式化定义和一致性实时提交协议的正确性准则;在此基础上,提出了适合于分布式实时事务的一致性实时提交协议———一阶段实时提交协议(1PRCP),1PRCP通过参与者与协调者的一次消息交换,在一个阶段完成分布式实时事务的提交活动.结合超时恢复协议,1PRCP能避免由于站点故障或网络通信链路故障而导致的阻塞.研究结果证明了1PRCP的正确性和优越性.

基于网络的分布式实时数据库系统的并发控制

通过对网络特性的研究,提出了用于DRTDBS的基于可预测性的并发控制算法。然后通过两个改进措施,即一次全发送的处理方法和动态解决冲突方法,对提出的算法进行了应用扩展,使其同样适用于MDRTDBS。最后通过delphi7.0开发的模拟实验对算法的性能进行了评估。

移动分布式实时事务实时原子提交

形式地给出了移动分布式实时事务实时原子提交协议的定义,在此基础上提出了适合于移动分布式实时事务的实时原子提交协议:一阶段实时原子提交协议(1PRACP)。1PRACP通过参与者与协调者的一次消息交换,在一个阶段完成移动分布式实时事务提交活动;结合超时恢复处理协议,1PRACP能避免由于站点故障或网络通信链路故障而导致的阻塞。对1PRACP进行了性能比较和评测,显示了它在各方面的优越性。

分布式实时事务提交协议

在分布式实时数据库系统中 ,保证事务原子性的唯一途径是研究和开发出一个实时的原子提交协议 .首先详细分析了事务因数据访问冲突而形成的各种依赖关系 ,在此基础上提出了实时的原子乐观提交协议—— 2 SC协议 ,该协议减少了事务的等待时间 ,提高了事务的并发度 ,且能无缝地和现有的并发控制协议集成在一起 ,保证事务的可串行化和原子性 .通过模拟实验研究表明 。

分布式实时事务的原子提交

分布式实时数据库系统中 ,事务除具有传统数据库事务的 ACID特性外 ,还具有定时限制 (如截止期等 ) .传统提交协议及已研究出的实时提交协议都不保证分布式实时事务的原子性 .结合实时事务截止期要求 ,描述了分布式实时事务的原子提交及其正确性准则 ;给出了适合于固 (或软 )实时事务的原子提交协议 RTACP及其处理过程并证明了其正确性 .还对 RTACP进行了性能比较和评价 。

分布式实时操作系统中的综合化系统资源管理机制与策略

本文研究了构成分布式实时控制系统的关键———分布式实时操作系统的结构及内在机制,介绍在分布式实时操作系统中采用综合化的系统资源管理机制管理系统资源,满足分布式实时控制应用的特殊要求.

分布式实时系统的容错调度算法

提出了两种分布式实时容错调度算法 :副版本后调度算法 (BKCL )及无容错需求后调度算法 (NFRL ) ,并研究了算法的时间复杂度 .这两种容错调度算法能同时调度具有容错需求的实时任务和无容错需求的实时任务 .BKCL和 NFRL所产生的调度可保证 :在分布式系统中一个节点机失效的情况下 ,具有容错需求的实时任务仍然可在截止时间内完成 .在描述了两个实时容错调度算法之后 ,分别证明了这两个算法的容错调度正确性 .接着 ,阐述了算法性能模拟方法并对 BKCL和 NFRL算法的性能进行了分析 .实验结果表明 ,两种算法在不同的负载情况下具有不同的优势 .当无容错需求的实时任务的个数远大于具有容错需求的实时任务的个数时 ,NFRL 的性能要比 BKCL的优越 ;当无容错需求的实时任务的个数远小于具有容错需求的实时任务的个数时 ,NFRL的性能比BKCL

分布式实时系统中的预测调度算法

对于分布式实时系统中的周期性任务 ,人们提出了一系列静态分配调度算法 ,有效地解决了各种特定条件下的任务分配和调度问题 .这些算法的主要特点是 ,它们均要求被调度任务的特征参数为已知条件 .然而在很多实时系统中 ,周期性任务的运行时间或任务数量常常是一些具有一定规律的随机过程 ,因而上述静态算法的效能将受到限制 .在分析了特定应用背景中的处理流程之后 ,抽象得到两类随机任务模型 ,针对这两类模型介绍了在分布式实时系统中已经得到应用的静态分配调度算法 SAA(static allocation algorithms) ,进而提出了多任务分配调度的预测算法 PAA(predicting allocation algorithm) .它根据周期性任务执行时间或子任务数量的统计特性 ,实现任务参量的合理预测和多任务的动态调度 ,以提高系统的实时性能 .仿真结果表明 ,对于两类任务模型 ,PAA算法与 SAA算法相比 ,在任务完成时间、负载均衡度、系统响应时间及任务夭折率等多方面均有显著改善 .

基于对象的分布式实时系统调度模型研究

为了解决分布式实时系统有关分配和调度等问题 ,给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型 .该模型包括表示时限的绝对时间约束、表示周期属性的周期约束、表示各种前趋关系和同步要求的相对时间约束以及保证资源使用一致性的一致性约束 .此外该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足 ,允许从方法和活动上描述所需的约束 ,降低了单一约束描述的繁杂程度 .为了能够使用现有调度算法进行任务调度 ,讨论了约束转换的问题 ,给出了高层约束到底层约束的转换规则和相应的转换算法 .

分布式实时网络监测系统的设计与实现

首先讨论了基于Java和Web的网络管理模式的特点,然后提出了一种基于Java和Web的分布式实时网络监测系统(WebNMS)的设计及其实现方案,并着重阐述了该系统的体系结构和设计实现中的一些关键要点。

分布式实时协同设计环境的研究

计算机支持的协同设计是适应分布式产品开发的设计方式。实时协同设计是协同设计的难点问题。文章提出了分布式实时协同设计环境的框架,研究了模型共享、协同设计agent、并发控制机制等关键技术,提出了基于Pro/E的实时协同设计环境的实现方法。

基于Solr的分布式实时搜索模型研究与实现

实时搜索已成为信息检索领域的热点问题之一。传统搜索引擎在分布式环境下无法保证大数据量、高并发情况下的实时响应和数据容灾。本文提出了一种基于Solr的分布式实时搜索模型,分析了其实现原理。模型通过内存索引与磁盘索引相结合保证索引信息的实时展示,同时引入CommitLog日志保证内存索引数据容灾,并通过Master/Slave模型保证搜索服务的可用性。最终应用于实际生产系统中,实践结果充分证明了该模型的可行性。

基于CANbus的分布式实时系统仿真平台

分布式实时系统的理论分析沿用了实时任务调度理论中的结果,但在分布式实时系统中,为了满足系统中事务的实时性要求,不仅要合理分配每个结点中的任务的优先级,而且还要考虑网络数据帧的优先级。在对分布式实时系统进行研究中,软件的模拟忽略了实际中的不确定性,因此有局限性。本文着重介绍基于CAN总线的分布式实时系统仿真平台,包括其硬件和软件,并且介绍了一个利用此仿真平台所作的关于节点之间时钟差异的仿真实例。

适合分布式实时内存数据库的全局一致性模糊备份策略

当站点介质故障导致本地磁盘数据库和日志文件都遭受破坏的情况下,为了确保能迅速而有效地将全局数据库恢复到某个一致性状态,全局备份操作策略变得非常关键。本文提出了一个适合分布式实时内存数据库的全局一致性模糊备份策略,在此基础上给出了相应的故障恢复方法。

分布式实时嵌入式系统的能耗建模与分析

为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。

分布式实时数据库并发控制

在集中式实时数据库中 ,事务并发控制一般采用基于优先级的事务重启或优先级继承 .在分布式实时数据库中 ,由于一个主事务的各参与事务可能分布在多个节点上 ,事务重启一方面会造成系统资源的极大浪费 ,另一方面又会加大网络传输的负担 .而在优先级继承策略中 ,被阻塞的高优先级事务的执行完全依赖于阻塞它的低优先级事务 ,在分布式环境中 ,事务的执行具有更多的不可确定的因素 ,这就很难保证被阻塞事务的截止期 .本文提出了一种基于数据多映像的并发控制协议 ,事务因访问数据而形成不同的依赖关系 ,改变高优先级事务和低优先级事务的依赖关系从而更有利于高优先级事务而又不夭折或阻塞其他事务 ,从而大大提高事务执行的并发度 。

基于DCS的网络分布式实时监控系统的设计与实现

提出了一种基于DCS的网络分布式实时监控系统的设计方法 ,介绍了DCS系统的基本组成与结构 ,讨论了网络分布式实时监控系统的基本结构与功能及其实现要点 。

分布式实时库的一致性实现

为了满足数据采集和监控SCADA(SupervisoryControlAndDataAcquisition)系统中分布式实时数据库对关键数据的强一致性和节点数据完整性的要求,提出采用高速网络通信技术和网关模式相结合的方案。介绍了分布式实时数据库系统DRTDBS(DistributedReal鄄TimeDataBaseSystem)关键数据强一致实现及网关模式实现DRTDBS中各节点数据的完整性。用100Mb以太网和Intel100/1000Mb网卡进行的性能测试表明:所提出的方案客户端接收信息的速度能及时地响应SCADA系统实时库更新操作;方案已投运现场。