CAREER: Hybrid Atomicity Checking

构造和验证可靠的多线程程序是极其困难的。线程可以通过使程序同时执行多个例程来提高多处理器机器和多核处理器的性能，但线程之间的意外交互在测试过程中很难识别，并且是已部署系统中常见的错误来源。本研究开发了混合检查器，通过确保程序的例程是原子的来防止意外的线程交互。如果一个例程的执行不受同时执行的线程的影响，也不干扰它，那么它就是原子的。以前关于静态原子性检查器(检查源代码)和动态原子性检查器(监视正在运行的程序)的工作展示了强制原子性要求的潜在优势。然而，这些方法具有精度或覆盖范围的限制，这降低了它们有效检查大型系统的能力。混合检查器在不受这些限制的情况下综合了两种技术的最佳方面。混合原子性检查器的影响，以及它们集成到广泛的教育计划中，包括提高软件质量和更好的软件工程实践。具体地说，混合检查器为查找无法测试的错误提供了一种经济高效的机制，比现有工具更具可用性和可伸缩性，并支持鼓励精确指定线程之间交互的设计方法。

The construction and validation of reliable multi-threaded programs is extremely difficult. Threads can improve performance on multi-processor machines and multi-core processors by enabling a program to execute more than one routine simultaneously, but unintended interactions between threads are hard to recognize during testing and are a common source of errors in deployed systems.This research develops hybrid checkers that prevent unintended thread interactions by ensuring that a program's routines are atomic. A routine is atomic if its execution is not affected by and does not interfere with concurrently-executing threads. Previous work on static atomicity checkers (that inspect source code) and dynamic atomicity checkers (that monitor running programs) demonstrate the potential advantages of enforcing atomicity requirements. However, these approaches have precision or coverage limitations that reduce their ability to check large systems effectively. Hybrid checkers synthesize the best aspects of both techniques without suffering from these limitations.The impacts of hybrid atomicity checkers, and their integration into a broad educational program, include improved software quality and better software engineering practices. Specifically, hybrid checkers provide a cost-effective mechanism for finding errors resistant to testing, are more usable and scalable than existing tools, and support a design methodology that encourages precisely specifying interactions between threads.