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

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

中国城镇化与新农村建设协调统一发展研究--国家土地政策的负外部性路径依赖分析与破解

历时三十多年的中国社会经济转型历程,一直伴随着"城镇化"与"农村建设"这两大国家发展战略的协调统一问题,而在改革面临深化之时,诸多矛盾再次聚集于此,出路焦点无一例外地落在衔接城乡的土地制度上。本文研究发现国家土地政策长期具有的城镇倾向,是导致我国城乡间土地关系不协调的重要原因之一。在推进新型城镇化、进一步统筹城乡发展的进程中,带有城镇倾向的土地政策存在对未来新型城镇化建设所能取得的经济社会发展效果形成抵消作用,因此对其的调整具有必要性和紧迫性。在梳理我国土地政策城镇倾向的发展过程中,本文揭示了这种带来负外部性的倾向已形成政策路径依赖性,并通过对路径依赖内在机理的分析,找出其规模报酬递增机制和体制性约束因素,进而对破解路径依赖、扭转土地政策的城镇倾向提出了具针对性的改革建议。

动态贝叶斯网络结构学习的依赖分析方法研究

针对现有动态贝叶斯网络结构学习方法具有低效率和低可靠性等问题,基于变量之间的基本依赖关系和依赖分析方法进行动态贝叶斯网络结构学习。建立变量之间依赖关系草图,通过条件独立行检验去除多余的边,使用碰撞识别和条件相对预测能力确定边的方向,便可得到构成动态贝叶斯网络结构的先验网和转换网。该方法在效率和可靠性方面均具有优势。

基于依赖分析的SPMD程序隐式同步检测及处理算法

SPMD翻译是指将一种特定类型的SPMD程序编译到多种设备上,当前的细粒度SPMD翻译研究建立在线程之间相互独立的假定上,线程之间只通过显式同步进行通信.但线程之间还隐含存在着各种数据依赖,如隐式同步,这导致了SPMD翻译在处理隐式同步时的正确性缺陷.为了对隐式同步进行处理,对细粒度SPMD模型CUDA中的隐式同步进行了系统的分析,指出了当前翻译CUDA程序到多核平台的相关研究在处理隐式同步上的不足,提出了基于依赖分析的隐式同步检测方法.在检测出隐式同步的基础上,设计了循环重排序的优化处理算法,对显式同步和隐式同步进行了统一处理.实验结果表明,与现有的SPMD翻译方法相比,该检测及处理算法能够正确而快速地检测并翻译CUDA中的各种隐式同步,代价较小,有助于编译器产生正确而有效的翻译结果.

绿色供应链管理实施障碍的驱动-依赖分析

基于大量文献资料提取并筛选了中国企业实施绿色供应链管理的18个关键障碍,采用解释结构模型法(Interpretive Structural Modeling,ISM)构建中国企业绿色供应链管理障碍的递阶解释结构模型,并进行驱动-依赖分析(DDPA),结果显示,政府的绿色观念对企业实施绿色供应链管理起到全局性的引导作用,企业"害怕失败,不愿意改变"则直接导致绿色供应链管理的想法难以转化为实践。

基于依赖分析的Web应用表示层测试方法研究

随着Web技术的飞速发展,Web应用系统的应用越来越广泛,Web应用发生故障的频率也越来越高,Web应用发生的故障大多数情况下都会与Web页面发生直接或者间接的联系,如何对Web应用的表示层即Web页面做测试的研究,是一个非常值得研究的问题。为此,在利用依赖分析技术的基础上,通过对Web页面以及Web页面之间的依赖分析,提出了一种基于依赖分析的Web应用表示层测试方法;通过实验案例表明该测试方法更具有全面性和有效性。

一种基于依赖分析的程序错误定位算法

程序错误定位是程序调试中最复杂最耗时的任务之一。文中提出一种新颖的基于依赖分析的错误定位方法,这种方法构造可疑代码的数据依赖和控制依赖,通过求精算法和扩大算法实现程序错误定位。文中通过实例验证了该方法的有效性。

实用数据依赖分析方法

数据依赖分析是检测程序循环级并行性的基本步骤．基于数组下标对分类，本文提出了一个实用、有效的数据依赖分析方案．现有的依赖测试算法，都有循环正规化的假设，由于它存在某些弊端，我们抛弃这一假设，允许循环增量是任意整表达式．为此，本文对有关依赖的定义做了适当修改，并重新推导了某些重要结论，为处理循环增量为变量或表达式的情形，给出了弱形式下的ＧＣＤ和Ｂａｎｅｒｊｅｅ测试，该方案已在ＰＯＲＴ中实现．

GCC 4·1数据依赖分析器的分析与改进

