Topics in Concurrent Programming

并发编程主题

• 批准号: 8701516
• 负责人: Gregory Andrews
• 金额: $ 45.34万
• 依托单位: University of Arizona
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-08-01 至 1991-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8701516&HistoricalAwards=false
• 关键词: Topics; Concurrent; Programming

This project addresses several related topics in the design and use of concurrent program languages. First, the implementation of the latest version of the SR distributed programming language is being polished so it can be acquired and used by interested parties. Second, various extensions to the language and its implementation are being examined. Specific topics include providing facilities to link new programs into an executing SR program, providing efficient support for data abstraction, developing a stand-alone implementation, and implementing a powerful macro-processor to facilitate experimentation with new language mechanisms. Third, aspects of fault-tolerant programming are being investigated. This work includes developing, implementing, and experimenting with language mechanisms to handle the asynchronous nature of processor failures; and devising analytical techniques for determining the performance of fault-tolerant programs. Fourth, work is continuing on the MLP system for constructing distributed mixed- language programs. The focus here is on adding concurrency to the system by including SR as one of the supported languages, developing distributed applications using MLP, and extending the system to include additional sequential languages. Fifth, ways are being examined to extend SR to provide support for parallel programming; specific topics include providing global, shared operations and providing mechanisms for group communication. The final topic being explored is the development of paradigms for systematically solving distributed and parallel programming problems. It is expected that this research will lead to significant improvements in our understanding of language support issues for building concurrent systems.

该项目解决了并发程序语言的设计和使用中的几个相关主题。 首先，SR分布式编程语言最新版本的实现正在完善中，以便感兴趣的各方可以获取和使用。 其次，正在研究该语言的各种扩展及其实现。 具体主题包括提供将新程序链接到正在执行的 SR 程序的设施、为数据抽象提供有效支持、开发独立实现以及实现强大的宏处理器以促进新语言机制的实验。 第三，正在研究容错编程的各个方面。 这项工作包括开发、实现和试验语言机制来处理处理器故障的异步性质；设计用于确定容错程序性能的分析技术。 第四，用于构建分布式混合语言程序的 MLP 系统的工作仍在继续。 这里的重点是通过将 SR 作为支持的语言之一、使用 MLP 开发分布式应用程序以及扩展系统以包含其他顺序语言来增加系统的并发性。 第五，正在研究扩展SR以提供对并行编程的支持的方法；具体主题包括提供全局、共享操作以及提供群组通信机制。 正在探索的最后一个主题是系统地解决分布式和并行编程问题的范例的开发。 预计这项研究将显着提高我们对构建并发系统的语言支持问题的理解。