基于下推自动机的细粒度锁自动重构方法

针对粗粒度锁会严重影响并发程序的可伸缩性问题,提出一种面向细粒度锁的自动重构方法.该方法借助访问者模式分析、别名分析、负面效应分析等多种程序分析技术获取临界区代码的读写模式,然后使用下推自动机构建不同锁模式的识别方法,根据识别结果进行代码重构.与以往锁重构方法的不同之处在于,该方法考虑了锁降级模式,使重构适用性更广.基于此方法,在Eclipse JDT框架下,以插件的形式实现了自动重构工具FLock.在实验中,从重构个数、改变的代码行数、重构时间、准确性和重构后程序性能等方面对FLock进行了评估,并与已有的重构工具Relocker和CLOCK进行了对比.对HSQLDB,Jenkins和Cassandra等11个大型实际应用程序的重构结果表明：FLock共重构了1 757个内置监视器对象,每个程序重构平均用时17.5s.该重构工具可以有效地实现粗粒度锁到细粒度锁的转换,与手动重构相比,有效提升了细粒度锁的重构效率.     

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

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

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

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

细粒度授权的Web页面自动生成器-WPAG

针对现今已有的Web应用框架能够在一定程度上降低业务逻辑处理的难度,但缺乏页面细粒度授权机制的支持,对页面以及页面上操作的访问控制问题仍要编写大量代码处理。设计并实现了一种面向细粒度授权机制的Web页面自动生器（Web pages automatically Generator）WPAG,该生成器采用组件化页面自动生成技术,与基于角色的细粒度访问控制模型相结合,开发者只需对交互模型接口进行简单参数设置,即可实现细粒度访问控制的页面代码自动生成,并提供二次开发能力适应逻辑业务复杂的应用。     

电传动履带车用PMSM控制算法模型化设计与验证

以电传动履带车辆驱动电机控制算法设计为研究目的,提出了一种由图形化模型直接生成代码的编程方法,基于Matlab/Simulink构建了永磁同步电机矢量控制算法模型,在大量仿真分析后,运用实时工具箱自动生成了嵌入式C代码并选用电机专用型DSP实施了处理器在环的半实物测试。测试结果表明,算法调度运行时间最长为7.1633us,代码与算法模型间具有较高的功能等效性,该编程方法简单直观、易于调试、运行稳定,为电传动履带车辆电机驱动系统的软件开发提供了有效途径。     

二维协同工作空间的并发操作加锁协议

提出一种用于在二维工作空间中协同作业的并发操作加锁协议和相应的锁调度算法，协议采用悲观锁，以抽象的二维空间为并发操作的对象，支持任意锁粒度，具有无死锁性质．加锁协议和算法存一个实时分布式协同绘图系统中实现．协议的实现采用多Agent系统模型。将面向Agent的程序设计中Agent的情绪值的概念用于控制锁的释放和调度，支持并发操作者之间的主动协同和细粒度感知．     

工程数据库锁管理系统的设计及实现

探讨了一种工程数据库管理系统中的锁管理子系统的设计和实现方法。该方法支持多粒度锁、自动加锁特性和自动锁粒度升级特性。在此基础上可以实现二阶段锁协议和树协议。     

基于源代码扩展信息的细粒度缺陷定位方法

基于信息检索的缺陷定位技术,利用跨语言的语义相似性构造检索模型,通过缺陷报告定位源代码错误,具有方法直观、通用性强的特点.但是由于传统基于信息检索的缺陷定位方法将代码作为纯文本进行处理,只利用了源代码的词汇语义信息,导致在细粒度缺陷定位中面临候选代码语义匮乏产生的准确性低的问题,其结果有用性还有待改进.通过分析程序演化场景下代码改动与缺陷产生间的关系,提出一种基于源代码扩展信息的细粒度缺陷定位方法,以代码词汇语义显性信息及代码执行隐性信息共同丰富源代码语义实现细粒度缺陷定位.利用定位候选点的语义相关上下文丰富代码量,以代码执行中间形式的结构语义实现细粒度代码的可区分,同时以自然语言语义指导基于注意力机制的代码语言表征生成,实现细粒度代码与自然语言间的语义映射,从而实现细粒度缺陷定位方法FlowLocator.实验分析结果表明：与经典的IR缺陷定位方法相比,该方法定位准确性在Top-N排名、平均准确率及平均倒数排名上都有显著提高.     

基于RTLinux的MATLAB实时仿真

RTLinux操作系统是linux操作系统的变种 ,它具有强实时能力 ,Real-TimeWorkshop(RTW)是matlab的自动生成仿真代码的工具 ,两者的结合是个有意义的尝试。但是RTW生成的代码不能直接在RTLinux中运行。该文首先介绍RTLinux下的编程方法和RTW生成代码的过程 ,然后指出在RTLinux中运行RTW生成的代码需要考虑的问题。     

计算机挖掘软件的源代码注释自动生成研究

本文基于计算机挖掘软件源代码注释数量与质量偏低的问题,设计了代码注释自动生成方法。同时,对本文设计方法与Clocom法进行了实验对比分析,结果表明,相比Clocom法,本文方法所检测出的克隆代码类型更多,产量明显较高;自动生成的代码注释质量都明显较高,代码注释质量较好,总之,本文设计方法下计算机挖掘软件自动生成的代码注释产量与质量都显著较高。