一种基于多次喷射的高压共轨喷油控制算法

设计了一种应用于柴油机高压共轨系统的喷油控制算法.该算法针对现有的多次喷射技术进行了改进,细化了喷油次数以提高燃油燃烧效率,采用并发控制方式提高算法执行速度.该算法首先通过基于优先级和区段划分的多次喷射协调方法将喷油过程划分为5次独立的喷射过程,然后分别对每次喷射进行油量计算、分解、正时转换等控制计算,其中分解运算过程采用了并发控制算法以提高运算效率,最终将喷油量转换为脉冲序列以操作喷油器喷油.通过理论分析与仿真实验对该算法的功能和性能进行了验证.     

C++的一种并发扩充方案*

该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型：系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行；对象间采用同步消息传递,允许对象内部的并发；对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.     

C++的一种并发扩充方案

该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型:系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行;对象间采用同步消息传递,允许对象内部的并发;对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.     

一种多核友好的持久性内存键值系统

相比于传统内存,持久性内存具有容量大和非易失的特点,这为构建大规模键值存储系统提供了新的机遇.然而,在多核服务器架构下设计持久性内存键值系统面临着诸多挑战,包括并发控制带来的CPU缓存抖动、对持久性内存有限写带宽的消耗和竞争以及持久性内存高延迟带来的线程冲突加剧.提出一种多核友好的持久性内存键值系统(multicore-friendly persistent memory key-value store,MPKV),通过设计高效并发控制方法和减少对持久性内存的写操作,充分提高多核并发性能.为避免锁资源带来的额外持久性内存写带宽消耗,MPKV引入了易失性锁管理机制,将写锁资源从索引中分离,在DRAM(dynamic RAM)中单独维护它们.为保证崩溃一致性和提高并发查询性能,MPKV引入了2阶段原子写机制,利用CPU提供的原子写操作指令将系统从一个一致性状态原子地切换到另一个一致性状态,并支持了无锁查询.基于易失性锁管理机制,MPKV还提出一种并发写消除机制,以提高更新操作之间的并发效率.当出现2个冲突的更新操作时,并发写消除机制让其中一个操作直接返回,不做任何持久性内存的分配与写操作.实验显示,MPKV相比于pmemkv具有更良好的性能以及多核扩展性.其中,在18线程环境下,MPKV的吞吐达到pmemkv的1.7~6.2倍.     

协同图形编辑系统中一种改进的多版本递增创建算法

并发控制技术是CSCW研究的关键技术之一，旨在对并发操作进行控制以达到一致性维护的目的。本文对协同图形编辑系统中一种新颖的多版本方法进行了研究，提出了一种改进的多版本对象动态递增创建算法，并通过模拟实验结果表明：改进后的算法性能有较大的提高。     

集成用户可定制锁和操作转换的并发控制方法

锁是一种用于分布计算和数据库系统的传统的并发控制方法,它通过将对共享对象的修改访问权在某一时间内授予唯一的访问者,以使对共享对象的访问得以串行化;操作转换方法是一种用于实时协同系统中一致性维护的方法。这两种方法均不能完全解决数据一致性问题。论述了锁机制和操作转换在一致性维护中的互补关系,提出了一种用户可定制的锁方法,并将该锁方法与操作转换结合起来应用于全复制式的协同环境中。用户可定制的锁机制集成操作转换方法具有可靠性高、响应速度快和非阻塞的特点;用户动态定制加锁粒度可以保证最大程度的并发性。该方法有效地解决了实时群件系统中一般的一致性问题和特定上下文的一致性问题。     

基于二维有序状态向量的协同操作转换算法

针对分布式协同编辑系统中基于操作转换的并发控制算法的性能问题，提出并实现了基于二维有序状态向量的操作转换算法，较好地解决了并发控制的效率问题。设计了LateComer协调机制，扩展了原有的算法，增强了协同编辑过程的连续性。     

X&R:一种有效的XML与关系数据并发控制协议集成模型

