高可扩展可容错的无网格/粒子程序petaPar及其测试

petaPar 粒子模拟程序面向千万亿次级计算,在统一框架下实现两种广受关注的粒子模拟算法：光滑粒子流体动力学（Smoothed Particle Hydrodynamics,SPH）和物质点法（Material Point Method,MPM)。代码支持多种材料模型、强度模型和失效模型,适合模拟大变形、高应变率和流固耦合问题。支持纯 MPI 和 MPI+X 混合两种并行模型。系统具有可容错性,支持无人值守变进程重启。在Titan 上测试表明,petaPar 可线性扩展到 26 万 CPU 核,SPH 和 MPM 算法并行效率相对 8 192 核分别为 87% 和 90%。     

海量邮件分布式文件系统的设计与实现

本文通过归纳分析已有的分布式系统体系结构,研究并设计了一个针对于海量邮件存储的分布式文件系统.受Google File System架构的启发,针对单个元数据服务器带来的瓶颈问题,提出了多个元数据服务器的解决方案.针对邮件写入格式的特殊性和数据源的多样性,设计并实现了多数据源的相同接口的写入支持,并对写入文件的格式进行压缩和添加sync字段,使整个系统具有更好的I/O性能以及更好的数据完整性.     

分点:无结构对等网络的拓扑关键点

虽然对等网络中的结点在功能上互相平等,但其中某些结点对于覆盖网拓扑却有重要意义.提出了分点概念来描述对等网络的拓扑关键点,这些结点的失效很可能导致覆盖网的分割.设计了一套简单、有效、分布式的分点检测和避免方法.模拟实验的结果表明,该方法可以优化覆盖网拓扑结构,并显著地提高无结构对等网络在动态环境下的容错性.     

一种基于分层率失真优化的容错性视频转码算法

容错性视频转码能够在已压缩视频流中嵌入容错性工具,以增强视频流面向无线信道的抗误码能力.但是容错性工具的嵌入在降低失真的同时也会增加码率,因此需要进行率失真优化.针对这一问题,文中提出了一种基于分层率失真优化的容错性转码算法.该算法通过在帧层和宏块层分别对重同步标记的插人和帧内宏块的刷新进行不同粒度的优化来提高算法的灵活性,通过在帧层考虑帧内宏块刷新、帧内预测和运动矢量预测的影响来提高算法的精确性,通过在宏块层减少候选模式的数量来降低算法的复杂度.实验表明,该算法与基于单层率失真优化的算法相比,信噪比可获得0.6～1.1dB的增益,复杂度最多可降低25%.     

??????????????????????????

星载软件工作环境的特殊性要求其具有高可靠性和容错性.现有软件可靠性低于硬件可靠性,星载软件失效在系统失效中占有很大比例.分析星载软件特点,根据其开发流程,阐述在软件开发各阶段提高其可靠性和容错性的措施.实践结果证明,此类容错技术是必要且有效的.     

容错的网络声明式程序

介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.     

Research of Grid Middleware Based on P-S

Study the technology of grid middleware based on P-S, and illustrates the interrelated-technical question in details,such as term-matching, location-transparency and fault-tolerance., so get better availability, flexibility and extendibility of the application.     

RAID硬盘的拯救经验

RAID(Redundant Array of Independent Disks)，中文叫做磁盘阵列。简单的解释就是将N台硬盘透过RAID Controller(分为硬件和软件)，虚拟成一台大容量的硬盘使用，其特色就是N台硬盘同时读取速度加快及提供容错性Fault Tolerant．所以RAID是当成平时主要访问数据的介质不是用来做备份的(Backup Solution)。