检索结果-内蒙古大学图书馆

作者：左志强许端琛孙泽雯李宣东 210023 江苏省南京市栖霞区仙林大道163号

本发明公开了一种基于分布式图计算的过程间数据流分析的方法和装置，该方法首先接收程序的过程间控制流图作为输入，控制流图中节点属性为程序语句信息；用户根据特定数据流分析实现预留接口；在计算初始时，控制流图中所有节点均为活... 详细信息

标准号: CN114780405A

本发明公开了一种基于分布式图计算的过程间数据流分析的方法和装置，该方法首先接收程序的过程间控制流图作为输入，控制流图中节点属性为程序语句信息；用户根据特定数据流分析实现预留接口；在计算初始时，控制流图中所有节点均为活动节点，并初始化输出数据流事实；分布式图计算系统以并行方式处理活动节点，按照三次消息传递方式，根据用户实现的接口实例进行迭代分析，直到系统中无活动节点或迭代次数达到用户指定阈值；基于该方法的分布式数据流分析装置在现有分布式图计算引擎上被开发，该装置可以在大规模集群上为大型程序代码运行过程间数据流分析应用，通过提供数据流分析分布式处理框架，降低了使用分布式技术和数据流分析技术的开发门槛。

关键词：数据流分析控制流图图计算活动节点过程间数据流分析分布式数据流消息传递方式大规模集群方法和装置分布式处理分布式技术输出数据流并行方式程序代码程序语句处理活动迭代分析分析装置接收程序节点属性用户实现用户指定预留接口运行过程初始化迭代引擎门槛开发应用

来源：评论

学校读者我要写书评

暂无评论

函数库中过程间数据流预分析

引用

自动化技术与应用 2008年第1期27卷 70-72页

作者：李兰英张滇徐卫红哈尔滨理工大学计算机科学与技术学院黑龙江哈尔滨150080

过程间数据流分析在软件优化,软件维护,软件测试中均有大量的应用。在编写使用可重用组件的软件时,对整个程序进行数据流分析的方法效率低下甚至由于没有库的源代码而不能直接分析。本文是在已有的组件库上构建新组件时进行数据流分析,... 详细信息

过程间数据流分析在软件优化,软件维护,软件测试中均有大量的应用。在编写使用可重用组件的软件时,对整个程序进行数据流分析的方法效率低下甚至由于没有库的源代码而不能直接分析。本文是在已有的组件库上构建新组件时进行数据流分析,通过计算新建库的概要信息,并使用这些概要信息分析新的组件,这样使用库中预先计算的概要函数能够在较小的分析成本下构建可扩展的大的库组件。

关键词：编译器优化流图过程间数据流分析

来源：评论

学校读者我要写书评

暂无评论

静态检测中断驱动程序的数据竞争

引用

计算机研究与发展 2011年第12期48卷 2290-2299页

作者：霍玮于洪涛冯晓兵张兆庆中国科学院计算技术研究所计算机体系结构国家重点实验室(筹) 北京100190

直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一... 详细信息

直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.

关键词：微控制器中断驱动程序数据竞争检测过程间数据流分析副作用分析

来源：评论

学校读者我要写书评

暂无评论

具有可适应性的程序分析技术

具有可适应性的程序分析技术

引用

作者：连瑞琦中国科学院研究生院（计算技术研究所）

学位级别：博士

编译器在发掘高性能计算机系统并行性的过程中起着非常重要的作用，而其中程序分析又是编译器开发并行性的关键步骤之一。然而，对编译器精度和功能的要求的逐步提高，导致程序分析日益复杂，难于编写、移植和维护。因此，程序分析部分... 详细信息

