移动数据库广播的并发控制算法研究

在基于数据广播的移动信息服务中,由于更新数据和广播数据两个过程是并发执行的,所以移动客户将面临接收数据不一致性问题。为此,该文提出了一种基于规则的并发控制算法来解决以上问题。在允许同步更新的情况下采用事件-条件-操作规则来进行无冲突的数据广播。该算法对移动机和数据库服务器的影响很小,同时又为基于广播的移动计算提供了数据一致性服务。     

基于嵌入式平台的并发虚拟机研究

并发程序对提高应用系统的处理能力具有重要作用,基于嵌入式平台的并发程序开发尚无统一的工具支持.本文提出了一种基于嵌入式平台的并发虚拟机(CVM)设计思想,并采用标准C实现了一个CVM模型.研究表明,它可以支持嵌入式平台中的并发程序,实现了嵌入式平台中并发程序的平台无关性和可移植性.     

C程序并发行为控制方法及其测试工具支持

针对由于并发程序的行为不可控而导致难以对其进行测试的问题,提出了一种控制C程序中并发行为的方法。该方法以多线程同步为基础,使用测试序列和测试单位完成对并发行为的控制。在此基础上,实现了对C程序测试活动中并发行为控制的工具支持,以生产者-消费者为例说明了使用此工具进行测试活动,并讨论了其效率。     

CMuJava:一个面向Java程序并发变异体生成系统

并发程序由多个共享存储空间并发执行的流程组成.由于流程之间执行次序的不确定性,使得并发软件系统的测试比较困难.变异测试是一种基于故障的软件测试技术,广泛用于评估测试用例集的充分性和测试技术的有效性.将变异测试应用于并发程序的一个关键问题是,如何高效地生成大量的模拟并发故障的变异体集合.给出了一种并发程序的变异测试框架,...     

“单生产多重消费”算法的提出与实现

提出了"单生产多重消费"算法以提高局域网中的数据广播效率.该算法改变了典型"生产者-消费者"问题中消费者之间的竞争关系.通过消费者间的协同及消费者与生产者间的同步来避免对数据的重复读取与组包操作,进而提高数据传输效率.算法已通过编程实现,并应用于多个项目,实践表明,该算法是可行有效的.     

CSCW环境下基于角色的并发控制策略

有协作就有并发,并发控制是CSCW系统的关键技术之一。本文结合白板在CSCW中的应用,提出了一种适用于白板及其它CSCW应用的基于角色的并发控制模型,并给出了形式化描述及相关算法。     

不确定时变系统的鲁棒学习控制算法

研究不确定性时变系统在有限时间区间上重复作业和在无限时间区间上周期作业的跟踪控制问题. 基于Lyapunov-like方法, 给出了形式简单的鲁棒迭代学习控制和鲁棒重复控制两种算法. 两种学习算法均可弥补单一控制算法的缺陷, 鲁棒控制部分被用来保证闭环系统中所有变量的有界性, 学习控制部分可有效消除系统跟踪误差, 改善系统的跟踪性能. 仿真结果验证了两种学习算法的有效性.     

基于语义的数据库并发控制研究进展

事务的语义信息可以从更高层次上刻划数据库的状态及其变化,提高数据库处理能力.这方面的研究已经产生了大量的研究成果,其核心是要解决语义信息层次性、灵活性、难以表达等难点问题.在回顾基于语义的数据库并发控制的研究背景和现状基础上,提出将数据库并发控制抽象为计算模型以便于数据库语义信息的表达;阐述了解决该问题的两类主要模型:一维计算模型和多维计算模型,介绍了两种模型的基本概念以及主要事务模型,总结了数据库并发控制的形式化方法,分析了基于高维计算模型研究并发控制模型的部分理论依据;最后展望了基于语义的数据库并发控制发展趋势.     

CSCW中基于角色的并发控制模型

有协作就有并发,并发控制是CSCW系统的关键技术之一。对白板在CSCW中的应用进行了研究,提出了一种适用于白板及其它CSCW应用的基于角色的并发控制模型,并给出了形式化描述及相关算法。     

一种基于依赖分析的并发程序潜在死锁检测算法

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的.     

面向共享内存并行程序的测试技术

随着并行编程越来越普及,并行程序的测试也变得越来越重要。本文面向共享内存的并行程序,研究一种新的并行程序测试技术,设计了工具CPTester,采用冗余分析方法避免重复的结果。和已有工作不同的是CPTester能够自动生成每一个并行bug的上下文信息,对程序员理解并修复一个并行bug具有重要意义。将CPTester在一些真实的并行程序上进行实验评测,结果显示CPTester能够有效地检测到程序中的并行bug,且每一个并行bug都有相应的上下文信息来描述该bug触发的根本原因。     

Fault-tolerant systems with concurrent error-locating capability

