虚拟共享存储系统中核外计算的实现

本文提出了在虚拟共享存储系统中实现核外计算的方法 ,对如何把核外计算与共享存储编程环境相结合进行了详细的讨论 ,提出了核外化页面表的概念 ,给出了相应的数据结构描述 ;同时 ,举例说明这种实现方法的优越性 ,并提出了实现过程中的一些优化方法。。

面向共享虚拟存储系统的编译支持的通信优化技术

当前的面向消息传递的自动并行编译器由于各种原因 ,只能支持极有限的一类数据并行应用程序 .共享虚拟存储系统 SVM和面向共享存储的编译技术的相结合有效地解决了这一问题 ,使得编写并行应用程序变得十分容易 ,而且易于移植 .然而 ,研究表明通信是影响基于 SVM的应用程序性能的主要因素之一 .在文中 ,针对底层SVM的特性 ,提出了页面对齐、软流水等编译支持的通信优化技术 .在 SVM系统 JIAJIA的平台上实现了制导辅助的自动编译器 Autopar4Jia Jia,用它对标准测试程序包 NAS进行了测试 ,实验结果表明编译支持的通信优化技术对于提高运行在

SVM操作系统级实现研究

研究ＳＶＭ系统在操作系统级实现时受到的影响以及会得到改进的方面．对ＳＶＭ系统的关键技术和Ｌｉｎｕｘ内核进行了详细分析，在此基础上给出实验方案，在最新完成的一个ＳＶＭ系统上进行实验、分析并得出结论．

线程一致性模型及其实现

在虚拟分布式共享存储系统(SVM)中,为了保证程序在分布式环境下正确运行,维护存储一致性是关键问题之一。本文提出了一种全新的一致性模型——线程一致性模型(TC),并阐述了基于TC模型的虚拟分布式共享存储系统MTK的实现。线程一致性模型从操作系统内核的角度出发,把程序执行过程中的同步点与线程状态结合起来考虑存储一致性问题,有利于数据局部性的开发。另外,多线程体系结构的一个显著优势就是能把计算和通信重叠起来,从而有效地隐藏通信延迟。在内核级实现线程一致性模型时,线程及同步原语(锁、栅栏)都维护一个写记录,同时定义了同构唤醒线程簇。