基于概念事务模型的分布式并发控制方法

在提出描述事务系统的“概念事务模型”的概念和建造方法后,给出一种基于概念事务模型的分布式并发控制方法．这种方法仅对能够导致冲突的事务施以全局同步,既简化了分布式并发控制机制,又提高了系统的并行度     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法，事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制，这种并发控制方法上具有对数据主加无结构要求，无死锁，非两阶段等优点，讨论了其集中式并发控制方法和分布式并发控制方法。     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法．事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制．这种并发控制方法具有对数据库无结构要求、无死锁、非两阶段等优点．讨论了其集中式并发控制方法和分布式并发控制方法．     

事务及并发控制技术

事务及并发控制技术是数据库系统中的重要技术，为保证数据库数据的一致性，介绍了事务、并发控制及其常用的方法封锁等技术。     

一种自适应多版本实时事务并发控制

传统的基于锁的并发控制机制重点考虑数据的一致性和事务的并发度,不能很好地满足实时数据库系统对时态一致性的要求.结合锁、多版本和有效性确认等并发控制机制,提出了一种并发控制的新方法——自适应多版本实时事务并发控制方法:AMVCC.该法可根据具体情况自适应地采用不同的并发控制机制,有效提高了事务的并发度和截止时间内完成事务的数量.通过可行性分析性能优于传统并发控制方法.     

一种并发实时事务控制原型的设计与实现

随着移动通信技术的快速发展和移动计算机的大量普及，由移动计算、实时应用结合传统数据库技术而形成的移动实时数据库系统已成为研究热点。实时事务并发控制要充分考虑资源、时效、应用环境的限制，满足事务的实时性和移动性。本文针对一种混合的事务模型，重点实践了相应的事务并发控制处理原型的设计和实现，为进一步探索有效的移动实时事务处理方法奠定了基础。     

一种改进的基于时间戳的分布式事务并发控制策略

对基于时间戳的分布式事务并发控制策略进行了介绍,分析了存在的问题,并在其基础上提出了一种改进的并发控制策略,弥补了传统策略容易造成事务回滚,时间戳信息需要占用额外存储空间等不足之处,通过实验数据证明,改进后的策略能够有效减少事务的回滚,节省存储空间,而且实现较为简单,具有一定的应用价值。     

事务及并发控制技术

事务及并发控制技术是数据库系统中的重要技术,为保证数据库数据的一致性,介绍了事务、并发控制及其常用的方法封锁等技术.     

一种适于对象-关系数据库的事务模型

对象－关系数据库往往需要处理长时间运行的事务，这使得传统的事务模型不再适合于对象－关系数据库。为此讨论了结合嵌套事务，显式谓词和多版本模型优点的QT／WD模型，形式化地描述了模型的结合和正确性。嵌套事务使用了多级事务框架，提供了事务的多级原子性，显式谓词有助于增加事务之间的合作，多版本使限制谓词可以更容易满足而增加了并发，这些新特性使得QT／WD模型非常适合于长事务处理，提高了长事务的运行性能。     

一种并发实时事务控制原型的设计与实现

随着移动通信技术的快速发展和移动计算机的大量普及,由移动计算、实时应用结合传统数据库技术而形成的移动实时数据库系统已成为研究热点.实时事务并发控制要充分考虑资源、时效、应用环境的限制,满足事务的实时性和移动性.本文针对一种混合的事务模型,重点实践了相应的事务并发控制处理原型的设计和实现,为进一步探索有效的移动实时事务处理方法奠定了基础.     

面向并行设计的分布式产品模型的研究

为实现产品模型内部的一致性,针对并行设计过程,提出了面向并行设计的分布式产品模型,该模型基于Multi-agent的结构,既能表达产品内各部分相互之间的层次组成关系,也能表达产品内各部分相互之间的约束关系。实现了产品模型的分布式表达,该模型可以很好地支持分布,协作,并发的并行设计过程,满足并行设计Top-down设计,约束设计和再设计的要求。     

一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。     

基于并发Options 的双边多议题协商模型优化

