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将根据其支持程序模块化的能力和在多核处理器上使用的大型开源软件项目的公开可用版本上的性能进行评估。更广泛的影响是使软件更可靠、更可维护，同时速度更快。考虑到软件系统是当今社会的基本要素，更好、更快的软件将直接影响社会。