Concurrent Programming Language Support for Invocation Handling: Design and Implementation

对调用处理的并发编程语言支持：设计和实现

• 批准号: 9527295
• 负责人: Ronald Olsson
• 金额: $ 11.09万
• 依托单位: University of California-Davis
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-09-01 至 1999-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9527295&HistoricalAwards=false
• 关键词: Concurrent; Programming; Language; Support; Invocation

This project examines new language mechanisms for accessing message invocations in message passing based concurrent programming languages. Current mechanisms for invocation selection control, including those that allow invocation parameters to be examined, are not expressive enough. In particular, they do not provide a simple and efficient way to examine pending invocations of an operation or allow the selection decision to be based on more than just a single invocations parameters. Examining invocations and performing cross-invocation or cross-operation selection are important in a number of real applications, including debugging, visualization, and scheduling algorithms. Using current mechanisms to solve these problems results in cumbersome and inefficient code. This project involves a mix of conceptual, design, implementation, and evaluation work. To make the work concrete, the new language mechanisms are being defined and implemented as extensions to the SR concurrent programming language. The results of the qualitative and quantitative evaluations are being used to refine the semantics and implementations of the new language mechanisms. ***

这个项目研究了在基于消息传递的并发编程语言中访问消息调用的新语言机制。当前用于调用选择控制的机制，包括那些允许检查调用参数的机制，不具有足够的表现力。具体地说，它们没有提供一种简单而有效的方法来检查操作的挂起调用，也不允许选择决策基于不止一个调用参数。检查调用并执行交叉调用或交叉操作选择在许多实际应用程序中都很重要，包括调试、可视化和调度算法。使用当前的机制来解决这些问题会导致繁琐和低效的代码。该项目涉及概念、设计、实施和评估工作。为了使工作具体化，新的语言机制被定义和实现为SR并发编程语言的扩展。定性和定量评价的结果正被用来改进新语言机制的语义和实施。***