-
公开(公告)号：CN104679603B
公开(公告)日：2018-02-06
申请号：CN201510055815.4
申请日：2015-02-03
Applicant: 中国科学院计算技术研究所
IPC: G06F11/07
Abstract: 本发明涉及对单粒子翻转有效的容错技术领域，特别涉及一种非对称的数据三模冗余方法及系统，该方法包括：通过三模冗余模块，将编译器调度指令之后及寄存器分配之前的原始指令中的操作数进行复制，并将复制后的所述操作数转换成二模数据与三模数据，建立所述二模数据、所述三模数据与所述操作数对应的原始数据的映射关系，其中所述原始数据作为一模数据；将寄存器存储空间划分为集合regs_one、集合regs_two、集合regs_three，并将所述一模数据、所述二模数据、所述三模数据分别存入所述集合regs_one、所述集合regs_two、所述集合regs_three，以完成数据冗余。本发明有助于提高容错性。
-
公开(公告)号：CN104376366B
公开(公告)日：2017-11-03
申请号：CN201310354026.1
申请日：2013-08-14
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
CPC classification number: H04L45/00
Abstract: 本发明实施例提供一种最优网络最大流算法的选择方法和设备。涉及网络最大流领域，能够根据不同的网络流图确定最优的网络最大流算法。该方法包括：算法选择设备获取网络流图，并根据该网络流图得到第一残量网络；获取操作算法集合，其中，该操作算法集合包括至少两个算法，在该第一残量网络中通过该至少两个算法并行进行预流推进，得到第二残量网络，并在该第二残量网络中确定该至少两个算法对应的关键边的数量，确定该关键边的数量的最大值对应的算法为该网络流图的最优网络最大流算法。本发明实施例用于网络最大流算法的选择。
-
公开(公告)号：CN103902273B
公开(公告)日：2017-07-07
申请号：CN201210584770.6
申请日：2012-12-28
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F9/44
Abstract: 本发明的实施例提供一种无损压缩系统依赖图的方法及装置，涉及计算机领域，能够实现系统依赖图的无损压缩，并降低系统依赖图的规模，从而降低以系统依赖图为基础的切片算法的开销。其方法为：首先提取程序中所有变量之间的等价关系，而后通过该等价关系将程序中所有变量分为不同的等价类，并根据这些等价类为系统依赖图中的节点设置键值，而后根据系统依赖图中的节点的键值压缩系统依赖图。本发明实施例用于对系统依赖图进行压缩。
-
公开(公告)号：CN105701128A
公开(公告)日：2016-06-22
申请号：CN201410711901.1
申请日：2014-11-28
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F17/30
Abstract: 本发明实施例公开了一种查询语句的优化方法和装置，涉及数据查询技术领域，用以解决由于需要缓存历史逻辑查询树及其对应的查询结果而导致的占用大量的存储空间的问题。本发明实施例提供的查询语句的优化方法包括：接收n个查询语句；将所述n个查询语句生成n个逻辑查询树；根据预设规则为所述n个逻辑查询树中的操作符对应的操作数添加版本号；对所对应的操作数的版本号相同、且所属不同逻辑查询树的操作符进行优化，以减少所述n个逻辑查询树生成的物理任务的数量。本发明实施例提供的技术方案可用于大数据查询系统对数据仓库进行批量查询的过程中。
-
公开(公告)号：CN105630789A
公开(公告)日：2016-06-01
申请号：CN201410588240.8
申请日：2014-10-28
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F17/30
Abstract: 本发明实施例公开了一种查询计划转化方法及装置，涉及计算机领域，可以更大程度的减少构成物理查询计划的物理查询任务的数量。具体方案为：从逻辑查询计划中提取第一查询操作符和第二查询操作符；若第一查询操作符的分区属性为第二查询操作符的分区属性的前缀，则改写逻辑查询计划中第二查询操作符的分区属性，以使得第二查询操作符的分区属性与第一查询操作符的分区属性相同；从逻辑查询计划中删除第二查询操作符的分区操作符，并根据第二查询操作符、第一查询操作符以及第一查询操作符的分区操作符生成一个物理查询任务，以构成物理查询计划，本发明用于逻辑查询计划转化为物理查询计划的过程中。
-
Patent Agency Ranking
公开(公告)号：CN104679603A
公开(公告)日：2015-06-03
申请号：CN201510055815.4
申请日：2015-02-03
Applicant: 中国科学院计算技术研究所
IPC: G06F11/07
Abstract: 本发明涉及对单粒子翻转有效的容错技术领域，特别涉及一种非对称的数据三模冗余方法及系统，该方法包括：通过三模冗余模块，将编译器调度指令之后及寄存器分配之前的原始指令中的操作数进行复制，并将复制后的所述操作数转换成二模数据与三模数据，建立所述二模数据、所述三模数据与所述操作数对应的原始数据的映射关系，其中所述原始数据作为一模数据；将寄存器存储空间划分为集合regs_one、集合regs_two、集合regs_three，并将所述一模数据、所述二模数据、所述三模数据分别存入所述集合regs_one、所述集合regs_two、所述集合regs_three，以完成数据冗余。本发明有助于提高容错性。
-
公开(公告)号：CN104657257A
公开(公告)日：2015-05-27
申请号：CN201310589292.2
申请日：2013-11-20
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明实施例提供一种指针分析方法及装置。本发明提供的指针分析方法，包括：读取待分析的多线程程序中的语句信息；根据所述程序的语句信息对所述程序进行指针分析，获得所述程序的共享信息，所述共享信息包括共享量、指针指向集和访存行为，其中，共享量包括全局共享量和局部共享量；根据所述程序的共享信息对所述共享量进行补偿分析。本发明实施例解决现有技术中对多线程程序的指针分析仅局限于程序中的全局共享量，分析结果不全面的问题，提高了指针分析的精度，并相应地提高了程序优化的实施范围和效果。
-
公开(公告)号：CN104424101A
公开(公告)日：2015-03-18
申请号：CN201310410943.7
申请日：2013-09-10
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
IPC: G06F11/36
CPC classification number: G06F11/3457 , G06F11/3433 , G06F11/3452 , G06F2201/865
Abstract: 本申请公开了一种程序性能干扰模型的确定方法，从已确定好的样本程序集合中选取程序组成多个子集合，获取各个子集合中各个程序在运行时受到的性能干扰值，及各个子集合中所有程序对共享资源的总占用率，将所有子集合划分为多个分析单元；对不同分析单元中包含的每一个样本程序的性能干扰值及所述该样本程序所在的子集合所对应的总占有率做回归分析，获取目标函数模型；并依据目标函数模型获取目标程序对应的性能干扰模型。本发明实施例提供的方法，为多核处理器上的每一个程序提供性能干扰模型，对程序运行在多核处理器中受到的性能干扰进行量化，避免了相互干扰较为大的程序运行在同一多核处理器中，确保了程序在多核处理器中运行时的最优性能。
-
公开(公告)号：CN104243531A
公开(公告)日：2014-12-24
申请号：CN201310248208.0
申请日：2013-06-21
Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
Abstract: 本发明公开了一种数据处理的方法，包括：根据每个数据处理节点上报的已处理数据的数据量确定所述每个数据处理节点的处理数据的能力参数；根据所述每个数据处理节点处理数据的能力参数，制定对已分配给所述每个数据处理节点的待处理数据的调整策略；向所述每个数据处理节点中的至少一个数据处理节点发送数据迁移指令，所述数据迁移指令中携带所述调整策略，以使所述至少一个数据处理节点根据所述调整策略调整所述待处理数据。本发明实施例提供的方法，可以动态均衡每个数据处理节点的数据分配量，尽量避免数据处理能力强的节点窃取数据处理能力弱的节点的数据，从而降低了网络拥堵。
-
公开(公告)号：CN101216774B
公开(公告)日：2012-09-05
申请号：CN200810055607.4
申请日：2008-01-03
Applicant: 中国科学院计算技术研究所
IPC: G06F9/45
Abstract: 本发明公开了一种使用空闲寄存器类作为快速溢出空间的优化方法。该方法包括下列步骤：计算活跃区间的溢出代价并采用插桩工具以及静态分析汇编代码相结合的方式对应用程序中的溢出代价进行评估；在原有寄存器分配中，为每个应用程序确定合适的访存延迟值；使用静态分析的结果以及新的访存延迟建立代价模型，计算使用空闲寄存器作为快速溢出空间可能带来的收益和代价，并根据计算结果选择是否使用一种使用空闲寄存器类作为快速溢出空间的优化方法。其能够有效缓解溢出带来的负面效应，并且弥补了软件溢出优化方法中访存压力无法有效改善的不足。
-
-
-
-
-
-
-
-
-
Search Results
113
records
(took 0.048 seconds)
