CAREER: On Mutualism of Modularity and Concurrency Goals

职业：模块化和并发目标的互惠性

• 批准号: 0846059
• 负责人: Hridesh Rajan
• 金额: $ 42.5万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-07-01 至 2016-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0846059&HistoricalAwards=false
• 关键词: CAREER; Mutualism; Modularity; Concurrency; Goals

This project focuses on the problem of making concurrent programs easier to write correctly and to implement efficiently. Modularity promotes ease of understand and maintainability, but modularity is often at odds with the discovery and exploitation of concurrency needed to get high performance while avoiding undesirable interactions and race conditions. To approach this problem, this project is developing a novel language, Panini, in which events are first-class objects which can be analyzed to plan concurrent executions. The objective is to reconcile modularity and concurrency goals so that modular designs are naturally more amenable to concurrency. Panini will be evaluated in terms of its ability to support program modularity and performance on publicly available versions of large open-source software projects on multi-core processors use. The broader impacts are to make software more reliable, maintainable, and at the same time faster. Considering that software systems are essential elements of today's society, better and faster software will directly impact society.

该项目的重点是使并发程序更容易正确编写和高效实现。 模块化促进了易于理解和可维护性，但模块化通常与发现和利用并发性相矛盾，并发性需要获得高性能，同时避免不良的交互和竞争条件。为了解决这个问题，该项目正在开发一种新颖的语言 Panini，其中事件是一流的对象，可以对其进行分析以规划并发执行。 目标是协调模块化和并发目标，以便模块化设计自然更适合并发。 Panini 将根据其支持程序模块化的能力以及在多核处理器使用的大型开源软件项目的公开版本上的性能进行评估。更广泛的影响是使软件更加可靠、可维护，同时速度更快。考虑到软件系统是当今社会的基本要素，更好、更快的软件将直接影响社会。