并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

程序分片技术及应用

程序分片是一种分析和理解程序的技术。系统介绍程序分片的概念,计算方法及分片工具,应用领域,研究现状和发展趋势等方面的问题。     

基于依赖图的程序克隆分析及近似解求解方法

大型软件系统中的代码复制和修改现象可能导致程序缺陷的扩大以及无用代码的存在,克隆代码检测分析则有助于抽取可复用的软件组件和模式,在软件重构和软件演化中起重要的作用。在给出了一种基于子图同构进行克隆代码检测的方法基础上,加入依赖边类型约束求近似解的算法,以改善算法的时间复杂性。     

支持向量机的数据依赖型核函数改进算法

基于信息几何理论, 提出一种新的支持向量机核函数改进算法. 利用与数据有关的保角映射, 使核函数具有数据依赖性. 对股票价格数据进行预测的数值模拟结果表明, 改进算法比常规模型具有更好的预测精度.     

基于改进GN算法的程序控制流图划分方法

针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN（Girvan-Newman）算法,在边介数计算中加入点权值作为参数,使划分所得各子图的规模更加平衡;通过动态控制子图的规模,在合适的时机提前终止算法执行,提高执行效率。利用angr工具对二进制程序进行分析所得到的控制流图,分别采用改进GN算法、K-means算法、谱聚类算法和朴素凝聚算法进行实验,比较不同算法对控制流图划分结果中的模块度以及均衡性等指标,证明改进GN算法具有最佳的划分结果和执行效率。     

一种改进的最小时延的数据聚集调度算法

在无线传感器网络中,最小数据聚集时延问题是一个NP难问题。在现有研究成果的基础上,提出了一种改进的最小数据聚集时延调度算法。理论分析表明,该算法的时延上界为13R+Δ-10,其中Δ是网络的最大度,R是网络半径。与现有近似算法相比,该算法在理论上具有更小的时延。     

上机图及配色效应图内部转换的数学模型

本文运用矩阵手段,给出了上机图内部转换的3个数学模型和配色效应图的2个数学模型。5个模型反映了机织物的组纹效应的内在规律,为进一步采用计算机进行辅助设计和进一步探讨设计中的规律性提供了数学基础。     

基于Interface改进算法的水工隧洞衬砌受力分析

针对水工隧洞不同外荷载工况下衬砌与围岩的接触特性,考虑衬砌与围岩之间有无初始缝隙,基于FLAC3D提出Interface改进模型,分别用厚壁圆筒弹性和弹塑性解析解验证算法的正确性,并应用到某水工隧洞衬砌结构计算中.结果表明:改进后的Interface接触面模拟结果与解析解非常接近;施工期自重工况、运行期内水工况和检修期外水工况衬砌结构受力各不相同,围岩与衬砌可能产生接触或脱离,内水工况下结构处于欠安全或带裂缝工作状态.该模型反映了衬砌结构在不同外荷载作用下与围岩有条件联合承载的各种受力机制.     

并发进程的一种跟踪与重演算法

并发程序的执行具有“不确定性”,即在同样的输入条件下并发程序的执行结果不一定相同。这使得传统的对于顺序程序的循环调试方法对于并发程序的调试不再有效。通过对并行程序的执行情况进行跟踪和重演,可以保证并发程序在相同的输入时候两次执行完全一样。本文分析了基于消息传递的并发程序执行模型,并给出了相应的跟踪和重演算法及其实现。     

Slicing Java generic programs using generic system dependence graph

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better. Biography: CHEN Lin (1979–), male, Ph.D. candidate, research direction: program analysis and refactoring.     

顺序程序任务并行性的识别

探讨了任务并行性识别中任务执行条件的导出，利用任务给点间的相关性（包括数据相关和控制相关）就可求出并行执行条件．提出了层次任务图模型下直接生成优化任务执行条件的算法，省去了后控树及控制相关图（ＣＤＧ）的产生，其过程简单且比较高效．     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

大并发高性能用户应用服务器程序设计

Windows下完成端口(IOCP)模型只需少数几个工作线程以及异步读写操作就可处理2 000个以上的客户端的并发连接。这相对于多线程方式的客户端并发数而言有了质的提升,同时避免了CPU在线程(进程)调度和切换上的大量开销,从而构建了一个稳定、高性能的服务器程序。     

广义简约梯度法程序GRG-2的开发及GRG-C的研制

本文对广义简约梯度法程GRG-2进行了开发,并研制了改进程序GRG-C.考程结果表明,GRG-C程序在可靠性、效率等方面均优于ORG-2程序.     

顺序程序并行转换系统中程序中间表示的管理与维护

研究了基于并行分布式环境下的顺序程序转换系统中有关程序中间表示的管理与维护，讨论了顺序程序的转换过程的可视性与可干预性，并讨论了用图定义引导生成对程序相关图（ＰＤＧ）的操作等方面的问题     

线性规划的一种改进算法与程序

本文介绍线性规划的一种改进算法与BASIC语言程序。该程序简单、通用,运算量少,需要存贮的数据少。