SI2-SSE: C11Tester: Scaling Testing of C/C++11 Atomics to Real-World Systems

SI2-SSE：C11Tester：将 C/C 11 原子的测试扩展到实际系统

• 批准号: 1740210
• 负责人: Brian Demsky
• 金额: $ 40万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-10-01 至 2022-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1740210&HistoricalAwards=false
• 关键词: SI2; SSE; C11Tester; Scaling; Testing

We have long relied on increased raw computing power to drive technological progress. However, processors are now reaching their limits in terms of raw computing power, and continuing progress will require increased productivity in developing parallel software. Fully leveraging the performance of multi-core processors will in many cases require developers to make use of low-level "atomic" (or indivisible) operations such as those provided by the C11 and C++11 languages, so that can make very fine-grained optimizations to their code, and take full advantage of the computing power these processors offer them. Unfortunately, using C/C++ atomics is extremely difficult to do correctly and it is very easy to introduce subtle bugs in the use of these constructs. Testing for concurrency bugs in code that uses C/C++11 atomics can be extremely difficult as a bug can depend on the schedule, the state of the processor's memory subsystem, the specific processor, and the compiler. The C11Tester project will develop tools for testing concurrent code that makes use of C/C++11 atomics and make these tools available to both researchers and practitioners.The C/C++11 standard introduced a relaxed memory model with atomic operations into the C and C++ languages. While C/C++11 atomics can provide significant performance benefits, using C/C++11 atomics correctly is extremely difficult. Existing tools such as CDSChecker can only find bugs in small unit tests of concurrent data structures. Bugs can also arise due to the interaction of subtle memory model semantics and the composition of software components. The C11Tester project will develop new techniques for testing and debugging complete concurrent applications that make use of C/C++11 atomics. The C11Tester project will make the following contributions: (1) it will develop new approaches for testing the correctness of concurrent applications, (2) it will develop new approaches for debugging concurrent applications, and (3) it will develop and make available a robust implementation of the approach in the C11Tester tool.

长期以来，我们一直依赖于不断增长的原始计算能力来推动技术进步。然而，处理器现在在原始计算能力方面已经达到了极限，继续进步将需要提高开发并行软件的生产力。充分利用多核处理器的性能在许多情况下需要开发人员使用低级“原子”（或不可分割）操作，例如C11和C++11语言提供的操作，以便对其代码进行非常细粒度的优化，并充分利用这些处理器提供的计算能力。不幸的是，正确使用C/C++原子是非常困难的，而且在使用这些结构时很容易引入细微的bug。在使用C/C++11原子的代码中测试并发错误可能非常困难，因为错误可能取决于调度、处理器内存子系统的状态、特定处理器和编译器。C11 Tester项目将开发用于测试使用C/C++11原子的并发代码的工具，并将这些工具提供给研究人员和实践者。C/C++11标准将原子操作引入到C和C++语言中。虽然C/C++11原子可以提供显著的性能优势，但正确使用C/C++11原子是非常困难的。现有的工具，如CDScore，只能发现并发数据结构的小单元测试中的bug。 由于微妙的内存模型语义和软件组件的组合的相互作用，也可能出现错误。C11 Tester项目将开发新技术，用于测试和调试使用C/C++11原子的完整并发应用程序。C11 Tester项目将做出以下贡献：（1）它将开发用于测试并发应用程序正确性的新方法，（2）它将开发用于调试并发应用程序的新方法，以及（3）它将在C11 Tester工具中开发并提供该方法的健壮实现。

项目成果

Packet-Level Signatures for Smart Home Devices

智能家居设备的数据包级签名

• DOI: 10.14722/ndss2020.24097
• 发表时间: 2020
• 期刊: Network and Distributed Systems Security (NDSS
• 作者: Trimananda, Rahmadi;Varmarken, Janus;Markopoulou, Athina;Demsky, Brian
• 通讯作者: Demsky, Brian

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate

用于模型检查、不终止的事件驱动应用程序的有状态动态偏序减少

• 发表时间: 2022
• 期刊: and Abstract Interpretation
• 作者: Trimananda, Rahmadi;Luo, Weiyu;Demsky, Brian;and Xu, Guoqing Harry
• 通讯作者: and Xu, Guoqing Harry

Checking robustness to weak persistency models

• DOI: 10.1145/3519939.3523723
• 发表时间: 2022-06
• 期刊: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
• 作者: Hamed Gorjiara;Weiyu Luo;A. Lee;G. Xu;Brian Demsky

Vigilia: Securing Smart Home Edge Computing

• DOI: 10.1109/sec.2018.00013
• 发表时间: 2018-10
• 期刊: 2018 IEEE/ACM Symposium on Edge Computing (SEC)
• 作者: R. Trimananda;Ali Younis;Bojun Wang;Bin Xu;Brian Demsky;G. Xu

Yashme: detecting persistency races

• DOI: 10.1145/3503222.3507766
• 发表时间: 2022-02
• 期刊: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
• 作者: Hamed Gorjiara;G. Xu;Brian Demsky