Distributed Shared Memories: Specification, Programming and Implementation

该项目将重点关注不同类型的分布式共享内存的规范、编程和实现。将开发证明技术和编程方法来处理这些定义中的复杂性。在一定条件下，用这些弱记忆进行编程与在更熟悉的顺序域进行编程具有相同的净效果。开发的方法将支持程序设计和验证的后验和先验方法。本文将实现分布式共享内存的测试平台。该测试平台将在并行机和高性能局域网的异构环境中运行，并将用于实验来自科学，数据库和数字图书馆领域的协议和应用程序。该测试平台还将支持共享内存和架构的分布式模拟。

The project will focus on the specification, programming, and implementation of different kinds of distributed shared memories. Proof techniques and programming methodologies will be developed for dealing with the complexities in these definitions. Conditions will be developed under which programming with these weak memories has the same net effect as programming in the more familiar sequential domain. The developed methodologies will support both a posteriori as well as a priori approaches towards program design and verification. A testbed for distributed shared memories will be implemented. This testbed will function in a heterogeneous environment of a parallel machine and a high- performance local area network, and will be used for experimenting with protocols and applications from the scientific, database, and digital libraries domain. The testbed will also support distributed simulation of shared memories and architectures.