Research Initiation: A Language for Multiprocessors: Design, Implementation, Optimization

本项目的目标是审查用于编程多处理器系统的语言的设计和实现问题。本项目的重点是SR语言，它最初是为分布式系统编程而开发的。这项研究将研究如何修改SR以支持共享内存多处理器体系结构中的编程。计划通过允许全局或在资源规范中声明变量和操作来扩展SR以利用共享内存。前者将提供真正的全局共享变量和操作；后者将提供特定于资源实例的共享对象。还将研究支持多处理器编程的其他语言功能。修改后的语言的实施将建立在当前SR实施的基础上；它将提供关于语言功能的重要反馈。实施工作将研究在多处理器环境中可能采用的几种优化；例如，昂贵的进程集合可能被较便宜的信号量或监视器操作所取代。将使用过程间分析技术来确定可优化代码。这项研究将确定什么语言机制最适合支持多处理器编程，证明这种机制可以合理有效地实现，并为进一步研究并发编程提供一个有用的工具。

The objective of this project is to examine design and implementation issues in languages intended for programming multiprocessor systems. The focus of this project is the SR language, which was originally developed for programming distributed systems. The research will study how to modify SR to support programming in shared memory multiprocessor architectures. It is planned to extend SR to exploit the shared memory by allowing variables and operations to be declared globally or in the specification of a resource. The former would provide truly global shared variables and operations; the latter would provide resource instance-specific shared objects. Other language features to support multiprocessor programming will also be investigated. The implementation of the modified language will build on the current SR implementation; it will provide important feedback on the language features. The implementation work will investigate several optimizations that might be employed in the mutiprocessor environment; e.g., expensive process rendezvous might be replaced by less expensive semaphore or monitor operations. Interprocedural analysis techniques will be used to identify optimizable code. The research will identify what language mechanisms are most appropriate to support multiprocessor programming, demonstrate that such mechanisms can be implemented reasonably efficiently, and provide a usable tool for further investigations into concurrent programming.