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.