检索结果-维普期刊中文期刊服务平台

数据中心网络高效数据汇聚传输算法被引量：8: 1; 作者陆菲菲郭得科 +2 位作者方兴谢向辉罗兴国《计算机学报》 EI CSCD 北大核心 2016年第9期1750-1762,共13页; 在数据中心中,类MapReduce的分布式计算系统在数据的混洗阶段产生巨大流量,令数据中心的东西向网络资源成为瓶颈.将这些高度相关的数据流在接收端进行聚合是分布式计算的通用处理方式,为了降低网络通信量并有效利用带宽,文中采用网内关... 展开更多; 关键词数据中心数据汇聚网内聚合混洗传输 incast树; 在线阅读下载PDF 职称材料

数据中心内Incast流量的网内聚合研究被引量：3: 2; 作者郭得科罗来龙 +2 位作者李妍胡智尧任棒棒《计算机研究与发展》 EI CSCD 北大核心 2016年第1期53-67,共15页; MapReduce等分布式计算系统应用在数据中心内产生了严重的东西向流量,其中以incast和shuffle为代表的关联性流量占相当大的比重,进而严重影响到上层应用的性能.这促使研究者们考虑在这些关联性流量的网内传输阶段尽可能早而不是仅在流... 展开更多; 关键词网内聚合数据中心 incast传输 shuffle传输网络流量; 在线阅读下载PDF 职称材料

异步DVE系统中生命周期约束下的因果一致性控制方法研究被引量：2: 3; 作者周航军张伟 +1 位作者彭宇行李思昆《计算机研究与发展》 EI CSCD 北大核心 2011年第9期1768-1780,共13页; 分布式虚拟环境是模拟现实世界的虚拟空间,对因果一致性控制具有实时性要求,必须在事件生命周期结束前得到维护.然而,在大规模网络条件下,网络传输高延迟和动态性会导致部分事件不能及时到达,使已传到事件间因果关系无法在生命周期限制... 展开更多; 关键词分布式大规模虚拟环境生命周期限制因果一致性因果控制信息异步时钟; 在线阅读下载PDF 职称材料

含有析取语义循环的不变式生成改进方法被引量：4: 4; 作者潘建东陈立前 +2 位作者黄达明孙浩曾庆凯《软件学报》 EI CSCD 北大核心 2016年第7期1741-1756,共16页; 抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显... 展开更多; 关键词抽象解释抽象域不变式析取语义循环分解; 在线阅读下载PDF 职称材料

基于求解开销预测的符号执行搜索策略研究被引量：2: 5; 作者刘经德陈振邦王戟《计算机研究与发展》 EI CSCD 北大核心 2016年第5期1086-1094,共9页; 符号执行中约束求解所占的时间比例非常高.同时,不同复杂度约束的求解时间开销差距悬殊,这一现象在对包含复杂数值计算的程序进行符号执行时尤为明显.在指定时间内求解更多约束有利于覆盖更多语句和探索更多路径.为此,提出了基于求解开... 展开更多; 关键词符号执行约束求解加权随机搜索缺陷查找语句覆盖; 在线阅读下载PDF 职称材料

