SHF: Small: Collaborative Research: Hybrid Static-Dynamic Analyses for RegionSerializability

SHF：小型：协作研究：区域可串行性的混合静态动态分析

• 批准号: 1422178
• 负责人: Milind Kulkarni
• 金额: $ 7.37万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-09-01 至 2018-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1422178&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Hybrid

Title: SHF: Small: Collaborative Research: Hybrid Static-Dynamic Analyses for Region SerializabilityComputer systems' performance has grown exponentially for decades, enabling advances in science, health, engineering, and other areas. However, due to power, heat, and wire-length limitations, chip manufacturers are now producing microprocessors that have more, instead of faster, computing cores. To scale with this increasingly parallel hardware, software systems must become more parallel. However, writing correct, scalable shared-memory programs is notoriously difficult. A key challenge is that modern programming languages and software and hardware systems provide virtually no guarantees for programs that have a common, hard-to-eliminate behavior called data races -- because no one knows how to provide better guarantees while retaining high performance. As a result, software is difficult to reason about and fails unexpectedly, leading to high development and testing costs, and imperiling reliability and security of mission- and safety-critical systems. This project provides stronger guarantees for software, achieving reasonable performance on contemporary systems. The intellectual merits are novel program analyses and runtime support that provide strong behavioral guarantees for programs. The project's broader significance and importance are making software systems automatically more reliable; eliminating whole classes of errors; reducing development and testing costs by simplifying programming; and simplifying and reducing costs of program analyses and software system support. Furthermore, the PIs' educational, mentoring, and outreach activities enhance the project by helping educate a diverse workforce of computer scientists trained in the project's work.A key contribution is a novel hybrid static-dynamic analysis that enforces a memory model called statically bounded region serializability (SBRS) entirely in software. This memory model is strictly stronger than sequential consistency (SC) and has the potential to be more efficient than SC to enforce, since it allows compilers and hardware to reorder instructions within regions. The project involves designing, implementing, and evaluating (1) three compiler transformations for enforcing SBRS, (2) enhancements to the static-dynamic analysis for performance and flexibility, (3) a novel asynchronous protocol for overlapping concurrency control with program execution while enforcing SBRS, and (4) enhancements to a software transactional memory (STM) system to use the asynchronous protocol to improve scalability. The work provides, for the first time, support for always-on, end-to-end SBRS that is practical, and it makes further advancements in providing high-performance runtime support for atomicity.

职务名称：SHF：小：合作研究：区域可串行性的静态-动态混合分析几十年来，计算机系统的性能呈指数级增长，使科学、健康、工程和其他领域的进步成为可能。然而，由于功率、热量和导线长度的限制，芯片制造商现在生产的微处理器具有更多而不是更快的计算核心。为了适应这种日益并行的硬件，软件系统必须变得更加并行。然而，编写正确的、可伸缩的共享内存程序是出了名的困难。一个关键的挑战是，现代编程语言和软件和硬件系统几乎没有为具有常见的难以消除的行为（称为数据竞争）的程序提供任何保证，因为没有人知道如何在保持高性能的同时提供更好的保证。因此，软件很难推理和意外失败，导致高开发和测试成本，并危及使命和安全关键系统的可靠性和安全性。该项目为软件提供了更强有力的保证，在当代系统上实现了合理的性能。智力的优点是新颖的程序分析和运行时支持，为程序提供强大的行为保证。该项目的更广泛的意义和重要性是使软件系统自动更可靠;消除整个类的错误;通过简化编程降低开发和测试成本;简化和降低程序分析和软件系统支持的成本。此外，PI的教育、指导和外展活动通过帮助教育在项目工作中受过培训的各种计算机科学家队伍来增强项目。一个关键的贡献是一种新颖的混合静态-动态分析，它完全在软件中执行称为静态边界区域可串行化（SBRS）的内存模型。这种内存模型严格地比顺序一致性（SC）更强，并且有可能比SC更有效地执行，因为它允许编译器和硬件重新排序区域内的指令。该项目涉及设计、实现和评估（1）用于实施SBRS的三种编译器转换，（2）增强静态-动态分析以提高性能和灵活性，（3）在实施SBRS时用于重叠并发控制与程序执行的新型异步协议，以及（4）增强软件事务存储器（STM）系统以使用异步协议来提高可扩展性。这项工作第一次提供了对始终在线的端到端SBRS的支持，并且在为原子性提供高性能运行时支持方面取得了进一步的进展。