本文深入分析了GCC4·1的数据依赖分析器,针对它在分析Fortran程序的线性化数组访问时的不足,给出了两点改进:一是初步实现了一个非仿射数组下标依赖分析算法;二是提出并实现了分裂递归链的仿射数组下标数据依赖分析方法。实验表明,这两点改进增强了GCC4·1的数据依赖分析能力,为进行循环变换如循环交换提供了更准确的数据依赖信息。

基于依赖分析的并行化验证策略

提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。

基于多面体模型的数据依赖分析方法

设计一种基于多面体模型的静态数据依赖分析方法,对程序中的循环体进行分析,将生存周期思想引入到数据的依赖分析中.数据的依赖关系中只有流依赖是无法消除的固有依赖,必须保持变换前的执行顺序,而输出依赖和反依赖可以通过标量扩展及向前替换等方法消去.对传统数据依赖分析进行改进,通过分析内存单元的生存周期,摒除不必要的伪依赖,从而可以对更多的循环体进行变换.通过实验表明了该方法的可行性和有效性.

针对共享内存SPMD程序的通信流依赖分析方法

传统数据流依赖分析方法在处理共享内存单指令多数据(SPMD)程序时,不能识别共享数据访问语句所属的处理节点,也不能消除执行顺序不定的控制流对共享数据流依赖造成的影响,从而在分析共享数据依赖时产生精度较低的结果。根据共享内存SPMD程序的共享数据别名特性,提出了一种可扩展的共享数据通信流依赖分析方法,并将其应用于一个编译后端分析器原型中。实验表明,该方法较传统分析方法可发现更多精确的共享数据通信流依赖。

基于依赖分析的回归测试工具设计与实现

随着高性能计算共性技术发展,软件架构复杂度随之增加,交付频率不断提高,如何在确保软件测试质量的同时提升测试效率成为亟待解决的问题。面向高性能数值模拟组件的变更评估需求,设计实现基于依赖分析的回归测试工具,该工具支持自动解析组件之间复杂的逻辑关系,生成可视可感知的依赖关系树,快速评估组件变更的影响范围。针对多组件批量回归测试需求,提出基于偏序的关联任务调度算法,支持自动编排任务的先后顺序,一键式执行全部组件测试任务,大幅提高了任务并行度与测试效率。此外,提供全面的回归测试报表,展示组件整体依赖关系、执行情况及单组件详细测试报告,帮助用户快速定位缺陷,保证测试数据可回溯。

基于依赖分析网络的汽车转向轻便性研究

应用了依赖分析网络,分析研究了转向轻便性与结构设计参数之间的关系,给出了汽车转向轻便性的依赖网络模型及其简化模型,得到了设计参数与性能目标之间的定性关系及定量依赖的灵敏度,建立了搜索模型树,实现了冲突的消解,获得了最佳设计修改方案,为实现转向轻便系统设计提供了参考依据。

自动向量化中基于数据依赖分析的循环分布算法

循环分布是开发向量化程序的一个有效的方法。但是由于程序中的数据相关性,当前的自动向量化编译器实现完全的循环分布非常困难。因此,当前的自动向量化编译器一般采用简单的循环分布方法。以数据依赖关系分析为基础,从有无依赖环的角度分析了程序中语句的向量化能力,提出了基于语句向量化识别的循环分布算法,并在自动向量化中加以实现。通过此方法,可以充分地分析语句或依赖环的向量化能力,最终采用循环分布,将可向量化的语句与不可向量化的语句分布在不同的循环中。该方法可以处理当前的自动向量化编译器无法向量化的循环,对一些语句间有依赖关系的循环可达到较好的效果。

一种基于依赖分析的贝叶斯网络结构学习算法

贝叶斯网络是不确定性环境下知识表示和推理的有效工具之一。现有的贝叶斯网络结构学习算法不同程度地存在学习效率偏低的问题,为此,本文提出一种高效而且可靠的贝叶斯网络结构学习算法ISOR。首先使用最大生成树算法和启发式切割集搜索算法以确定网络中所有可能的边,然后结合碰撞识别方法和启发式打分-搜索方法识别出所有边的方向,最后进行冗余边检验。与当前基于依赖分析的其它算法相比,该算法有效降低条件独立性检验的次数和阶数。算法分析和应用于Alarm网络的实验结果均表明,算法ISOR具有良好的性能。

Sigma系统中数据依赖关系分析的完善与增强

文中在分析了Ｓｉｇｍａ系统中数据依赖关系测试算法的基础上，修正了其算法中的不足．同时，为提高测试的精确度，针对距离向量法提出了边界测试的思想；针对消元法提出了将消元法和Ｂａｎｅｒｊｅｅ不等式相结合的思想；为提高系统效率，提出了不相交子方程组的思想．

基于JavaSDG的Java程序参数依赖性分析

基于一种带有标签的Java程序描述(JavaSDG),给出JavaSDG中的过程依赖图(PDG)的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。

一种基于异常传播分析的依赖性分析方法

在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.