针对双边多议题协商中的僵局问题,提出利用并发Options优化协商模型的方法.这种方法可在不降低双边协商效用的前提下,并行动态优化与僵局议题相关的多个议题的保留值.电子商务的实验结果表明:基于并发Options的协商模型优化方法是有效的;无论是学习速度,还是最佳策略的优化程度和泛化能力,该方法均明显优于基于标准Options和Q-学习的优化方法.     

分布式并发软件生命周期模型研究

针对软件开发原有生命周期模型主要针对传统的顺序集中式开发、已无法适应新的开发需要的问题,提出了针对分布式并发软件开发的菱形软件生命周期模型．分析了传统软件生命周期的缺点,给出了新的生命周期模型定义,以及模型组件的相互关系,分析了模型组件间的有效关系和无效关系,探讨了新模型如何弥补传统软件生命周期模型的不足．该模型定义清晰,使用简单,便于分析分布式并发软件的开发过程．     

分布式并行CAIP系统协同求解模型的研究

采用ＳＴＲＩＰＳ规划系统语法格式和图论知识,论述了基于知识的通用检测规划的领域模型、抽象分层规划以及相应的任务分解算法,从而建立了基于分布式并行处理智能检测规划集成开发平台ＩＤＰＩＰ的分布式并行协同求解模型．     

基于分布式产品模型的并行设计过程的研究

研究了产品并行设计过程,提出了基于分布式产品模型的并行设计分布式约束满足机制,该机制利用产品模型控制和指导设计过程,通过Agent之间的相互协作,使得设计约束不断得到满足,通过产品模型的分布表达及基于产品模型的并行设计分布式约束满足机制,分布,协作,并发的并行产品设计过程能够得到很好的支持,满足并行设计Top-down设计,约束设计和再设计的要求,在此基础上,开发了一个原型系统,给出了设计实例。     

透明存取和数据库并行操作的分布式系统模型

提出一个支持并行处理和透明存取的分布式系统模型，并讨论数据分布策略和支持为数据库并行操作的数据组织方法，这一计算模式适宜于“企业级”分布式网络信息系统的设计与建议。     

一种并发高效的连续时空查询处理算法

分析了SINA在查询结果上的完整性,发现和解决了其在消极更新结果完整性上的一点不足.为了进一步提高SINA的查询效率,将并发机制引入递增计算算法中,并给出了实施并发控制的策略及其在结果正确性上的证明.实验表明,并发运行后的算法,随着时空数据集的增大,查询计算的平均时间有了明显下降,内存和CPU的利用率有了明显提高.     

Ad Hoc网络的一种入侵检测模型

对Ad Hoc网络的路由安全性问题进行了研究,提出了一种分布式网络协作入侵检测模型,该模型建立在路由协议之上,针对不同的路由协议,分析其安全漏洞,总结攻击行为的判定规则,进行本地入侵检测;在此基础上,以多点协作的联合检测机制提高检测的正确率;并从节省网络资源的角度对入侵检测模型进行优化配置.以AODV路由协议为例介绍了该模型的工作机制,利用仿真软件NS2搭建网络仿真平台进行仿真实验,结果表明,该检测模型能更好地保障网络安全.     

面向异步机制的自动重构方法研究

为了解决并行处理中同步阻塞会浪费系统资源和影响程序性能的问题,提出了一种基于CompletableFuture异步机制的自动重构方法。首先,使用WALA静态程序分析工具进行访问者模式分析、逃逸分析、别名分析以及数据流分析等静态程序分析技术,确定共享变量数据的操作方式;然后,基于CompletableFuture机制设置4种异步重构模式;最后,根据不同模式实现异步机制的自动重构。基于此方法,在Eclipse平台下开发了自动重构工具AsynRef,并对HSQLDB,Jenkins, JGroups和SPECjbb2005等4个大型实际应用程序进行自动重构,从重构个数、改变的代码行数、准确性和重构后程序性能等方面对AsynRef进行评估,对4个程序所包含的919个同步方法共完成387个异步机制转换。结果显示,使用AsynRef进行异步机制重构后,程序执行性能有8%到39%的不同程度的提升。AsynRef可以有效完成代码异步化自动重构,与传统手动重构相比,有效提升了异步化的重构效率。