国家高技术研究发展计划(2008AA01A309)
- 作品数：10 被引量：53H指数：5
- 相关作者：吴海佳陈卫卫刘鹏董继光田浪军更多>>
- 相关机构：解放军理工大学中国矿业大学空军工程大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- O'Caml泛型编程中“泛型抽象”的研究
- 2013年
- 泛型编程旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。泛型编程可以使算法与数据结构完全分离,极大提高了程序的灵活性。在O'Caml语言中已经实现了类型标记函数和泛型函数,但泛型函数的类型参数只能是基本类型或实例化类型,不能使用抽象类型。"泛型抽象"是指使用抽象类型作为类型参数的函数定义方法,实现了"泛型编程"类型参数的多样化。文中在O'Caml语言上进行"泛型抽象"的研究,根据规则对O'Caml语言语法进行扩展,并在O'Caml语言中实现了"泛型抽象"函数定义。
- 王朋徐健于尚超
- 关键词：泛型编程函数式程序设计
- MassCloud云存储系统构架及可靠性机制被引量：16
- 2011年
- 为了解决分布式存储系统的存储容量、可靠性以及效率问题,首先提出了高可靠性海量云存储系统MassCloud的分层体系结构,并在此构架的基础上提出了基于纠删码机制的快速编解码算法——双表法,以及基于纠删码、副本冗余和RAID技术相结合的MassCloud可靠性保证策略,并且进行了测试与分析.结果表明:双表法具有较高的编解码效率,在广域网环境下不会成为性能瓶颈;MassCloud采用4组(8块硬盘)作为每个低功耗存储节点包含的硬盘数,云存储站点层采用3个副本,分布式环境下冗余倍数取2,文件分块数取8,能够保证系统整体可靠性在0.99以上.
- 马玮骏吴海佳刘鹏
- 关键词：纠删码
- 基于RS纠删码的信息分散算法被引量：3
- 2010年
- 利用基于RS纠删码的信息分散算法可构建高顽存的分布式存储系统。RS纠删码的编/译码速率是衡量其可用性的一个重要指标。对RS纠删码的纠删原理进行了理论分析,讨论了编/译码运算所在的伽罗瓦域,基于伽罗瓦域算术运算的特征设计了双表法以提高编/译码速率。最后对该信息分散算法的效率进行了理论分析和实验测试。测试结果表明,该信息分散算法可提供18 Mbps的编/译码速率,基于该测试结果分析了基于RS纠删码的信息分散算法的适用环境,指出信息分散算法未来的研究方向。
- 吴海佳陈卫卫
- 关键词：伽罗瓦域分布式存储
- 大规模云存储系统副本布局研究被引量：8
- 2012年
- 在基于副本冗余机制的大规模云存储系统中,以往的副本布局算法只能部分地满足副本布局中高可靠、高可扩展并且高效的要求,针对这一问题,提出了一种基于分组和一致性哈希的副本布局算法。首先,将关联性高的存储节点进行分组;然后,通过改进的一致性哈希算法将同一数据对象的多个副本分别分配到不同分组中;最后,再通过改进的一致性哈希算法将分配到各分组的数据副本放置在组内对应的存储节点上。理论分析可知,该方法大大提高数据的可靠性。仿真结果表明,该算法能满足副本布局的均衡性、自适应性要求,并能在几十微秒内完成副本定位。
- 董继光陈卫卫田浪军吴海佳
- 关键词：可靠性
- 基于改进喷泉码的高可用性数据冗余方案被引量：5
- 2010年
- 分析线性喷泉码、改进的LT码和Raptor码,研究预编码技术,阐述基于RS码的改进型Raptor码技术。该技术能克服LT码解码代价不固定的缺点,具有解码率高、抗删除能力强等优点,适合处理数据网络传输的安全问题和数据的高可用性问题。仿真结果表明,改进型Raptor码较LT码在相同编码冗余度下提高了可译码概率,在一定可译码概率下降低了编码冗余度要求。
- 徐公华张申刘鹏
- 关键词：喷泉码LT码RAPTOR码冗余
- 基于动态副本技术的云存储负载均衡研究被引量：9
- 2012年
- 以系统总响应时间最小化为目标,以文件热度为依据,提出了一种多时间窗负载均衡策略。在计算文件热度时,不仅考虑了访问的次数和大小,还将I/O访问时序引入到文件热度统计中,该方法能有效控制短时间突发性数据访问导致的不必要副本创建。在多时间窗负载均衡策略中,设置了三种不同大小的时间窗口,分别实现了存储节点负载均衡、文件副本的负载均衡以及低热度文件多余副本的删除工作。实验数据表明,多时间窗负载均衡策略能显著降低I/O访问响应时间。
- 董继光陈卫卫吴海佳田浪军
- 关键词：负载均衡副本
- 正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化被引量：2
- 2010年
- 针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了正则表达式和有穷自动机在描述能力上的等价性,即:在同一有限字母表下,对任意正则表达式,都存在一个有穷自动机,使得二者描述的语言相同;反之亦然。通过分析与证明,表明采用机器辅助定理证明系统,对计算理论传统核心领域之一的自动机理论进行分析和证明是可行的。
- 吴春寒张兴元贺汛
- 关键词：正则表达式有穷自动机形式化验证
- 分布式存储中文件分割的最优化模型被引量：5
- 2010年
- 在分布式存储中,由于网络与存储节点的不稳定性,会导致文件存储过程失败。通过对文件进行适当的分割存储可以提高文件存储过程成功的概率。建立了网络存储节点可用性概率模型和文件块网络存储成功的概率模型,给出了文件分割存储策略,比较了在不同分割粒度下文件网络存储成功的概率,提出了分布式存储中文件分割的最优化模型,通过该模型可计算出大小为X的文件进行分布式存储时最优的分割块数。该模型对大文件的分布式存储具有一定的参考价值。
- 陈卫卫吴海佳胥光辉
- 关键词：分布式存储
- 存储网格中数据高可靠获取的新编码方案
- 2010年
- 为了保证存储网格中数据的高可获取性,提出了一种对数据资源进行RS编码和LT编码级联的新方法,使RS码和LT码互相促进,同时实现纠删和纠错,这是单独采用两种编码都无法达到的。仿真结果表明,RS-LT级联编码可提高LT码译码成功概率,能够以较小的系统代价大幅度提高数据的可获取性。
- 徐公华邓善征杨军
- 关键词：存储网格数据获取级联编码
- 云存储系统中基于更新日志的元数据缓存同步策略被引量：6
- 2011年
- 在云存储系统中使用客户端元数据缓存,不仅可以减轻元数据服务器的压力,避免元数据服务器成为系统瓶颈,提高系统的可扩展性,而且可以降低客户端元数据操作的响应延迟,极大地提高客户端IOPS性能。本文对云存储系统客户端元数据缓存同步机制进行研究,提出了基于更新日志的元数据缓存同步策略,利用该策略替代了MassCloud云存储系统原先的元数据缓存完全同步策略。测试结果表明,新的缓存同步策略给MassCloud云存储系统带来了20～140倍的性能提升。
- 吴海佳陈卫卫刘鹏董继光