题名数据中心网络高效数据汇聚传输算法被引量：8: 1; 作者陆菲菲郭得科方兴谢向辉罗兴国; 机构数学工程与先进计算国家重点实验室解放军信息工程大学国家数字交换系统工程技术研究中心信息系统工程国防科技重点实验室(国防科学技术大学); 出处《计算机学报》 EI CSCD 北大核心 2016年第9期1750-1762,共13页; 基金国家"九七三"重点基础研究发展规划项目青年科学家专题项目(2014CB347800) 国家自然科学基金优秀青年基金(61422214) +1 种基金国家自然科学基金(91430214) 国家"八六三"高技术研究发展计划项目基金(2013AA01A213)资助; 文摘在数据中心中,类MapReduce的分布式计算系统在数据的混洗阶段产生巨大流量,令数据中心的东西向网络资源成为瓶颈.将这些高度相关的数据流在接收端进行聚合是分布式计算的通用处理方式,为了降低网络通信量并有效利用带宽,文中采用网内关联性流量的汇聚传输策略,将混洗和汇聚并行化,达到进一步降低东西向网络资源消耗、缩短混洗阶段延迟的目的.目前提出的IRS-based算法在适用场景上有一定局限性,为了解决这一问题,文中首先在以服务器为中心的代表结构BCube上建立incast最小树模型,分别提出MIB-based算法和MC-based算法,仅根据已知拓扑结构和发送节点编号即可快速生成一棵近似的最小代价incast树.MIB-based算法针对发送节点强关联的情况,使高层发送节点尽可能汇聚到已有的低层发送节点构建incast树;MC-based算法针对发送节点松散关联的情况,将节点进行最大程度上的聚合,通过增加最少的汇聚点完成incast树的构建.随后将上述两种算法结合起来进一步提出适用于各种场景的M2-based算法,通过推算时间复杂度证明该算法能够满足在线构建incast树的需求.最后,详细分析了M2-based算法对其他数据中心网络结构的适应性以及网内汇聚传输能够减少作业完成时间的原理.小规模实验结果表明,在不同网络规模下,M2-based比IRS-based节省了网络中约3%的数据量,整个作业在混洗和Reduce阶段的等待时间比不采用网内汇聚缩短约2/3;在不同传输节点规模下,M2-based比IRS-based节省了网络中约19%的数据量,整个作业在混洗和Reduce阶段的等待时间比不采用网内汇聚缩短约3/4.; 关键词数据中心数据汇聚网内聚合混洗传输 incast树; Keywords data center data aggregation in-network aggregation shuffle transfer incast tree; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名数据中心内Incast流量的网内聚合研究被引量：3: 2; 作者郭得科罗来龙李妍胡智尧任棒棒; 机构信息系统工程国防科技重点实验室(国防科学技术大学); 出处《计算机研究与发展》 EI CSCD 北大核心 2016年第1期53-67,共15页; 基金国家自然科学基金优秀青年科学基金项目(61422214)~~; 文摘 MapReduce等分布式计算系统应用在数据中心内产生了严重的东西向流量,其中以incast和shuffle为代表的关联性流量占相当大的比重,进而严重影响到上层应用的性能.这促使研究者们考虑在这些关联性流量的网内传输阶段尽可能早而不是仅在流量的接收端进行流间数据聚合.首先以新型数据中心网络结构为背景讨论流间数据聚合的可行性和增益,为最大化该增益,为incast传输建立最小代价树模型.为解决该模型,提出了2种近似的incast树构造方法,其能够仅基于incast成员的位置和数据中心拓扑结构生成一个有效的incast树,进一步解决了incast树的动态和容错问题.最后,采用原型系统和大规模仿真的方法评估了incast流量的网内聚合方法,实验结果证明该方法能大幅降低incast流量造成的传输开销,能节约数据中心的网络资源.同时,提出的模型和解决方法也适用于其他类型的数据中心网络结构.; 关键词网内聚合数据中心 incast传输 shuffle传输网络流量; Keywords in-network aggregation data centers incast transfer shuffle transfer network transfer; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名异步DVE系统中生命周期约束下的因果一致性控制方法研究被引量：2: 3; 作者周航军张伟彭宇行李思昆; 机构国防科技重点实验室(国防科学技术大学) 湖南财政经济学院信息管理系国防科学技术大学计算机学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2011年第9期1768-1780,共13页; 基金国家“九七三”重点基础研究发展计划基金项目(2011CB302601) 湖南省自然科学杰出青年基金项目(S2010J5050); 文摘分布式虚拟环境是模拟现实世界的虚拟空间,对因果一致性控制具有实时性要求,必须在事件生命周期结束前得到维护.然而,在大规模网络条件下,网络传输高延迟和动态性会导致部分事件不能及时到达,使已传到事件间因果关系无法在生命周期限制内有效传递.在现有方法中,部分方法基于所有事件一定能及时传到的假设,没有考虑生命周期对因果关系的制约;而另一部分方法虽然考虑了生命周期的约束,但其因果关系传递要求仿真时钟精确同步,且因果控制效率随系统规模的扩大而快速降低,限制了虚拟环境的普适性和实时性.提出了生命周期约束下的因果一致性控制方法LCO,突破了异步时钟间的时间值比较、多路径因果控制信息选择的终止条件、网络状况敏感的因果控制信息动态调节等关键技术,能够在事件无法及时传到时,仍可以根据已传到的事件计算出因果传递关系.实验证明,LCO既能维护生命周期内的因果一致性,又使因果控制信息量与系统规模无关,降低网络传输和计算开销.; 关键词分布式大规模虚拟环境生命周期限制因果一致性因果控制信息异步时钟; Keywords large-scale distributed virtual environment lifetime-limited causal order consistency causal order control information asynchronous clock; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名含有析取语义循环的不变式生成改进方法被引量：4: 4; 作者潘建东陈立前黄达明孙浩曾庆凯; 机构计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院); 出处《软件学报》 EI CSCD 北大核心 2016年第7期1741-1756,共16页; 基金国家自然科学基金(61170070 61572248 +3 种基金 61431008 61321491) 国家科技支撑计划(2012BAK26B01) 国家高技术研究发展计划(863)(2011AA1A202)~~; 文摘抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理.; 关键词抽象解释抽象域不变式析取语义循环分解; Keywords abstract interpretation abstract domain invariant disjunctive semantics loop decomposition; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于求解开销预测的符号执行搜索策略研究被引量：2: 5; 作者刘经德陈振邦王戟; 机构国防科学技术大学计算机学院 [ 并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院); 出处《计算机研究与发展》 EI CSCD 北大核心 2016年第5期1086-1094,共9页; 基金国家"九七三"重点基础研究计划基金项目(2014CB340703) 国家自然科学基金项目(61120106006 +1 种基金 61472440 61272140)~~; 文摘符号执行中约束求解所占的时间比例非常高.同时,不同复杂度约束的求解时间开销差距悬殊,这一现象在对包含复杂数值计算的程序进行符号执行时尤为明显.在指定时间内求解更多约束有利于覆盖更多语句和探索更多路径.为此,提出了基于求解开销预测的符号执行搜索策略.基于实验总结出了度量约束复杂度的经验公式,并结合约束的历史求解开销来预测当前的求解开销,从而在符号执行过程中优先探索求解开销较小的路径.在KLEE中实现了上述搜索策略,并对GNU科学计算库(GSL)中的12个模块进行了实验.实验结果表明,相比现有搜索策略,提出的搜索策略在保证语句覆盖率的同时,可以探索更多的路径(平均24.34%提高);而且,在相同时间内,可以查找出更多的软件缺陷,同时查找出相同缺陷的时间开销平均降低了44.43%.; 关键词符号执行约束求解加权随机搜索缺陷查找语句覆盖; Keywords symbolic execution constraint solving weighted random search bug finding statement covering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	数据中心网络高效数据汇聚传输算法	陆菲菲郭得科方兴谢向辉罗兴国	《计算机学报》 EI CSCD 北大核心	2016	8	在线阅读下载PDF 职称材料
2	数据中心内Incast流量的网内聚合研究	郭得科罗来龙李妍胡智尧任棒棒	《计算机研究与发展》 EI CSCD 北大核心	2016	3	在线阅读下载PDF 职称材料
3	异步DVE系统中生命周期约束下的因果一致性控制方法研究	周航军张伟彭宇行李思昆	《计算机研究与发展》 EI CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
4	含有析取语义循环的不变式生成改进方法	潘建东陈立前黄达明孙浩曾庆凯	《软件学报》 EI CSCD 北大核心	2016	4	在线阅读下载PDF 职称材料
5	基于求解开销预测的符号执行搜索策略研究	刘经德陈振邦王戟	《计算机研究与发展》 EI CSCD 北大核心	2016	2	在线阅读下载PDF 职称材料