摘要：网络存储技术在方便数据共享的同时带来了新的安全隐患,加密文件系统通过密码学方法保证存储在不受用户直接控制的服务器上的文件数据的机密性和完整性.现有的针对共享加密文件系统的密钥管理方法不能同时满足安全性、灵活性和高效性的需求.该文提出了加密文件系统GKS-CFS.引入可信的组密钥服务器(GKS)集中管理文件加密密钥,GKS上可以实施灵活的访问控制策略.通过使用访问控制块和锁盒子,降低了对GKS的计算和存储需求,使之可以用硬件实现来增强安全性;通过文件数据的分块加密和密钥版本技术,降低了权限撤销的开销.作者在Lustre上实现了GKS-CFS的原型系统并进行了测试.测试结果表明,由于避免使用了公钥密码算法,和其他系统相比,GKS-CFS的普通文件操作中的密码学操作开销减少了一个数量级,顺序读写和随机文件操作的性能分别平均降低了42.0%和8.4%.

摘要：针对容错计算领域中由于引入了相异性设计概念,导致传统软件失效模式难以应用的问题,提出了一个用于分析相异性容错软件故障的模型。模型根据各类软件设计故障对系统可靠性的影响,精确定义了相异性容错软件系统中故障的范畴及其划分、以及与系统失效之间的关联关系,在此基础上建立了一个基于功能的故障模型,以描述相异性软件系统的可靠性关系。通过一个通用相异性软件系统为实例,应用故障模型分析了系统可靠性关联关系,建立了与之相对应的故障模式及其可靠性模型,验证了故障模型的实用性。

摘要：随着Web的迅猛发展,许多用户开始关注如何有效跟踪特定网站和页面的更新情况.介绍一个基于Intranet的Web页面跟踪系统.该系统采用动态跟踪调度算法DSA;利用线程池技术提高带宽利用率;设计了一套分布式信息存储机制;并实现及时的信息分发.

摘要：长短期记忆(long short-term memory,LSTM)网络是一种循环神经网络,其擅长处理和预测时间序列中间隔和延迟较长的事件,多用于语音识别、机器翻译等领域.然而受限于内存带宽的限制,现今的多数神经网络加速器件的计算模式并不能高效处理长短期记忆网络计算;而阻变存储器交叉开关结构能够以存内计算形式完成高效、高密度的向量矩阵乘运算,从而成为一种高效处理长短期记忆网络的极具潜力的加速器设计模式.研究了面向阻变存储器的长短期记忆神经网络加速器模拟工具以及相应的神经网络训练算法.该模拟工具能够以时钟驱动的形式模拟设计者提出的以阻变存储器交叉开关结构为核心加速部件的长短期记忆加速器微体系结构,从而进行设计空间探索;同时改进了神经网络训练算法以适应阻变存储器特性.这一模拟工具基于System-C实现,且对于核心计算部分实现了图形处理器加速,可以提高阻变存储器器件的仿真速度,为探索设计空间提供便利.

摘要：与现有的分布式文件系统的惯例———把数据高可用性的实现融合在文件系统中———不同 ,设计了一个数据高可用性子系统 (datahighavailabilitymodule ,DHAM ) ,用于为分布式文件系统提供数据高可用性支持 设计子系统的基本指导思想是把文件系统的高可用性实现从文件系统中抽取出来 ,作为一个单独的模块来实现 ,弱化它与文件系统其他部分之间的耦合性 ,使得二者之间仅仅有简单的接口关系 目的是使文件系统的设计更加模块化 ,并且便于对文件系统的容错这一主题进行专门的研究 DHAM已经成功地用于本研究所自行开发的分布式文件系统Clufs中 ,为其提供了数据高可用性支持 最后给出了模块的功能及性能测试结果 ,并对采用此模块前、后系统的出错概率进行了理论分析 .

摘要：多媒体及高速网络技术的发展,大大扩展了应用的需求,很多应用不仅具有实时特性,还要求系统提供丰富的服务和可扩展能力。该文设计开发出一种混合实时操作系统——KLinux。KLinux基于开源Linux,在内核架构、混合实时调度,以及错误处理等方面进行了改造。实验结果表明:改进后Linux内核在任务调度、上下文切换、CPU运算等方面的实时性能分别提高了253%、177%、255%,同时支持内核态实时应用和用户态非实时应用的双态混合开发,可满足当前绝大多数应用的需求。

摘要：为了保证大规模集群系统的可靠性和可用性,设计并实现了一个面向集群消息传递并行程序的容错系统。该系统采用检查点设置与卷回恢复技术,提出了基于内存排除的退出重进入并行环境策略,实现了对用户程序完全透明的容错功能、进程迁移以及系统自动重构。实验结果表明:检查点设置和系统恢复开销小于10%,符合大规模并行程序容错功能的要求。该系统提高了集群系统的可靠性和可用性,其设计结构和实现方法可以方便地移植到其他消息传递系统。

摘要：介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够单独或同时进行调试,并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行,具有较好的实用性。

摘要：访问控制是系统安全的重要技术。RBAC(基于角色的访问控制模型)是目前受到广泛关注的访问控制模型,但在大型应用系统中操作烦琐。分析了RBAC的不足之处,提出了基于角色与组织的访问控制模型ORBAC。该模型是对RBAC的扩展,它通过定义组织结构及其权限,减少了角色的数量,从而降低了应用系统访问控制的复杂程度。

摘要：PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论PARLOG单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。