-
公开(公告)号:CN104679484B
公开(公告)日:2018-02-06
申请号:CN201310617816.4
申请日:2013-11-27
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
Abstract: 本发明公开了一种并发分析方法及装置,包括:获取程序控制流图,其中,在所述程序控制流图中,线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点,计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程创建节点的直接后继节点的初始并发节点集合、以及每个线程终止节点的直接后继节点的初始无法并发节点集合,初始化程序控制流图的首节点的并发节点集合,从程序控制流图的首节点开始向下遍历,在遍历过程中,根据继承规则计算出遍历到的每个节点的并发节点集合,由于一次遍历即得到每个节点的并发节点集合,运算简单且运算量小,实现了提高并发分析效率的目的。
-
公开(公告)号:CN104252346B
公开(公告)日:2017-08-29
申请号:CN201310262639.2
申请日:2013-06-27
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
CPC classification number: G06F8/45
Abstract: 本发明公开了一种并发分析的方法及装置,涉及程序分析技术领域,在对PEG上不同节点间的并发分析过程中,简化了处理流程,提高了并发分析的效率。本发明的具体实施例包括:获取PEG中的根节点,将该根节点以及PEG中入度为0的节点压入预设栈,并获取该预设栈的栈顶节点组成待处理序列,进而确定当前处理节点在该待处理序列中的位置,并在待处理序列的该位置之后查找包含于工作集中的节点,从而减少并发分析中的迭代次数。本发明实施例主要应用于并发分析流程中。
-
公开(公告)号:CN104424101B
公开(公告)日:2017-08-11
申请号:CN201310410943.7
申请日:2013-09-10
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F11/36
CPC classification number: G06F11/3457 , G06F11/3433 , G06F11/3452 , G06F2201/865
Abstract: 本申请公开了一种程序性能干扰模型的确定方法,从已确定好的样本程序集合中选取程序组成多个子集合,获取各个子集合中各个程序在运行时受到的性能干扰值,及各个子集合中所有程序对共享资源的总占用率,将所有子集合划分为多个分析单元;对不同分析单元中包含的每一个样本程序的性能干扰值及所述该样本程序所在的子集合所对应的总占有率做回归分析,获取目标函数模型;并依据目标函数模型获取目标程序对应的性能干扰模型。本发明实施例提供的方法,为多核处理器上的每一个程序提供性能干扰模型,对程序运行在多核处理器中受到的性能干扰进行量化,避免了相互干扰较为大的程序运行在同一多核处理器中,确保了程序在多核处理器中运行时的最优性能。
-
公开(公告)号:CN104679477B
公开(公告)日:2017-08-01
申请号:CN201510082216.1
申请日:2015-02-15
Applicant: 中国科学院计算技术研究所
IPC: G06F9/30
Abstract: 本发明提供一种面向可变粒度内存系统的二进制文件重写方法,包括:在二进制文件的中间表示中找到热循环区域;对于访存行为符合可变粒度访存模式的热循环区域,合并该区域内的访存信息,并且在该区域之前插入头语句;以及,根据修改后的热循环区域生成目标机器代码。本发明能够自动完成在二进制文件上支持可变粒度内存系统的访存操作;通过自动分析应用程序特征以及可变粒度内存系统的核心特征,选择合适的重写方式,兼顾了二进制文件重写过程的效率和二进制文件的执行性能。
-
公开(公告)号:CN106326617A
公开(公告)日:2017-01-11
申请号:CN201510374738.9
申请日:2015-06-30
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F19/00
Abstract: 本发明实施例公开了一种数据处理方法及装置,涉及计算机技术领域,可以保证最大流Push-Relabel算法应用于分布式图计算编程模型的正确性。具体方案为:若顶点x在第一超步激活,所述顶点x到顶点y的残余容量c(x,y)>0,且所述顶点x的高度d(x)=d(y)+1,则在所述第一超步执行push(x,y),以将所述顶点x的余量f(x)=min(e(x),c(x,y))压入所述顶点y;若所述顶点x在第二超步激活,所述顶点x到顶点z的残余容量c(x,z)大于0,且d(x)
-
公开(公告)号:CN106201874A
公开(公告)日:2016-12-07
申请号:CN201610527181.2
申请日:2016-07-06
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 本发明实施例提供一种并行程序的MHP分析方法和装置,一种并行程序的MHP分析方法包括:从待分析并行程序的主线程开始,每次选择一个线程,模拟待分析并行程序的执行,其中,当正在模拟执行的线程无法继续执行时,跳转至任一可继续执行的线程模拟执行,直至待分析并行程序的所有线程模拟执行完毕,其中,待分析并行程序包括至少两个线程;根据对待分析并行程序进行模拟执行的结果,构建与待分析并行程序对应的多线程控制流图;对多线程控制流图进行处理,得到保守正确的多线程控制流图,保守正确的多线程控制流图中的各节点的可能并发MHP结果不存在漏报;对保守正确的多线程控制流图进行MHP分析,得到待分析并行程序的MHP分析结果。
-
公开(公告)号:CN106155634A
公开(公告)日:2016-11-23
申请号:CN201510152896.X
申请日:2015-04-01
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F9/38
Abstract: 本发明公开了一种预测核间性能干扰的方法及装置,涉及网络技术领域,提供了一种用以测量程序遭受的核间性能干扰的参数的模型。本发明提供的方法包括:分别获取程序集中每个程序在每个处理器上运行时的行为特征,以及每个程序在每组中的主处理器上的性能干扰函数的参数;根据所述程序集中每个程序在每个处理器上运行时的行为特征,构建特征预测模型;根据所述程序集中每个程序在主处理器上的行为特征、主处理器自身特征以及性能干扰函数的参数,构建性能干扰函数预测模型,其中,所述性能干扰函数预测模型用于:根据程序在处理器上的行为特征和处理器自身特征预测程序在处理器上的性能干扰函数的参数。
-
公开(公告)号:CN105677683A
公开(公告)日:2016-06-15
申请号:CN201410673523.2
申请日:2014-11-21
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F17/30
CPC classification number: G06F17/30463 , G06F17/30433 , G06F17/3046
Abstract: 本发明实施例提供一种批量数据查询方法和装置,通过获取多条查询语句对应的多棵逻辑查询计划树,根据每棵逻辑查询计划树的各操作符将多棵逻辑查询计划树划分为多个查询组,每个查询组中的逻辑查询计划树之间具有下述关系:查询间写读依赖关系、操作符重叠关系或操作数重叠关系,然后,对每个查询组内的逻辑查询计划树进行查询间优化,根据优化后的多棵逻辑查询计划树生成对应的多棵物理查询计划树,最后,根据多棵物理查询计划树执行物理查询得到多条查询语句的查询结果。所述方法通过对多棵逻辑查询计划树进行分组,提高了查询组内的逻辑查询计划树之间的优化机会,通过对查询组内的逻辑查询计划树进行查询间优化,提高了批量数据查询的效率。
-
公开(公告)号:CN104679477A
公开(公告)日:2015-06-03
申请号:CN201510082216.1
申请日:2015-02-15
Applicant: 中国科学院计算技术研究所
IPC: G06F9/30
Abstract: 本发明提供一种面向可变粒度内存系统的二进制文件重写方法,包括:在二进制文件的中间表示中找到热循环区域;对于访存行为符合可变粒度访存模式的热循环区域,合并该区域内的访存信息,并且在该区域之前插入头语句;以及,根据修改后的热循环区域生成目标机器代码。本发明能够自动完成在二进制文件上支持可变粒度内存系统的访存操作;通过自动分析应用程序特征以及可变粒度内存系统的核心特征,选择合适的重写方式,兼顾了二进制文件重写过程的效率和二进制文件的执行性能。
-
公开(公告)号:CN104572493A
公开(公告)日:2015-04-29
申请号:CN201310503238.1
申请日:2013-10-23
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
CPC classification number: G06F3/0605 , G06F3/0631 , G06F3/0644 , G06F3/0653 , G06F3/0679 , G06F9/5016 , G06F11/3409 , G06F11/3433 , G06F11/3471 , G06F12/0811 , G06F12/084 , G06F12/0842 , G06F12/0897 , G06F2201/81 , G06F2212/1041 , G06F2212/282 , G06F2212/6042 , G06F2212/653
Abstract: 本发明的实施例提供一种存储器资源优化方法和装置,涉及计算机领域,解决了现有多级存储器资源之间存在的相互影响问题,优化了现有单一的划分机制。具体方案为:通过页着色技术获得工作集中各程序的性能数据,结合访存频度得到各程序的分类,根据各程序的分类选择工作集对应的页着色划分策略,并将页着色划分策略输入操作系统内核,完成相应的着色划分处理。本发明用于结合工作集特点消除或降低进程、线程在存储资源上的相互干扰,提高了计算机的整机性能。
-
-
-
-
-
-
-
-
-