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”，添加一个并发模型，该模型支持具有多个处理器的机器的写作高性能，便携式代码。但是，并发模型很大且复杂；编译器和图书馆开发人员可以正确获取所有角落案件并不容易。将新模型cantrato将错误实施到重要软件中的错误，例如操作系统，网络浏览器，网站，网站，数据库引擎和嵌入式系统，所有这些都至少在同意的CAND C ++中进行了部分编写。编译器开发人员。 PI的当前项目扩展了此研究议程，以支持THEC11和C ++ 11并发模型实现的应力测试。该工作系统的智力优点是从需要生成随机但符合标准的并发代码的需求；需要合成“测试甲壳”，从而确定测试案例的成功或失败；而且，需要开发“敌对”模拟器以冲洗错误的同时代码的需要。PI工作的预期影响是显着降低Period，在此期间，在该过程中，C11 / C ++ 11并发模型的实施是片状和不成熟的，并减少了在进行开发过程中引入的编译生命的生命周期。