Fault-tolerant systems have found wide applications in military,industrial and commercial areas.Most of these systems are constructed by multiple-modular redundancy or error control coding techniques,They need some fault-tolerant specific components (such as voter,switcher,encoder,or decoder) to implement error-detecting or error-correcting functions.However, the problem of error detection location or correction for fault-tolerance specific components them-selves has not been solved properly so far.Thus ,the dependability of a whole fault-tolerant system will be greatly affected.This paper presents a theory of robust fault-masking digital circuits for characterizing fault-tolerant systems with the ability of concurrent error location and a new scheme of dual-modular redundant systems with partially robust fault-masking prperty.A Basic robust fault-masking circuit is composed of a basic functional circuit and an error-locting corrector,Such a circuit not only has the ability of concurrent error correction,but also has the ability of concurrent error location.According to this circuit model ,for a partially robust fault-making dual-modular redundant system,two redundant modules based on alternating-complementary logic consist of the basic functional circuit.An error-correction specific circuit named as alternating-complementary corrector is used as the error-locating corrector.The performance(such as hardware complexity, time delay) of the scheme is analyzed.     

基于Adaboost模型的并发程序数据竞争语句级检测

针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法。对多线程并发程序进行插桩操作,记录指令的相关内存信息,并对提取出的指令集做语句级转化处理,利用语句对相关属性特征构建并发程序Adaboost数据竞争检测模型,实现多线程程序数据竞争检测工具ADR。实验结果表明,相比于Eraser、Djit+和Thread Sanitizer工具,ADR能够在降低时间及内存开销的同时,有效提高分类准确率,验证了所提方法的有效性。     

PLC软冗余在通风机监控系统中的应用

针对现有的通风机监控系统采用单个PLC控制整个系统运转而存在安全隐患的问题,提出了采用2个PLC组成软冗余系统的方案:一个PLC作为主站,控制整个通风机监控系统,执行不需要进行数据同步的非冗余程序和完成控制功能、报警、模拟量的冗余程序;另一个PLC作为备站,只执行非冗余程序。PLC软冗余系统的应用提高了通风机监控系统的可靠性,满足了安全生产需要。     

过程间并发程序分析不可判定的一个新证明方法

过程间并发程序分析问题是一个不可判定问题,理解这个不可判定问题的来源是发展一个有效的分析算法的基础.现有的证明[1]通过构造三个并发任务的PCP问题实例,证明过程间并发程序分析是一个不可判定问题.利用反射的思想,仅仅用两个并发任务构造该问题的一个PCP问题实例,证明在两个并发任务的情况下,过程间并发程序分析是一个不可判定问题.     

面向并发程序中锁机制的智能化推荐方法

软件开发人员在并发编程中面临着各种Java锁的选择。针对如何选择合适的锁机制进而提高程序性能的问题,提出了一种帮助并发程序开发人员选择锁机制的推荐方法LockRec。首先,采用程序静态分析技术,对并发程序中锁机制的使用进行分析并确定影响程序性能的程序特征属性;然后,使用改进的随机森林算法构建锁机制推荐模型,以帮助开发人员在同步锁、可重入锁、读写锁、邮戳锁这四种锁之中进行选择。分别选取了四种现有的机器学习数据集对LockRec进行了实验,所提方法的推荐准确率均值可达95.1%;此外使用真实并发程序对LockRec的推荐结果进行分析。实验结果表明LockRec可以有效提高并发程序的执行效率。     

Graph Matching by Simplified Convex-Concave Relaxation Procedure

The convex and concave relaxation procedure (CCRP) was recently proposed and exhibited state-of-the-art performance on the graph matching problem. However, CCRP involves explicitly both convex and concave relaxations which typically are difficult to find, and thus greatly limit its practical applications. In this paper we propose a simplified CCRP scheme, which can be proved to realize exactly CCRP, but with a much simpler formulation without needing the concave relaxation in an explicit way, thus significantly simplifying the process of developing CCRP algorithms. The simplified CCRP can be generally applied to any optimizations over the partial permutation matrix, as long as the convex relaxation can be found. Based on two convex relaxations, we obtain two graph matching algorithms defined on adjacency matrix and affinity matrix, respectively. Extensive experimental results witness the simplicity as well as state-of-the-art performance of the two simplified CCRP graph matching algorithms.     

DCOM协议在网络冗余环境下的应用

文中从网络冗余环境下DCOM组件程序冗余功能设计中的一个基本问题出发,深入研究了DCOM协议,分析出问题发生的原因并通过网络数据包捕获解码分析的方法进行了证实,最后提出了该问题的一种解决方法“组件标识拆分”。     

ConC++:C++的一种并发扩充语言

提出一种对Ｃ＋＋进行并发扩充的语言ＣｏｎＣ＋＋．ＣｏｎＣ＋＋是一个并发面向对象语言,它采用并发类和保护类的机制支持并发,并发类有一个主动函数,一旦对象被创建,这个主动函数就开始执行;保护类封装了一组数据和对数据的操作,它没有自己的线程,而且是用来实现对并发类对象的同步、互斥和通信,这种集中控制对象的并发的方法体现了对象的自治性特点,减少了上下切换和死锁发生的可能,从而提高了程序的性能。