权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

CSR: Small: Beating Implementations of C++11 Concurrency Into Shape

CSR：小：将 C 11 并发的实现完善

基本信息

批准号：
1218022
负责人：
John Regehr
金额：
$ 46.77万
依托单位：
University of Utah
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2012
资助国家：
美国
起止时间：
2012-09-01 至 2018-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1218022&HistoricalAwards=false
关键词：
CSR Small Beating Implementations C++11

项目摘要

The recently-ratified C and C++ standards, "C11" and "C++11"respectively, add a concurrency model that supports writinghigh-performance, portable code for machines with multiple processors.The concurrency model, however, is large and complicated; it is notparticularly easy for compiler and library developers to get all ofits corner cases right. Errors in implementing the new model canintroduce bugs into important pieces of software, such as operatingsystems, web browsers, web sites, database engines, and embeddedsystems, all of which are written, at least partially, in concurrent Cand C++.The PI's previous work on randomized testing for C compilers uncoveredmore than 450 bugs in production-quality compilers, most of which werefixed by compiler developers. The PI's current project extends thisresearch agenda to support stress testing of implementations of theC11 and C++11 concurrency model. The intellectual merit of this workstems from the need to generate random, but standards-conforming,concurrent code; the need to synthesize "test oracles" that canautomatically ascertain the success or failure of a test case; and,the need to develop "hostile" simulators for flushing out errors incompiled concurrent code.The expected impact of the PI's work is to significantly reduce theperiod during which implementations of the C11 / C++11 concurrencymodel are flaky and immature, and to reduce the lifetime of compilerbugs that are introduced during ongoing development.

最近批准的C和C++标准“C11”和“C++11”分别增加了一个并发模型，该模型支持为具有多个处理器的机器编写高性能、可移植的代码。然而，并发模型又大又复杂；对于编译器和库开发人员来说，要正确地处理所有的角例并不是特别容易的。实现新模型的错误可能会将错误引入重要的软件部分，如操作系统、Web浏览器、网站、数据库引擎和嵌入式系统，所有这些都是用并发的C和C++编写的，至少部分是用C++编写的。PI之前对C编译器的随机测试工作在产品级质量的编译器中发现了450多个错误，其中大部分已由编译器开发人员修复。PI的当前项目扩展了这一研究议程，以支持对C11和C++11并发模型的实现进行压力测试。这项工作的智力价值来自于需要生成随机但符合标准的并发代码；需要合成能够自动确定测试用例成功或失败的“测试预言”；以及需要开发“恶意”模拟器来清除编译的并发代码中的错误。PI工作的预期影响是显著缩短C11/C++11并发模型的实现不完整和不成熟的时间段，并缩短在进行中的开发过程中引入的编译器错误的生命周期。