高效能服务器和存储技术国家重点实验室开放基金
- 作品数：69 被引量：231H指数：8
- 相关作者：曾国荪郝水侠钮俊王伟谭一鸣更多>>
- 相关机构：同济大学国家高性能计算机工程技术研究中心教育部更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划上海市卫生系统百名跨世纪优秀学科带头人培养计划更多>>
- 相关领域：自动化与计算机技术电子电信农业科学文化科学更多>>
- 异构重构计算系统应用任务调度的性能分析被引量：1
- 2012年
- 异构重构计算是目前高性能计算的研究热点.由于应用任务的异构性,以及体系结构的可重构性,导致异构重构计算的性能分析非常困难,现有的并行计算性能分析方法不再适用.本文提出一种基于应用任务调度的性能分析方法,该方法以异构重构计算系统模型和应用任务模型为基础,利用异构匹配、重构耦合矩阵,实现应用任务和处理部件的优化选择和耦合匹配,通过调度算法求出应用任务在异构重构计算系统中的完成时间,并进行了实例分析.
- 谭一鸣曾国荪郝水侠
- 关键词：性能分析
- 云计算环境下聚合服务的随机模型检测
- 2012年
- 当前缺乏对聚合云服务正确性、响应时间和费用约束统一进行验证的有效方法。扩展基本工作流模式,增强概率、随机、不确定选择的刻画能力,用于定义聚合云服务的服务流程,将流程定义转换为连续时间Markov回报过程,扩展连续随机回报逻辑CSRL,用以刻画增强行为描述的统一验证属性,给出随机模型检测方法。分析表明,该方法能有效刻画运行时云服务动态行为并对其正确性、可靠性进行验证。
- 钮俊曾国荪
- 关键词：云服务工作流MARKOV过程
- 云存储系统可扩展性评测研究被引量：4
- 2017年
- 云存储系统中管理大规模数据的能力是云存储系统可拓展性的重要组成部分,而超大容量的测试需求是云存储系统可扩展性评测的难点。针对此问题,分别在水平扩展和垂直扩展两个层面提出可扩展性评测方案,设计并实现了可扩展性评测工具——自动精简配置文件系统(thin provisioning file system,TPFS)。TPFS运行在云存储系统中的数据节点提供一定容量的实际存储空间和特定大小的元数据空间,并提供文件系统级别的自动精简配置,以此对云存储系统进行可扩展性评估。实验结果表明,在实际空间仅为40 GB的情况下,TPFS文件系统可以达到8 TB规模的扩展性。
- 张伯阳张晓李阿妮朱岩冰
- 关键词：可扩展性评测
- 云计算中TSP问题求解服务的定价机制被引量：3
- 2011年
- 旅行商问题(TSP)是一个典型的路径优化问题,在城市交通规划、物流运输、通信网络设置等领域都存在类似的问题和应用。但是,TSP问题的求解是NP难的,当问题规模很大时,必须借助大规模并行计算环境,例如云计算平台,以较大的计算开销来获得可行解。以TSP问题为具体实例,研究云计算服务的定价机制。一般情况下,定价机制要满足公平、灵活、动态、自适应。从公平合理角度来看,影响计算服务定价的因素主要有两方面:一是求解问题的难度,包括计算时间复杂性、空间复杂性、输入输出数据规模等;二是求解服务质量,即服务契约,包括可以作为服务等级协定指标的求解精度、响应时间、资源要求等。由此,提出了一种新的云计算中的服务定价机制:CloudPricing。该机制给出了服务定价的一般和具体原则,并给出了相应的定价公式。针对TSP问题求解,进行了具体的定价实例分析,这对云计算中NP难问题求解服务的定价有参考意义。
- 曾栩鸿曾国荪
- 关键词：云计算TSP问题服务等级协定
- 变长存储块Hash树完整性校验方法
- 2011年
- 针对Hash树方法校验存储器完整性代价大的问题，提出了一种新的基于Hash树的检验方法——变长存储块Hash树（VB-HTree）方法。它基于程序访问的局部性特征，按存储块的访问频率将存储器划分为热访问区和冷访问区。在热访问区设置较小尺寸的存储块，在冷访问区设置较大尺寸的存储块，分别建立不同的Hash树。在可信的片内存储区保存Hash树的根结点，以此校验不可信外部内存的数据完整性。对操作代价进行了较为详细的分析，并开展了模拟实验。分析和模拟结果表明，VB-HTree方法优于传统的Hash树方法．是一种可行的内存完整性校验方案。
- 马海峰姚念民范洪博蔡绍滨
- 关键词：完整性校验HASH树重放攻击
- 基于构件使用依赖关系的构件复用可信度计算方法被引量：3
- 2015年
- 在网络构件库中构件数量持续增长的情况下,为解决用户无法从质量参差不齐的海量构件中选取优质构件的问题,提出了一种基于构件使用依赖关系的复用可信度计算方法。该方法将构件库作为证据库,首先,对证据库中的构件依赖信息进行采集整理;接着,定义每一个构件的基本信任函数,在此基础上根据构件依赖信息的不同来源为每一条证据设置不同的可信权重值;然后,通过特定的转换算法将由此获得的结果生成构件最终的可信度。实例分析中,利用该方法评估构件取得的结果值与预想中的一致,且与参考构件的内部与外部质量模型所得出的结论相符,但该方法大大降低了构件可信评估的工作量,提高了评估效率。结果表明该方法能够客观反映构件的可信性,可作为构件库中构件检索的一种可信度量机制,帮助实现构件的优质检索和复用。
- 王燕玲曾国荪
- NS—2下无线节点MAC层帧分段发送实现被引量：1
- 2010年
- NS—2是当前广泛使用的网络模拟器。在NS-2的IEEE802.11实现基础上增加了分段实现,并进行了实验。实验数据表明在网络环境较差的情况下,对大的帧进行分段传输能够有效地提高无线网络的性能。
- 赵建明姚念民
- 关键词：无线网络MAC网络模拟器
- 基于信任模式验证的论述性Web文本可信性判定方法被引量：2
- 2011年
- 互联网中,海量Web信息自由开放,真假有益危害信息混在一起,许多Web文本的内容不可信。如何正确判断Web文本内容的可信性,从而在海量的Web信息中选择有用可信的资源信息,是当前急需解决的问题。提出了一种基于信任模式验证的论述性Web文本可信性判定方法,首先定义论述性Web文本的信任模式并对信任模式进行形式化的描述,然后构建论述性Web文本阅读自动机,最后进行模型检测以判断论述性Web文本是否满足信任模式,并根据检测结果求解Web文本可信度。实验表明该方法具有良好的效果。
- 黄帅彪曾国荪王伟
- 面向异构并行计算系统的流水线式压缩检查点被引量：2
- 2012年
- 在大规模并行计算系统中,并行检查点触发大量结点同时保存计算状态,造成巨大文件存储空间开销,以及对通信和存储系统的巨大访问压力.数据压缩可以缩小检查点文件尺寸,从而降低存储空间开销以及对通信和存储系统的访问压力.但是,它也带来额外的压缩计算开销.本文针对异构并行计算系统,提出流水线式并行压缩检查点技术,采用一系列优化技术来降低压缩引入的计算延时,包括:流水线式双重写缓存队列、文件写操作的合并、GPU加速的流水压缩算法和GPU资源的多进程调度,等等.本文介绍了该技术在天河一号系统中的实现,并对所实现的检查点系统进行综合评测.实验数据表明该方法在大规模异构并行计算系统中是可行、高效、实用的.
- 刘勇鹏王锋卢凯刘勇燕
- 关键词：检查点数据压缩图形处理器
- 基于神经网络的独立程序在单机上运行功耗的预测被引量：1
- 2012年
- 程序运行能耗分析是目前绿色计算、高效能计算的研究热点。由于应用程序自身的复杂性、硬件平台的异构性、环境因素对功耗影响的不确定性,导致很难直接给出程序运行功耗的预测公式,因此提出一种基于神经网络的程序运行功耗预测方法。通过构造一个BP神经网络,以影响程序运行功耗的软件、硬件和环境因素为神经网络的输入,以程序运行功耗和执行时间为神经网络的输出,并选取多个应用领域的典型实用程序来提取相应特征参数,且将其作为训练样本来训练神经网络,从而得到程序功耗预测模型。重复实验表明,提出的功耗预测方法具有合理性和可行性。
- 谭一鸣曾国荪
- 关键词：功耗分析神经网络可执行程序
