摘要：在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂。

摘要：Xorg图形服务器软件在帧缓存设备上采用单线程绘制模式,难以发挥多核CPU的性能.针对多核CPU上的帧缓存设备,设计了带有互斥操作的任务队列,并按照屏幕划分的方法,实现了Xorg的矩形填充操作在帧缓存设备上基于私有任务队列的多线程并行化,并实现了主从线程负载均衡.x11perf测试结果表明,该算法在一台4核商用台式机上的加速比可以达到2.06.

摘要：麒麟操作系统是高性能、高安全的国产服务器操作系统,自主设计了层次式内核结构,由基本内核层和系统服务层组成。基本内核层负责硬件初始化,并提供基本的存储管理和任务管理,系统服务层基于FreeBSD改进,提供UFS2文件系统和BSD的网络协议。详细阐述了麒麟操作系统层次式内核的结构,然后采用标准的Benchmark对麒麟操作系统进行了基本性能测试,测试结果表明层次式内核结构的麒麟操作系统与宏内核结构的UNIX类操作系统性能相当,最后探讨了麒麟操作系统层次式内核结构的特点和下一步发展思路。

摘要：传统的页面置换算法是针对磁盘组成的存储系统来设计和优化的,而Flash存储设备和磁盘相比有很多新的特性如读、写和擦除操作的I/O开销不对称,因此需要重新设计面向Flash存储的页面置换算法.最近这些算法的研究是个热点,可以把它们分为两类:面向Flash存储的普适性页面置换算法和专门性页面置换算法.普适性页面置换算法的思想是尽量避免置换脏页以减少二级存储设备中的写回操作,如CFLRU,LRU-WSR和APRA,它们只关注操作不对称特性,在各种Flash存储系统中都能保持较高性能.针对Flash存储的特殊应用环境,人们提出了专门性页面置换算法.这些置换算法不仅考虑了Flash存储的特性而且是针对应用的特定信息如写连续,压缩分区等等来设计的,这一类算法包括FAB,CRAW-C等等.好的算法会在保持高命中率和减少置换开销之间寻找平衡,最大程度提高存储设备的整体I/O性能.

摘要：针对山东万福煤矿深厚表土采用冻结法施工的基础数据不足及工程经验欠缺等难题,采集万福煤矿的深部土样,开展深厚表土层冻土力学性能参数的测试与研究。结果表明:在本试验设计的冻结温度下,冻土试样的单轴抗压强度、三轴抗压强度、蠕变应力及冻胀力随着冻结温度的降低均呈现增大的趋势,同时深部表土层的冻土蠕变性质表现尤为明显,含水率和采样深度对冻结壁设计的影响不可忽略。通过对原状土单轴压缩试验、三轴抗压强度试验、单轴蠕变试验、冻胀试验等数据进行多元回归分析,综合考虑冻结温度、含水率和采样深度对冻土试样力学性能的影响,归纳得到的数学模型拟合程度高,相关性好,为深厚表土层冻结壁的设计和在不同地层地质条件下力学参数的确定提供了技术支撑。

摘要：在系统不重启的情况下对操作系统进行缺陷修复对于保障服务器系统的性能、安全和可用性等方面具有重要意义。因传统操作系统并未针对在线更新进行实现,现有在线更新技术不能较好地处理被更新代码正处于"使用中"状态的问题,导致在有些场景下无法进行在线更新。本文针对这一问题,设计了一种用于传统操作系统的代码使用计数动态监测技术,通过将原始函数二进制码替换为与其对等的计数副本,以及修改相关线程的内核栈上返回地址,实现对于被更新代码执行情况的监测,从而发现可进行在线更新的时机。最后,本文基于开源的动态升级软件ksplice验证了上述工作的有效性。

摘要：页迁移技术是实现CC-NUMA存储优化的一种重要策略,它动态开发了数据的局部性。页迁移策略的实现涉及到虚存系统中物理地址到虚拟地址的转换,传统做法需要遍历所有进程的虚拟地址空间,效率低、开销大。针对此问题,本文介绍了一种能够高效实现物理地址到虚拟地址转换的技术——反向页表技术,着重介绍了反向页表的设计、实现和维护方法。

摘要：虚拟磁盘技术是数据存储虚拟化技术的一个重要组成部分。当前,开发新型虚拟磁盘驱动需要涉及到较多的操作系统内核编程,这对开发人员提出了较高的要求。研究了一种通用的虚拟磁盘服务软件的实现框架,此框架可对操作系统内核提供标准块设备接口,对用户态服务进程提供一组标准服务接口用于实现服务的注册和请求/应答的传递,从而实现了操作系统内核模块的通用性。最后,基于Linux的NBD驱动实现的原型系统验证了工作的实用性。

摘要：在图像目标识别和跟踪任务中,连通域标记算法的设计优化主要体现在执行速度、存储空间和逻辑判断次数三个方面,因此提出并实现了一种基于一次逐像素扫描连通域标记的单目标检测算法。算法结合包围盒和单目标图像检测的特点,只需单行的图像缓存空间,同时简化复杂的等价标号替换操作,目标的判断准则为目标图像连通区域面积最大化,最终以包围盒形式给出目标位置。FPGA仿真结果表明:该方法资源占用率小,检测一幅图像的总时钟周期数为M×N×4(M,N分别为图像行列数),适用于单目标图像的实时识别与跟踪。

摘要：在调查目前国内冻结站能耗情况的基础上 ,提出了基于节能的优化设计思想和设计方法 ,建立了适合现场实际的优化设计模型。