一种改进的上下文敏感的过程间指针分析方法

利用包含约束的指针分析法构建局部约束图,以过程调用图为基础,将局部约束图替换过程调用结点来构建全局约束图,并对全局约束图进行相应的调整和更新。采用在线优化与离线优化相结合优化策略,提出一个改进的上下文敏感的过程间指针分析方法。

MPP FORTRAN程序中外部过程调用的多版本技术

在设计ＭｐｐＦｏｒｔｒａｎ并行程序时，若外部过程调用的版本选择不当或哑、实参数的共享、私有类型不匹配，则可能导致程序出错或性能下降。

一种精确的调用图生成技术

调用图是过程间分析和程序自动并行化的基础。生成精确调用图可以进一步开发程序的并行性。此文针对Ｆｏｒｔｒａｎ程序，提出了一项完全消除哑过程，产生精确调用图的技术与相应的算法。该算法已在面向ＭＰＰＦｏｒｔｒａｎ的程序自动并行化工具中实现。

基于RDMA高速网络的高性能分布式系统

高速的RDMA网络设备已经被广泛部署在现代数据中心。RDMA可以从两方面加速分布式系统:首先可以提供一种快速的消息处理机制,其次RDMA提供了新的硬件原语。这极大地提升了处理器的利用率以及对RDMA的使用率,但是需要重新设计系统。介绍了RDMA的研究进展,概述了近年来利用RDMA加速分布式系统的工作,包括基于RDMA重新设计的系统以及如何更好地利用RDMA的设计,并给出了未来的研究方向。