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

研究启动：多处理器语言：设计、实现、优化

• 批准号: 8810617
• 负责人: Ronald Olsson
• 金额: $ 5.81万
• 依托单位: University of California-Davis
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-07-01 至 1991-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8810617&HistoricalAwards=false
• 关键词: Research; Initiation; Language; Multiprocessors; Design

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.

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