支持XML的关系数据库系统将XML扩展为基本数据类型,会限制XML并发控制协议在此类系统中的应用,并导致XML及关系数据操作的并发性能下降.针对该问题提出了一种XML与关系数据并发控制协议的集成模型X&R,并基于该模型提出XRSelector协议.X&R模型将XML并发控制协议集成到关系数据库系统中,对用户的数据库操作进行了明确的定义和区分,使不同数据模型的并发操作自动选择适当的并发控制技术进行管理.XRSelector协议能够确保不同数据模型并发控制协议的独立性和整个系统并发控制的正确性.实验证明X&R模型能够提高支持XML的关系数据库系统的整体并发度.     

跨平台系统级虚拟机的访存优化

跨平台系统级虚拟机软件模拟访存操作效率低,严重影响了虚拟机的性能.为提高跨平台虚拟机访存效率,提出了一种使用宿主系统TLB硬件、加速跨平台系统级虚拟机访存地址转换的软硬件协同优化方法.该方法相对于软件访存模拟方法,有效利用了宿主系统的硬件资源,提高了跨平台系统级虚拟机执行访存操作效率.实验结果表明该方法将虚拟机系统的整体性能提高了近15%.提出的方法已实际应用在龙芯系统级跨平台虚拟机中.     

CSCW系统中的并发控制策略研究

并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突.本文首先分析了CSCW系统的并发控制问题产生的原因,然后简要介绍了CSCW系统中常用的并发控制方法,之后评述了几种典型的并发控制方法的改进策略,并在实例中应用操作转换方法和文档标注方法而对其进行了对比分析.     

JPernLite: extensible transaction services for the WWW

Concurrency control is one of the key problems in design and implementation of collaborative systems such as hypertext/hypermedia systems, CAD/CAM systems, and software development environments. Most existing systems store data in specialized databases with built-in concurrency control policies, usually implemented via locking. It is desirable to construct such collaborative systems on top of the World Wide Web, but most Web servers do not support even conventional transactions, let alone distributed (multi-Website) transactions or flexible concurrency control mechanisms oriented toward team work-such as event notification, shared locks, and fine granularity locks. We present a transaction server that operates independently of Web servers or the collaborative systems, to fill the concurrency control gap. By default, the transaction server enforces the conventional atomic transaction model, where sets of operations are performed in an all-or-nothing fashion and isolated from concurrent users. The server can be tailored dynamically to apply more sophisticated concurrency control policies appropriate for collaboration. The transaction server also supports applications employing information resources other than Web servers, such as legacy databases, CORBA objects, and other hypermedia systems. Our implementation permits a wide range of system architecture styles     

基于多核的并行操作转换算法

操作转换算法是实时协同编辑系统首选的并发控制算法,它不仅能提供不受限的交互,而且维护分布式操作的意图一致性。然而随着操作数目的增多,操作的响应时间也会延长。结合多核多线程技术的发展,提出了第一个并行的操作转换算法,其能减少远程操作集成到本地站点的时间开销。对传统的串行算法进行了改造,使得具有计算依赖的过程能够并行化。实验结果表明,提出的算法相较于传统算法具有较大的优势,在处理较大操作历史的情况下依然能够保证操作合理的响应时间。     

同步协同设计中并发控制的研究

为解决协同设计过程中存在的数据一致性不高、数据传输量大、实时性差等问题,通过分析分布式CSCW环境中并发控制的各种方法,并根据同步协同设计特点和用户操作意愿,设计了并发控制网络模型.在该模型中,计算数据传输的最小延时确定主控站点,提出了基于事务优先权的混合并发控制策略,以保证协同用户在操作过程中的并发率.实例证明,以上措施的实现保证用户自由共享资源,提高了并发控制的实时性和数据的一致性.     

分布式同步协同包装纸盒CAD/CAM系统的设计与实现

采用Java技术开发了基于Web的分布式同步协同包装纸盒CAD／CAM系统．研究了纸盒CAD／CAM系统的体系结构、系统功能的分配、分布式同步协同设计、并发控制、协同感知、负载均衡、3D可视化技术、参数化设计以及系统安全性的保证等关键技术．     

