协同图形图像编辑系统中对象锁与区域锁的并行

在分布式协同编辑系统中,为了防止并行操作中出现冲突,常常用到加锁的机制。分布式协同图形图像编辑系统是协同系统中一个特殊的类,因此有特殊的加锁方式。本文提出一种新的不但能够给对象加锁,而且能够给区域加锁的锁机制。在这种锁机制下,用户可以自由地选择给一个图案对象加锁或者给一个工作区域加锁。这是一种细粒度和粗粒度的结合,既有利于减少加锁时系统的负载,又有利于方便用户的操作。这个机制已经应用在我们的CoDesign系统。

雷达兵作战计划协同制定系统锁机制研究

加锁是分布式协同编辑系统中防止并行操作中出现冲突的一种重要手段。本文针对基于GIS组件的雷达兵作战计划协同制定系统的特殊要求提出一种加锁机制,用户可以将图层锁、对象类型锁、区域锁和对象锁交叉使用。这种锁机制是一种细粒度和粗粒度的结合,使用户间的协作更加灵活。

基于并发程序数据竞争故障的变异策略

针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享变量操作(MSVO)两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略(SMPSS)。在12个Java类库并发程序上,应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障,生成变异体,并使用JPF检测工具,检测生成的变异体引发数据竞争故障的能力。实验结果表明,新设计的SLRO和MSVO变异算子对12个被测程序分别生成了121和122个有效变异体,变异算子的有效性分别为95.28%和99.19%。由此可知,新设计的并发变异算子能有效触发数据竞争故障。

基于图像共享的分布式协同排版系统的设计与实现

针对服装裁片手工排版中实际出现的重复操作、资源无法共享等问题,本文设计并实现了一个基于图像操作的协同裁片排版系统,介绍了系统的协同工作原理和在协同工作过程中数据交换更新的方法。对于协同工作中出现的冲突问题,提出了对象锁和区域锁并用的解决方式。系统已经应用于服装生产公司,运行效果良好。

查询优化解决“车站系统”数据库I/O冲突

详细阐述优化查询SQL解决“铁路车站系统”数据库I/O冲突的步骤。“车站系统”中某些子系统响应速度非常慢,监视系统性能瓶颈时间段数据库的状态,比较两个以上时间点性能差异,发现引起性能瓶颈的主要问题来自I/O争用。可以通过建立索引,为查询增加参数,修连接改查询语句书写顺序等手段可以获得更加优秀的数据库查询计划。