ConcSys: Reliable and Efficient Complex, Concurrent Software Systems

ConcSys：可靠且高效的复杂并发软件系统

• 批准号: 255842496
• 负责人: Professor Dr. Michael Pradel
• 金额: --
• 依托单位: Department of Electrical Engineering and Computer Sciences (EECS)
• 依托单位国家: 德国
• 项目类别: Independent Junior Research Groups
• 财政年份: 2014
• 资助国家: 德国
• 起止时间: 2013-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/255842496?language=en
• 关键词: ConcSys; Reliable; Efficient; Complex; Concurrent

Many of today's and most of tomorrow's complex software systems are concurrent. Modern smart phones, laptops, and desktop computers have multi-core processors, which can be exploited only by concurrent software. Automotive software systems build upon various computing devices, which each have multiple cores and which interact with each other concurrently. Scientific computing leverages clusters of interconnected computers to achieve large-scale parallelism. Common to all these systems is the need for concurrent software, where multiple threads of execution can proceed in parallel and occasionally synchronize with each other. Programming concurrent software has always been difficult and traditionally has been mastered by a small set of experts. However, the increasing prevalence of parallelism is bringing concurrent programming on the agenda of ordinary programmers.The ConcSys project develops program analyses and software systems that help ordinary programmers to make complex, concurrent systems significantly more reliable and efficient than they are today. To achieve this goal, the project combines scalable static analysis, precise dynamic analysis, and automatic test generation. This combination is beneficial because dynamic analysis addresses the inherent imprecision of scalable static analysis, while automatic test generation provides a driver for dynamically analyzing a program. To underpin our work, we develop a framework for evaluating our techniques in a rigorous and comparable way. The ConcSys project focuses on approaches that are applicable to large, real-world systems with millions of lines of code and therefore, will contribute towards making tomorrow's software systems reliable and efficient.

今天和未来的许多复杂软件系统都是并发的。现代智能手机、笔记本电脑和台式电脑都有多核处理器，只能通过并发软件来利用。汽车软件系统建立在各种计算设备上，每个计算设备具有多个核并且同时彼此交互。科学计算利用互连计算机的集群来实现大规模并行。所有这些系统的共同点是需要并发软件，其中多个执行线程可以并行进行，偶尔也会彼此同步。并发软件编程一直是困难的，传统上一直掌握了一小群专家。然而，并行性的日益普及正在将并发编程提上普通程序员的议事日程。ConcSys项目开发程序分析和软件系统，帮助普通程序员使复杂的并发系统比今天更可靠和高效。为了实现这一目标，该项目结合了可扩展的静态分析，精确的动态分析和自动测试生成。这种组合是有益的，因为动态分析解决了可伸缩静态分析固有的不精确性，而自动测试生成提供了动态分析程序的驱动程序。为了支持我们的工作，我们开发了一个框架，以严格和可比的方式评估我们的技术。ConcSys项目的重点是适用于具有数百万行代码的大型现实系统的方法，因此，将有助于使未来的软件系统可靠和高效。