SHF: Small: Software and Hardware Support for Detecting Concurrency, Sequential and Distributed Bugs via Data-Flow Invariants

SHF：小型：通过数据流不变量检测并发、顺序和分布式错误的软件和硬件支持

• 批准号: 1017804
• 负责人: Yuanyuan Zhou
• 金额: $ 42.5万
• 依托单位: University of California-San Diego
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-08-01 至 2014-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1017804&HistoricalAwards=false
• 关键词: SHF; Small; Software; Hardware; Support

Software reliability is critical for many applications. The pervasiveness of multi-core hardware and parallel programming makes parallel bugs become an increasingly important and urgent issue. Concurrency bugs together with the other types of bugs have significantly impacted software reliability. Although much effort has been put on detecting software bugs, existing work is still far from ideal, and many bugs, especially those in parallel or distributed programs, are still difficult to catch by existing tools. This proposal makes a major step toward improving the correctness of software, especially parallel and distribute software, by proposing a novel and widely applicable invariance, called data-flow invariance, that can be used to detect various types of software bugs, including parallel bugs and other types of bugs, and make software more reliable and secure. We strongly believe that our proposed research can effectively improve our understanding of this challenge, provide substantial tool support to software development, and greatly improve the quality of parallel and distributed software. We have also planned various educational and outreach activities for students, especially women students in computer science.

软件可靠性对于许多应用程序至关重要。多核硬件和并行编程的普遍性使并行错误成为越来越重要且紧迫的问题。并发错误以及其他类型的错误对软件可靠性产生了重大影响。尽管已经为检测软件错误而付出了很多努力，但现有的工作仍然远非理想，许多错误，尤其是在并行或分布式程序中的错误，仍然很难被现有工具捕获。该提案通过提出一种新颖且广泛适用的不变性（称为数据流量不变性）来提高软件的正确性，尤其是并行和分发软件迈出了重要一步，可用于检测各种类型的软件错误，包括并行错误和其他类型的错误，并使软件更可靠和安全。我们坚信，我们提出的研究可以有效地提高我们对这一挑战的理解，为软件开发提供大量工具支持，并大大提高并行和分布式软件的质量。我们还为学生，尤其是计算机科学领域的女学生计划了各种教育和外展活动。