CAREER: On Mutualism of Modularity and Concurrency Goals

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

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.