编译器在发掘高性能计算机系统并行性的过程中起着非常重要的作用，而其中程序分析又是编译器开发并行性的关键步骤之一。然而，对编译器精度和功能的要求的逐步提高，导致程序分析日益复杂，难于编写、移植和维护。因此，程序分析部分的可适应性问题成为编译领域的研究热点之一。本文在对程序分析算法本身及程序分析对不同并行体系结构的支持方式进行了较为深入的研究后，得到了一个能解决程序分析可适应性问题的整体方案，该方案通过运用多视图的编程范式、过程间分析优化程序自动生成和增量式分析算法等手段，取到了比较好的效果。本文的主要贡献有： 1．提出一个能适用于所有过程间数据流分析问题的模型。这个模型中过程间分析问题完全是过程内分析问题的扩展，克服了以前其它模型把过程间和过程内分析问题割裂开来的缺点。通过这种模型，我们可以采用统一的、相互协作的过程间和过程内算法解决数据流分析问题，并得到较为精确的上下文敏感的分析结果。 2．根据以上问题模型，提出并实现了一个过程间分析优化程序生成器——IGEN。在IGEN中，我们主要解决了用户描述方法，算法框架选择等问题。由于以上问题的很好解决，IGEN可以生成过程间分析程序和优化程序，并且，它生成的程序具有独立于中间表示，可在一定范围内拼装、选择算法，可增量式维护信息等特点。所以，IGEN既能大幅度减轻程序员的劳动，又能大大提高过程间分析优化部分的可适应性。 3．提出了用多视图的编程范式编制程序分析部分的方案。这里，我们主要解决了视图的划分和定义，算法抽象层次的确定等问题，该方案的运用使程序分析部分从多个方面具备了较高程度的可适应性。 4．提出了一种增量式分析算法。该算法可以适用于所有类型的流图——包括可归约流图和不可归约流图。另外，它实现也比较简单，能方便地运用于分析程序自动生成器中。 5．根据以上算法和设计，实现了一个具有可适应性的程序分析高层模块，并将这个模块分别运用在几个不同的编译系统中，对该模块从正确性、效率和可适应性等几方面进行了验证。

关键词：程序分析多视图的编程范式过程间数据流分析自动生成器增量式分析

来源：评论

学校读者我要写书评

暂无评论

过程间分析和变换技术的研究与实现

过程间分析和变换技术的研究与实现

引用

作者：张小沛清华大学

学位级别：硕士

在过去的十年中,随着处理器频率的迅速增加,并行计算在工业界和学术界应用得越来越广泛,相应地,人们对并行编译器的需求也越来琥迫切.于是,研究人员在Polaris 1.4的基础上研制开发了一个交互式FORTRAN自动并行编译系统-TIPS.该系统不... 详细信息

在过去的十年中,随着处理器频率的迅速增加,并行计算在工业界和学术界应用得越来越广泛,相应地,人们对并行编译器的需求也越来琥迫切.于是,研究人员在Polaris 1.4的基础上研制开发了一个交互式FORTRAN自动并行编译系统-TIPS.该系统不仅包括如今被人们所公认的一些通用的并行编译技术,而且包含过程间技术,从而使得过程调用不再成为并行编译的障碍.实验证明,过程间分析和变换模块作为其中的一个组成部分,具有非常重要和不可替代的作用.过程间技术的重要性体现在两个方面:首先,它使得过程调用不再成为并行编译的障碍,大量现有的应用程序无须修改便可以作并行分析,从而大大改善了并行编译的效果;其次,程序员可以保留自己所惯用的结构化编程风格,从而维持程序的可移植性和可维护性.虽然过程间优化技术必不可少,但不可否认,它带来的开销也是非常昂贵的.首先,编译器所依赖的不再是过程本身,而是与过程有关的过程间流信息,所以,只要流信息稍有改变,即使过程本身并没有变化,整个程序就必须重编译;其次,要想使并行编译器的效果更好,所需要的过程间流信息便越精确,计算开销便越庞大;再者,过程间优化有可能增加源程序的大小,从而增加编译时间和编译所需的空间,所以,人们往往需在并行效果和编译开销之间取一个折衷.该文详细阐述了与过程间分析和变换有关的技术问题,将过程间信息流传播技术和过程人武部嵌入技术作了对比,并给出了过程间数据流分析、过程间标量及数组私有化、过程繁衍、循环嵌入、循环抽取及过程间数据相关性分析等技术的概念及具体算法.目前,这些技术都已在TIPS系统中实现.通过对实际程序的测试,他们发现这些技术都具有很好的效果.甚至对于某些类型的应用程序,这些技术的效果与过程全部嵌入的效果不相上下,但前者的开销却远远小于后者.至于详细的实验数据,他们也将在文中列出.

关键词：自动并行编译系统过程间分析和变换过程间数据流分析过程间数组私有化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：