基于相对位置的分布式实时协同编辑乐观锁并发控制算法

实时分布式协同编辑系统是计算机支持的协同工作的典型应用系统,不少学者对其进行了大量的研究,其难点是协作编辑的一致性、实时性和无约束性。因此,并发控制始终是它的研究热点,目前已提出的协同编辑的并发控制算法有:传统的加锁法、tickle锁、floor控制、可逆执行(Undo/Redo)和操作转换等。传统的加锁法最突出的优点是设计和实现较为简单,能保证具体上下文的语义完整性,但是在分布式协同编辑中无法保证加锁位置的一致性。tickle锁方法适用于分节加锁的实时分布式协同编辑的并发控制,然而无法提供多个编辑者对节内的同时编辑。JCE中的协同编辑采用了floor控制方法,每个协作编者只有获得floor才能进行     

Tree-Based Concurrency Control in Distributed Groupware

We present a novel algorithm, called dARB, forsolving the concurrency control problem indistributed collaborative applications. Themain issue of concurrency control is resolvingthe conflicts resulting from simultaneousactions of multiple users. The algorithmreduces the need for manual conflict resolutionby using a distributed arbitration scheme. Themain advantages of our approach are thesimplicity of use and good responsiveness, asthere are no lock mechanisms. Our algorithmrequires the applications to use a tree as theinternal data structure. This makes itapplication independent and suitable forgeneral collaborative applications. The treerequirement is reasonable since many newapplications use XML (extensible MarkupLanguage) for data representation and exchange,and parsing XML documents results in treestructures. Example applications of thealgorithm, a group text editor and acollaborative 3D virtual environment calledcWorld, are implemented and evaluated in theDISCIPLE collaboration framework. We alsointroduce awareness widgets that users avoidgenerating the conflicting events and help inmanual conflict resolution.     

协同建模系统中的一种对象引用正确性保证方法

乐观并发控制允许操作并发执行,由此将产生对象引用发生时刻与对象引用使用时刻的几何模型的不一致,结果将导致命名机制的失效而不能保证对象引用的正确性.将引用对象分为可替代与不可替代2种类型,对于可替代对象引用,通过构建对象引用发生时刻的临时几何模型保证该类对象引用的正确性;对于不可替代对象引用,通过恢复对象引用发生时刻的几何模型,然后完成引用该类对象的操作,最后Redo模型恢复过程中被Undo的并发操作来保证该类对象引用的正确性.在原型系统中对提出的方法进行了验证.     

协同CAD设计中基于设计历史的冲突检测算法

多位设计者并发地对特征进行操作,具有同步性、分布性和无约束性的特点。并发控制的基本目标就是通过对各用户的操作进行限制,规范化设计时序,保持设计工作的顺利进行。与文字、图像等数据的并发控制相比,CAD特征之间各种复杂的关系（如特征的空间关系、依赖关系等）,使得基于特征的并发控制十分困难。对CAD特征之间各种复杂关系对协同并发操作的影响进行详细分析,并给出复制式协同环境下并发冲突的检测方法和解决方案。     

Atomic RMI: A Distributed Transactional Memory Framework

This paper presents Atomic RMI, a distributed transactional memory framework that supports the control flow model of execution. Atomic RMI extends Java RMI with distributed transactions that can run on many Java virtual machines located on different network nodes. Our system employs SVA, a fully-pessimistic concurrency control algorithm that provides exclusive access to shared objects and supports rollback and fault tolerance. SVA is capable of achieving a relatively high level of parallelism by interweaving transactions that access the same objects and by making transactions that do not share objects independent of one another. It also allows any operations within transactions, including irrevocable ones, like system calls, and provides an unobtrusive API. Our evaluation shows that in most cases Atomic RMI performs better than fine grained mutual-exclusion and read/write locking mechanisms. Atomic RMI also performs better than an optimistic transactional memory in environments with high contention and a high ratio of write operations, while being competitive otherwise.